QBF Solver Evaluation Portal
qbflib.orgUnique instances for QUBE-LRN
QBFEVAL'04
| Instance | Time | Result |
|---|---|---|
| robots_1_5_4_34.8 | 433.15 | SAT |
| 2qbf-5cnf-150var-1200cl.2 | 901.03 | FAIL |
| 2qbf-5cnf-150var-900cl.1 | 901.03 | FAIL |
| 2qbf-5cnf-150var-900cl.2 | 901.03 | FAIL |
| Instance | Time | Result |
|---|---|---|
| robots_1_5_4_34.8 | 433.15 | SAT |
| 2qbf-5cnf-150var-1200cl.2 | 901.03 | FAIL |
| 2qbf-5cnf-150var-900cl.1 | 901.03 | FAIL |
| 2qbf-5cnf-150var-900cl.2 | 901.03 | FAIL |