QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 2278.79 | 759.6 | 312.4 | 569.84 | 60.89 | 0.333 |
| aqme-10 | 1163.4 | 387.8 | 534.59 | 16.17 | 12.73 | 0.667 |
| depqbf | 1214.26 | 404.75 | 562.48 | 13.77 | 13.47 | 0.667 |
| depqbf-pre | 1203.1 | 401.03 | 565.08 | 2.55 | 2.18 | 0.667 |
| nenofex-qbfeval10 | 3600.51 | 1200.17 | 0 | 1200.17 | 0 | 0 |
| qmaiga | 2881.96 | 960.65 | 195.4 | 960.58 | 239.2 | 0.333 |
| quantor-3.1 | 2152.78 | 717.59 | 387.83 | 702.41 | 452.04 | 0.333 |
| QuBE7 | 435.91 | 145.3 | 197.03 | 10.33 | 8.66 | 0.667 |
| QuBE7-c | 450.08 | 150.03 | 198.86 | 17.42 | 15.88 | 0.667 |
| QuBE7-m | 521.49 | 173.83 | 228.59 | 23.09 | 21.55 | 0.667 |
| struqs-10 | 1428.85 | 476.28 | 519.68 | 224.78 | 220.79 | 0.667 |