{"abstract":"A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.","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":"Checking high pressure only while the low-pressure switch is closed misses a high-pressure trip during a startup suction dip.","family":"w2-hvac-thermostat-control-pressure-switch-lockout-high-pressure-bypass","id":"FA-92686","implementations":{"attempt":{"sha256":"53157100e946290a9b4ba17c399b0c223915b0568b87d3692caf95036ae81f7d","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 and lp_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: 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  ['regression: 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: 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: 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  ['regression: 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  ['regression: 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: reset during hard with recent trips',\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     ['reset', 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, 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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: 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  ['regression: scenario 37',\n   [[[True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, False, 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, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, 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, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, 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     ['reset', True, True],\n     [False, True, False],\n     [False, True, True],\n     [False, True, True],\n     [True, True, False],\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, True, False],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\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     ['reset', True, True],\n     [True, True, True],\n     [True, False, False],\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, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\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    'idle',\n    'run',\n    'run',\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    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'idle',\n    'idle',\n    'run',\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    'soft',\n    'soft',\n    'soft',\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    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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  ['regression: scenario 39',\n   [[[True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [False, 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, False],\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     [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     ['reset', 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, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, 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     [False, True, True],\n     [False, False, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     ['reset', True, True],\n     ['reset', 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     [True, True, False],\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, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\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  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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  ['regression: scenario 35',\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     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, 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, 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     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, 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     [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   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'idle',\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    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\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    'hard',\n    'hard',\n    'hard']],\n  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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: 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: 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: 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  ['regression: 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  ['regression: 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: 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: reset during hard with recent trips',\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     ['reset', 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, 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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\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":"2b9f942f5c58afe90d892866be842603f7c7d74163e1c14a43679dbb61522ba1","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 not lp_ok) and minute - start_at >= 2:\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: 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  ['regression: 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: 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: 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  ['regression: 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  ['regression: 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: reset during hard with recent trips',\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     ['reset', 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, 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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: 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  ['regression: scenario 37',\n   [[[True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, False, 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, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, 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, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, 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     ['reset', True, True],\n     [False, True, False],\n     [False, True, True],\n     [False, True, True],\n     [True, True, False],\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, True, False],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\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     ['reset', True, True],\n     [True, True, True],\n     [True, False, False],\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, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\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    'idle',\n    'run',\n    'run',\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    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'idle',\n    'idle',\n    'run',\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    'soft',\n    'soft',\n    'soft',\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    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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  ['regression: scenario 39',\n   [[[True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [False, 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, False],\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     [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     ['reset', 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, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, 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     [False, True, True],\n     [False, False, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     ['reset', True, True],\n     ['reset', 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     [True, True, False],\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, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\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  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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  ['regression: scenario 35',\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     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, 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, 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     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, 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     [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   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'idle',\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    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\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    'hard',\n    'hard',\n    'hard']],\n  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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: 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: 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: 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  ['regression: 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  ['regression: 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: 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: reset during hard with recent trips',\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     ['reset', 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, 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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\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":"1d9cf468ebf7a7c5a913c14ae7a3e1f30bc049e4c131b20a918490f151af81b4","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: 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  ['regression: 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: 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: 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  ['regression: 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  ['regression: 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: reset during hard with recent trips',\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     ['reset', 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, 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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: 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  ['regression: scenario 37',\n   [[[True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, False, 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, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, 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, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, 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     ['reset', True, True],\n     [False, True, False],\n     [False, True, True],\n     [False, True, True],\n     [True, True, False],\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, True, False],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, False],\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     ['reset', True, True],\n     [True, True, True],\n     [True, False, False],\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, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\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    'idle',\n    'run',\n    'run',\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    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'idle',\n    'idle',\n    'run',\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    'soft',\n    'soft',\n    'soft',\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    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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  ['regression: scenario 39',\n   [[[True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [False, 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, False],\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     [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     ['reset', 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, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, 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     [False, True, True],\n     [False, False, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     ['reset', True, True],\n     ['reset', 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     [True, True, False],\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, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\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  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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  ['regression: scenario 35',\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     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, 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, 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     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, False, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, 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     [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   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'idle',\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    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\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    'hard',\n    'hard',\n    'hard']],\n  ['control: 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: 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  ['regression: 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  ['regression: 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  ['regression: 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: 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: 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: 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: 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  ['regression: 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  ['regression: 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: 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: reset during hard with recent trips',\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     ['reset', 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, 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    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\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-high-pressure-bypass","generated_at":"2026-09-29T14:51:48.034115+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":"Only the low-pressure switch has a startup bypass; high pressure trips immediately.","root_cause":"The startup bypass is applied to both pressure switches.","sha256":"8d77dd275d6018a6d6c3ecf41a79b16e51ad1effa4ef72ed3a5bc07c6e7c85ee","title":"High-pressure switch is bypassed with the low-pressure startup delay · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.636,"exit_code":1,"observations":[{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"regression: 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","run","run","run","run","run","run","run","run"],"check":"regression: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":false},{"actual":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"check":"control: 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","soft","soft","soft","soft","soft","run","run"],"check":"regression: 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":"regression: 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":"regression: 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},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft"],"check":"regression: reset during hard with recent trips","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: 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\": \"regression: high pressure during suction dip\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": false}, {\"check\": \"control: 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: 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\": \"regression: 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\": \"regression: 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}, {\"check\": \"regression: reset during hard with recent trips\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.127,"exit_code":1,"observations":[{"actual":["run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","run","idle","run","run","run"],"check":"regression: 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":false},{"actual":["run","run","run","run","run","run","run","run","run"],"check":"regression: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":false},{"actual":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"check":"control: 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","run","run","run","run","run"],"check":"regression: high pressure at start","expected":["run","soft","soft","soft","soft","soft","run","run"],"passed":false},{"actual":["run","run","run","run","run","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","soft","soft","soft"],"check":"regression: 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":false},{"actual":["run","run","run","run","run","run","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":"regression: 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":false},{"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},{"actual":["run","run","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","idle","run","run","run","run","run","run","run","run","soft","soft"],"check":"regression: reset during hard with recent trips","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: three trips hard lockout\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"passed\": false}, {\"check\": \"regression: high pressure during suction dip\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": false}, {\"check\": \"control: 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: high pressure at start\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"passed\": false}, {\"check\": \"regression: trip exactly an hour old\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"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\", \"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\": false}, {\"check\": \"regression: old trips expire\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"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\": false}, {\"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}, {\"check\": \"regression: reset during hard with recent trips\", \"actual\": [\"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.57,"exit_code":0,"observations":[{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"regression: 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":"regression: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":true},{"actual":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"check":"control: 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","soft","soft","soft","soft","soft","run","run"],"check":"regression: 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":"regression: 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":"regression: 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},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft"],"check":"regression: reset during hard with recent trips","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","idle","run","soft","soft","soft","soft","soft","run","run","soft","soft"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: 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\": \"regression: 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: 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: 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\": \"regression: 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\": \"regression: 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}, {\"check\": \"regression: reset during hard with recent trips\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}