QBF Solver Evaluation Portal
qbflib.orgResults for instance robots_1_5_3_66.4
QBFEVAL'06
| Solver | Time | Result |
|---|---|---|
| sKizzo-0.9-abs | 2.39 | SAT |
| yQuaffle | 3.94 | SAT |
| qube3.0 | 6.74 | SAT |
| sKizzo-0.9-std | 6.87 | SAT |
| qube4.0 | 13.3 | SAT |
| qube5.0 | 13.36 | SAT |
| ssolve-ut | 31.78 | SAT |
| sSolve | 31.82 | SAT |
| QUANTOR | 38.54 | FAIL |
| QUANTOR_hc | 39.55 | FAIL |
| preQuantor | 49.04 | FAIL |
| ssolve+ut | 50.58 | SAT |
| GRL | 60.94 | SAT |
| SQBF | 73.11 | SAT |
| WalkQSAT | 73.39 | FAIL |
| semprop | 191.33 | SAT |
| openQbf | 351.55 | SAT |
| Quaffle | 570.87 | FAIL |
| sKizzo-0.9-grn | 599.26 | FAIL |
| 2clsQ | 2426.17 | FAIL |
| Qbfl | 6000.93 | FAIL |