QBF Solver Evaluation Portal
qbflib.orgSuite Castellini results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 92.56 | 30.85 | 41.67 | 2.74 | 2.69 | 1 |
| GRL | 257.19 | 85.73 | 118.93 | 3.27 | 3.26 | 1 |
| openQbf | 10506.92 | 3502.31 | 2550.35 | 4505.59 | 4505.18 | 0.667 |
| preQuantor | 91.18 | 30.39 | 41.12 | 2.61 | 2.56 | 1 |
| Qbfl | 12594.11 | 4198.04 | 2544.41 | 5996.97 | 5397.27 | 0 |
| Quaffle | 6021.14 | 2007.05 | 2823.57 | 12.07 | 3.18 | 0.667 |
| QUANTOR | 34.72 | 11.57 | 14.33 | 2.9 | 2.85 | 1 |
| QUANTOR_hc | 34.63 | 11.54 | 14.32 | 2.86 | 2.82 | 1 |
| qube3.0 | 12.04 | 4.01 | 3.33 | 3.81 | 3.77 | 1 |
| qube4.0 | 29.15 | 9.72 | 9.63 | 6.21 | 6.14 | 1 |
| qube5.0 | 16.84 | 5.61 | 3.91 | 7.94 | 7.84 | 1 |
| semprop | 76.57 | 25.52 | 31.59 | 6.22 | 5.94 | 1 |
| sKizzo-0.9-abs | 59.36 | 19.79 | 27.58 | 0.53 | 0.49 | 1 |
| sKizzo-0.9-grn | 12.16 | 4.05 | 5.37 | 0.47 | 0.42 | 1 |
| sKizzo-0.9-std | 62.64 | 20.88 | 29.06 | 0.61 | 0.56 | 1 |
| SQBF | 91.43 | 30.48 | 41.18 | 2.66 | 2.59 | 1 |
| sSolve | 47.74 | 15.91 | 16.31 | 8.72 | 8.19 | 1 |
| ssolve+ut | 10.77 | 3.59 | 3.54 | 1.63 | 1.05 | 1 |
| ssolve-ut | 6008.34 | 2002.78 | 2826.67 | 7.45 | 6.86 | 0.667 |
| WalkQSAT | 29.94 | 9.98 | 11.98 | 3.1 | 3.09 | 1 |
| yQuaffle | 628.53 | 209.51 | 275.93 | 24.22 | 19.48 | 0.667 |