QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-3qbf-5cnf-80var-1280cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 189.48 | 18.95 | 2.42 | 17.98 | 2.78 | 1 |
| GRL | 1212.55 | 121.26 | 175.59 | 42.32 | 153.85 | 0.6 |
| openQbf | 60007.82 | 6000.78 | 0.23 | 6000.86 | 0.08 | 0 |
| preQuantor | 140.07 | 14.01 | 7.31 | 16.03 | 17.56 | 0 |
| Qbfl | 54552.53 | 5455.25 | 1618.45 | 5994.69 | 3.28 | 0 |
| Quaffle | 3280.88 | 328.09 | 246.47 | 421.77 | 562.34 | 0.6 |
| QUANTOR | 134.54 | 13.45 | 1.17 | 13.24 | 1.88 | 0 |
| QUANTOR_hc | 137.89 | 13.79 | 1.21 | 13.91 | 2.26 | 0 |
| qube3.0 | 25.91 | 2.59 | 6.05 | 0.39 | 0.4 | 1 |
| qube4.0 | 26.54 | 2.65 | 5.92 | 0.35 | 1.28 | 1 |
| qube5.0 | 27.01 | 2.7 | 5.98 | 0.39 | 1.35 | 1 |
| semprop | 2.88 | 0.29 | 0.27 | 0.22 | 0.29 | 1 |
| sKizzo-0.9-abs | 118.85 | 11.89 | 11.34 | 10.85 | 14.23 | 1 |
| sKizzo-0.9-grn | 69.24 | 6.92 | 8.74 | 1.44 | 7.49 | 1 |
| sKizzo-0.9-std | 121.29 | 12.13 | 11.45 | 11.25 | 14.4 | 1 |
| SQBF | 183.11 | 18.31 | 2.07 | 17.62 | 2.7 | 0.8 |
| sSolve | 11.76 | 1.18 | 0.04 | 1.19 | 0.06 | 1 |
| ssolve+ut | 44.01 | 4.4 | 0.61 | 4.2 | 0.04 | 1 |
| ssolve-ut | 2.07 | 0.21 | 0.03 | 0.21 | 0.06 | 1 |
| WalkQSAT | 183.42 | 18.34 | 32.63 | 0.82 | 7.16 | 1 |
| yQuaffle | 3746.12 | 374.61 | 278.21 | 599.22 | 599.21 | 0.4 |