craft_sk_2_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
craft_sk_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
craft_sk_2_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
craft_sk_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
craft_sk_2_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
craft_sk_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
craft_sk_2_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
craft_sk_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
craft_sk_2_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
craft_sk_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
craft_sk_8_0_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
craft_sk_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
craft_sk_8_1_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
craft_sk_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
craft_sk_8_2_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
craft_sk_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
craft_sk_8_3_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
craft_sk_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
craft_sk_8_4_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
craft_sk_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_1_0_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
deoxys_256_1_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_1_1_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
deoxys_256_1_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_1_2_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
deoxys_256_1_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_1_3_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
deoxys_256_1_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
deoxys_256_1_4_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
deoxys_256_1_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_1_5_0_0.json.mzn.json | -rw-r--r-- | 5.4 KB |
deoxys_256_1_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_2_0_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_256_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_2_1_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_256_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_2_2_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_256_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_2_3_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_256_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_2_4_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_256_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_2_5_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_256_2_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_3_0_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
deoxys_256_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_3_1_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
deoxys_256_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_3_2_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
deoxys_256_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_3_3_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
deoxys_256_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_3_4_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
deoxys_256_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_3_5_0_0.json.mzn.json | -rw-r--r-- | 748 bytes |
deoxys_256_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_4_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_256_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_4_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_256_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_4_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_256_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_4_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_256_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_4_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_256_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_256_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_sk_11_0_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
deoxys_256_sk_11_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_11_1_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
deoxys_256_sk_11_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_11_2_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
deoxys_256_sk_11_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 39 bytes |
deoxys_256_sk_11_3_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
deoxys_256_sk_11_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_11_4_0_0.json.mzn.json | -rw-r--r-- | 24.3 KB |
deoxys_256_sk_11_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_2_0_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
deoxys_256_sk_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_2_1_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
deoxys_256_sk_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_2_2_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
deoxys_256_sk_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_2_3_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
deoxys_256_sk_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_2_4_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
deoxys_256_sk_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_6_0_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
deoxys_256_sk_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_6_1_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
deoxys_256_sk_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_6_2_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
deoxys_256_sk_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_256_sk_6_3_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
deoxys_256_sk_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_256_sk_6_4_0_0.json.mzn.json | -rw-r--r-- | 13.2 KB |
deoxys_256_sk_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_384_2_0_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_384_2_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_2_1_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_384_2_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_2_2_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_384_2_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_2_3_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_384_2_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_2_4_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_384_2_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_2_5_0_0.json.mzn.json | -rw-r--r-- | 21.2 KB |
deoxys_384_2_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_3_0_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
deoxys_384_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_3_1_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
deoxys_384_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_3_2_0_0.json.mzn.json | -rw-r--r-- | 749 bytes |
deoxys_384_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_3_3_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
deoxys_384_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_3_4_0_0.json.mzn.json | -rw-r--r-- | 750 bytes |
deoxys_384_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_3_5_0_0.json.mzn.json | -rw-r--r-- | 747 bytes |
deoxys_384_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_4_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_384_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_4_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_384_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_4_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_384_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
deoxys_384_4_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_384_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_4_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
deoxys_384_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
deoxys_384_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
deoxys_384_sk_10_0_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
deoxys_384_sk_10_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_384_sk_10_1_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
deoxys_384_sk_10_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 39 bytes |
deoxys_384_sk_10_2_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
deoxys_384_sk_10_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 39 bytes |
deoxys_384_sk_10_3_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
deoxys_384_sk_10_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 39 bytes |
deoxys_384_sk_10_4_0_0.json.mzn.json | -rw-r--r-- | 22.0 KB |
deoxys_384_sk_10_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_384_sk_12_0_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
deoxys_384_sk_12_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_384_sk_12_1_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
deoxys_384_sk_12_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 39 bytes |
deoxys_384_sk_12_2_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
deoxys_384_sk_12_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 39 bytes |
deoxys_384_sk_12_3_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
deoxys_384_sk_12_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
deoxys_384_sk_12_4_0_0.json.mzn.json | -rw-r--r-- | 26.7 KB |
deoxys_384_sk_12_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
midori_128_1_0_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
midori_128_1_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_1_1_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
midori_128_1_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_128_1_2_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
midori_128_1_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_1_3_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
midori_128_1_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_128_1_4_0_0.json.mzn.json | -rw-r--r-- | 3.6 KB |
midori_128_1_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_128_3_0_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
midori_128_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_3_1_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
midori_128_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_3_2_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
midori_128_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_128_3_3_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
midori_128_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_128_3_4_0_0.json.mzn.json | -rw-r--r-- | 1.4 KB |
midori_128_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_128_4_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
midori_128_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_4_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
midori_128_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_4_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
midori_128_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_4_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
midori_128_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_4_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
midori_128_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_5_0_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
midori_128_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_5_1_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
midori_128_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_5_2_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
midori_128_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_5_3_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
midori_128_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_5_4_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
midori_128_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_6_0_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
midori_128_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_6_1_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
midori_128_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_6_2_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
midori_128_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_6_3_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
midori_128_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_6_4_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
midori_128_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_7_0_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
midori_128_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_7_1_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
midori_128_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_128_7_2_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
midori_128_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_7_3_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
midori_128_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_128_7_4_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
midori_128_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_3_0_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
midori_64_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_3_1_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
midori_64_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_3_2_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
midori_64_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_3_3_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
midori_64_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_3_4_0_0.json.mzn.json | -rw-r--r-- | 31.7 KB |
midori_64_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_4_0_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
midori_64_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_4_1_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
midori_64_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_4_2_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
midori_64_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_4_3_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
midori_64_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_4_4_0_0.json.mzn.json | -rw-r--r-- | 28.1 KB |
midori_64_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_5_0_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
midori_64_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_5_1_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
midori_64_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_5_2_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
midori_64_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_5_3_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
midori_64_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_5_4_0_0.json.mzn.json | -rw-r--r-- | 17.6 KB |
midori_64_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
midori_64_6_0_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
midori_64_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_6_1_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
midori_64_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_64_6_2_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
midori_64_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_6_3_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
midori_64_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_64_6_4_0_0.json.mzn.json | -rw-r--r-- | 42.1 KB |
midori_64_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_64_7_0_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
midori_64_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_64_7_1_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
midori_64_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
midori_64_7_2_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
midori_64_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
midori_64_7_3_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
midori_64_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 33 bytes |
midori_64_7_4_0_0.json.mzn.json | -rw-r--r-- | 24.6 KB |
midori_64_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_4_3_0_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
rijndael_4_4_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_4_3_1_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
rijndael_4_4_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_4_3_2_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
rijndael_4_4_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_4_3_3_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
rijndael_4_4_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_4_3_4_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
rijndael_4_4_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_4_3_5_0_0.json.mzn.json | -rw-r--r-- | 28.6 KB |
rijndael_4_4_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_5_5_0_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
rijndael_4_5_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_5_5_1_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
rijndael_4_5_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_5_5_2_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
rijndael_4_5_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_5_5_3_0_0.json.mzn.json | -rw-r--r-- | 405.6 KB |
rijndael_4_5_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_5_5_4_0_0.json.mzn.json | -rw-r--r-- | 180.3 KB |
rijndael_4_5_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_5_5_5_0_0.json.mzn.json | -rw-r--r-- | 180.3 KB |
rijndael_4_5_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_3_0_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
rijndael_4_6_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_6_3_1_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
rijndael_4_6_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_6_3_2_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
rijndael_4_6_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_6_3_3_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
rijndael_4_6_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_6_3_4_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
rijndael_4_6_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_6_3_5_0_0.json.mzn.json | -rw-r--r-- | 11.5 KB |
rijndael_4_6_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_6_4_0_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
rijndael_4_6_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_6_4_1_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
rijndael_4_6_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_6_4_2_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
rijndael_4_6_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_4_3_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
rijndael_4_6_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_6_4_4_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
rijndael_4_6_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_6_4_5_0_0.json.mzn.json | -rw-r--r-- | 4.5 KB |
rijndael_4_6_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_6_5_0_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
rijndael_4_6_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_6_5_1_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
rijndael_4_6_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_5_2_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
rijndael_4_6_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
rijndael_4_6_5_3_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
rijndael_4_6_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_5_4_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
rijndael_4_6_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_5_5_0_0.json.mzn.json | -rw-r--r-- | 16.0 KB |
rijndael_4_6_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_6_0_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
rijndael_4_6_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_6_1_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
rijndael_4_6_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_6_2_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
rijndael_4_6_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_6_3_0_0.json.mzn.json | -rw-r--r-- | 26.1 KB |
rijndael_4_6_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_6_4_0_0.json.mzn.json | -rw-r--r-- | 13.1 KB |
rijndael_4_6_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_6_6_5_0_0.json.mzn.json | -rw-r--r-- | 13.1 KB |
rijndael_4_6_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_7_5_0_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
rijndael_4_7_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_7_5_1_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
rijndael_4_7_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_7_5_2_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
rijndael_4_7_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_7_5_3_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
rijndael_4_7_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_7_5_4_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
rijndael_4_7_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_7_5_5_0_0.json.mzn.json | -rw-r--r-- | 6.0 KB |
rijndael_4_7_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_8_3_0_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
rijndael_4_8_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_3_1_0_0.json.mzn.json | -rw-r--r-- | 26.9 KB |
rijndael_4_8_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_3_2_0_0.json.mzn.json | -rw-r--r-- | 26.9 KB |
rijndael_4_8_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_3_3_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
rijndael_4_8_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_3_4_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
rijndael_4_8_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_3_5_0_0.json.mzn.json | -rw-r--r-- | 27.0 KB |
rijndael_4_8_3_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_4_0_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
rijndael_4_8_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_4_1_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
rijndael_4_8_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_4_2_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
rijndael_4_8_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
rijndael_4_8_4_3_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
rijndael_4_8_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_4_4_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
rijndael_4_8_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_4_5_0_0.json.mzn.json | -rw-r--r-- | 111.2 KB |
rijndael_4_8_4_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_5_0_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
rijndael_4_8_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_5_1_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
rijndael_4_8_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_5_2_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
rijndael_4_8_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_5_3_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
rijndael_4_8_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_5_4_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
rijndael_4_8_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_5_5_0_0.json.mzn.json | -rw-r--r-- | 5.7 KB |
rijndael_4_8_5_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_8_6_0_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
rijndael_4_8_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_6_1_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
rijndael_4_8_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_6_2_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
rijndael_4_8_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_6_3_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
rijndael_4_8_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_6_4_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
rijndael_4_8_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_6_5_0_0.json.mzn.json | -rw-r--r-- | 56.3 KB |
rijndael_4_8_6_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_8_7_0_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
rijndael_4_8_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_8_7_1_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
rijndael_4_8_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_7_2_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
rijndael_4_8_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_7_3_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
rijndael_4_8_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
rijndael_4_8_7_4_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
rijndael_4_8_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
rijndael_4_8_7_5_0_0.json.mzn.json | -rw-r--r-- | 2.1 KB |
rijndael_4_8_7_5_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 33 bytes |
skinny_64_0_3_0_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_3_1_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_3_2_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_3_3_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_3_4_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_4_0_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_4_1_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_4_2_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_4_3_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_4_4_0_0.json.mzn.json | -rw-r--r-- | 10.6 KB |
skinny_64_0_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_5_0_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
skinny_64_0_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_5_1_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
skinny_64_0_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
skinny_64_0_5_2_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
skinny_64_0_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
skinny_64_0_5_3_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
skinny_64_0_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 38 bytes |
skinny_64_0_5_4_0_0.json.mzn.json | -rw-r--r-- | 8.8 KB |
skinny_64_0_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_6_0_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
skinny_64_0_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_6_1_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
skinny_64_0_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_6_2_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
skinny_64_0_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_6_3_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
skinny_64_0_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_6_4_0_0.json.mzn.json | -rw-r--r-- | 5.3 KB |
skinny_64_0_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_7_0_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
skinny_64_0_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_7_1_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
skinny_64_0_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_7_2_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
skinny_64_0_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_7_3_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
skinny_64_0_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_7_4_0_0.json.mzn.json | -rw-r--r-- | 12.3 KB |
skinny_64_0_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_9_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_9_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_0_9_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_0_9_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_3_0_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_3_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_3_1_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_3_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_3_2_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_3_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_3_3_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_3_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_3_4_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_3_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_4_0_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_4_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_4_1_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_4_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_4_2_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_4_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_4_3_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_4_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_4_4_0_0.json.mzn.json | -rw-r--r-- | 8.0 KB |
skinny_64_1_4_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_5_0_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
skinny_64_1_5_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_5_1_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
skinny_64_1_5_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_5_2_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
skinny_64_1_5_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_5_3_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
skinny_64_1_5_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_5_4_0_0.json.mzn.json | -rw-r--r-- | 2.3 KB |
skinny_64_1_5_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_6_0_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
skinny_64_1_6_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_6_1_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
skinny_64_1_6_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_6_2_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
skinny_64_1_6_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_6_3_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
skinny_64_1_6_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_6_4_0_0.json.mzn.json | -rw-r--r-- | 2.7 KB |
skinny_64_1_6_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_7_0_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
skinny_64_1_7_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_7_1_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
skinny_64_1_7_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_7_2_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
skinny_64_1_7_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
skinny_64_1_7_3_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
skinny_64_1_7_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_7_4_0_0.json.mzn.json | -rw-r--r-- | 3.1 KB |
skinny_64_1_7_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_8_0_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
skinny_64_1_8_0_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_8_1_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
skinny_64_1_8_1_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_8_2_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
skinny_64_1_8_2_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_8_3_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
skinny_64_1_8_3_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
skinny_64_1_8_4_0_0.json.mzn.json | -rw-r--r-- | 1.8 KB |
skinny_64_1_8_4_0_0.json.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |