QBF Solver Evaluation Portal
qbflib.orgFamily Logn results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 5.65 | 1.41 | 0.94 | 1.13 | 1.68 | 1 |
| caqe-portfolio | 22.62 | 5.66 | 7.74 | 1.83 | 11.07 | 1 |
| squeezebf+aqme | 6.44 | 1.61 | 1.62 | 1.12 | 2.88 | 0.5 |