Hazard files used in Lab 14 may be found at the following two links:
The scoring metric used in the lab was:
ProcessConfig = uFldHazardMetric { AppTick = 4 CommsTick = 4 hazard_file = hazards_comp_one.txt score_hazard_right = 10 score_hazard_wrong = -50 score_hazard_zilch = -50 score_benign_wrong = -25 score_benign_right = 0 score_benign_zilch = 0 }