FA-92686 / HVAC thermostat control / Open access
High-pressure switch is bypassed with the low-pressure startup delay · case 01
A blocked condenser keeps the compressor running for two minutes against an open high-pressure switch.
ROOT CAUSE
The startup bypass is applied to both pressure switches.
VERIFIED REPAIR
Only the low-pressure switch has a startup bypass; high pressure trips immediately.
Unsuccessful approach: Checking high pressure only while the low-pressure switch is closed misses a high-pressure trip during a startup suction dip.
Case 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.
Why this case matters
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.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(samples):
state = 'idle'
trips = []
start_at = None
soft_until = None
out = []
for minute, (call, hp_ok, lp_ok) in enumerate(samples):
if call == 'reset':
state = 'idle'
trips = []
out.append(state)
continue
if state == 'soft' and minute >= soft_until:
state = 'idle'
if state == 'run':
lp_fault = not lp_ok and minute - start_at >= 2
if (not hp_ok or not lp_ok) and minute - start_at >= 2:
trips = [t for t in trips if minute - t < 60] + [minute]
if len(trips) >= 3:
state = 'hard'
else:
state = 'soft'
soft_until = minute + 5
elif not call:
state = 'idle'
if state == 'idle' and call:
state = 'run'
start_at = minute
out.append(state)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['regression: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']]],
[['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: scenario 37',
[[[True, False, True],
[True, True, True],
[True, True, False],
[True, True, False],
[False, True, True],
[True, True, True],
[False, True, True],
[False, False, True],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, False],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True],
['reset', True, True],
[False, True, False],
[False, True, True],
[False, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, False],
[True, True, False],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'idle',
'run',
'run',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'idle',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'idle',
'idle',
'idle',
'run',
'idle',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: scenario 39',
[[[True, True, True],
[True, True, False],
[False, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[True, True, True],
[False, True, False],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[False, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[False, True, True],
[False, False, True],
[True, True, False],
[True, False, False],
[True, True, True],
[True, True, True],
[False, False, True],
['reset', True, True],
['reset', True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'idle',
'idle',
'run',
'run',
'idle',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'idle',
'run',
'run',
'run',
'run',
'idle',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'idle',
'run',
'idle',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'idle',
'run',
'run',
'run',
'run',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: scenario 35',
[[[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[False, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False],
[True, False, False],
[True, True, False],
[False, True, True],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[False, True, True],
[False, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, False],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'idle',
'idle',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'idle',
'idle',
'run',
'run',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['regression: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: three trips hard lockout | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'idle', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | Failed |
| regression: high pressure during suction dip | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Failed |
| control: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Passed |
| regression: high pressure at start | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Failed |
| regression: trip exactly an hour old | ['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'] | ['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'] | Failed |
| regression: old trips expire | ['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'] | ['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'] | Failed |
| control: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| regression: reset during hard with recent trips | ['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'] | ['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'] | Failed |
SHA-256 / 2b9f942f5c58afe90d892866be842603f7c7d74163e1c14a43679dbb61522ba1
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(samples):
state = 'idle'
trips = []
start_at = None
soft_until = None
out = []
for minute, (call, hp_ok, lp_ok) in enumerate(samples):
if call == 'reset':
state = 'idle'
trips = []
out.append(state)
continue
if state == 'soft' and minute >= soft_until:
state = 'idle'
if state == 'run':
lp_fault = not lp_ok and minute - start_at >= 2
if (not hp_ok and lp_ok) or lp_fault:
trips = [t for t in trips if minute - t < 60] + [minute]
if len(trips) >= 3:
state = 'hard'
else:
state = 'soft'
soft_until = minute + 5
elif not call:
state = 'idle'
if state == 'idle' and call:
state = 'run'
start_at = minute
out.append(state)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['regression: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']]],
[['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: scenario 37',
[[[True, False, True],
[True, True, True],
[True, True, False],
[True, True, False],
[False, True, True],
[True, True, True],
[False, True, True],
[False, False, True],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, False],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True],
['reset', True, True],
[False, True, False],
[False, True, True],
[False, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, False],
[True, True, False],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'idle',
'run',
'run',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'idle',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'idle',
'idle',
'idle',
'run',
'idle',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: scenario 39',
[[[True, True, True],
[True, True, False],
[False, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[True, True, True],
[False, True, False],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[False, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[False, True, True],
[False, False, True],
[True, True, False],
[True, False, False],
[True, True, True],
[True, True, True],
[False, False, True],
['reset', True, True],
['reset', True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'idle',
'idle',
'run',
'run',
'idle',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'idle',
'run',
'run',
'run',
'run',
'idle',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'idle',
'run',
'idle',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'idle',
'run',
'run',
'run',
'run',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: scenario 35',
[[[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[False, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False],
[True, False, False],
[True, True, False],
[False, True, True],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[False, True, True],
[False, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, False],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'idle',
'idle',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'idle',
'idle',
'run',
'run',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['regression: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: three trips hard lockout | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | Passed |
| regression: high pressure during suction dip | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Failed |
| control: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Passed |
| regression: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Passed |
| regression: trip exactly an hour old | ['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'] | ['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 |
| regression: old trips expire | ['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'] | ['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 |
| control: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| regression: reset during hard with recent trips | ['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'] | ['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 |
SHA-256 / 53157100e946290a9b4ba17c399b0c223915b0568b87d3692caf95036ae81f7d
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(samples):
state = 'idle'
trips = []
start_at = None
soft_until = None
out = []
for minute, (call, hp_ok, lp_ok) in enumerate(samples):
if call == 'reset':
state = 'idle'
trips = []
out.append(state)
continue
if state == 'soft' and minute >= soft_until:
state = 'idle'
if state == 'run':
lp_fault = not lp_ok and minute - start_at >= 2
if not hp_ok or lp_fault:
trips = [t for t in trips if minute - t < 60] + [minute]
if len(trips) >= 3:
state = 'hard'
else:
state = 'soft'
soft_until = minute + 5
elif not call:
state = 'idle'
if state == 'idle' and call:
state = 'run'
start_at = minute
out.append(state)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['regression: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']]],
[['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: scenario 37',
[[[True, False, True],
[True, True, True],
[True, True, False],
[True, True, False],
[False, True, True],
[True, True, True],
[False, True, True],
[False, False, True],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, False],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True],
['reset', True, True],
[False, True, False],
[False, True, True],
[False, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, False],
[True, True, False],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'idle',
'run',
'run',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'idle',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'idle',
'idle',
'idle',
'run',
'idle',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: scenario 39',
[[[True, True, True],
[True, True, False],
[False, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[True, True, True],
[False, True, False],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, True, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[False, True, True],
[True, True, True],
[False, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[False, True, True],
[False, False, True],
[True, True, False],
[True, False, False],
[True, True, True],
[True, True, True],
[False, False, True],
['reset', True, True],
['reset', True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'idle',
'idle',
'run',
'run',
'idle',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'idle',
'run',
'run',
'run',
'run',
'idle',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'idle',
'run',
'idle',
'idle',
'run',
'soft',
'soft',
'soft',
'soft',
'idle',
'idle',
'run',
'run',
'run',
'run',
'run',
'idle',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['regression: scenario 35',
[[[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[False, True, True],
[False, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[False, True, True],
[True, True, False],
[True, True, False],
[True, False, False],
[True, True, False],
[False, True, True],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[False, True, True],
[False, True, False],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, False],
[False, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, True],
[False, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'run',
'run',
'run',
'idle',
'idle',
'idle',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'idle',
'idle',
'run',
'run',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard',
'hard']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']]],
[['regression: old trips expire',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']],
['regression: high pressure during suction dip',
[[[True, True, True],
[True, False, False],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],
['control: low pressure bypass and retry',
[[[True, True, True],
[True, True, False],
[True, True, False],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, False],
[True, True, False],
[True, True, False],
[True, True, True]]],
['run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft']],
['regression: three trips hard lockout',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'hard',
'hard',
'idle',
'run',
'soft',
'soft']],
['regression: high pressure at start',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],
['regression: trip exactly an hour old',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True]]],
['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']],
['control: trip late in long run',
[[[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True]]],
['run',
'run',
'run',
'run',
'run',
'run',
'run',
'run',
'soft',
'soft',
'soft',
'soft',
'soft',
'run',
'run',
'run']],
['regression: reset during hard with recent trips',
[[[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
['reset', True, True],
[True, True, True],
[True, False, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, True, True],
[True, False, True],
[True, True, True]]],
['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']]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: three trips hard lockout | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'hard', 'hard', 'idle', 'run', 'soft', 'soft'] | Passed |
| regression: high pressure during suction dip | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| control: low pressure bypass and retry | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | ['run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft'] | Passed |
| regression: high pressure at start | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run'] | Passed |
| regression: trip exactly an hour old | ['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'] | ['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 |
| regression: old trips expire | ['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'] | ['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 |
| control: trip late in long run | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | ['run', 'run', 'run', 'run', 'run', 'run', 'run', 'run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run'] | Passed |
| regression: reset during hard with recent trips | ['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'] | ['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 |
SHA-256 / 1d9cf468ebf7a7c5a913c14ae7a3e1f30bc049e4c131b20a918490f151af81b4
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:51:48.034115+00:00.
Case digest / 8d77dd275d6018a6d6c3ecf41a79b16e51ad1effa4ef72ed3a5bc07c6e7c85ee