src/new_fave/resources/fave_measurement.yml
heuristic: fave
default:
prop_time: "1/3"
specifics:
- label: ay
prop_time: f1.max.prop_time
- label: ay0
prop_time: f1.max.prop_time
- label: ey
prop_time: f1.max.prop_time
- label: eyF
prop_time: f1.max.prop_time
- label: aw
prop_time: f1.max.prop_time / 2
- label: ow
prop_time: f1.max.prop_time / 2
- label: owF
prop_time: f1.max.prop_time / 2
- label: Tuw
prop_time: "0.0"