QBF Solver Evaluation Portal
qbflib.orgSuite Mangassarian-Veneris results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 3664.22 | 183.21 | 243.1 | 61.5 | 341.9 | 0.75 |
| caqe-portfolio | 5124.03 | 256.2 | 104.84 | 299.78 | 0.08 | 0.15 |
| squeezebf+aqme | 8680.69 | 434.03 | 255.51 | 599.72 | 468.47 | 0.3 |