QBF Solver Evaluation Portal
qbflib.orgResults for instance robots_1_5_3_100.4
QBFEVAL'06
| Solver | Time | Result |
|---|---|---|
| preQuantor | 0 | FAIL |
| sKizzo-0.9-abs | 1.01 | SAT |
| yQuaffle | 3.05 | SAT |
| qube3.0 | 6.42 | SAT |
| qube4.0 | 12.05 | SAT |
| qube5.0 | 12.21 | SAT |
| sKizzo-0.9-std | 12.86 | SAT |
| ssolve-ut | 21.72 | SAT |
| sSolve | 21.75 | SAT |
| ssolve+ut | 37.49 | SAT |
| QUANTOR | 45.21 | FAIL |
| QUANTOR_hc | 45.53 | FAIL |
| WalkQSAT | 54.37 | FAIL |
| GRL | 61.81 | SAT |
| SQBF | 72.85 | SAT |
| openQbf | 223.48 | SAT |
| semprop | 255.54 | SAT |
| Quaffle | 564.4 | FAIL |
| sKizzo-0.9-grn | 599.39 | FAIL |
| 2clsQ | 1785.81 | SAT |
| Qbfl | 6000.98 | FAIL |