QBF Solver Evaluation Portal
qbflib.orgFamily SzymanskiP results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 63.32 | 7.92 | 11.46 | 2.91 | 9.81 | 1 |
| CSBJ | 62.86 | 7.86 | 11.38 | 2.89 | 9.76 | 1 |
| GRL | 134.94 | 16.87 | 24.49 | 6.09 | 21.03 | 1 |
| openQbf | 596.66 | 74.58 | 110.98 | 25.24 | 90.51 | 1 |
| orSAT | 7208.05 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
| QBFL-BS | 5407.21 | 675.9 | 389.92 | 901.02 | 450.08 | 0.25 |
| QBFL-JW | 386.86 | 48.36 | 77.06 | 13.05 | 57.31 | 1 |
| QMRes | 2718.97 | 339.87 | 434.68 | 5.75 | 898.88 | 0.125 |
| QSAT | 7208.02 | 901 | 0 | 901 | 0 | 0 |
| QUANTOR | 77.41 | 9.68 | 4.17 | 10.28 | 3.53 | 0.25 |
| QUBE-BJ | 75.7 | 9.46 | 12.81 | 3.97 | 9.7 | 1 |
| QUBE-LRN | 71.06 | 8.88 | 11.38 | 3.98 | 9.67 | 1 |
| semprop | 5613.7 | 701.71 | 348.95 | 901 | 347.45 | 0.25 |
| sSolve | 246.58 | 30.82 | 48.51 | 8.32 | 37.61 | 1 |
| WalkQSAT | 8.18 | 1.02 | 0.83 | 0.83 | 1.48 | 0.75 |
| yQuaffle | 7208.02 | 901 | 0 | 901 | 0 | 0 |