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


InstanceTimeResult
ev-pr-6x6-11-5-0-1-2-lg864.69UNSAT
dungeon_i25-m12-u3-v0.pddl_planlen=190773.7UNSAT
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp799.96SAT
query49_query58_1344284.27UNSAT
6s318r_c0to31.sat0.01SAT
mult_bool_matrix_4_5_5.sat0SAT