QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-2qbf-5cnf-40var-320cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 3294.33 | 329.43 | 347.83 | 177.7 | 287.25 | 0.9 |
| GRL | 2519.68 | 251.97 | 251.64 | 152.41 | 348.88 | 0.7 |
| openQbf | 34957.01 | 3495.7 | 2597.2 | 4284.99 | 5704.89 | 0.5 |
| preQuantor | 86.56 | 8.66 | 7.07 | 14.05 | 14.36 | 0 |
| Qbfl | 4909.61 | 490.96 | 195.92 | 598.29 | 458.73 | 0.3 |
| Quaffle | 5659.59 | 565.96 | 7.5 | 564.06 | 6.5 | 0 |
| QUANTOR | 196.57 | 19.66 | 16.31 | 14.31 | 1.1 | 0 |
| QUANTOR_hc | 194.16 | 19.42 | 15.14 | 14.45 | 1.52 | 0 |
| qube3.0 | 7127.11 | 712.71 | 1587.59 | 32.15 | 97.37 | 1 |
| qube4.0 | 6678.75 | 667.88 | 1600.17 | 40.38 | 53.6 | 1 |
| qube5.0 | 6665.68 | 666.57 | 1595.7 | 40.37 | 53.76 | 1 |
| semprop | 646.84 | 64.68 | 179.27 | 0.06 | 0.16 | 0.9 |
| sKizzo-0.9-abs | 59898.62 | 5989.86 | 32.28 | 6000.58 | 0.14 | 0 |
| sKizzo-0.9-grn | 161.43 | 16.14 | 6.81 | 14.49 | 6.15 | 1 |
| sKizzo-0.9-std | 164.45 | 16.45 | 6.98 | 14.52 | 6.7 | 1 |
| SQBF | 3409.48 | 340.95 | 711.9 | 58.95 | 199.61 | 1 |
| sSolve | 2.11 | 0.21 | 0.05 | 0.21 | 0.05 | 1 |
| ssolve+ut | 1.88 | 0.19 | 0.05 | 0.18 | 0.04 | 1 |
| ssolve-ut | 2.24 | 0.22 | 0.07 | 0.21 | 0.06 | 1 |
| WalkQSAT | 3093.14 | 309.31 | 258.63 | 274.33 | 584.03 | 0.6 |
| yQuaffle | 17151.29 | 1715.13 | 2226.04 | 885.78 | 1360.09 | 0.8 |