Problem name | Â | Results | |||||
---|---|---|---|---|---|---|---|
 | \(\Delta_{\max}=4\) | \(\Delta_{\max}=6\) | \(\Delta_{\max}=8\) | ||||
n | nf | CPUt | nf | CPUt | nf | CPUt | |
HS224 | 2 | 26 | 5.187 | 23 | 3.35 | 23 | 3.35 |
HS231 | 2 | 16 | 2.025 | 18 | 4.018 | F | F |
HS232 | 2 | 8 | 2.387 | 23 | 2.455 | F | F |
HS250 | 3 | 12 | 55 | 17 | 73 | 16 | 61 |
HS251 | 3 | 35 | 3.036 | 32 | 2.022 | 37 | 2.332 |