QBF Solver Evaluation Portal
qbflib.orgFamily k_lin_n results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 72.99 | 12.17 | 12.37 | 7.19 | 10.39 | 1 |
| GRL | 2694.24 | 449.04 | 229.28 | 600.7 | 595.29 | 0.333 |
| openQbf | 36005.21 | 6000.87 | 0.02 | 6000.87 | 0.05 | 0 |
| preQuantor | 73.02 | 12.17 | 12.47 | 7.01 | 10.12 | 1 |
| Qbfl | 30553.07 | 5092.18 | 2009.68 | 5991.09 | 5394.46 | 0 |
| Quaffle | 278.11 | 46.35 | 51.23 | 19.57 | 22.82 | 1 |
| QUANTOR | 11.98 | 2 | 1.79 | 1.49 | 2 | 1 |
| QUANTOR_hc | 5.44 | 0.91 | 0.88 | 0.6 | 0.85 | 1 |
| qube3.0 | 1288.89 | 214.82 | 143.42 | 270.98 | 324.29 | 0.5 |
| qube4.0 | 2213.16 | 368.86 | 246.32 | 432.18 | 496.87 | 0.333 |
| qube5.0 | 433.8 | 72.3 | 68.08 | 53.96 | 79.54 | 1 |
| semprop | 35.08 | 5.85 | 5.71 | 3.87 | 5.72 | 1 |
| sKizzo-0.9-abs | 823.72 | 137.29 | 76.48 | 142.46 | 134.45 | 0.5 |
| sKizzo-0.9-grn | 244.85 | 40.81 | 28.55 | 38.75 | 45.33 | 0.5 |
| sKizzo-0.9-std | 651.48 | 108.58 | 42.58 | 117.09 | 103.67 | 0.5 |
| SQBF | 74.05 | 12.34 | 12.75 | 6.96 | 10.2 | 1 |
| sSolve | 876.7 | 146.12 | 150.49 | 81.71 | 116.29 | 1 |
| ssolve+ut | 884.93 | 147.49 | 150.83 | 83.35 | 117.98 | 1 |
| ssolve-ut | 873.86 | 145.64 | 150.09 | 81.81 | 117.16 | 1 |
| WalkQSAT | 3605.9 | 600.98 | 0.02 | 601 | 0.05 | 0 |
| yQuaffle | 9467.01 | 1577.84 | 1109.9 | 2056.94 | 2086.22 | 0.5 |