QBF Solver Evaluation Portal
qbflib.orgSuite Mneimneh-Sakallah results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 42295.52 | 813.38 | 265.32 | 900.64 | 0.33 | 0.019 |
| openQbf | 42344.08 | 814.31 | 265.54 | 900.92 | 0.05 | 0.019 |
| qbfbdd | 40730.67 | 783.28 | 288.52 | 900.35 | 0.99 | 0.019 |
| QbflHR | 42346.15 | 814.35 | 265.61 | 900.99 | 0.03 | 0.019 |
| QChaffLearn | 30076.66 | 578.4 | 426.23 | 898.85 | 899.37 | 0.038 |
| QMRes | 15851.69 | 304.84 | 404.14 | 18.48 | 883 | 0.115 |
| QUANTOR | 32922.64 | 633.13 | 400.29 | 898.26 | 812.63 | 0.231 |
| semprop | 38801.04 | 746.17 | 338.39 | 900.99 | 0.08 | 0.058 |
| skizzo_v0.4 | 24247.22 | 466.29 | 395.02 | 367.09 | 878.83 | 0.192 |
| skizzo_v0.5 | 22359.18 | 429.98 | 390.63 | 285.4 | 875.29 | 0.231 |
| sSolve | 42321.52 | 813.88 | 265.46 | 900.36 | 0.21 | 0.019 |
| WalkQSAT | 33377.41 | 641.87 | 406.92 | 900.92 | 899 | 0.038 |
| yQuaffle | 45726.83 | 879.36 | 125.23 | 900.34 | 1.44 | 0.019 |