QBF Solver Evaluation Portal
qbflib.orgFamily k_t4p_n results for solvers
QBFEVAL'16 - Solver Portfolio Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 368.96 | 36.9 | 42.03 | 19.59 | 43.15 | 1 |
| caqe-portfolio | 4.9 | 0.49 | 0.24 | 0.47 | 0.4 | 1 |
| squeezebf+aqme | 359.38 | 35.94 | 43.73 | 12.94 | 43.96 | 1 |