QBF Solver Evaluation Portal
qbflib.orgFamily BMC results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 1879.27 | 187.93 | 270.01 | 16.18 | 40.39 | 0.7 |
| caqe-portfolio | 2118.8 | 211.88 | 134.34 | 299.78 | 295.59 | 0.3 |
| squeezebf+aqme | 2682.67 | 268.27 | 274.97 | 131.54 | 599.22 | 0.6 |