{"abstract":"In cold weather the unit soft-locks on every start because suction pressure is briefly low.","category":"HVAC thermostat control","checks":8,"contract":"Compressor pressure-switch lockout per minute; samples are [call, hp_ok, lp_ok] where call may also be \"reset\". While running, an open high-pressure switch trips at once; the low-pressure switch is ignored for the first 2 minutes after start. A trip enters a 5-minute soft lockout, after which the unit retries automatically if still called. The third trip within a sliding 60-minute window (trips older than 60 minutes are forgotten) causes a hard lockout that only reset clears; reset also clears the trip history. Return run, idle, soft or hard per minute.","evaluation_group":"w2-hvac-thermostat-control-pressure-switch-lockout","failed_approach":"A 3-minute bypass masks a genuine low-pressure fault for an extra minute.","family":"w2-hvac-thermostat-control-pressure-switch-lockout-low-pressure-bypass","id":"FA-92681","implementations":{"attempt":{"sha256":"0941e6f3cefef0291efad029a534739207b11ef661c8e87a67d25f48ae54db5f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples):\n    state = 'idle'\n    trips = []\n    start_at = None\n    soft_until = None\n    out = []\n    for minute, (call, hp_ok, lp_ok) in enumerate(samples):\n        if call == 'reset':\n            state = 'idle'\n            trips = []\n            out.append(state)\n            continue\n        if state == 'soft' and minute >= soft_until:\n            state = 'idle'\n        if state == 'run':\n            lp_fault = not lp_ok and minute - start_at > 2\n            if not hp_ok or lp_fault:\n                trips = [t for t in trips if minute - t < 60] + [minute]\n                if len(trips) >= 3:\n                    state = 'hard'\n                else:\n                    state = 'soft'\n                    soft_until = minute + 5\n            elif not call:\n                state = 'idle'\n        if state == 'idle' and call:\n            state = 'run'\n            start_at = minute\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['regression: scenario 1',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']],\n  ['control: trip late in long run',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run']]],\n [['regression: scenario 3',\n   [[[False, False, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True]]],\n   ['idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run']],\n  ['regression: scenario 2',\n   [[[True, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [False, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 2',\n   [[[True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 3',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 4',\n   [[[True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, False, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [False, True, True]]],\n   ['run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle']],\n  ['regression: scenario 5',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 5',\n   [[[True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', False, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [False, False, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'idle',\n    'idle',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'soft',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run']],\n  ['regression: scenario 11',\n   [[[False, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False]]],\n   ['idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"2bc07ebc80ec495f5b76d28305ff022b50b5ebde0cea345127d995b81fa313dd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples):\n    state = 'idle'\n    trips = []\n    start_at = None\n    soft_until = None\n    out = []\n    for minute, (call, hp_ok, lp_ok) in enumerate(samples):\n        if call == 'reset':\n            state = 'idle'\n            trips = []\n            out.append(state)\n            continue\n        if state == 'soft' and minute >= soft_until:\n            state = 'idle'\n        if state == 'run':\n            lp_fault = not lp_ok\n            if not hp_ok or lp_fault:\n                trips = [t for t in trips if minute - t < 60] + [minute]\n                if len(trips) >= 3:\n                    state = 'hard'\n                else:\n                    state = 'soft'\n                    soft_until = minute + 5\n            elif not call:\n                state = 'idle'\n        if state == 'idle' and call:\n            state = 'run'\n            start_at = minute\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['regression: scenario 1',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']],\n  ['control: trip late in long run',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run']]],\n [['regression: scenario 3',\n   [[[False, False, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True]]],\n   ['idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run']],\n  ['regression: scenario 2',\n   [[[True, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [False, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 2',\n   [[[True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 3',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 4',\n   [[[True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, False, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [False, True, True]]],\n   ['run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle']],\n  ['regression: scenario 5',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 5',\n   [[[True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', False, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [False, False, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'idle',\n    'idle',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'soft',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run']],\n  ['regression: scenario 11',\n   [[[False, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False]]],\n   ['idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"ae4f192b27119e3b67b4fbca080e496913e317370967fa05e5868d93f4b69065","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples):\n    state = 'idle'\n    trips = []\n    start_at = None\n    soft_until = None\n    out = []\n    for minute, (call, hp_ok, lp_ok) in enumerate(samples):\n        if call == 'reset':\n            state = 'idle'\n            trips = []\n            out.append(state)\n            continue\n        if state == 'soft' and minute >= soft_until:\n            state = 'idle'\n        if state == 'run':\n            lp_fault = not lp_ok and minute - start_at >= 2\n            if not hp_ok or lp_fault:\n                trips = [t for t in trips if minute - t < 60] + [minute]\n                if len(trips) >= 3:\n                    state = 'hard'\n                else:\n                    state = 'soft'\n                    soft_until = minute + 5\n            elif not call:\n                state = 'idle'\n        if state == 'idle' and call:\n            state = 'run'\n            start_at = minute\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['regression: scenario 1',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']],\n  ['control: trip late in long run',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run']]],\n [['regression: scenario 3',\n   [[[False, False, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True]]],\n   ['idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run']],\n  ['regression: scenario 2',\n   [[[True, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [False, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 2',\n   [[[True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 3',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 4',\n   [[[True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [False, False, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [False, True, True]]],\n   ['run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle']],\n  ['regression: scenario 5',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 5',\n   [[[True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', False, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\n     [False, False, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'idle',\n    'idle',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'soft',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run']],\n  ['regression: scenario 11',\n   [[[False, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False]]],\n   ['idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'soft']],\n  ['regression: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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 teaching model of one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. 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-hvac-thermostat-control-pressure-switch-lockout-low-pressure-bypass","generated_at":"2026-09-29T14:51:47.954874+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.","repair":"Ignore the low-pressure switch for the first 2 minutes after start.","root_cause":"The low-pressure fault is evaluated from the first running minute.","sha256":"9bdb5053323c3197356fad7a08165010a8fba7e4117acc7d28e39f4d6e2f066c","title":"Low-pressure switch trips the compressor during startup · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.687,"exit_code":1,"observations":[{"actual":["run","run","run","run","soft","soft","soft","soft","soft","run","run","run","soft","soft","soft"],"check":"regression: low pressure bypass and retry","expected":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"passed":false},{"actual":["run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","run","soft","soft","soft","soft","soft","run","run","idle","idle","run","hard","hard","hard"],"check":"regression: scenario 1","expected":["run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard"],"passed":false},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"control: three trips hard lockout","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run"],"check":"control: high pressure at start","expected":["run","soft","soft","soft","soft","soft","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"check":"control: trip exactly an hour old","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"check":"control: old trips expire","expected":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"passed":true},{"actual":["run","run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: trip late in long run","expected":["run","run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: low pressure bypass and retry\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"passed\": false}, {\"check\": \"regression: scenario 1\", \"actual\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"idle\", \"idle\", \"run\", \"hard\", \"hard\", \"hard\"], \"expected\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": false}, {\"check\": \"control: three trips hard lockout\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: high pressure during suction dip\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: high pressure at start\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: trip exactly an hour old\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: old trips expire\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: trip late in long run\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.358,"exit_code":1,"observations":[{"actual":["run","soft","soft","soft","soft","soft","run","run","run","run","run","soft","soft","soft","soft"],"check":"regression: low pressure bypass and retry","expected":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"passed":false},{"actual":["run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard"],"check":"regression: scenario 1","expected":["run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"control: three trips hard lockout","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run"],"check":"control: high pressure at start","expected":["run","soft","soft","soft","soft","soft","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"check":"control: trip exactly an hour old","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"check":"control: old trips expire","expected":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"passed":true},{"actual":["run","run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: trip late in long run","expected":["run","run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: low pressure bypass and retry\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"passed\": false}, {\"check\": \"regression: scenario 1\", \"actual\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"expected\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": true}, {\"check\": \"control: three trips hard lockout\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: high pressure during suction dip\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: high pressure at start\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: trip exactly an hour old\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: old trips expire\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: trip late in long run\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.75,"exit_code":0,"observations":[{"actual":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"check":"regression: low pressure bypass and retry","expected":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"passed":true},{"actual":["run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard"],"check":"regression: scenario 1","expected":["run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"control: three trips hard lockout","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run"],"check":"control: high pressure at start","expected":["run","soft","soft","soft","soft","soft","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"check":"control: trip exactly an hour old","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"check":"control: old trips expire","expected":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"passed":true},{"actual":["run","run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: trip late in long run","expected":["run","run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: low pressure bypass and retry\", \"actual\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"regression: scenario 1\", \"actual\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"expected\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": true}, {\"check\": \"control: three trips hard lockout\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: high pressure during suction dip\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: high pressure at start\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: trip exactly an hour old\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: old trips expire\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: trip late in long run\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}