{"abstract":"Pedestrian walk and clearance timing returns a wrong result when the total-crossing check omits the pushbutton setback.","category":"Traffic signal timing plans","checks":8,"contract":"Input {crossing_ft, walk_speed_tenths (ft/s*10), min_walk, yellow_tenths, red_tenths, min_green, ped_call, split}. FDW = ceil(crossing*10/speed). Walk starts at min_walk and is extended so that walk + FDW >= ceil((crossing + 6)/3.0) (pushbutton-to-far-curb check at 3.0 ft/s). FDW may overlap yellow and all-red, so with a ped call the vehicle green is max(min_green, ceil(walk + FDW - (yellow+red))). Without a call green = min_green. fits is green + yellow + red <= split. Return {walk, fdw, green, fits}.","evaluation_group":"w2-traffic_signal_timing_plans-ped-timing","failed_approach":"Half of the stipulated setback still under-extends walk for long crossings.","family":"w2-traffic_signal_timing_plans-ped-timing-pushbutton-distance","id":"FA-67941","implementations":{"attempt":{"sha256":"578d79cc5b07133e275300a14f8547bf3af5c931f1a24adcc54e7431ee8e84b4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    sp = x['walk_speed_tenths']\n    fdw = -(-x['crossing_ft'] * 10 // sp)\n    walk = x['min_walk']\n    total = -(-(x['crossing_ft'] + 3) * 10 // 30)\n    if walk + fdw < total:\n        walk = total - fdw\n    yr = Fraction(x['yellow_tenths'] + x['red_tenths'], 10)\n    g = x['min_green']\n    if x['ped_call']:\n        need = walk + fdw - yr\n        g = max(g, math.ceil(need))\n    return {'walk': walk, 'fdw': fdw, 'green': g, 'fits': g + yr <= x['split']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'crossing_ft': 53, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 5, 'ped_call': True, 'split': 43}, {'walk': 7, 'fdw': 16, 'green': 19, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 85, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 26}, {'walk': 6, 'fdw': 25, 'green': 8, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 74, 'walk_speed_tenths': 30, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 8, 'ped_call': False, 'split': 41}, {'walk': 4, 'fdw': 25, 'green': 8, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 58, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 5, 'ped_call': True, 'split': 31}, {'walk': 7, 'fdw': 17, 'green': 18, 'fits': True}), ({'crossing_ft': 49, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 10, 'ped_call': True, 'split': 19}, {'walk': 5, 'fdw': 14, 'green': 14, 'fits': True})], [({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 51, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 20, 'min_green': 10, 'ped_call': False, 'split': 39}, {'walk': 10, 'fdw': 17, 'green': 10, 'fits': True}), ({'crossing_ft': 78, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 10, 'ped_call': False, 'split': 42}, {'walk': 8, 'fdw': 20, 'green': 10, 'fits': True}), ({'crossing_ft': 49, 'walk_speed_tenths': 30, 'min_walk': 5, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 15, 'ped_call': False, 'split': 30}, {'walk': 5, 'fdw': 17, 'green': 15, 'fits': True}), ({'crossing_ft': 104, 'walk_speed_tenths': 40, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 15, 'min_green': 5, 'ped_call': False, 'split': 27}, {'walk': 11, 'fdw': 26, 'green': 5, 'fits': True}), ({'crossing_ft': 45, 'walk_speed_tenths': 30, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': True, 'split': 33}, {'walk': 4, 'fdw': 15, 'green': 15, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True})], [({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 66, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 15, 'min_green': 15, 'ped_call': True, 'split': 25}, {'walk': 7, 'fdw': 19, 'green': 21, 'fits': False}), ({'crossing_ft': 73, 'walk_speed_tenths': 30, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 10, 'min_green': 8, 'ped_call': True, 'split': 33}, {'walk': 7, 'fdw': 25, 'green': 27, 'fits': True}), ({'crossing_ft': 87, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 45, 'red_tenths': 10, 'min_green': 10, 'ped_call': True, 'split': 24}, {'walk': 9, 'fdw': 22, 'green': 26, 'fits': False}), ({'crossing_ft': 100, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': False, 'split': 35}, {'walk': 10, 'fdw': 29, 'green': 10, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 5, 'ped_call': False, 'split': 17}, {'walk': 5, 'fdw': 9, 'green': 5, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True})], [({'crossing_ft': 100, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 10, 'ped_call': False, 'split': 25}, {'walk': 10, 'fdw': 34, 'green': 10, 'fits': True}), ({'crossing_ft': 55, 'walk_speed_tenths': 40, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 20, 'min_green': 8, 'ped_call': True, 'split': 25}, {'walk': 7, 'fdw': 14, 'green': 15, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 25, 'walk_speed_tenths': 30, 'min_walk': 7, 'yellow_tenths': 45, 'red_tenths': 10, 'min_green': 10, 'ped_call': True, 'split': 32}, {'walk': 7, 'fdw': 9, 'green': 11, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 69, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 15, 'ped_call': False, 'split': 31}, {'walk': 10, 'fdw': 20, 'green': 15, 'fits': True}), ({'crossing_ft': 92, 'walk_speed_tenths': 35, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 20, 'min_green': 10, 'ped_call': True, 'split': 22}, {'walk': 6, 'fdw': 27, 'green': 27, 'fits': False})], [({'crossing_ft': 91, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 8, 'ped_call': True, 'split': 44}, {'walk': 7, 'fdw': 26, 'green': 28, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 68, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 15, 'min_green': 15, 'ped_call': False, 'split': 20}, {'walk': 10, 'fdw': 20, 'green': 15, 'fits': True}), ({'crossing_ft': 85, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 5, 'ped_call': False, 'split': 40}, {'walk': 9, 'fdw': 22, 'green': 5, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 47, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 15, 'ped_call': True, 'split': 18}, {'walk': 10, 'fdw': 16, 'green': 21, 'fits': False}), ({'crossing_ft': 80, 'walk_speed_tenths': 35, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 43}, {'walk': 6, 'fdw': 23, 'green': 23, 'fits': True})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"b60390b4ea0fb6a89602d771a43c46407e1be994d819b445c25015e19971edb3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    sp = x['walk_speed_tenths']\n    fdw = -(-x['crossing_ft'] * 10 // sp)\n    walk = x['min_walk']\n    total = -(-x['crossing_ft'] * 10 // 30)\n    if walk + fdw < total:\n        walk = total - fdw\n    yr = Fraction(x['yellow_tenths'] + x['red_tenths'], 10)\n    g = x['min_green']\n    if x['ped_call']:\n        need = walk + fdw - yr\n        g = max(g, math.ceil(need))\n    return {'walk': walk, 'fdw': fdw, 'green': g, 'fits': g + yr <= x['split']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'crossing_ft': 53, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 5, 'ped_call': True, 'split': 43}, {'walk': 7, 'fdw': 16, 'green': 19, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 85, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 26}, {'walk': 6, 'fdw': 25, 'green': 8, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 74, 'walk_speed_tenths': 30, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 8, 'ped_call': False, 'split': 41}, {'walk': 4, 'fdw': 25, 'green': 8, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 58, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 5, 'ped_call': True, 'split': 31}, {'walk': 7, 'fdw': 17, 'green': 18, 'fits': True}), ({'crossing_ft': 49, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 10, 'ped_call': True, 'split': 19}, {'walk': 5, 'fdw': 14, 'green': 14, 'fits': True})], [({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 51, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 20, 'min_green': 10, 'ped_call': False, 'split': 39}, {'walk': 10, 'fdw': 17, 'green': 10, 'fits': True}), ({'crossing_ft': 78, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 10, 'ped_call': False, 'split': 42}, {'walk': 8, 'fdw': 20, 'green': 10, 'fits': True}), ({'crossing_ft': 49, 'walk_speed_tenths': 30, 'min_walk': 5, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 15, 'ped_call': False, 'split': 30}, {'walk': 5, 'fdw': 17, 'green': 15, 'fits': True}), ({'crossing_ft': 104, 'walk_speed_tenths': 40, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 15, 'min_green': 5, 'ped_call': False, 'split': 27}, {'walk': 11, 'fdw': 26, 'green': 5, 'fits': True}), ({'crossing_ft': 45, 'walk_speed_tenths': 30, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': True, 'split': 33}, {'walk': 4, 'fdw': 15, 'green': 15, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True})], [({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 66, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 15, 'min_green': 15, 'ped_call': True, 'split': 25}, {'walk': 7, 'fdw': 19, 'green': 21, 'fits': False}), ({'crossing_ft': 73, 'walk_speed_tenths': 30, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 10, 'min_green': 8, 'ped_call': True, 'split': 33}, {'walk': 7, 'fdw': 25, 'green': 27, 'fits': True}), ({'crossing_ft': 87, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 45, 'red_tenths': 10, 'min_green': 10, 'ped_call': True, 'split': 24}, {'walk': 9, 'fdw': 22, 'green': 26, 'fits': False}), ({'crossing_ft': 100, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': False, 'split': 35}, {'walk': 10, 'fdw': 29, 'green': 10, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 5, 'ped_call': False, 'split': 17}, {'walk': 5, 'fdw': 9, 'green': 5, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True})], [({'crossing_ft': 100, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 10, 'ped_call': False, 'split': 25}, {'walk': 10, 'fdw': 34, 'green': 10, 'fits': True}), ({'crossing_ft': 55, 'walk_speed_tenths': 40, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 20, 'min_green': 8, 'ped_call': True, 'split': 25}, {'walk': 7, 'fdw': 14, 'green': 15, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 25, 'walk_speed_tenths': 30, 'min_walk': 7, 'yellow_tenths': 45, 'red_tenths': 10, 'min_green': 10, 'ped_call': True, 'split': 32}, {'walk': 7, 'fdw': 9, 'green': 11, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 69, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 15, 'ped_call': False, 'split': 31}, {'walk': 10, 'fdw': 20, 'green': 15, 'fits': True}), ({'crossing_ft': 92, 'walk_speed_tenths': 35, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 20, 'min_green': 10, 'ped_call': True, 'split': 22}, {'walk': 6, 'fdw': 27, 'green': 27, 'fits': False})], [({'crossing_ft': 91, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 8, 'ped_call': True, 'split': 44}, {'walk': 7, 'fdw': 26, 'green': 28, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 68, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 15, 'min_green': 15, 'ped_call': False, 'split': 20}, {'walk': 10, 'fdw': 20, 'green': 15, 'fits': True}), ({'crossing_ft': 85, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 5, 'ped_call': False, 'split': 40}, {'walk': 9, 'fdw': 22, 'green': 5, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 47, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 15, 'ped_call': True, 'split': 18}, {'walk': 10, 'fdw': 16, 'green': 21, 'fits': False}), ({'crossing_ft': 80, 'walk_speed_tenths': 35, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 43}, {'walk': 6, 'fdw': 23, 'green': 23, 'fits': True})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"50fcb28e513555994b4769725fc4d276e36c8fe59e406353073beaa1e3fdcfc5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    sp = x['walk_speed_tenths']\n    fdw = -(-x['crossing_ft'] * 10 // sp)\n    walk = x['min_walk']\n    total = -(-(x['crossing_ft'] + 6) * 10 // 30)\n    if walk + fdw < total:\n        walk = total - fdw\n    yr = Fraction(x['yellow_tenths'] + x['red_tenths'], 10)\n    g = x['min_green']\n    if x['ped_call']:\n        need = walk + fdw - yr\n        g = max(g, math.ceil(need))\n    return {'walk': walk, 'fdw': fdw, 'green': g, 'fits': g + yr <= x['split']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'crossing_ft': 53, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 5, 'ped_call': True, 'split': 43}, {'walk': 7, 'fdw': 16, 'green': 19, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 85, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 26}, {'walk': 6, 'fdw': 25, 'green': 8, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 74, 'walk_speed_tenths': 30, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 8, 'ped_call': False, 'split': 41}, {'walk': 4, 'fdw': 25, 'green': 8, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 58, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 5, 'ped_call': True, 'split': 31}, {'walk': 7, 'fdw': 17, 'green': 18, 'fits': True}), ({'crossing_ft': 49, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 10, 'ped_call': True, 'split': 19}, {'walk': 5, 'fdw': 14, 'green': 14, 'fits': True})], [({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 51, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 20, 'min_green': 10, 'ped_call': False, 'split': 39}, {'walk': 10, 'fdw': 17, 'green': 10, 'fits': True}), ({'crossing_ft': 78, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 10, 'ped_call': False, 'split': 42}, {'walk': 8, 'fdw': 20, 'green': 10, 'fits': True}), ({'crossing_ft': 49, 'walk_speed_tenths': 30, 'min_walk': 5, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 15, 'ped_call': False, 'split': 30}, {'walk': 5, 'fdw': 17, 'green': 15, 'fits': True}), ({'crossing_ft': 104, 'walk_speed_tenths': 40, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 15, 'min_green': 5, 'ped_call': False, 'split': 27}, {'walk': 11, 'fdw': 26, 'green': 5, 'fits': True}), ({'crossing_ft': 45, 'walk_speed_tenths': 30, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': True, 'split': 33}, {'walk': 4, 'fdw': 15, 'green': 15, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True})], [({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 66, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 15, 'min_green': 15, 'ped_call': True, 'split': 25}, {'walk': 7, 'fdw': 19, 'green': 21, 'fits': False}), ({'crossing_ft': 73, 'walk_speed_tenths': 30, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 10, 'min_green': 8, 'ped_call': True, 'split': 33}, {'walk': 7, 'fdw': 25, 'green': 27, 'fits': True}), ({'crossing_ft': 87, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 45, 'red_tenths': 10, 'min_green': 10, 'ped_call': True, 'split': 24}, {'walk': 9, 'fdw': 22, 'green': 26, 'fits': False}), ({'crossing_ft': 100, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': False, 'split': 35}, {'walk': 10, 'fdw': 29, 'green': 10, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 4, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 5, 'ped_call': False, 'split': 17}, {'walk': 5, 'fdw': 9, 'green': 5, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True})], [({'crossing_ft': 100, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 35, 'red_tenths': 10, 'min_green': 10, 'ped_call': False, 'split': 25}, {'walk': 10, 'fdw': 34, 'green': 10, 'fits': True}), ({'crossing_ft': 55, 'walk_speed_tenths': 40, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 20, 'min_green': 8, 'ped_call': True, 'split': 25}, {'walk': 7, 'fdw': 14, 'green': 15, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 25, 'walk_speed_tenths': 30, 'min_walk': 7, 'yellow_tenths': 45, 'red_tenths': 10, 'min_green': 10, 'ped_call': True, 'split': 32}, {'walk': 7, 'fdw': 9, 'green': 11, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 69, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 15, 'ped_call': False, 'split': 31}, {'walk': 10, 'fdw': 20, 'green': 15, 'fits': True}), ({'crossing_ft': 92, 'walk_speed_tenths': 35, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 20, 'min_green': 10, 'ped_call': True, 'split': 22}, {'walk': 6, 'fdw': 27, 'green': 27, 'fits': False})], [({'crossing_ft': 91, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 8, 'ped_call': True, 'split': 44}, {'walk': 7, 'fdw': 26, 'green': 28, 'fits': True}), ({'crossing_ft': 36, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 8, 'ped_call': False, 'split': 12}, {'walk': 7, 'fdw': 9, 'green': 8, 'fits': True}), ({'crossing_ft': 68, 'walk_speed_tenths': 35, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 15, 'min_green': 15, 'ped_call': False, 'split': 20}, {'walk': 10, 'fdw': 20, 'green': 15, 'fits': True}), ({'crossing_ft': 85, 'walk_speed_tenths': 40, 'min_walk': 7, 'yellow_tenths': 30, 'red_tenths': 10, 'min_green': 5, 'ped_call': False, 'split': 40}, {'walk': 9, 'fdw': 22, 'green': 5, 'fits': True}), ({'crossing_ft': 90, 'walk_speed_tenths': 35, 'min_walk': 4, 'yellow_tenths': 35, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 35}, {'walk': 6, 'fdw': 26, 'green': 27, 'fits': True}), ({'crossing_ft': 70, 'walk_speed_tenths': 35, 'min_walk': 7, 'yellow_tenths': 40, 'red_tenths': 20, 'min_green': 5, 'ped_call': True, 'split': 30}, {'walk': 7, 'fdw': 20, 'green': 21, 'fits': True}), ({'crossing_ft': 47, 'walk_speed_tenths': 30, 'min_walk': 10, 'yellow_tenths': 30, 'red_tenths': 20, 'min_green': 15, 'ped_call': True, 'split': 18}, {'walk': 10, 'fdw': 16, 'green': 21, 'fits': False}), ({'crossing_ft': 80, 'walk_speed_tenths': 35, 'min_walk': 5, 'yellow_tenths': 45, 'red_tenths': 15, 'min_green': 10, 'ped_call': True, 'split': 43}, {'walk': 6, 'fdw': 23, 'green': 23, 'fits': True})]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic, bounded toy model with a stipulated contract; it makes no claim of conformance to any agency manual or standard. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-traffic_signal_timing_plans-ped-timing-pushbutton-distance","generated_at":"2026-09-29T14:47:57.639429+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Signal timing arithmetic is exact and integer or rational; a wrong rule silently produces unsafe or inefficient timing plans.","repair":"Restore the pushbutton distance rule so that the step reads `(x['crossing_ft'] + 6)`.","root_cause":"The 6 ft from the pushbutton to the curb is ignored, so walk is not extended for pedestrians starting at the button.","sha256":"8acb9873ef81c6979fb461c20f55462be64fd60ce174d7fe11afcbc6adb6195f","title":"Pedestrian walk and clearance timing: the total-crossing check omits the pushbutton setback · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.065,"exit_code":1,"observations":[{"actual":{"fdw":16,"fits":true,"green":19,"walk":7},"check":"timing oracle 0","expected":{"fdw":16,"fits":true,"green":19,"walk":7},"passed":true},{"actual":{"fdw":9,"fits":true,"green":8,"walk":7},"check":"timing oracle 1","expected":{"fdw":9,"fits":true,"green":8,"walk":7},"passed":true},{"actual":{"fdw":25,"fits":true,"green":8,"walk":5},"check":"timing oracle 2","expected":{"fdw":25,"fits":true,"green":8,"walk":6},"passed":false},{"actual":{"fdw":26,"fits":true,"green":26,"walk":5},"check":"timing oracle 3","expected":{"fdw":26,"fits":true,"green":27,"walk":6},"passed":false},{"actual":{"fdw":25,"fits":true,"green":8,"walk":4},"check":"timing oracle 4","expected":{"fdw":25,"fits":true,"green":8,"walk":4},"passed":true},{"actual":{"fdw":20,"fits":true,"green":21,"walk":7},"check":"timing oracle 5","expected":{"fdw":20,"fits":true,"green":21,"walk":7},"passed":true},{"actual":{"fdw":17,"fits":true,"green":18,"walk":7},"check":"timing oracle 6","expected":{"fdw":17,"fits":true,"green":18,"walk":7},"passed":true},{"actual":{"fdw":14,"fits":true,"green":13,"walk":4},"check":"timing oracle 7","expected":{"fdw":14,"fits":true,"green":14,"walk":5},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"walk\": 7, \"fdw\": 16, \"green\": 19, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 16, \"green\": 19, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": {\"walk\": 7, \"fdw\": 9, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 9, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": {\"walk\": 5, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 6, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"passed\": false}, {\"check\": \"timing oracle 3\", \"actual\": {\"walk\": 5, \"fdw\": 26, \"green\": 26, \"fits\": true}, \"expected\": {\"walk\": 6, \"fdw\": 26, \"green\": 27, \"fits\": true}, \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": {\"walk\": 7, \"fdw\": 20, \"green\": 21, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 20, \"green\": 21, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"walk\": 7, \"fdw\": 17, \"green\": 18, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 17, \"green\": 18, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": {\"walk\": 4, \"fdw\": 14, \"green\": 13, \"fits\": true}, \"expected\": {\"walk\": 5, \"fdw\": 14, \"green\": 14, \"fits\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.81,"exit_code":1,"observations":[{"actual":{"fdw":16,"fits":true,"green":19,"walk":7},"check":"timing oracle 0","expected":{"fdw":16,"fits":true,"green":19,"walk":7},"passed":true},{"actual":{"fdw":9,"fits":true,"green":8,"walk":7},"check":"timing oracle 1","expected":{"fdw":9,"fits":true,"green":8,"walk":7},"passed":true},{"actual":{"fdw":25,"fits":true,"green":8,"walk":4},"check":"timing oracle 2","expected":{"fdw":25,"fits":true,"green":8,"walk":6},"passed":false},{"actual":{"fdw":26,"fits":true,"green":25,"walk":4},"check":"timing oracle 3","expected":{"fdw":26,"fits":true,"green":27,"walk":6},"passed":false},{"actual":{"fdw":25,"fits":true,"green":8,"walk":4},"check":"timing oracle 4","expected":{"fdw":25,"fits":true,"green":8,"walk":4},"passed":true},{"actual":{"fdw":20,"fits":true,"green":21,"walk":7},"check":"timing oracle 5","expected":{"fdw":20,"fits":true,"green":21,"walk":7},"passed":true},{"actual":{"fdw":17,"fits":true,"green":18,"walk":7},"check":"timing oracle 6","expected":{"fdw":17,"fits":true,"green":18,"walk":7},"passed":true},{"actual":{"fdw":14,"fits":true,"green":13,"walk":4},"check":"timing oracle 7","expected":{"fdw":14,"fits":true,"green":14,"walk":5},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"walk\": 7, \"fdw\": 16, \"green\": 19, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 16, \"green\": 19, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": {\"walk\": 7, \"fdw\": 9, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 9, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 6, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"passed\": false}, {\"check\": \"timing oracle 3\", \"actual\": {\"walk\": 4, \"fdw\": 26, \"green\": 25, \"fits\": true}, \"expected\": {\"walk\": 6, \"fdw\": 26, \"green\": 27, \"fits\": true}, \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": {\"walk\": 7, \"fdw\": 20, \"green\": 21, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 20, \"green\": 21, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"walk\": 7, \"fdw\": 17, \"green\": 18, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 17, \"green\": 18, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": {\"walk\": 4, \"fdw\": 14, \"green\": 13, \"fits\": true}, \"expected\": {\"walk\": 5, \"fdw\": 14, \"green\": 14, \"fits\": true}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.5,"exit_code":0,"observations":[{"actual":{"fdw":16,"fits":true,"green":19,"walk":7},"check":"timing oracle 0","expected":{"fdw":16,"fits":true,"green":19,"walk":7},"passed":true},{"actual":{"fdw":9,"fits":true,"green":8,"walk":7},"check":"timing oracle 1","expected":{"fdw":9,"fits":true,"green":8,"walk":7},"passed":true},{"actual":{"fdw":25,"fits":true,"green":8,"walk":6},"check":"timing oracle 2","expected":{"fdw":25,"fits":true,"green":8,"walk":6},"passed":true},{"actual":{"fdw":26,"fits":true,"green":27,"walk":6},"check":"timing oracle 3","expected":{"fdw":26,"fits":true,"green":27,"walk":6},"passed":true},{"actual":{"fdw":25,"fits":true,"green":8,"walk":4},"check":"timing oracle 4","expected":{"fdw":25,"fits":true,"green":8,"walk":4},"passed":true},{"actual":{"fdw":20,"fits":true,"green":21,"walk":7},"check":"timing oracle 5","expected":{"fdw":20,"fits":true,"green":21,"walk":7},"passed":true},{"actual":{"fdw":17,"fits":true,"green":18,"walk":7},"check":"timing oracle 6","expected":{"fdw":17,"fits":true,"green":18,"walk":7},"passed":true},{"actual":{"fdw":14,"fits":true,"green":14,"walk":5},"check":"timing oracle 7","expected":{"fdw":14,"fits":true,"green":14,"walk":5},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"walk\": 7, \"fdw\": 16, \"green\": 19, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 16, \"green\": 19, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": {\"walk\": 7, \"fdw\": 9, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 9, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": {\"walk\": 6, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 6, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": {\"walk\": 6, \"fdw\": 26, \"green\": 27, \"fits\": true}, \"expected\": {\"walk\": 6, \"fdw\": 26, \"green\": 27, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"expected\": {\"walk\": 4, \"fdw\": 25, \"green\": 8, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": {\"walk\": 7, \"fdw\": 20, \"green\": 21, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 20, \"green\": 21, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"walk\": 7, \"fdw\": 17, \"green\": 18, \"fits\": true}, \"expected\": {\"walk\": 7, \"fdw\": 17, \"green\": 18, \"fits\": true}, \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": {\"walk\": 5, \"fdw\": 14, \"green\": 14, \"fits\": true}, \"expected\": {\"walk\": 5, \"fdw\": 14, \"green\": 14, \"fits\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}