QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-6x6-logarithmic results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4800 | 1200 | 0 | 1200 | 0 | 0 |
| aqme-10 | 3435.19 | 858.8 | 493.89 | 1143.83 | 570.57 | 0.25 |
| depqbf | 2007.41 | 501.85 | 435.72 | 402.7 | 631.28 | 0.75 |
| depqbf-pre | 2686.83 | 671.71 | 537.98 | 742.86 | 1056.97 | 0.5 |
| nenofex-qbfeval10 | 3998.16 | 999.54 | 347.4 | 1200.05 | 401.37 | 0 |
| qmaiga | 3914.81 | 978.7 | 262.04 | 1077.93 | 442.6 | 0.25 |
| quantor-3.1 | 4721.5 | 1180.38 | 33.99 | 1200 | 39.25 | 0 |
| QuBE7 | 1520.58 | 380.14 | 235.89 | 411.01 | 389.85 | 0.5 |
| QuBE7-c | 996.5 | 249.12 | 187.13 | 259.81 | 368.84 | 0.5 |
| QuBE7-m | 1306.53 | 326.63 | 232.85 | 336.04 | 442.29 | 0.5 |
| struqs-10 | 4085.66 | 1021.42 | 309.47 | 1200.09 | 357.35 | 0.25 |