QBF Solver Evaluation Portal
qbflib.orgResults for instance ncf_4_16_8_u.6
QBFEVAL'06
| Solver | Time | Result |
|---|---|---|
| QUANTOR | 16.53 | FAIL |
| preQuantor | 16.56 | FAIL |
| QUANTOR_hc | 16.98 | FAIL |
| ssolve-ut | 173.98 | SAT |
| sSolve | 176.9 | SAT |
| ssolve+ut | 180.21 | SAT |
| Quaffle | 514.93 | FAIL |
| yQuaffle | 586.11 | FAIL |
| Qbfl | 598.08 | FAIL |
| qube5.0 | 599.66 | SAT |
| qube4.0 | 600.6 | SAT |
| GRL | 600.9 | FAIL |
| WalkQSAT | 600.98 | FAIL |
| semprop | 601 | FAIL |
| SQBF | 779.16 | FAIL |
| qube3.0 | 2428.38 | FAIL |
| 2clsQ | 5993.95 | FAIL |
| sKizzo-0.9-grn | 6000.23 | FAIL |
| sKizzo-0.9-std | 6000.36 | FAIL |
| sKizzo-0.9-abs | 6000.68 | FAIL |
| openQbf | 6000.9 | FAIL |