QBF Solver Evaluation Portal
qbflib.orgSuite Palacios results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 1264.02 | 126.4 | 212.86 | 28.04 | 49.32 | 0.9 |
| caqe-portfolio | 2699.52 | 269.95 | 150.34 | 299.76 | 299.48 | 0.3 |
| squeezebf+aqme | 1470.65 | 147.07 | 228.51 | 54.28 | 74.96 | 0.8 |