List your company

Program Synthesis on PSB 1

100Compare String LengthHOTGP
-4235077Nov 28, 2025

Evaluation results

MethodLinks
HOTGPSplit=Test2025.11100—46—003932073110010038—5995871—07934—368—15—4
HOTGPSplit=Test, Simplification=after simplification procedure2025.11100—50—005937099110010038—59100891—08037—4710—15—9
DSLSSplit=Test2025.115118112850252656999829910031229895254649721911813—24011
UMADSplit=Test2025.1142512112001056481008210087204100862604892959379—2104
CBGPSplit=Test2025.1122—00——0—1098100991000—0100————88100—477—9—4
PushGPSplit=Test2025.117087621421457845985125816660181618035—2201
G3PhsSplit=Test2025.115———————096—099——41000—5—468—134—8—1
G3PSplit=Test2025.112012001831227906394027946832105910046—1700
Origamivariant=AC/DC2025.110.970.7100.630.380.9710.9311110.210.67110.30.630.810.8700.10.150.20.210.22——
PushGPvariant=DSLS2025.110.510.180.110.280.50.020.050.020.650.690.990.820.9910.310.220.980.950.250.040.640.970.210.910.010.080.130.160.24——
PushGPvariant=UMAD2025.110.420.050.120.110.200.0100.560.4810.8210.870.20.0410.860.2600.480.920.090.590.030.070.090.130.21——
CBGP2025.110.22—00——0—0.10.9810.9910—01————0.881—0.040.070.070.070.09——
PushGPvariant=02025.110.0700.080.070.060.020.010.040.210.450.780.450.980.510.020.050.810.660.0600.180.160.010.0800.030.050.070.22——
G3P+Split=Test2025.1100300063144592513831619731850390210013—1731
G3PpySplit=Test2025.110———————221—66100——08934—38—00—123—7—2