QBF Solver Evaluation Portal
qbflib.orgFamily C432 results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 354.35 | 44.29 | 57.29 | 1.13 | 104.39 | 1 |
| caqe-portfolio | 915.91 | 114.49 | 143.64 | 7.89 | 299.6 | 0.625 |
| squeezebf+aqme | 353.88 | 44.24 | 57.22 | 1.16 | 104.04 | 1 |