QBF Solver Evaluation Portal
qbflib.orgFamily k_poly_n results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 0.18 | 0.03 | 0.02 | 0.03 | 0.03 | 1 |
| GRL | 3603.91 | 600.65 | 0.14 | 600.68 | 0.33 | 0 |
| openQbf | 36004.12 | 6000.69 | 0.28 | 6000.8 | 0.73 | 0 |
| preQuantor | 0.21 | 0.04 | 0.02 | 0.03 | 0.02 | 1 |
| Qbfl | 30570 | 5095 | 2010.71 | 5994.55 | 5396.89 | 0 |
| Quaffle | 2825.28 | 470.88 | 210.58 | 564.31 | 564.32 | 0 |
| QUANTOR | 0.13 | 0.02 | 0.01 | 0.02 | 0.02 | 1 |
| QUANTOR_hc | 0.04 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
| qube3.0 | 15406.67 | 2567.78 | 1851.4 | 2062.61 | 2092.31 | 0 |
| qube4.0 | 15959.69 | 2659.95 | 2054.59 | 1894.66 | 1635.59 | 0 |
| qube5.0 | 18013.73 | 3002.29 | 2167.28 | 2226.03 | 1582.47 | 0 |
| semprop | 0.92 | 0.15 | 0.11 | 0.15 | 0.18 | 1 |
| sKizzo-0.9-abs | 7.48 | 1.25 | 1.06 | 0.99 | 1.29 | 1 |
| sKizzo-0.9-grn | 1987.4 | 331.23 | 109.89 | 297.24 | 64.39 | 0 |
| sKizzo-0.9-std | 7.73 | 1.29 | 1.08 | 1.04 | 1.32 | 1 |
| SQBF | 0.21 | 0.04 | 0.02 | 0.04 | 0.04 | 1 |
| sSolve | 16.76 | 2.79 | 1.9 | 2.55 | 2.67 | 1 |
| ssolve+ut | 20.98 | 3.5 | 2.14 | 3.26 | 3.15 | 1 |
| ssolve-ut | 16.64 | 2.77 | 1.91 | 2.5 | 2.68 | 1 |
| WalkQSAT | 3605.98 | 601 | 0.01 | 601 | 0.02 | 0 |
| yQuaffle | 19792.56 | 3298.76 | 2699.46 | 3298.48 | 5398.24 | 0 |