periods=[3, 2, 5]; target=7; guaranteed_upper=14
lo=0; hi=14; mid=7; completed=6; feasible=False
lo=7; hi=14; mid=10; completed=10; feasible=True
lo=7; hi=10; mid=8; completed=7; feasible=True
answer=8; at_7=[2, 3, 1]; at_8=[2, 4, 1]
jump_periods=[2, 2]; target=3; answer=4; completed=4; zero_target=0
machine_lists=780; target_cases=16380; huge_integer_cases=2; order_cases=12
rejected_inputs=14; validates_configuration_before_zero_target=True
PASS: minimum times match ticking oracle; model has no startup/shared-resource limits
