QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 7133.16 | 198.14 | 356.6 | 0.52 | 89.54 | 0.75 |
| CSBJ | 9742.65 | 270.63 | 400.96 | 0.53 | 900.99 | 0.667 |
| GRL | 10859.7 | 301.66 | 413.66 | 3.52 | 900.99 | 0.639 |
| openQbf | 14457.72 | 401.6 | 431.16 | 73.46 | 899.11 | 0.583 |
| orSAT | 18419.83 | 511.66 | 402.83 | 710.34 | 809.32 | 0.167 |
| QBFL-BS | 11065.57 | 307.38 | 407.79 | 1.88 | 900.99 | 0.694 |
| QBFL-JW | 11715.12 | 325.42 | 415.14 | 2.92 | 901 | 0.694 |
| QMRes | 9356.77 | 259.91 | 400.48 | 0.79 | 900.97 | 0.722 |
| QSAT | 2259.3 | 62.76 | 207.69 | 0.15 | 2.85 | 0.944 |
| QUANTOR | 409.46 | 11.37 | 31.54 | 0.03 | 0.49 | 1 |
| QUBE-BJ | 12659.73 | 351.66 | 408.44 | 72.17 | 899.47 | 0.667 |
| QUBE-LRN | 8932.48 | 248.12 | 374.31 | 4.24 | 536.43 | 0.778 |
| semprop | 6397.55 | 177.71 | 355.48 | 0.04 | 11.65 | 0.806 |
| sSolve | 6711.83 | 186.44 | 353.39 | 0.96 | 64.41 | 0.806 |
| WalkQSAT | 11212.02 | 311.45 | 407.92 | 2.33 | 900.99 | 0.583 |
| yQuaffle | 6055.74 | 168.22 | 330.75 | 0.82 | 78.14 | 0.833 |