{"abstract":"Volume-density added initial and gap reduction returns a wrong result when variable initial is not floored at min green.","category":"Traffic signal timing plans","checks":8,"contract":"Input {min_green, added_per_act_tenths, max_initial, red_actuations, initial_gap_tenths, min_gap_tenths, time_before_reduction, time_to_reduce, call, t}. Variable initial = min(max_initial, max(min_green, ceil(actuations*added/10))) seconds. Gap reduction is timed from the conflicting call (a call before green start counts from 0): until time_before_reduction elapses the allowed gap is the initial gap; during time_to_reduce it falls linearly with the reduction amount truncated to whole tenths; afterwards it is the minimum gap. Return {initial, gap_tenths}.","evaluation_group":"w2-traffic_signal_timing_plans-volume-density","failed_approach":"Clamping at zero keeps the cap but lets few actuations produce an initial below min green.","family":"w2-traffic_signal_timing_plans-volume-density-initial-bounds","id":"FA-68006","implementations":{"attempt":{"sha256":"de904d8ccc8244706b57435223e5e3dff807e8cfe0fbe6e773f78d32bdd720c3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['min_green']\n    initial = min(x['max_initial'], max(0, -(-x['red_actuations'] * x['added_per_act_tenths'] // 10)))\n    g0, gm = x['initial_gap_tenths'], x['min_gap_tenths']\n    el = x['t'] - max(x['call'], 0)\n    if el <= x['time_before_reduction']:\n        gap = g0\n    elif el >= x['time_before_reduction'] + x['time_to_reduce']:\n        gap = gm\n    else:\n        done = el - x['time_before_reduction']\n        gap = g0 - (g0 - gm) * done // x['time_to_reduce']\n    return {'initial': initial, 'gap_tenths': gap}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'min_green': 9, 'added_per_act_tenths': 15, 'max_initial': 19, 'red_actuations': 11, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 12, 'time_to_reduce': 21, 'call': 13, 't': 11}, {'initial': 17, 'gap_tenths': 50}), ({'min_green': 7, 'added_per_act_tenths': 20, 'max_initial': 27, 'red_actuations': 2, 'initial_gap_tenths': 40, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 17, 'call': 15, 't': 60}, {'initial': 7, 'gap_tenths': 15}), ({'min_green': 10, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 3, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 14, 'time_to_reduce': 28, 'call': 5, 't': 59}, {'initial': 10, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 9, 'added_per_act_tenths': 20, 'max_initial': 28, 'red_actuations': 18, 'initial_gap_tenths': 50, 'min_gap_tenths': 10, 'time_before_reduction': 1, 'time_to_reduce': 8, 'call': -2, 't': 11}, {'initial': 28, 'gap_tenths': 10}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 7, 'added_per_act_tenths': 25, 'max_initial': 27, 'red_actuations': 18, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 5, 'time_to_reduce': 6, 'call': 1, 't': 59}, {'initial': 27, 'gap_tenths': 20})], [({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 20, 'red_actuations': 20, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 13, 'time_to_reduce': 6, 'call': 3, 't': 13}, {'initial': 20, 'gap_tenths': 50}), ({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 2, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 9, 'time_to_reduce': 22, 'call': 9, 't': 29}, {'initial': 8, 'gap_tenths': 25}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 15, 'red_actuations': 14, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 15, 'time_to_reduce': 12, 'call': -1, 't': 23}, {'initial': 15, 'gap_tenths': 27}), ({'min_green': 9, 'added_per_act_tenths': 15, 'max_initial': 24, 'red_actuations': 0, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 11, 'time_to_reduce': 25, 'call': 10, 't': 6}, {'initial': 9, 'gap_tenths': 30}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 9, 'added_per_act_tenths': 20, 'max_initial': 10, 'red_actuations': 6, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 1, 'time_to_reduce': 25, 'call': -1, 't': 52}, {'initial': 10, 'gap_tenths': 10})], [({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 9, 'added_per_act_tenths': 25, 'max_initial': 11, 'red_actuations': 18, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 12, 'time_to_reduce': 17, 'call': 2, 't': 46}, {'initial': 11, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 27, 'red_actuations': 2, 'initial_gap_tenths': 30, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 21, 'call': 10, 't': 4}, {'initial': 8, 'gap_tenths': 30}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 20, 'max_initial': 24, 'red_actuations': 2, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 11, 'time_to_reduce': 8, 'call': -2, 't': 26}, {'initial': 6, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 20, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 24, 'call': 14, 't': 35}, {'initial': 12, 'gap_tenths': 31}), ({'min_green': 4, 'added_per_act_tenths': 15, 'max_initial': 29, 'red_actuations': 3, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 12, 'time_to_reduce': 13, 'call': -2, 't': 48}, {'initial': 5, 'gap_tenths': 10})], [({'min_green': 5, 'added_per_act_tenths': 20, 'max_initial': 25, 'red_actuations': 16, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 13, 'time_to_reduce': 29, 'call': -4, 't': 16}, {'initial': 25, 'gap_tenths': 33}), ({'min_green': 7, 'added_per_act_tenths': 10, 'max_initial': 11, 'red_actuations': 0, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 12, 'time_to_reduce': 6, 'call': 1, 't': 28}, {'initial': 7, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 10, 'added_per_act_tenths': 20, 'max_initial': 18, 'red_actuations': 12, 'initial_gap_tenths': 30, 'min_gap_tenths': 15, 'time_before_reduction': 6, 'time_to_reduce': 24, 'call': -2, 't': 33}, {'initial': 18, 'gap_tenths': 15}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 6, 'added_per_act_tenths': 20, 'max_initial': 21, 'red_actuations': 0, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 6, 'time_to_reduce': 29, 'call': 13, 't': 51}, {'initial': 6, 'gap_tenths': 15}), ({'min_green': 9, 'added_per_act_tenths': 25, 'max_initial': 20, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 10, 'time_before_reduction': 2, 'time_to_reduce': 27, 'call': 12, 't': 31}, {'initial': 20, 'gap_tenths': 20})], [({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 4, 'added_per_act_tenths': 25, 'max_initial': 15, 'red_actuations': 1, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 21, 'call': 9, 't': 44}, {'initial': 4, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 5, 'added_per_act_tenths': 20, 'max_initial': 27, 'red_actuations': 1, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 5, 'call': -4, 't': 31}, {'initial': 5, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 18, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 14, 'time_to_reduce': 22, 'call': -2, 't': 11}, {'initial': 10, 'gap_tenths': 35}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 17, 'red_actuations': 20, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 1, 'time_to_reduce': 12, 'call': -3, 't': 60}, {'initial': 17, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 25, 'max_initial': 22, 'red_actuations': 19, 'initial_gap_tenths': 40, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 23, 'call': 12, 't': 12}, {'initial': 22, 'gap_tenths': 40})]]\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":"8f4b449a412a432eca1aebdc5d0f24e06793b05bda43e89244e12f74913ce4a5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['min_green']\n    initial = max(x['max_initial'], min(m, -(-x['red_actuations'] * x['added_per_act_tenths'] // 10)))\n    g0, gm = x['initial_gap_tenths'], x['min_gap_tenths']\n    el = x['t'] - max(x['call'], 0)\n    if el <= x['time_before_reduction']:\n        gap = g0\n    elif el >= x['time_before_reduction'] + x['time_to_reduce']:\n        gap = gm\n    else:\n        done = el - x['time_before_reduction']\n        gap = g0 - (g0 - gm) * done // x['time_to_reduce']\n    return {'initial': initial, 'gap_tenths': gap}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'min_green': 9, 'added_per_act_tenths': 15, 'max_initial': 19, 'red_actuations': 11, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 12, 'time_to_reduce': 21, 'call': 13, 't': 11}, {'initial': 17, 'gap_tenths': 50}), ({'min_green': 7, 'added_per_act_tenths': 20, 'max_initial': 27, 'red_actuations': 2, 'initial_gap_tenths': 40, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 17, 'call': 15, 't': 60}, {'initial': 7, 'gap_tenths': 15}), ({'min_green': 10, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 3, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 14, 'time_to_reduce': 28, 'call': 5, 't': 59}, {'initial': 10, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 9, 'added_per_act_tenths': 20, 'max_initial': 28, 'red_actuations': 18, 'initial_gap_tenths': 50, 'min_gap_tenths': 10, 'time_before_reduction': 1, 'time_to_reduce': 8, 'call': -2, 't': 11}, {'initial': 28, 'gap_tenths': 10}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 7, 'added_per_act_tenths': 25, 'max_initial': 27, 'red_actuations': 18, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 5, 'time_to_reduce': 6, 'call': 1, 't': 59}, {'initial': 27, 'gap_tenths': 20})], [({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 20, 'red_actuations': 20, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 13, 'time_to_reduce': 6, 'call': 3, 't': 13}, {'initial': 20, 'gap_tenths': 50}), ({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 2, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 9, 'time_to_reduce': 22, 'call': 9, 't': 29}, {'initial': 8, 'gap_tenths': 25}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 15, 'red_actuations': 14, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 15, 'time_to_reduce': 12, 'call': -1, 't': 23}, {'initial': 15, 'gap_tenths': 27}), ({'min_green': 9, 'added_per_act_tenths': 15, 'max_initial': 24, 'red_actuations': 0, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 11, 'time_to_reduce': 25, 'call': 10, 't': 6}, {'initial': 9, 'gap_tenths': 30}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 9, 'added_per_act_tenths': 20, 'max_initial': 10, 'red_actuations': 6, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 1, 'time_to_reduce': 25, 'call': -1, 't': 52}, {'initial': 10, 'gap_tenths': 10})], [({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 9, 'added_per_act_tenths': 25, 'max_initial': 11, 'red_actuations': 18, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 12, 'time_to_reduce': 17, 'call': 2, 't': 46}, {'initial': 11, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 27, 'red_actuations': 2, 'initial_gap_tenths': 30, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 21, 'call': 10, 't': 4}, {'initial': 8, 'gap_tenths': 30}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 20, 'max_initial': 24, 'red_actuations': 2, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 11, 'time_to_reduce': 8, 'call': -2, 't': 26}, {'initial': 6, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 20, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 24, 'call': 14, 't': 35}, {'initial': 12, 'gap_tenths': 31}), ({'min_green': 4, 'added_per_act_tenths': 15, 'max_initial': 29, 'red_actuations': 3, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 12, 'time_to_reduce': 13, 'call': -2, 't': 48}, {'initial': 5, 'gap_tenths': 10})], [({'min_green': 5, 'added_per_act_tenths': 20, 'max_initial': 25, 'red_actuations': 16, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 13, 'time_to_reduce': 29, 'call': -4, 't': 16}, {'initial': 25, 'gap_tenths': 33}), ({'min_green': 7, 'added_per_act_tenths': 10, 'max_initial': 11, 'red_actuations': 0, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 12, 'time_to_reduce': 6, 'call': 1, 't': 28}, {'initial': 7, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 10, 'added_per_act_tenths': 20, 'max_initial': 18, 'red_actuations': 12, 'initial_gap_tenths': 30, 'min_gap_tenths': 15, 'time_before_reduction': 6, 'time_to_reduce': 24, 'call': -2, 't': 33}, {'initial': 18, 'gap_tenths': 15}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 6, 'added_per_act_tenths': 20, 'max_initial': 21, 'red_actuations': 0, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 6, 'time_to_reduce': 29, 'call': 13, 't': 51}, {'initial': 6, 'gap_tenths': 15}), ({'min_green': 9, 'added_per_act_tenths': 25, 'max_initial': 20, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 10, 'time_before_reduction': 2, 'time_to_reduce': 27, 'call': 12, 't': 31}, {'initial': 20, 'gap_tenths': 20})], [({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 4, 'added_per_act_tenths': 25, 'max_initial': 15, 'red_actuations': 1, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 21, 'call': 9, 't': 44}, {'initial': 4, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 5, 'added_per_act_tenths': 20, 'max_initial': 27, 'red_actuations': 1, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 5, 'call': -4, 't': 31}, {'initial': 5, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 18, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 14, 'time_to_reduce': 22, 'call': -2, 't': 11}, {'initial': 10, 'gap_tenths': 35}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 17, 'red_actuations': 20, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 1, 'time_to_reduce': 12, 'call': -3, 't': 60}, {'initial': 17, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 25, 'max_initial': 22, 'red_actuations': 19, 'initial_gap_tenths': 40, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 23, 'call': 12, 't': 12}, {'initial': 22, 'gap_tenths': 40})]]\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":"7b4d70f46330cb4e830d7ab6c5e9122ece344687afeb97b30c215b86cc74c066","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    m = x['min_green']\n    initial = min(x['max_initial'], max(m, -(-x['red_actuations'] * x['added_per_act_tenths'] // 10)))\n    g0, gm = x['initial_gap_tenths'], x['min_gap_tenths']\n    el = x['t'] - max(x['call'], 0)\n    if el <= x['time_before_reduction']:\n        gap = g0\n    elif el >= x['time_before_reduction'] + x['time_to_reduce']:\n        gap = gm\n    else:\n        done = el - x['time_before_reduction']\n        gap = g0 - (g0 - gm) * done // x['time_to_reduce']\n    return {'initial': initial, 'gap_tenths': gap}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'min_green': 9, 'added_per_act_tenths': 15, 'max_initial': 19, 'red_actuations': 11, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 12, 'time_to_reduce': 21, 'call': 13, 't': 11}, {'initial': 17, 'gap_tenths': 50}), ({'min_green': 7, 'added_per_act_tenths': 20, 'max_initial': 27, 'red_actuations': 2, 'initial_gap_tenths': 40, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 17, 'call': 15, 't': 60}, {'initial': 7, 'gap_tenths': 15}), ({'min_green': 10, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 3, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 14, 'time_to_reduce': 28, 'call': 5, 't': 59}, {'initial': 10, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 9, 'added_per_act_tenths': 20, 'max_initial': 28, 'red_actuations': 18, 'initial_gap_tenths': 50, 'min_gap_tenths': 10, 'time_before_reduction': 1, 'time_to_reduce': 8, 'call': -2, 't': 11}, {'initial': 28, 'gap_tenths': 10}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 7, 'added_per_act_tenths': 25, 'max_initial': 27, 'red_actuations': 18, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 5, 'time_to_reduce': 6, 'call': 1, 't': 59}, {'initial': 27, 'gap_tenths': 20})], [({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 20, 'red_actuations': 20, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 13, 'time_to_reduce': 6, 'call': 3, 't': 13}, {'initial': 20, 'gap_tenths': 50}), ({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 2, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 9, 'time_to_reduce': 22, 'call': 9, 't': 29}, {'initial': 8, 'gap_tenths': 25}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 15, 'red_actuations': 14, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 15, 'time_to_reduce': 12, 'call': -1, 't': 23}, {'initial': 15, 'gap_tenths': 27}), ({'min_green': 9, 'added_per_act_tenths': 15, 'max_initial': 24, 'red_actuations': 0, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 11, 'time_to_reduce': 25, 'call': 10, 't': 6}, {'initial': 9, 'gap_tenths': 30}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 9, 'added_per_act_tenths': 20, 'max_initial': 10, 'red_actuations': 6, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 1, 'time_to_reduce': 25, 'call': -1, 't': 52}, {'initial': 10, 'gap_tenths': 10})], [({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 9, 'added_per_act_tenths': 25, 'max_initial': 11, 'red_actuations': 18, 'initial_gap_tenths': 30, 'min_gap_tenths': 20, 'time_before_reduction': 12, 'time_to_reduce': 17, 'call': 2, 't': 46}, {'initial': 11, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 8, 'added_per_act_tenths': 25, 'max_initial': 27, 'red_actuations': 2, 'initial_gap_tenths': 30, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 21, 'call': 10, 't': 4}, {'initial': 8, 'gap_tenths': 30}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 20, 'max_initial': 24, 'red_actuations': 2, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 11, 'time_to_reduce': 8, 'call': -2, 't': 26}, {'initial': 6, 'gap_tenths': 20}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 20, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 24, 'call': 14, 't': 35}, {'initial': 12, 'gap_tenths': 31}), ({'min_green': 4, 'added_per_act_tenths': 15, 'max_initial': 29, 'red_actuations': 3, 'initial_gap_tenths': 40, 'min_gap_tenths': 10, 'time_before_reduction': 12, 'time_to_reduce': 13, 'call': -2, 't': 48}, {'initial': 5, 'gap_tenths': 10})], [({'min_green': 5, 'added_per_act_tenths': 20, 'max_initial': 25, 'red_actuations': 16, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 13, 'time_to_reduce': 29, 'call': -4, 't': 16}, {'initial': 25, 'gap_tenths': 33}), ({'min_green': 7, 'added_per_act_tenths': 10, 'max_initial': 11, 'red_actuations': 0, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 12, 'time_to_reduce': 6, 'call': 1, 't': 28}, {'initial': 7, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 10, 'added_per_act_tenths': 20, 'max_initial': 18, 'red_actuations': 12, 'initial_gap_tenths': 30, 'min_gap_tenths': 15, 'time_before_reduction': 6, 'time_to_reduce': 24, 'call': -2, 't': 33}, {'initial': 18, 'gap_tenths': 15}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 6, 'added_per_act_tenths': 20, 'max_initial': 21, 'red_actuations': 0, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 6, 'time_to_reduce': 29, 'call': 13, 't': 51}, {'initial': 6, 'gap_tenths': 15}), ({'min_green': 9, 'added_per_act_tenths': 25, 'max_initial': 20, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 10, 'time_before_reduction': 2, 'time_to_reduce': 27, 'call': 12, 't': 31}, {'initial': 20, 'gap_tenths': 20})], [({'min_green': 5, 'added_per_act_tenths': 15, 'max_initial': 20, 'red_actuations': 7, 'initial_gap_tenths': 40, 'min_gap_tenths': 20, 'time_before_reduction': 10, 'time_to_reduce': 15, 'call': 3, 't': 20}, {'initial': 11, 'gap_tenths': 31}), ({'min_green': 4, 'added_per_act_tenths': 25, 'max_initial': 15, 'red_actuations': 1, 'initial_gap_tenths': 35, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 21, 'call': 9, 't': 44}, {'initial': 4, 'gap_tenths': 20}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 25, 'red_actuations': 3, 'initial_gap_tenths': 50, 'min_gap_tenths': 20, 'time_before_reduction': 8, 'time_to_reduce': 12, 'call': 0, 't': 40}, {'initial': 8, 'gap_tenths': 20}), ({'min_green': 5, 'added_per_act_tenths': 20, 'max_initial': 27, 'red_actuations': 1, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 5, 'call': -4, 't': 31}, {'initial': 5, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 25, 'max_initial': 10, 'red_actuations': 18, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 14, 'time_to_reduce': 22, 'call': -2, 't': 11}, {'initial': 10, 'gap_tenths': 35}), ({'min_green': 8, 'added_per_act_tenths': 20, 'max_initial': 12, 'red_actuations': 9, 'initial_gap_tenths': 35, 'min_gap_tenths': 15, 'time_before_reduction': 5, 'time_to_reduce': 20, 'call': -4, 't': 12}, {'initial': 12, 'gap_tenths': 28}), ({'min_green': 6, 'added_per_act_tenths': 25, 'max_initial': 17, 'red_actuations': 20, 'initial_gap_tenths': 50, 'min_gap_tenths': 15, 'time_before_reduction': 1, 'time_to_reduce': 12, 'call': -3, 't': 60}, {'initial': 17, 'gap_tenths': 15}), ({'min_green': 5, 'added_per_act_tenths': 25, 'max_initial': 22, 'red_actuations': 19, 'initial_gap_tenths': 40, 'min_gap_tenths': 15, 'time_before_reduction': 2, 'time_to_reduce': 23, 'call': 12, 't': 12}, {'initial': 22, 'gap_tenths': 40})]]\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-volume-density-initial-bounds","generated_at":"2026-09-29T14:47:58.254734+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 variable initial bounds rule so that the step reads `min(x['max_initial'], max(m,`.","root_cause":"The min/max nesting is inverted, so the variable initial jumps to max initial or beyond.","sha256":"2fee26a4849f9d794a241cdfeba4225ef9c0e2f2855c573e6cd78ad31a045e06","title":"Volume-density added initial and gap reduction: variable initial is not floored at min green · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.485,"exit_code":1,"observations":[{"actual":{"gap_tenths":50,"initial":17},"check":"timing oracle 0","expected":{"gap_tenths":50,"initial":17},"passed":true},{"actual":{"gap_tenths":15,"initial":4},"check":"timing oracle 1","expected":{"gap_tenths":15,"initial":7},"passed":false},{"actual":{"gap_tenths":20,"initial":8},"check":"timing oracle 2","expected":{"gap_tenths":20,"initial":10},"passed":false},{"actual":{"gap_tenths":20,"initial":8},"check":"timing oracle 3","expected":{"gap_tenths":20,"initial":8},"passed":true},{"actual":{"gap_tenths":10,"initial":28},"check":"timing oracle 4","expected":{"gap_tenths":10,"initial":28},"passed":true},{"actual":{"gap_tenths":31,"initial":11},"check":"timing oracle 5","expected":{"gap_tenths":31,"initial":11},"passed":true},{"actual":{"gap_tenths":28,"initial":12},"check":"timing oracle 6","expected":{"gap_tenths":28,"initial":12},"passed":true},{"actual":{"gap_tenths":20,"initial":27},"check":"timing oracle 7","expected":{"gap_tenths":20,"initial":27},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"initial\": 17, \"gap_tenths\": 50}, \"expected\": {\"initial\": 17, \"gap_tenths\": 50}, \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": {\"initial\": 4, \"gap_tenths\": 15}, \"expected\": {\"initial\": 7, \"gap_tenths\": 15}, \"passed\": false}, {\"check\": \"timing oracle 2\", \"actual\": {\"initial\": 8, \"gap_tenths\": 20}, \"expected\": {\"initial\": 10, \"gap_tenths\": 20}, \"passed\": false}, {\"check\": \"timing oracle 3\", \"actual\": {\"initial\": 8, \"gap_tenths\": 20}, \"expected\": {\"initial\": 8, \"gap_tenths\": 20}, \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": {\"initial\": 28, \"gap_tenths\": 10}, \"expected\": {\"initial\": 28, \"gap_tenths\": 10}, \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": {\"initial\": 11, \"gap_tenths\": 31}, \"expected\": {\"initial\": 11, \"gap_tenths\": 31}, \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"initial\": 12, \"gap_tenths\": 28}, \"expected\": {\"initial\": 12, \"gap_tenths\": 28}, \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": {\"initial\": 27, \"gap_tenths\": 20}, \"expected\": {\"initial\": 27, \"gap_tenths\": 20}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.605,"exit_code":1,"observations":[{"actual":{"gap_tenths":50,"initial":19},"check":"timing oracle 0","expected":{"gap_tenths":50,"initial":17},"passed":false},{"actual":{"gap_tenths":15,"initial":27},"check":"timing oracle 1","expected":{"gap_tenths":15,"initial":7},"passed":false},{"actual":{"gap_tenths":20,"initial":10},"check":"timing oracle 2","expected":{"gap_tenths":20,"initial":10},"passed":true},{"actual":{"gap_tenths":20,"initial":25},"check":"timing oracle 3","expected":{"gap_tenths":20,"initial":8},"passed":false},{"actual":{"gap_tenths":10,"initial":28},"check":"timing oracle 4","expected":{"gap_tenths":10,"initial":28},"passed":true},{"actual":{"gap_tenths":31,"initial":20},"check":"timing oracle 5","expected":{"gap_tenths":31,"initial":11},"passed":false},{"actual":{"gap_tenths":28,"initial":12},"check":"timing oracle 6","expected":{"gap_tenths":28,"initial":12},"passed":true},{"actual":{"gap_tenths":20,"initial":27},"check":"timing oracle 7","expected":{"gap_tenths":20,"initial":27},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"initial\": 19, \"gap_tenths\": 50}, \"expected\": {\"initial\": 17, \"gap_tenths\": 50}, \"passed\": false}, {\"check\": \"timing oracle 1\", \"actual\": {\"initial\": 27, \"gap_tenths\": 15}, \"expected\": {\"initial\": 7, \"gap_tenths\": 15}, \"passed\": false}, {\"check\": \"timing oracle 2\", \"actual\": {\"initial\": 10, \"gap_tenths\": 20}, \"expected\": {\"initial\": 10, \"gap_tenths\": 20}, \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": {\"initial\": 25, \"gap_tenths\": 20}, \"expected\": {\"initial\": 8, \"gap_tenths\": 20}, \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": {\"initial\": 28, \"gap_tenths\": 10}, \"expected\": {\"initial\": 28, \"gap_tenths\": 10}, \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": {\"initial\": 20, \"gap_tenths\": 31}, \"expected\": {\"initial\": 11, \"gap_tenths\": 31}, \"passed\": false}, {\"check\": \"timing oracle 6\", \"actual\": {\"initial\": 12, \"gap_tenths\": 28}, \"expected\": {\"initial\": 12, \"gap_tenths\": 28}, \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": {\"initial\": 27, \"gap_tenths\": 20}, \"expected\": {\"initial\": 27, \"gap_tenths\": 20}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.706,"exit_code":0,"observations":[{"actual":{"gap_tenths":50,"initial":17},"check":"timing oracle 0","expected":{"gap_tenths":50,"initial":17},"passed":true},{"actual":{"gap_tenths":15,"initial":7},"check":"timing oracle 1","expected":{"gap_tenths":15,"initial":7},"passed":true},{"actual":{"gap_tenths":20,"initial":10},"check":"timing oracle 2","expected":{"gap_tenths":20,"initial":10},"passed":true},{"actual":{"gap_tenths":20,"initial":8},"check":"timing oracle 3","expected":{"gap_tenths":20,"initial":8},"passed":true},{"actual":{"gap_tenths":10,"initial":28},"check":"timing oracle 4","expected":{"gap_tenths":10,"initial":28},"passed":true},{"actual":{"gap_tenths":31,"initial":11},"check":"timing oracle 5","expected":{"gap_tenths":31,"initial":11},"passed":true},{"actual":{"gap_tenths":28,"initial":12},"check":"timing oracle 6","expected":{"gap_tenths":28,"initial":12},"passed":true},{"actual":{"gap_tenths":20,"initial":27},"check":"timing oracle 7","expected":{"gap_tenths":20,"initial":27},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": {\"initial\": 17, \"gap_tenths\": 50}, \"expected\": {\"initial\": 17, \"gap_tenths\": 50}, \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": {\"initial\": 7, \"gap_tenths\": 15}, \"expected\": {\"initial\": 7, \"gap_tenths\": 15}, \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": {\"initial\": 10, \"gap_tenths\": 20}, \"expected\": {\"initial\": 10, \"gap_tenths\": 20}, \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": {\"initial\": 8, \"gap_tenths\": 20}, \"expected\": {\"initial\": 8, \"gap_tenths\": 20}, \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": {\"initial\": 28, \"gap_tenths\": 10}, \"expected\": {\"initial\": 28, \"gap_tenths\": 10}, \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": {\"initial\": 11, \"gap_tenths\": 31}, \"expected\": {\"initial\": 11, \"gap_tenths\": 31}, \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": {\"initial\": 12, \"gap_tenths\": 28}, \"expected\": {\"initial\": 12, \"gap_tenths\": 28}, \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": {\"initial\": 27, \"gap_tenths\": 20}, \"expected\": {\"initial\": 27, \"gap_tenths\": 20}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}