QBF Solver Evaluation Portal
qbflib.orgInstances of family mA-t2-4qbf-5cnf-80var-320cl solved by QChaffLearn
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| 4qbf-5cnf-80var-320cl.0 | SAT | 0.54 | |
| 4qbf-5cnf-80var-320cl.6 | SAT | 48.68 | |
| 4qbf-5cnf-80var-320cl.5 | SAT | 229.6 | |
| 4qbf-5cnf-80var-320cl.4 | SAT | 346.46 | |
| 4qbf-5cnf-80var-320cl.8 | SAT | 602.81 | |
| 4qbf-5cnf-80var-320cl.7 | FAIL | 798.73 | |
| 4qbf-5cnf-80var-320cl.3 | FAIL | 806.05 | |
| 4qbf-5cnf-80var-320cl.9 | FAIL | 813.61 | |
| 4qbf-5cnf-80var-320cl.2 | FAIL | 821.57 | |
| 4qbf-5cnf-80var-320cl.1 | FAIL | 823.76 |