hpsScanBudget top-level constant

Duration const hpsScanBudget

Zeitbudget der ganzen Suche, ueber alle Netze zusammen.

Implementation

const Duration hpsScanBudget = Duration(seconds: 18);