Questi sono i tempi indicativi di esecuzione in millisecondi delle varie parti:
| PART 1 (ms) | PART 2 (ms) | |
|---|---|---|
| DAY 01 | 0.550 | 0.214 |
| DAY 02 | 0.320 | 0.245 |
| DAY 03 | 0.836 | 0.680 |
| DAY 04 | 14.738 | 27.019 |
| DAY 05 | 9.537 | 33.165 |
| DAY 06 | 0.402 | 0.349 |
| DAY 07 | 11.503 | 12.112 |
| DAY 08 | 0.691 | 4.499 |
| DAY 09 | 1.124 | 2.107 |
| DAY 10 | 1.072 | 1.100 |
| DAY 11 | 0.341 | 1.132 |
| DAY 12 | 2.038 | 44.155 |
| DAY 13 | 3.347 | 5.710 |
| DAY 14 | 0.956 | 3.344 |
| DAY 15 | 3.667 | 231.685 |
| DAY 16 | 0.921 | 0.631 |
| DAY 17 | 526.972 | 830.396 |
| DAY 18 | 3.595 | 70.610 |
| DAY 19 | 279.510 | 265.802 |
| DAY 20 | 3.947 | 168.385 |
| DAY 21 | 0.021 | 375.844 |
| DAY 22 | 1.609 | 6.299 |
| DAY 23 | 69.754 | 148.909 |
| DAY 24* | 7304.186 | 6848.559 |
| DAY 25 | 63.369 |
- invece della mia soluzione ricorsiva che sfruttava analisi manuale del codice per fare pruning ... ho messo soluzione che sfrutta z3 solver (adattata da soluzione python trovata in rete)