QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_n results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 62.17 | 10.36 | 9.65 | 6.98 | 10.99 | 1 |
| aqme-10 | 205.09 | 34.18 | 33 | 21.61 | 34.69 | 1 |
| depqbf | 69.22 | 11.54 | 12.82 | 5.64 | 9.91 | 1 |
| depqbf-pre | 99.57 | 16.6 | 20.24 | 6.62 | 11.77 | 1 |
| nenofex-qbfeval10 | 549.99 | 91.67 | 31.25 | 88.53 | 53.27 | 1 |
| qmaiga | 79.72 | 13.29 | 13.52 | 7.48 | 12.1 | 1 |
| quantor-3.1 | 7.86 | 1.31 | 1.49 | 0.65 | 1.09 | 1 |
| QuBE7 | 8.8 | 1.47 | 1.46 | 0.97 | 1.51 | 1 |
| QuBE7-c | 8.85 | 1.48 | 1.46 | 0.94 | 1.45 | 1 |
| QuBE7-m | 8.86 | 1.48 | 1.46 | 0.96 | 1.48 | 1 |
| struqs-10 | 872.44 | 145.41 | 180.01 | 64.52 | 118.92 | 1 |