QBF Solver Evaluation Portal
qbflib.orgSuite Ling results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 7.27 | 0.91 | 0.52 | 0.66 | 0.61 | 1 |
| caqe-portfolio | 35.35 | 4.42 | 6.22 | 1.58 | 6.16 | 1 |
| squeezebf+aqme | 7.44 | 0.93 | 0.52 | 0.69 | 0.64 | 1 |