QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 19453.03 | 4863.26 | 1969.62 | 6000.42 | 2274.33 | 0.25 |
| GRL | 3.3 | 0.83 | 0.16 | 0.83 | 0.28 | 1 |
| openQbf | 15638.21 | 3909.55 | 2348.96 | 4665.85 | 4182.62 | 0.5 |
| preQuantor | 1430.77 | 357.69 | 43.47 | 362.3 | 69.67 | 0 |
| Qbfl | 2014.63 | 503.66 | 166.02 | 599.47 | 191.81 | 0.25 |
| Quaffle | 1.62 | 0.41 | 0.07 | 0.41 | 0.12 | 1 |
| QUANTOR | 1282.32 | 320.58 | 94.3 | 322.32 | 169.46 | 0 |
| QUANTOR_hc | 1277.97 | 319.49 | 93.53 | 320.02 | 167.17 | 0 |
| qube3.0 | 764.83 | 191.21 | 119.67 | 212.28 | 225.34 | 0.5 |
| qube4.0 | 763.59 | 190.9 | 128.79 | 205.78 | 248.04 | 0.5 |
| qube5.0 | 933.87 | 233.47 | 98.05 | 269.22 | 155.3 | 0.5 |
| semprop | 2035.52 | 508.88 | 159.54 | 600.99 | 184.23 | 0.25 |
| sKizzo-0.9-abs | 1172.07 | 293.02 | 98.39 | 301.27 | 183.28 | 0 |
| sKizzo-0.9-grn | 83.68 | 20.92 | 10.15 | 18.6 | 18.83 | 0 |
| sKizzo-0.9-std | 1760.21 | 440.05 | 181.95 | 354.87 | 228.03 | 0 |
| SQBF | 1287.61 | 321.9 | 71.97 | 329.16 | 126.88 | 1 |
| sSolve | 8489.26 | 2122.32 | 1366.26 | 1892.95 | 2400.26 | 1 |
| ssolve+ut | 8489.35 | 2122.34 | 1363.03 | 1901.55 | 2414.06 | 1 |
| ssolve-ut | 8570.04 | 2142.51 | 1383.7 | 1906.71 | 2432.11 | 1 |
| WalkQSAT | 1.87 | 0.47 | 0.08 | 0.47 | 0.15 | 1 |
| yQuaffle | 2371.27 | 592.82 | 0.65 | 592.96 | 1.23 | 0 |