QBF Solver Evaluation Portal
qbflib.orgUnique instances for caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Time | Result |
|---|---|---|
| arbiter-06-comp-error01-qbf-hardness-depth-15 | 312.03 | UNSAT |
| biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009 | 180.59 | UNSAT |
| cnt08e | 533.8 | SAT |
| tlc02-uniform-depth-241 | 343.65 | UNSAT |