QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-80var-320cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 36918.27 | 3691.83 | 1276.11 | 3906.52 | 1010.02 | 0.1 |
| GRL | 2681.75 | 268.18 | 278.69 | 124.4 | 598.57 | 0.6 |
| openQbf | 42458.34 | 4245.83 | 2681.39 | 6000.83 | 5811.4 | 0.3 |
| preQuantor | 2563.65 | 256.37 | 270.44 | 151.55 | 254.43 | 0 |
| Qbfl | 4266.82 | 426.68 | 263.41 | 598.53 | 587.43 | 0.3 |
| Quaffle | 5175.73 | 517.57 | 2.69 | 516.48 | 3.46 | 0 |
| QUANTOR | 924.32 | 92.43 | 65.43 | 71.66 | 66.43 | 0 |
| QUANTOR_hc | 923.2 | 92.32 | 65.06 | 71.16 | 65.53 | 0 |
| qube3.0 | 6353.93 | 635.39 | 1790.02 | 1.76 | 27.33 | 0.9 |
| qube4.0 | 616.5 | 61.65 | 176.6 | 1.14 | 1.73 | 1 |
| qube5.0 | 616.85 | 61.69 | 176.66 | 1.17 | 1.71 | 1 |
| semprop | 2757.12 | 275.71 | 277.67 | 167.95 | 600.28 | 0.6 |
| sKizzo-0.9-abs | 49174.44 | 4917.44 | 2173.61 | 6000.67 | 5019.3 | 0.2 |
| sKizzo-0.9-grn | 60007.16 | 6000.72 | 0.05 | 6000.72 | 0.08 | 0 |
| sKizzo-0.9-std | 49188.61 | 4918.86 | 2171.05 | 6000.66 | 5008.18 | 0.2 |
| SQBF | 4231.83 | 423.18 | 131.01 | 412.41 | 108.19 | 0.1 |
| sSolve | 1.67 | 0.17 | 0.03 | 0.16 | 0.06 | 1 |
| ssolve+ut | 1.83 | 0.18 | 0.04 | 0.19 | 0.05 | 1 |
| ssolve-ut | 1.71 | 0.17 | 0.03 | 0.18 | 0.05 | 1 |
| WalkQSAT | 3392.43 | 339.24 | 269.48 | 421.68 | 595.77 | 0.5 |
| yQuaffle | 5983.16 | 598.32 | 0.28 | 598.35 | 0.49 | 0 |