QBF Solver Evaluation Portal
qbflib.orgFamily Toilet results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 1.91 | 0.64 | 0.46 | 0.54 | 0.41 | 1 |
| GRL | 102.86 | 34.29 | 48.42 | 0.07 | 0.04 | 1 |
| openQbf | 14120.59 | 4706.86 | 1829.97 | 6000.84 | 3881.95 | 0.333 |
| preQuantor | 1.84 | 0.61 | 0.45 | 0.53 | 0.42 | 1 |
| Qbfl | 1789.33 | 596.44 | 2.56 | 596.74 | 3.57 | 0 |
| Quaffle | 5328.73 | 1776.24 | 1666.63 | 597.92 | 0.33 | 0.333 |
| QUANTOR | 1.29 | 0.43 | 0.27 | 0.42 | 0.32 | 1 |
| QUANTOR_hc | 1.34 | 0.45 | 0.28 | 0.42 | 0.3 | 1 |
| qube3.0 | 1231.28 | 410.43 | 580.29 | 0.13 | 0.06 | 1 |
| qube4.0 | 10818.57 | 3606.19 | 2187.84 | 4106.52 | 3394.78 | 0.333 |
| qube5.0 | 9321.01 | 3107 | 2154.75 | 2489.06 | 1657.27 | 0.333 |
| semprop | 1258.03 | 419.34 | 256.86 | 600.94 | 544.85 | 0.333 |
| sKizzo-0.9-abs | 0.76 | 0.25 | 0.21 | 0.16 | 0.11 | 1 |
| sKizzo-0.9-grn | 1.98 | 0.66 | 0.66 | 0.3 | 0.21 | 1 |
| sKizzo-0.9-std | 0.77 | 0.26 | 0.23 | 0.14 | 0.09 | 1 |
| SQBF | 1.92 | 0.64 | 0.46 | 0.57 | 0.46 | 1 |
| sSolve | 10.9 | 3.63 | 3.28 | 2.51 | 2.21 | 1 |
| ssolve+ut | 10.88 | 3.63 | 3.26 | 2.5 | 2.18 | 1 |
| ssolve-ut | 10.76 | 3.59 | 3.25 | 2.4 | 2.07 | 1 |
| WalkQSAT | 2.86 | 0.95 | 1.27 | 0.08 | 0.05 | 0.667 |
| yQuaffle | 6620.03 | 2206.68 | 2687.86 | 599.98 | 573.37 | 0.333 |