QBF Solver Evaluation Portal
qbflib.orgFamily Connect6 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 2802.94 | 350.37 | 427.63 | 49.43 | 900.59 | 0.625 |
| CSBJ | 3606.32 | 450.79 | 450.21 | 451.14 | 900.58 | 0.5 |
| GRL | 2929.95 | 366.24 | 420.22 | 112.8 | 900.51 | 0.625 |
| openQbf | 3608.72 | 451.09 | 449.91 | 451.38 | 899.91 | 0.5 |
| orSAT | 4508.93 | 563.62 | 435.57 | 901 | 899.25 | 0.375 |
| QBFL-BS | 1.42 | 0.18 | 0.16 | 0.11 | 0.2 | 1 |
| QBFL-JW | 1.39 | 0.17 | 0.15 | 0.1 | 0.17 | 1 |
| QMRes | 5113.23 | 639.15 | 378.74 | 901.01 | 599.26 | 0.125 |
| QSAT | 2705.08 | 338.14 | 436 | 0.65 | 900.7 | 0.375 |
| QUANTOR | 78.79 | 9.85 | 9.63 | 8.52 | 19.76 | 0.5 |
| QUBE-BJ | 2714.96 | 339.37 | 435.06 | 4.17 | 899.81 | 0.375 |
| QUBE-LRN | 772.32 | 96.54 | 127.61 | 3.71 | 208.78 | 0.375 |
| semprop | 3606.74 | 450.84 | 450.17 | 451.14 | 900.39 | 0.5 |
| sSolve | 3606.13 | 450.77 | 450.27 | 451 | 900.63 | 0.5 |
| WalkQSAT | 39.64 | 4.96 | 10.81 | 0.68 | 1.14 | 0.75 |
| yQuaffle | 563.46 | 70.43 | 73.67 | 50.6 | 134.96 | 0.5 |