Unique instances for quabs___caqe-hqspre
QBFEVAL'18 - Prenex non-CNF Track


InstanceTimeResult
ev-pr-4x4-15-3-0-0-1-s15.75SAT
dungeon_i25-m12-u3-v0.pddl_planlen=165804.41UNSAT
beemldelec4b1_c0to15.sat200.17SAT