QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-80var-1280cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 190.46 | 19.05 | 1.25 | 19.13 | 2.06 | 1 |
| GRL | 8.21 | 0.82 | 1.58 | 0.21 | 0.18 | 1 |
| openQbf | 54011.83 | 5401.18 | 1798.99 | 6000.86 | 0.17 | 0.1 |
| preQuantor | 191.11 | 19.11 | 1.63 | 18.77 | 2.3 | 0 |
| Qbfl | 49149.44 | 4914.94 | 2157.56 | 5993.54 | 5394.14 | 0 |
| Quaffle | 5575.87 | 557.59 | 3.81 | 556.5 | 7.15 | 0 |
| QUANTOR | 134.89 | 13.49 | 1.37 | 13.82 | 2.18 | 0 |
| QUANTOR_hc | 130.97 | 13.1 | 0.85 | 13.14 | 1.17 | 0 |
| qube3.0 | 0.49 | 0.05 | 0.02 | 0.05 | 0.02 | 1 |
| qube4.0 | 0.54 | 0.05 | 0.02 | 0.05 | 0.04 | 1 |
| qube5.0 | 0.6 | 0.06 | 0.02 | 0.07 | 0.03 | 1 |
| semprop | 0.15 | 0.02 | 0.01 | 0.01 | 0.02 | 1 |
| sKizzo-0.9-abs | 396.71 | 39.67 | 50.31 | 23.94 | 27.57 | 1 |
| sKizzo-0.9-grn | 340.52 | 34.05 | 50.8 | 19.83 | 13.28 | 1 |
| sKizzo-0.9-std | 403.36 | 40.34 | 51.02 | 24.23 | 28.36 | 1 |
| SQBF | 204.85 | 20.49 | 1.68 | 20.79 | 1.57 | 1 |
| sSolve | 1.89 | 0.19 | 0.04 | 0.19 | 0.06 | 1 |
| ssolve+ut | 10.26 | 1.03 | 0.95 | 0.37 | 1.98 | 1 |
| ssolve-ut | 1.87 | 0.19 | 0.03 | 0.18 | 0.03 | 1 |
| WalkQSAT | 4.78 | 0.48 | 1.05 | 0.08 | 0.1 | 1 |
| yQuaffle | 5991.74 | 599.17 | 0.2 | 599.22 | 0.32 | 0 |