QBF Solver Evaluation Portal
qbflib.orgFamily s713 results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 5484.03 | 548.4 | 154.79 | 600 | 0 | 0.1 |
| caqe-portfolio | 1388.69 | 138.87 | 116.53 | 106.35 | 204.35 | 0.8 |
| squeezebf+aqme | 5481.67 | 548.17 | 155.5 | 600 | 0 | 0.1 |