Instance | Time | Result |
---|---|---|
Adder2-8-s | 9.85 | SAT |
c1_Debug_s3_f1_e1_v1 | 70.27 | SAT |
c1_Debug_s5_f1_e1_v2 | 24.3 | SAT |
c2_Debug_s3_f1_e1_v2 | 31.19 | SAT |
c2_Debug_s3_f2_e1_v3 | 108.03 | SAT |
c3_BMC_p1_k256 | 14.68 | SAT |
c4_Debug_s3_f1_e1_v2 | 91.7 | SAT |
c4_Debug_s3_f1_e2_v2 | 90.59 | SAT |
c4_Debug_s3_f1_e2_v3 | 116.15 | SAT |
c4_Debug_s5_f2_e2_v1 | 52.72 | SAT |
cube_c7_ser--opt-24_ | 494.66 | SAT |
dungeon_i15-m7-u4-v0.pddl_planlen=81 | 1.75 | UNSAT |
ev-pr-8x8-11-7-0-1-2-lg | 2.56 | UNSAT |
p20-20.pddl_planlen=23 | 48.12 | SAT |