QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 2510.64 | 313.83 | 287.11 | 341.11 | 586.69 | 0.5 |
| caqe-portfolio | 1692.05 | 211.51 | 101.8 | 239.73 | 142.02 | 0.25 |
| squeezebf+aqme | 3015.28 | 376.91 | 288.01 | 600 | 594.08 | 0.375 |