QBF Solver Evaluation Portal
qbflib.orgFamily k_path_n results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 0.32 | 0.06 | 0.03 | 0.07 | 0.05 | 1 |
| GRL | 3003.47 | 600.69 | 0.11 | 600.71 | 0.18 | 0 |
| openQbf | 30004.3 | 6000.86 | 0.04 | 6000.86 | 0.06 | 0 |
| preQuantor | 0.27 | 0.05 | 0.02 | 0.06 | 0.03 | 1 |
| Qbfl | 2983.52 | 596.7 | 0.6 | 596.75 | 0.95 | 0 |
| Quaffle | 2827.82 | 565.56 | 1.64 | 565.97 | 2.05 | 0 |
| QUANTOR | 0.26 | 0.05 | 0.02 | 0.05 | 0.03 | 1 |
| QUANTOR_hc | 0.07 | 0.01 | 0.01 | 0.02 | 0.02 | 1 |
| qube3.0 | 9382.25 | 1876.45 | 1305.4 | 1237.45 | 1174.6 | 0 |
| qube4.0 | 12506.64 | 2501.33 | 1867.21 | 2073.32 | 1411.75 | 0 |
| qube5.0 | 13093.08 | 2618.62 | 1840.04 | 2580.96 | 1619.22 | 0 |
| semprop | 1897.31 | 379.46 | 272.9 | 601 | 553.85 | 0.4 |
| sKizzo-0.9-abs | 45.68 | 9.14 | 2.35 | 9.62 | 2.88 | 1 |
| sKizzo-0.9-grn | 9921.87 | 1984.37 | 1805.02 | 574.82 | 1518.96 | 0 |
| sKizzo-0.9-std | 47.07 | 9.41 | 2.35 | 10.18 | 2.77 | 1 |
| SQBF | 0.3 | 0.06 | 0.03 | 0.06 | 0.04 | 1 |
| sSolve | 35.17 | 7.03 | 3.36 | 7.35 | 5.51 | 1 |
| ssolve+ut | 37.91 | 7.58 | 3.44 | 7.9 | 5.65 | 1 |
| ssolve-ut | 35.27 | 7.05 | 3.37 | 7.31 | 5.55 | 1 |
| WalkQSAT | 3004.98 | 601 | 0.01 | 601 | 0.01 | 0 |
| yQuaffle | 29990.44 | 5998.09 | 0.28 | 5998.02 | 0.28 | 0 |