QBF Solver Evaluation Portal
qbflib.orgFamily incrementer-encoder results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 2416.62 | 241.66 | 292.58 | 4.46 | 598.87 | 0.6 |
| caqe-portfolio | 1267.99 | 126.8 | 141.37 | 18.5 | 294.05 | 0.6 |
| squeezebf+aqme | 2414.36 | 241.44 | 292.77 | 3.96 | 598.83 | 0.5 |