QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 42271.58 | 491.53 | 1500.54 | 0.1 | 2.42 | 0.907 |
| GRL | 45053.15 | 523.87 | 183.07 | 600.64 | 0.24 | 0.163 |
| openQbf | 498070.59 | 5791.52 | 1100.98 | 6000.84 | 0.08 | 0.035 |
| preQuantor | 383.5 | 4.46 | 9.97 | 0.12 | 2.46 | 0.884 |
| Qbfl | 159560.94 | 1855.36 | 2301.59 | 596.57 | 6.31 | 0.07 |
| Quaffle | 34110.32 | 396.63 | 241.28 | 561.66 | 451.6 | 0.337 |
| QUANTOR | 531.69 | 6.18 | 10.72 | 0.2 | 11.4 | 0.756 |
| QUANTOR_hc | 36.59 | 0.43 | 2.33 | 0.02 | 0.02 | 1 |
| qube3.0 | 161025.68 | 1872.39 | 1781.14 | 1201.78 | 2207.97 | 0.186 |
| qube4.0 | 173171.01 | 2013.62 | 1958.12 | 1106.34 | 2256.6 | 0.221 |
| qube5.0 | 167988.14 | 1953.35 | 2009.25 | 983.68 | 2378.38 | 0.267 |
| semprop | 24493.31 | 284.81 | 284.1 | 171.53 | 599.89 | 0.57 |
| sKizzo-0.9-abs | 1961.63 | 22.81 | 65.32 | 0.65 | 9.39 | 0.953 |
| sKizzo-0.9-grn | 34729.36 | 403.83 | 945.69 | 68.19 | 487.05 | 0.523 |
| sKizzo-0.9-std | 1969.47 | 22.9 | 68.14 | 0.7 | 9.53 | 0.953 |
| SQBF | 2571.9 | 29.91 | 96.84 | 0.1 | 2.47 | 0.907 |
| sSolve | 104297.36 | 1212.76 | 2299.74 | 12.88 | 379.24 | 0.814 |
| ssolve+ut | 86862.18 | 1010.03 | 2118.64 | 12.34 | 321.37 | 0.837 |
| ssolve-ut | 104306.84 | 1212.87 | 2299.77 | 12.98 | 385.17 | 0.814 |
| WalkQSAT | 47616.83 | 553.68 | 147.74 | 601 | 0.02 | 0.105 |
| yQuaffle | 336067.3 | 3907.76 | 2635.81 | 5998.35 | 5399.79 | 0.244 |