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
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
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 |