QBF Solver Evaluation Portal
qbflib.orgFamily k_t4p_p results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 0.83 | 0.14 | 0.11 | 0.1 | 0.03 | 1 |
| GRL | 3603.53 | 600.59 | 0.12 | 600.56 | 0.14 | 0 |
| openQbf | 36005.19 | 6000.87 | 0.05 | 6000.87 | 0.1 | 0 |
| preQuantor | 0.87 | 0.15 | 0.11 | 0.11 | 0.07 | 1 |
| Qbfl | 3569.88 | 594.98 | 2.92 | 596.02 | 7.28 | 0 |
| Quaffle | 3174.97 | 529.16 | 66.12 | 558.63 | 177.71 | 0.167 |
| QUANTOR | 115.89 | 19.32 | 10.02 | 21.75 | 22.15 | 0.167 |
| QUANTOR_hc | 0.1 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
| qube3.0 | 12125.01 | 2020.84 | 1898.22 | 1058.48 | 672.34 | 0 |
| qube4.0 | 13239.02 | 2206.5 | 1861.06 | 1588.95 | 1587.67 | 0 |
| qube5.0 | 13659.93 | 2276.66 | 1848.21 | 1725.5 | 1712.13 | 0 |
| semprop | 3007.21 | 501.2 | 223.14 | 601 | 598.76 | 0.167 |
| sKizzo-0.9-abs | 1.37 | 0.23 | 0.16 | 0.18 | 0.17 | 1 |
| sKizzo-0.9-grn | 1.41 | 0.24 | 0.17 | 0.19 | 0.19 | 1 |
| sKizzo-0.9-std | 1.39 | 0.23 | 0.17 | 0.19 | 0.2 | 1 |
| SQBF | 0.88 | 0.15 | 0.11 | 0.11 | 0.05 | 1 |
| sSolve | 507.58 | 84.6 | 57.7 | 80.63 | 93.8 | 1 |
| ssolve+ut | 376.72 | 62.79 | 40.56 | 60.11 | 66.23 | 1 |
| ssolve-ut | 503.82 | 83.97 | 57.11 | 80.6 | 95.18 | 1 |
| WalkQSAT | 3605.66 | 600.94 | 0.11 | 600.99 | 0.29 | 0 |
| yQuaffle | 35994.32 | 5999.05 | 0.29 | 5999.19 | 0.66 | 0 |