QBF Solver Evaluation Portal
qbflib.orgFamily Planning-CTE results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 1544.19 | 220.6 | 265 | 6.83 | 334.29 | 0.714 |
| caqe-portfolio | 1263.64 | 180.52 | 139.11 | 299.8 | 299.4 | 0.429 |
| squeezebf+aqme | 1553.58 | 221.94 | 265.28 | 8.24 | 341.91 | 0.714 |