Skip to content

Benchmarks

117 tasks across 10 domains. A task's URL is its suite id and does not move, because published results cite it. The catalog tracks the working tree; the archived release carries its own counts, listed under Citing.

language tasks
FBD 5
IL 3
LD-graphical 53
LD-textual 20
SFC 3
ST 33
validation status tasks
candidate 70
validated 47

building automation

id name language difficulty status
airlock_pressure_interlock Cleanroom airlock door interlock ST easy candidate
g_building_lighting building lighting interlock (graphical LD) LD-graphical easy validated
g_comb_mixed comb mixed (graphical LD twin) LD-graphical easy validated
g_comb_or comb or (graphical LD twin) LD-graphical easy validated
g_door_reversal sectional door with photo-eye reversal LD-graphical easy validated
intrusion_dual_alarm Intrusion latch with siren and door-lock annunciation LD-textual easy validated
kiln_door_lockout Industrial kiln door safety latch ST medium candidate
ld_comb_mixed comb mixed (K-LD feature benchmark) LD-textual easy validated
ld_comb_or comb or (K-LD feature benchmark) LD-textual easy validated
st_door_reversal sectional door with photo-eye reversal (ST twin) ST easy candidate

chemical batch

id name language difficulty status
fbd_reactor_2oo3 Two-out-of-three overpressure trip (FBD) FBD medium candidate
g_batch_mixer batch mixer interlock (graphical LD) LD-graphical medium validated
g_batch_reactor batch reactor interlock (graphical LD) LD-graphical medium validated
g_independent_hp_trip independent high-pressure trip (graphical LD) LD-graphical medium validated
g_phase_hold_permissive ISA-88 phase hold on permissive loss (graphical LD) LD-graphical medium validated
g_vessel_empty_permissive reactor charge vessel-empty permissive (graphical LD) LD-graphical medium validated
mixer_lid_stall_interlock Batch mixer lid/stall dual interlock ST easy candidate
reactor_pressure_lockout Chemical reactor overpressure lockout ST medium candidate
sfc_batch_fill_drain Batch fill and drain cycle (SFC) SFC easy candidate

elevator

id name language difficulty status
elevator_door_motion_interlock Elevator door/motion dual interlock ST easy candidate
g_ctd_load ctd load (graphical LD twin) LD-graphical medium candidate
g_elevator_door elevator door interlock (graphical LD) LD-graphical easy validated
g_timer_latch_mix timer latch mix (graphical LD twin) LD-graphical medium candidate
ld_ctd_load ctd load (K-LD feature benchmark) LD-textual easy validated
ld_timer_latch_mix timer latch mix (K-LD feature benchmark) LD-textual easy candidate
sfc_elevator_door Car door cycle with a stored action (SFC) SFC medium candidate

hvac

id name language difficulty status
fbd_fan_damper Fan and damper permissive (FBD) FBD easy candidate
g_burner_purge burner purge, light-off and lockout LD-graphical easy validated
g_hvac_fan_delay hvac fan delay interlock (graphical LD) LD-graphical easy validated
g_tof_hold tof hold (graphical LD twin) LD-graphical medium candidate
g_ton_single ton single (graphical LD twin) LD-graphical easy candidate
ld_tof_hold tof hold (K-LD feature benchmark) LD-textual easy candidate
ld_ton_single ton single (K-LD feature benchmark) LD-textual easy candidate
purge_fault_lockout Burner pre-ignition purge fault lockout LD-textual easy validated
st_burner_purge burner purge, light-off and lockout (ST twin) ST easy candidate

manufacturing

id name language difficulty status
counter_scalability counter scalability ST medium candidate
fbd_comb_and comb and (Function Block Diagram rendering) FBD easy candidate
fbd_counter_reset counter with reset-to-value (Function Block Diagram) FBD easy candidate
g_comb_and comb and (graphical LD twin) LD-graphical easy validated
g_compressor_cycle air compressor load/unload with minimum-off interlock LD-graphical easy validated
g_conveyor_interlock conveyor interlock interlock (graphical LD) LD-graphical medium validated
g_guard_lock interlocked guard with rundown timer LD-graphical easy validated
g_ppu_evolution_1 PPU LD evolution 1 (graphical LD) LD-graphical easy candidate
g_two_hand two-hand control on a power press, Type II LD-graphical easy validated
g_two_hand_fb two-hand control as a function block LD-graphical medium candidate
hoist_overload_cutoff Crane hoist overload cutoff ST easy candidate
il_comb_and comb and (Instruction List rendering) IL easy candidate
il_counter_reset counter with reset-to-value (Instruction List) IL easy candidate
ld_comb_and comb and (K-LD feature benchmark) LD-textual easy validated
ld_ton_chain2 ton chain2 (K-LD feature benchmark) LD-textual easy candidate
sfc_counter_reset counter with reset-to-value (Sequential Function Chart) SFC easy candidate
st_comb_and comb and (Structured Text rendering) ST easy candidate
st_compressor_cycle air compressor load/unload with minimum-off interlock (ST twin) ST easy candidate
st_counter_reset counter with reset-to-value (Structured Text) ST easy candidate
st_guard_lock interlocked guard with rundown timer (ST twin) ST easy candidate
st_three_pump_lockout Three-pump station lockout ST medium candidate
st_two_hand two-hand control on a power press, Type II (ST twin) ST easy candidate
welder_gas_shield_interlock MIG welder shielding-gas interlock ST easy candidate

