QBF Solver Evaluation Portal
qbflib.orgUnique instances for qsts
QBFEVAL'16 - Prenex CNF Track.
| Instance | Time | Result |
|---|---|---|
| s3330_d8_s | 1.7 | SAT |
| s3330_d12_u | 3.26 | SAT |
| c5_BMC_p2_k128 | 2.17 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| s3330_d8_s | 1.7 | SAT |
| s3330_d12_u | 3.26 | SAT |
| c5_BMC_p2_k128 | 2.17 | UNSAT |