QBF Solver Evaluation Portal
qbflib.orgFamily RobotsD4 results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 19339.44 | 1933.94 | 562.81 | 1674.63 | 451.72 | 1 |
| GRL | 688.54 | 68.85 | 12.13 | 64.42 | 8.02 | 1 |
| openQbf | 2643.39 | 264.34 | 55.21 | 302.92 | 113.25 | 1 |
| preQuantor | 806.38 | 80.64 | 6.79 | 76.61 | 9.07 | 0 |
| Qbfl | 60005.73 | 6000.57 | 0.8 | 6000.97 | 2 | 0 |
| Quaffle | 5618.34 | 561.83 | 1.15 | 561.68 | 2.21 | 0 |
| QUANTOR | 699.44 | 69.94 | 16.21 | 80.62 | 31.9 | 0 |
| QUANTOR_hc | 713.2 | 71.32 | 17.08 | 82.74 | 33.78 | 0 |
| qube3.0 | 39.19 | 3.92 | 0.5 | 3.71 | 0.23 | 1 |
| qube4.0 | 207.77 | 20.78 | 2.57 | 20.75 | 3.29 | 1 |
| qube5.0 | 210.68 | 21.07 | 2.72 | 21.01 | 3.45 | 1 |
| semprop | 4503.14 | 450.31 | 198.95 | 600.99 | 476.11 | 0.4 |
| sKizzo-0.9-abs | 17.31 | 1.73 | 0.32 | 1.72 | 0.36 | 1 |
| sKizzo-0.9-grn | 5988.16 | 598.82 | 0.17 | 598.74 | 0.18 | 0 |
| sKizzo-0.9-std | 47.2 | 4.72 | 0.17 | 4.78 | 0.27 | 1 |
| SQBF | 1057.45 | 105.75 | 7.37 | 103.08 | 12.79 | 1 |
| sSolve | 266.65 | 26.67 | 6.21 | 28.24 | 9.92 | 1 |
| ssolve+ut | 436.88 | 43.69 | 7.32 | 46.14 | 12.42 | 1 |
| ssolve-ut | 266.23 | 26.62 | 6.25 | 28.2 | 10.15 | 1 |
| WalkQSAT | 900.09 | 90.01 | 81.15 | 69.84 | 19.17 | 0 |
| yQuaffle | 32.39 | 3.24 | 0.47 | 3.16 | 0.67 | 1 |