QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_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 | 4201.89 | 420.19 | 274.67 | 600 | 599.42 | 0.3 |
| caqe-portfolio | 1972.45 | 197.25 | 134.28 | 299.78 | 299.7 | 0.4 |
| squeezebf+aqme | 4201.94 | 420.19 | 274.66 | 600 | 599.42 | 0.3 |