Instance | Time | Result |
---|---|---|
s510_d24_s | 578.28 | SAT |
stmt23_72_76 | 132.97 | SAT |
stmt28_68_81 | 1.3 | SAT |
szymanski-20-s | 4.85 | UNSAT |
szymanski-24-s | 7.1 | UNSAT |
tlc04-uniform-depth-36 | 0.77 | UNSAT |
Adder2-8-s | 72.69 | SAT |
c5_BMC_p1_k32 | 412.05 | SAT |
dungeon_i15-m7-u4-v0.pddl_planlen=81 | 67.67 | UNSAT |
gttt_1_1_00101121_4x4_torus_w | 543.68 | UNSAT |
incrementer-enc08-uniform-depth-33 | 326.96 | SAT |