QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 8416.74 | 2104.19 | 2338.81 | 1074.23 | 3642.71 | 0.75 |
| GRL | 729.04 | 182.26 | 243.9 | 63.64 | 329.23 | 0.75 |
| openQbf | 9257.72 | 2314.43 | 2421.22 | 1618.93 | 4336.77 | 0.75 |
| preQuantor | 3080.39 | 770.1 | 694.33 | 400.79 | 878.3 | 0 |
| Qbfl | 8099.72 | 2024.93 | 2405.26 | 1044.42 | 3843.24 | 0.75 |
| Quaffle | 265.91 | 66.48 | 97.15 | 15.5 | 127.51 | 1 |
| QUANTOR | 800.39 | 200.1 | 106.99 | 234.53 | 168.37 | 0 |
| QUANTOR_hc | 792.61 | 198.15 | 105.8 | 234.12 | 165.26 | 0 |
| qube3.0 | 480 | 120 | 117.23 | 86.83 | 199.76 | 0.75 |
| qube4.0 | 580.18 | 145.05 | 153.85 | 88.39 | 247.96 | 0.75 |
| qube5.0 | 574.54 | 143.64 | 133.35 | 107.53 | 228 | 0.75 |
| semprop | 646.58 | 161.65 | 216.13 | 58.25 | 309.22 | 1 |
| sKizzo-0.9-abs | 5.61 | 1.4 | 0.67 | 1.28 | 1.15 | 1 |
| sKizzo-0.9-grn | 5.6 | 1.4 | 0.64 | 1.29 | 1.1 | 1 |
| sKizzo-0.9-std | 6.28 | 1.57 | 0.71 | 1.44 | 1.23 | 1 |
| SQBF | 5345.23 | 1336.31 | 1054.91 | 1284.39 | 2103.58 | 0.5 |
| sSolve | 7727.78 | 1931.95 | 2450.6 | 863.52 | 3853.45 | 0.75 |
| ssolve+ut | 7769.37 | 1942.34 | 2449.41 | 884.39 | 3872.27 | 0.75 |
| ssolve-ut | 7842.12 | 1960.53 | 2448.58 | 920.65 | 3910.38 | 0.75 |
| WalkQSAT | 714.59 | 178.65 | 244.91 | 56.47 | 301.58 | 0.25 |
| yQuaffle | 615.7 | 153.93 | 249.77 | 14.58 | 303.4 | 0.75 |