QBF Solver Evaluation Portal
qbflib.orgFamily term1 results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 1562.99 | 195.37 | 303.37 | 35.7 | 294.65 | 0.875 |
| CSBJ | 3727.19 | 465.9 | 435.66 | 487.98 | 877.2 | 0.5 |
| GRL | 1829.24 | 228.66 | 342 | 36.09 | 427.31 | 0.875 |
| openQbf | 5409.79 | 676.22 | 389.33 | 901 | 448.83 | 0.25 |
| orSAT | 6079.22 | 759.9 | 265.22 | 901 | 179.19 | 0.25 |
| QBFL-BS | 3704.67 | 463.08 | 439 | 500.73 | 900.94 | 0.5 |
| QBFL-JW | 3605.07 | 450.63 | 450.37 | 450.95 | 900.94 | 0.5 |
| QMRes | 1935.78 | 241.97 | 380.52 | 24.65 | 446.92 | 0.75 |
| QSAT | 3806.63 | 475.83 | 427.51 | 529.98 | 879.38 | 0.5 |
| QUANTOR | 1866.51 | 233.31 | 385.74 | 11.04 | 471.15 | 0.75 |
| QUBE-BJ | 2761.09 | 345.14 | 430.91 | 27.42 | 899.94 | 0.625 |
| QUBE-LRN | 1213.81 | 151.73 | 299.66 | 1.31 | 152.59 | 0.875 |
| semprop | 211.65 | 26.46 | 44.46 | 2.47 | 40.76 | 0.875 |
| sSolve | 3660.62 | 457.58 | 443.54 | 465.61 | 887.84 | 0.5 |
| WalkQSAT | 1032.6 | 129.08 | 293.03 | 3.71 | 60.69 | 0.25 |
| yQuaffle | 1047.8 | 130.98 | 294.83 | 0.28 | 73 | 0.875 |