QBF Solver Evaluation Portal
qbflib.orgSuite Egly-Seidl-Tompits-Woltran-Zolda results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 1044338.22 | 2610.85 | 2860.98 | 323.33 | 5999.96 | 0.593 |
| GRL | 174470.19 | 436.18 | 263.38 | 600.92 | 567.51 | 0.288 |
| openQbf | 1203311.51 | 3008.28 | 2919.15 | 2549.54 | 5998.33 | 0.533 |
| preQuantor | 8859 | 22.15 | 70.6 | 18.51 | 21.3 | 0.248 |
| Qbfl | 333896.17 | 834.74 | 1519.04 | 596.96 | 567.07 | 0.335 |
| Quaffle | 206888.23 | 517.22 | 3.19 | 516.71 | 3.98 | 0 |
| QUANTOR | 8739.35 | 21.85 | 60.33 | 18.95 | 22.15 | 0.298 |
| QUANTOR_hc | 8321.95 | 20.8 | 48.5 | 19.03 | 22.18 | 0.295 |
| qube3.0 | 684302.78 | 1710.76 | 2406.67 | 48.33 | 3560.66 | 0.64 |
| qube4.0 | 346911.2 | 867.28 | 2001.78 | 0.52 | 26.78 | 0.85 |
| qube5.0 | 346796.69 | 866.99 | 2001.15 | 0.52 | 26.77 | 0.85 |
| semprop | 81364.02 | 203.41 | 264.01 | 13.75 | 600.8 | 0.698 |
| sKizzo-0.9-abs | 889572.06 | 2223.93 | 2670.13 | 279.51 | 5999.93 | 0.563 |
| sKizzo-0.9-grn | 952378.65 | 2380.95 | 2734.76 | 516.68 | 6000 | 0.46 |
| sKizzo-0.9-std | 869189.2 | 2172.97 | 2647.29 | 218.36 | 5999.81 | 0.563 |
| SQBF | 260236.04 | 650.59 | 709.48 | 599.82 | 937.14 | 0.413 |
| sSolve | 322026.53 | 805.07 | 1909.2 | 3.08 | 81.22 | 0.888 |
| ssolve+ut | 293569.36 | 733.92 | 1829.91 | 2.77 | 55.78 | 0.878 |
| ssolve-ut | 286390.58 | 715.98 | 1712.74 | 3.29 | 487.95 | 0.823 |
| WalkQSAT | 49287.8 | 123.22 | 230.16 | 0.2 | 66.22 | 0.805 |
| yQuaffle | 140722.32 | 351.81 | 278.53 | 574.91 | 589.24 | 0.435 |