Program Synthesis on PSB1 (train)
100Compare String LengthsHOTGP
Evaluation Results
| Method | Links | ||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| HOTGPSplit=Training2025.11 | 100 | — | 46 | — | 0 | 0 | 73 | 37 | 0 | 82 | 1 | 100 | 100 | — | 38 | — | 28 | 98 | 87 | 1 | — | 0 | 78 | 34 | — | — | 3 | 7 | 8 | 15 | |
| HOTGPSplit=Training, Simplification=after simplification procedure2025.11 | 100 | — | 50 | — | 0 | 0 | 73 | 39 | 0 | 100 | 1 | 100 | 100 | — | 38 | — | 28 | 100 | 89 | 1 | — | 0 | 80 | 37 | — | — | 5 | 7 | 9 | 15 | |
| G3P+Split=Training2025.11 | 96 | 0 | 4 | 0 | 0 | 1 | 8 | 63 | 97 | 99 | 89 | 24 | 95 | 4 | 29 | 1 | 39 | 100 | 20 | 5 | 43 | 53 | 5 | 28 | 0 | 0 | 1 | 6 | 8 | 19 | |
| G3PhsSplit=Training2025.11 | 94 | — | — | — | — | — | — | — | 0 | 100 | — | 0 | 100 | — | — | — | 30 | 100 | 0 | — | 30 | — | 67 | 100 | — | 1 | 4 | 5 | 6 | 8 | |
| G3PpySplit=Training2025.11 | 12 | — | — | — | — | — | — | — | 2 | 39 | — | 68 | 100 | — | — | — | 0 | 99 | 35 | — | 51 | — | 0 | 0 | — | 1 | 1 | 2 | 4 | 8 |