motor control

id name language difficulty status
fbd_seal_in seal in (Function Block Diagram rendering) FBD easy candidate
g_estop_reset emergency stop with monitored manual reset LD-graphical easy validated
g_failsafe_motor_latch Fail-Safe Motor Latch LD-graphical easy validated
g_fwd_rev_interlock FWD/REV Motor Interlock LD-graphical easy candidate
g_motor_interlock Forward/reverse motor interlock (graphical LD) LD-graphical easy validated
g_seal_in seal in (graphical LD twin) LD-graphical easy validated
g_star_delta star-delta starter with open transition LD-graphical easy validated
g_start_cycle Start/stop cycle controller (graphical LD) LD-graphical easy candidate
g_stop_eq Stop-on-equal comparison cycle (graphical LD) LD-graphical easy candidate
il_seal_in seal in (Instruction List rendering) IL easy candidate
ld_latch_basic latch basic (K-LD feature benchmark) LD-textual easy validated
ld_seal_in seal in (K-LD feature benchmark) LD-textual easy validated
motor_interlock Forward/reverse motor interlock ST easy candidate
st_estop_reset emergency stop with monitored manual reset (ST twin) ST easy candidate
st_seal_in seal in (Structured Text rendering) ST easy candidate
st_star_delta star-delta starter with open transition (ST twin) ST easy candidate

packaging

id name language difficulty status
conveyor_jam_lockout Packaging conveyor jam lockout ST medium candidate
g_ctu_saturate ctu saturate (graphical LD twin) LD-graphical medium candidate
g_ftrig_edge ftrig edge (graphical LD twin) LD-graphical easy validated
g_packaging_filler packaging filler interlock (graphical LD) LD-graphical medium validated
g_tp_pulse tp pulse (graphical LD twin) LD-graphical medium candidate
ld_ctu_saturate ctu saturate (K-LD feature benchmark) LD-textual easy validated
ld_ftrig_edge ftrig edge (K-LD feature benchmark) LD-textual easy validated
ld_tp_pulse tp pulse (K-LD feature benchmark) LD-textual easy candidate
reject_gate_triple_output Reject gate fault latch with gate, counter, and line-stop readouts LD-textual easy validated

power substation

id name language difficulty status
breaker_earth_trip_interlock Substation breaker closing-coil dual interlock ST easy candidate
g_bus_coupler_changeover bus coupler auto-changeover (graphical LD) LD-graphical medium validated
g_busbar_interlock busbar interlock (graphical LD) LD-graphical medium validated
g_dead_bus_close_check dead bus / synchro-check close permissive (graphical LD) LD-graphical medium validated
g_substation_breaker substation breaker interlock (graphical LD) LD-graphical medium validated
g_transformer_protect transformer protect interlock (graphical LD) LD-graphical medium validated
g_trip_lockout_86 trip lockout relay (86) reclose block (graphical LD) LD-graphical medium validated
protection_lockout_cascade Protection trip cascading through a lockout latch to breaker close LD-textual medium validated

traffic

id name language difficulty status
g_rtrig_edge rtrig edge (graphical LD twin) LD-graphical easy validated
g_traffic_light traffic light interlock (graphical LD) LD-graphical easy validated
g_traffic_light_pedestrian Traffic light sequence with pedestrian button (graphical LD / FB) LD-graphical medium candidate
ld_edge_counter edge counter (K-LD feature benchmark) LD-textual easy candidate
ld_rtrig_edge rtrig edge (K-LD feature benchmark) LD-textual easy validated

water treatment

id name language difficulty status
chemical_feed_fault_lockout Chemical dosing overdose lockout with lamp and pump-inhibit readouts LD-textual easy validated
dosing_pump_lockout Water treatment dosing pump fault lockout ST medium candidate
g_pump_alternation duty-standby pump station with alternation LD-graphical medium validated
g_tank_assignment Tank valve controller — assignment (graphical LD) LD-graphical medium candidate
g_tank_start_eq Tank valve controller — start eq (graphical LD) LD-graphical medium candidate
g_tank_start_le Tank valve controller — start le (graphical LD) LD-graphical medium candidate
g_tank_stop_ge Tank valve controller — stop ge (graphical LD) LD-graphical medium candidate
g_tank_sub_function Tank valve controller — sub function (graphical LD) LD-graphical medium candidate
g_tank_substitution_coil Tank valve controller — substitution coil (graphical LD) LD-graphical medium candidate
g_tank_value_filtering Tank valve controller — value filtering (graphical LD) LD-graphical medium candidate
g_tank_valves Tank valve controller — valves handler (graphical LD) LD-graphical medium candidate
sensor_forge sensor forge ST medium candidate
st_pump_alternation duty-standby pump station with alternation (ST twin) ST medium candidate
st_quad_valve_lockout Four-way header selector valve lockout ST medium candidate
st_swat_eq1 SWaT multi-PLC level control — EQ1 ST hard candidate
st_swat_ge1 SWaT multi-PLC level control — GE1 ST hard candidate
st_swat_le1 SWaT multi-PLC level control — LE1 ST hard candidate
st_swat_level1 SWaT multi-PLC level control — level1 ST hard candidate
st_swat_sub1 SWaT multi-PLC level control — sub1 ST hard candidate
st_swat_timer1 SWaT multi-PLC level control — timer1 ST hard candidate
tank_overflow tank overflow ST medium candidate