QBF Solver Evaluation Portal
qbflib.orgSuite Mneimneh-Sakallah results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 53590.12 | 541.31 | 175.31 | 600 | 0 | 0.101 |
| caqe-portfolio | 16384.17 | 165.5 | 125.06 | 152.77 | 277.81 | 0.606 |
| squeezebf+aqme | 53700.47 | 542.43 | 172.38 | 600 | 0 | 0.101 |