QBF Solver Evaluation Portal
qbflib.orgSuite Ling results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 8.6 | 1.43 | 1.5 | 0.91 | 1.28 | 1 |
| GRL | 413.51 | 68.92 | 6.2 | 65.27 | 2.31 | 0 |
| openQbf | 9594.74 | 1599.12 | 2057.62 | 980.11 | 1340.56 | 0.833 |
| preQuantor | 8.52 | 1.42 | 1.5 | 0.89 | 1.3 | 1 |
| Qbfl | 3532.63 | 588.77 | 3.8 | 588.04 | 4.23 | 0 |
| Quaffle | 1008.33 | 168.06 | 199.12 | 92.17 | 178.16 | 1 |
| QUANTOR | 27.68 | 4.61 | 3.7 | 4.27 | 4.57 | 1 |
| QUANTOR_hc | 27.5 | 4.58 | 3.63 | 4.22 | 4.5 | 1 |
| qube3.0 | 8418.64 | 1403.11 | 2167.83 | 237.39 | 473.63 | 0.833 |
| qube4.0 | 8356.15 | 1392.69 | 2162.88 | 248.99 | 496.63 | 0.833 |
| qube5.0 | 8326.98 | 1387.83 | 2163.91 | 239.11 | 477.26 | 0.833 |
| semprop | 1206.04 | 201.01 | 282.83 | 2.01 | 2.08 | 0.5 |
| sKizzo-0.9-abs | 26.4 | 4.4 | 5.18 | 1.98 | 3.73 | 1 |
| sKizzo-0.9-grn | 7.32 | 1.22 | 1.39 | 0.64 | 0.6 | 1 |
| sKizzo-0.9-std | 27.51 | 4.59 | 5.42 | 2.12 | 4.02 | 1 |
| SQBF | 8.56 | 1.43 | 1.52 | 0.88 | 1.3 | 1 |
| sSolve | 606.61 | 101.1 | 183.67 | 13.37 | 22.7 | 0.833 |
| ssolve+ut | 606.66 | 101.11 | 183.67 | 13.37 | 22.68 | 0.833 |
| ssolve-ut | 600.79 | 100.13 | 184.43 | 10.14 | 16.58 | 0.833 |
| WalkQSAT | 380.74 | 63.46 | 9.69 | 63.69 | 19.64 | 0 |
| yQuaffle | 6076.3 | 1012.72 | 2230.47 | 0.54 | 0.52 | 0.833 |