QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'04
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CLearn | 78666.13 | 546.29 | 420.61 | 901 | 896.35 | 0.438 |
| CSBJ | 103774.68 | 720.66 | 344.3 | 901 | 0.01 | 0.222 |
| GRL | 86968.41 | 603.95 | 408.03 | 901 | 882.34 | 0.354 |
| openQbf | 107045.06 | 743.37 | 337.16 | 901 | 0.01 | 0.181 |
| orSAT | 91172.08 | 633.14 | 339.73 | 901 | 674 | 0.014 |
| QBFL-BS | 112646.88 | 782.27 | 298.21 | 901.01 | 0.01 | 0.132 |
| QBFL-JW | 114959.82 | 798.33 | 282.48 | 901.01 | 0.01 | 0.118 |
| QMRes | 32679.09 | 226.94 | 381.73 | 1.99 | 401.64 | 0.75 |
| QSAT | 64079.71 | 445 | 439.9 | 226.31 | 900.95 | 0.514 |
| QUANTOR | 10609.26 | 73.68 | 227.27 | 1.02 | 19.85 | 0.646 |
| QUBE-BJ | 69779.99 | 484.58 | 431.24 | 797.91 | 899.42 | 0.5 |
| QUBE-LRN | 80677.89 | 560.26 | 410.75 | 901.03 | 893.71 | 0.361 |
| semprop | 50244.22 | 348.92 | 420.38 | 13.06 | 900.87 | 0.646 |
| sSolve | 80318.75 | 557.77 | 427.27 | 901 | 900.57 | 0.403 |
| WalkQSAT | 86963.7 | 603.91 | 411.37 | 901 | 888.51 | 0.285 |
| yQuaffle | 46722.83 | 324.46 | 350.2 | 168.93 | 623.59 | 0.382 |