Unique instances for aqme-10
QBFEVAL'16 - Solver Portfolio Track.


InstanceTimeResult
Adder2-8-s9.85SAT
c1_Debug_s3_f1_e1_v170.27SAT
c1_Debug_s5_f1_e1_v224.3SAT
c2_Debug_s3_f1_e1_v231.19SAT
c2_Debug_s3_f2_e1_v3108.03SAT
c3_BMC_p1_k25614.68SAT
c4_Debug_s3_f1_e1_v291.7SAT
c4_Debug_s3_f1_e2_v290.59SAT
c4_Debug_s3_f1_e2_v3116.15SAT
c4_Debug_s5_f2_e2_v152.72SAT
cube_c7_ser--opt-24_494.66SAT
dungeon_i15-m7-u4-v0.pddl_planlen=811.75UNSAT
ev-pr-8x8-11-7-0-1-2-lg2.56UNSAT
p20-20.pddl_planlen=2348.12SAT