QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-6qbf-5cnf-40var-1280cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 187.88 | 18.79 | 0.75 | 18.85 | 1.61 | 1 |
| GRL | 0.39 | 0.04 | 0.03 | 0.03 | 0.02 | 1 |
| openQbf | 130.32 | 13.03 | 23.97 | 1.94 | 1.81 | 1 |
| preQuantor | 177 | 17.7 | 1.04 | 17.53 | 1.34 | 0 |
| Qbfl | 43902.63 | 4390.26 | 2448.84 | 5993.23 | 5393.69 | 0.1 |
| Quaffle | 4.13 | 0.41 | 0.92 | 0.05 | 0.02 | 1 |
| QUANTOR | 164.54 | 16.45 | 0.57 | 16.54 | 0.9 | 0 |
| QUANTOR_hc | 168.71 | 16.87 | 1.09 | 16.76 | 1.12 | 0 |
| qube3.0 | 0.29 | 0.03 | 0.01 | 0.03 | 0.01 | 1 |
| qube4.0 | 0.3 | 0.03 | 0.01 | 0.03 | 0.02 | 1 |
| qube5.0 | 0.39 | 0.04 | 0.01 | 0.04 | 0.01 | 1 |
| semprop | 0.11 | 0.01 | 0.01 | 0.01 | 0 | 1 |
| sKizzo-0.9-abs | 256.92 | 25.69 | 19.75 | 16.39 | 12.92 | 1 |
| sKizzo-0.9-grn | 228.18 | 22.82 | 13.83 | 16.36 | 12.98 | 1 |
| sKizzo-0.9-std | 261.9 | 26.19 | 20.07 | 16.74 | 13.15 | 1 |
| SQBF | 187.31 | 18.73 | 0.71 | 18.72 | 1.18 | 1 |
| sSolve | 1.94 | 0.19 | 0.03 | 0.19 | 0.04 | 1 |
| ssolve+ut | 1.88 | 0.19 | 0.02 | 0.19 | 0.02 | 1 |
| ssolve-ut | 1.57 | 0.16 | 0.03 | 0.16 | 0.05 | 1 |
| WalkQSAT | 0.12 | 0.01 | 0.01 | 0.01 | 0 | 1 |
| yQuaffle | 9.58 | 0.96 | 2.29 | 0.03 | 0.02 | 1 |