Instance | Time | Result |
---|---|---|
stmt21_79_304 | 0.21 | UNSAT |
k_branch_p-5 | 118.72 | UNSAT |
k_dum_p-20 | 85.41 | UNSAT |
stmt27_16_97 | 0.11 | UNSAT |
ev-pr-6x6-5-5-0-1-2-s | 68.82 | UNSAT |
k_grz_p-17 | 72.81 | UNSAT |
stmt52_244_394 | 5.01 | UNSAT |
stmt19_217_309 | 0.21 | UNSAT |
stmt29_226_376 | 0.51 | UNSAT |
p10-10.pddl_planlen=6 | 2.31 | UNSAT |
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007 | 61.41 | UNSAT |
k_grz_p-16 | 70.61 | UNSAT |
stmt19_3_214 | 0.31 | UNSAT |