QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-80var-1280cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 13714.89 | 1371.49 | 2148.76 | 21.2 | 6.29 | 0.8 |
| GRL | 726.06 | 72.61 | 56.73 | 70.27 | 97.64 | 0.7 |
| openQbf | 60007.5 | 6000.75 | 0.24 | 6000.83 | 0.07 | 0 |
| preQuantor | 149.14 | 14.91 | 7.86 | 17.12 | 19.29 | 0 |
| Qbfl | 54566.37 | 5456.64 | 1618.89 | 5995.47 | 4.64 | 0 |
| Quaffle | 5457.29 | 545.73 | 2.14 | 546.73 | 4.68 | 0 |
| QUANTOR | 161.19 | 16.12 | 2.99 | 14.53 | 3.71 | 0 |
| QUANTOR_hc | 159.88 | 15.99 | 3.3 | 13.98 | 1.81 | 0 |
| qube3.0 | 522.63 | 52.26 | 131.68 | 0.17 | 0.14 | 1 |
| qube4.0 | 5555.08 | 555.51 | 1646.49 | 0.16 | 0.1 | 0.9 |
| qube5.0 | 5544.27 | 554.43 | 1643.16 | 0.18 | 0.11 | 0.9 |
| semprop | 7.08 | 0.71 | 1.01 | 0.27 | 0.36 | 1 |
| sKizzo-0.9-abs | 253.2 | 25.32 | 23.94 | 12.78 | 5.43 | 1 |
| sKizzo-0.9-grn | 178.54 | 17.85 | 9.41 | 12.96 | 4.72 | 1 |
| sKizzo-0.9-std | 260.66 | 26.07 | 24.43 | 13.21 | 5.06 | 1 |
| SQBF | 988.86 | 98.89 | 156.29 | 21.43 | 4.55 | 0.8 |
| sSolve | 11.97 | 1.2 | 0.04 | 1.19 | 0.03 | 1 |
| ssolve+ut | 50.07 | 5.01 | 1.34 | 4.26 | 0.1 | 1 |
| ssolve-ut | 1.84 | 0.18 | 0.05 | 0.18 | 0.08 | 1 |
| WalkQSAT | 62.05 | 6.21 | 7.4 | 3.54 | 5.51 | 1 |
| yQuaffle | 5987.58 | 598.76 | 0.26 | 598.81 | 0.54 | 0 |