QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-3qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 919.05 | 91.91 | 69.52 | 76.02 | 91.1 | 1 |
| GRL | 1122.68 | 112.27 | 100.06 | 94.09 | 88.6 | 0.2 |
| openQbf | 60009.09 | 6000.91 | 0.03 | 6000.91 | 0.03 | 0 |
| preQuantor | 128.89 | 12.89 | 6.46 | 15.99 | 16.33 | 0 |
| Qbfl | 59991.77 | 5999.18 | 1.01 | 5999.53 | 2.27 | 0 |
| Quaffle | 4590.93 | 459.09 | 219.67 | 567.94 | 537.58 | 0.2 |
| QUANTOR | 153.12 | 15.31 | 1.24 | 15.6 | 1.51 | 0 |
| QUANTOR_hc | 146.28 | 14.63 | 1.16 | 14.69 | 1.57 | 0 |
| qube3.0 | 1948.86 | 194.89 | 466.23 | 0.45 | 0.48 | 0.9 |
| qube4.0 | 394.21 | 39.42 | 111.67 | 0.58 | 0.62 | 1 |
| qube5.0 | 396.45 | 39.65 | 112.3 | 0.58 | 0.65 | 1 |
| semprop | 145.37 | 14.54 | 19.94 | 5.64 | 10.23 | 1 |
| sKizzo-0.9-abs | 97.08 | 9.71 | 4.87 | 9.48 | 6.61 | 1 |
| sKizzo-0.9-grn | 84.55 | 8.46 | 3.02 | 8.86 | 5.97 | 1 |
| sKizzo-0.9-std | 96.87 | 9.69 | 4.99 | 9.36 | 6.27 | 1 |
| SQBF | 188.37 | 18.84 | 1.8 | 18.34 | 0.67 | 0.9 |
| sSolve | 12 | 1.2 | 0.03 | 1.21 | 0.05 | 1 |
| ssolve+ut | 42.05 | 4.21 | 0.05 | 4.19 | 0.1 | 1 |
| ssolve-ut | 1.86 | 0.19 | 0.03 | 0.19 | 0.05 | 1 |
| WalkQSAT | 713.64 | 71.36 | 49.24 | 67.83 | 83.03 | 0.4 |
| yQuaffle | 5983.6 | 598.36 | 0.37 | 598.43 | 0.77 | 0 |