QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-40var-320cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 26175.72 | 2617.57 | 1423.05 | 2491.9 | 2709.82 | 0.3 |
| GRL | 41.32 | 4.13 | 11.1 | 0.05 | 0.15 | 1 |
| openQbf | 8741.99 | 874.2 | 1872.96 | 3.37 | 12.18 | 0.9 |
| preQuantor | 567.29 | 56.73 | 49.45 | 38.58 | 58.18 | 0 |
| Qbfl | 0.07 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
| Quaffle | 5272.91 | 527.29 | 2.26 | 527.3 | 2.91 | 0 |
| QUANTOR | 537.33 | 53.73 | 44.05 | 41.22 | 36.55 | 0 |
| QUANTOR_hc | 534.96 | 53.5 | 44.11 | 42.04 | 36.69 | 0 |
| qube3.0 | 0.52 | 0.05 | 0.04 | 0.04 | 0.04 | 1 |
| qube4.0 | 0.5 | 0.05 | 0.05 | 0.04 | 0.02 | 1 |
| qube5.0 | 0.53 | 0.05 | 0.05 | 0.04 | 0.02 | 1 |
| semprop | 3.61 | 0.36 | 0.96 | 0.01 | 0.01 | 1 |
| sKizzo-0.9-abs | 60005.5 | 6000.55 | 0.15 | 6000.6 | 0.27 | 0 |
| sKizzo-0.9-grn | 60006.24 | 6000.62 | 0.12 | 6000.62 | 0.11 | 0 |
| sKizzo-0.9-std | 60006.13 | 6000.61 | 0.12 | 6000.65 | 0.14 | 0 |
| SQBF | 1754.5 | 175.45 | 110.33 | 147.06 | 96.14 | 0.7 |
| sSolve | 1.65 | 0.17 | 0.03 | 0.17 | 0.04 | 1 |
| ssolve+ut | 1.86 | 0.19 | 0.05 | 0.18 | 0.05 | 1 |
| ssolve-ut | 2.04 | 0.2 | 0.03 | 0.2 | 0.05 | 1 |
| WalkQSAT | 47.8 | 4.78 | 9.44 | 0.09 | 0.55 | 1 |
| yQuaffle | 5994.89 | 599.49 | 0.16 | 599.45 | 0.14 | 0 |