QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 38673.36 | 655.48 | 561.26 | 1119.22 | 1198.21 | 0.39 |
| aqme-10 | 16853.07 | 285.65 | 482.23 | 6.25 | 94.19 | 0.797 |
| depqbf | 18714.27 | 317.19 | 514.11 | 4.5 | 195.84 | 0.763 |
| depqbf-pre | 55265.64 | 936.71 | 495.5 | 1200.17 | 2.12 | 0.22 |
| nenofex-qbfeval10 | 7799.66 | 132.2 | 154.9 | 90.98 | 131.16 | 0.186 |
| qmaiga | 28549.93 | 483.9 | 504.12 | 228.58 | 1197.15 | 0.559 |
| quantor-3.1 | 1244.54 | 21.09 | 10.4 | 24.9 | 4.01 | 0.186 |
| QuBE7 | 7710.16 | 130.68 | 344.06 | 0.76 | 8.16 | 0.915 |
| QuBE7-c | 9829.85 | 166.61 | 401.94 | 0.67 | 7.26 | 0.881 |
| QuBE7-m | 9849.32 | 166.94 | 401.04 | 0.79 | 11.57 | 0.898 |
| struqs-10 | 39744.16 | 673.63 | 559.36 | 1200.08 | 1183.5 | 0.492 |