QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 1824.71 | 228.09 | 288.12 | 10.14 | 598.08 | 0.625 |
| caqe-portfolio | 903.56 | 112.95 | 144.78 | 1.33 | 299.35 | 0.625 |
| squeezebf+aqme | 1825.75 | 228.22 | 288.02 | 11.36 | 598.8 | 0.625 |