QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 16142.73 | 86.79 | 197.71 | 0.85 | 15 | 0.876 |
| caqe-portfolio | 2225.96 | 11.97 | 54.43 | 0.22 | 0.4 | 0.957 |
| squeezebf+aqme | 16376.66 | 88.05 | 197.95 | 0.92 | 17.88 | 0.871 |