QBF Solver Evaluation Portal
qbflib.orgUnique instances for AQME-1NN
QBFEVAL'07
| Instance | Time | Result |
|---|---|---|
| biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006 | 306.32 | UNSAT |
| c2_BMC_p1_k512 | 25.45 | SAT |
| Instance | Time | Result |
|---|---|---|
| biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006 | 306.32 | UNSAT |
| c2_BMC_p1_k512 | 25.45 | SAT |