QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 11453.25 | 381.78 | 286.81 | 600 | 594.65 | 0.367 |
| caqe-portfolio | 4446.32 | 148.21 | 145.53 | 110.27 | 299.63 | 0.533 |
| squeezebf+aqme | 11458.45 | 381.95 | 286.59 | 600 | 594.39 | 0.367 |