openjdk version "21.0.11" 2026-04-21 LTS
OpenJDK Runtime Environment Corretto-21.0.11.10.1 (build 21.0.11+10-LTS)
OpenJDK 64-Bit Server VM Corretto-21.0.11.10.1 (build 21.0.11+10-LTS, mixed mode, sharing)
javac 21.0.11
PASS normal_state_cycle
PASS handover_without_hold rejected=AVAILABLE/HANDOVER
PASS reserve_during_inspection rejected=INSPECTION/RESERVE
PASS timeout_before_deadline rejected=HELD/TIMEOUT
PASS handover_at_deadline rejected=HELD/HANDOVER
PASS timeout_at_deadline
PASS pickup_flow
PASS timeout_flow
TRACE pickup=[desk:quote=640, desk:hold, warehouse:handover, OUT] timeout=[desk:quote=640, desk:hold, timer:release, AVAILABLE]
PASS complete_unique_domain_1_to_30
PASS overlap_day_7 rejected=matches=2 days=7
PASS gap_day_8 rejected=matches=0 days=8
PASS outside_domain_day_0 rejected=matches=0 days=0
PASS outside_domain_day_31 rejected=matches=0 days=31
PASS first_order_changes_result
RESULT PASS chapter=06 checks=14 scope=local_finite_model
