QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_p results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 1150.14 | 115.01 | 208.99 | 2.32 | 14.82 | 0.9 |
| caqe-portfolio | 55.26 | 5.53 | 5.61 | 3.98 | 5.01 | 0.9 |
| squeezebf+aqme | 1747.82 | 174.78 | 249.37 | 9.1 | 74.46 | 0.8 |