Overview

Repo contains the domains, generators, and scripts in general for the inaugural edition of the unsolvability IPC.

Contributers

Nir Lipovetzky (nirlipo@gmail.com)
Christian Muise (christian.muise@gmail.com)

Team Number -> Name

To simplify the evaluation scripts (which came before the team names were decided), each team was assigned a name as they came in. The following naming convention is used throughout the repository:

team1: ReachLunch
team2: iProverPlan
team3: SymPA
team4: M+S
team5: SimulatedDominance
team6: DECS
team7: Django
team8: CLone
team9: Aidos
team10: h++
team11: << a planner that did not compete >>
team12: DE-PDB
team13: blind

Analysis

You can find the analysis of the competition data in the analysis directory. See main.py for examples of how to invoke the analysis, and analyze.py for the actual implementation.

About

Domains, generators, and scripts in general for the inaugural edition of the unsolvability IPC.

Languages

Language:Python 65.5%Language:C 21.3%Language:C++ 9.1%Language:Yacc 2.3%Language:Makefile 0.9%Language:Shell 0.6%Language:Lex 0.4%