QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 3295.13 | 549.19 | 335.32 | 488.78 | 507.35 | 0.167 |
| aqme-10 | 2115.14 | 352.52 | 471.32 | 44.71 | 78.9 | 0.667 |
| depqbf | 3319.97 | 553.33 | 492.01 | 432.66 | 557.04 | 0.667 |
| depqbf-pre | 3707.4 | 617.9 | 582.71 | 638.22 | 1198.01 | 0.5 |
| nenofex-qbfeval10 | 3423.09 | 570.51 | 355.04 | 497.45 | 351.18 | 0 |
| qmaiga | 4739.61 | 789.93 | 449.28 | 892.36 | 1186.41 | 0.333 |
| quantor-3.1 | 7200 | 1200 | 0 | 1200 | 0 | 0 |
| QuBE7 | 3148.33 | 524.72 | 371.66 | 515.05 | 708.4 | 0.5 |
| QuBE7-c | 2856.78 | 476.13 | 327.02 | 448.87 | 584.11 | 0.5 |
| QuBE7-m | 3247.2 | 541.2 | 386.17 | 539.98 | 757.97 | 0.5 |
| struqs-10 | 6528.63 | 1088.11 | 250.44 | 1200.1 | 672 | 0.167 |