| rijndael_3_4_4_0_0_0.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_3_4_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_4_1_0_0.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_3_4_4_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_4_4_1_1_0.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_3_4_4_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_4_5_0_0_0.mzn.json | -rw-r--r-- | 57.2 KB |
| rijndael_3_4_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_5_1_0_0.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_3_4_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_4_5_1_1_0.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_3_4_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_6_0_0_0.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_3_4_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_6_1_0_0.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_3_4_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_6_1_1_0.mzn.json | -rw-r--r-- | 11.5 KB |
| rijndael_3_4_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_7_0_0_0.mzn.json | -rw-r--r-- | 12.6 KB |
| rijndael_3_4_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_7_1_0_0.mzn.json | -rw-r--r-- | 12.6 KB |
| rijndael_3_4_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_7_1_1_0.mzn.json | -rw-r--r-- | 12.6 KB |
| rijndael_3_4_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_3_4_8_0_0_0.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_3_4_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_8_1_0_0.mzn.json | -rw-r--r-- | 27.0 KB |
| rijndael_3_4_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_4_8_1_1_0.mzn.json | -rw-r--r-- | 26.9 KB |
| rijndael_3_4_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_4_0_0_0.mzn.json | -rw-r--r-- | 145.3 KB |
| rijndael_3_5_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_4_1_0_0.mzn.json | -rw-r--r-- | 22.8 KB |
| rijndael_3_5_4_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_3_5_4_1_1_0.mzn.json | -rw-r--r-- | 22.8 KB |
| rijndael_3_5_4_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_5_5_0_0_0.mzn.json | -rw-r--r-- | 67.7 KB |
| rijndael_3_5_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_5_1_0_0.mzn.json | -rw-r--r-- | 10.6 KB |
| rijndael_3_5_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_5_1_1_0.mzn.json | -rw-r--r-- | 10.6 KB |
| rijndael_3_5_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_6_0_0_0.mzn.json | -rw-r--r-- | 50.8 KB |
| rijndael_3_5_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_5_6_1_0_0.mzn.json | -rw-r--r-- | 3.2 KB |
| rijndael_3_5_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_6_1_1_0.mzn.json | -rw-r--r-- | 3.2 KB |
| rijndael_3_5_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_5_7_0_0_0.mzn.json | -rw-r--r-- | 18.2 KB |
| rijndael_3_5_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_5_7_1_0_0.mzn.json | -rw-r--r-- | 4.6 KB |
| rijndael_3_5_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_5_7_1_1_0.mzn.json | -rw-r--r-- | 4.6 KB |
| rijndael_3_5_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_5_8_0_0_0.mzn.json | -rw-r--r-- | 13.8 KB |
| rijndael_3_5_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_5_8_1_0_0.mzn.json | -rw-r--r-- | 13.8 KB |
| rijndael_3_5_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_5_8_1_1_0.mzn.json | -rw-r--r-- | 13.8 KB |
| rijndael_3_5_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_6_4_0_0_0.mzn.json | -rw-r--r-- | 33.1 KB |
| rijndael_3_6_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_6_4_1_0_0.mzn.json | -rw-r--r-- | 33.1 KB |
| rijndael_3_6_4_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_6_4_1_1_0.mzn.json | -rw-r--r-- | 33.1 KB |
| rijndael_3_6_4_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_6_5_0_0_0.mzn.json | -rw-r--r-- | 166.3 KB |
| rijndael_3_6_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_6_5_1_0_0.mzn.json | -rw-r--r-- | 2.7 KB |
| rijndael_3_6_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_6_5_1_1_0.mzn.json | -rw-r--r-- | 2.7 KB |
| rijndael_3_6_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_3_6_6_0_0_0.mzn.json | -rw-r--r-- | 117.3 KB |
| rijndael_3_6_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_6_6_1_0_0.mzn.json | -rw-r--r-- | 23.3 KB |
| rijndael_3_6_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_6_6_1_1_0.mzn.json | -rw-r--r-- | 23.3 KB |
| rijndael_3_6_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_6_7_0_0_0.mzn.json | -rw-r--r-- | 44.1 KB |
| rijndael_3_6_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_6_7_1_0_0.mzn.json | -rw-r--r-- | 2.8 KB |
| rijndael_3_6_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_6_7_1_1_0.mzn.json | -rw-r--r-- | 2.8 KB |
| rijndael_3_6_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_6_8_0_0_0.mzn.json | -rw-r--r-- | 5.3 KB |
| rijndael_3_6_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_6_8_1_0_0.mzn.json | -rw-r--r-- | 5.3 KB |
| rijndael_3_6_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_6_8_1_1_0.mzn.json | -rw-r--r-- | 5.3 KB |
| rijndael_3_6_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_4_0_0_0.mzn.json | -rw-r--r-- | 45.4 KB |
| rijndael_3_7_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_4_1_0_0.mzn.json | -rw-r--r-- | 45.4 KB |
| rijndael_3_7_4_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_4_1_1_0.mzn.json | -rw-r--r-- | 45.4 KB |
| rijndael_3_7_4_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_7_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_5_1_0_0.mzn.json | -rw-r--r-- | 43.2 KB |
| rijndael_3_7_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_7_5_1_1_0.mzn.json | -rw-r--r-- | 43.2 KB |
| rijndael_3_7_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_7_6_0_0_0.mzn.json | -rw-r--r-- | 187.3 KB |
| rijndael_3_7_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_6_1_0_0.mzn.json | -rw-r--r-- | 3.0 KB |
| rijndael_3_7_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_7_6_1_1_0.mzn.json | -rw-r--r-- | 3.0 KB |
| rijndael_3_7_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_7_7_0_0_0.mzn.json | -rw-r--r-- | 51.9 KB |
| rijndael_3_7_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_7_1_0_0.mzn.json | -rw-r--r-- | 3.3 KB |
| rijndael_3_7_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_7_1_1_0.mzn.json | -rw-r--r-- | 3.3 KB |
| rijndael_3_7_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_8_0_0_0.mzn.json | -rw-r--r-- | 74.0 KB |
| rijndael_3_7_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_3_7_8_1_0_0.mzn.json | -rw-r--r-- | 3.2 KB |
| rijndael_3_7_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_7_8_1_1_0.mzn.json | -rw-r--r-- | 3.2 KB |
| rijndael_3_7_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_4_0_0_0.mzn.json | -rw-r--r-- | 59.6 KB |
| rijndael_3_8_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_8_4_1_0_0.mzn.json | -rw-r--r-- | 59.6 KB |
| rijndael_3_8_4_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_8_4_1_1_0.mzn.json | -rw-r--r-- | 59.6 KB |
| rijndael_3_8_4_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_3_8_5_0_0_0.mzn.json | -rw-r--r-- | 57.1 KB |
| rijndael_3_8_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_5_1_0_0.mzn.json | -rw-r--r-- | 57.1 KB |
| rijndael_3_8_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_5_1_1_0.mzn.json | -rw-r--r-- | 57.1 KB |
| rijndael_3_8_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_3_8_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_6_1_0_0.mzn.json | -rw-r--r-- | 54.6 KB |
| rijndael_3_8_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_7_0_0_0.mzn.json | -rw-r--r-- | 238.3 KB |
| rijndael_3_8_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_7_1_0_0.mzn.json | -rw-r--r-- | 3.8 KB |
| rijndael_3_8_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_8_7_1_1_0.mzn.json | -rw-r--r-- | 3.8 KB |
| rijndael_3_8_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_8_0_0_0.mzn.json | -rw-r--r-- | 57.1 KB |
| rijndael_3_8_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_3_8_8_1_0_0.mzn.json | -rw-r--r-- | 3.6 KB |
| rijndael_3_8_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_3_8_8_1_1_0.mzn.json | -rw-r--r-- | 3.6 KB |
| rijndael_3_8_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_0_0_0.mzn.json | -rw-r--r-- | 152.3 KB |
| rijndael_4_4_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_4_1_0_0.mzn.json | -rw-r--r-- | 1.3 KB |
| rijndael_4_4_4_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_4_1_1_0.mzn.json | -rw-r--r-- | 1.3 KB |
| rijndael_4_4_4_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_0_0_0.mzn.json | -rw-r--r-- | 35.6 KB |
| rijndael_4_4_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_5_1_0_0.mzn.json | -rw-r--r-- | 3.4 KB |
| rijndael_4_4_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_4_5_1_1_0.mzn.json | -rw-r--r-- | 3.4 KB |
| rijndael_4_4_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_0_0_0.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_4_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_1_0_0.mzn.json | -rw-r--r-- | 1.2 KB |
| rijndael_4_4_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_6_1_1_0.mzn.json | -rw-r--r-- | 1.2 KB |
| rijndael_4_4_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_0_0_0.mzn.json | -rw-r--r-- | 44.1 KB |
| rijndael_4_4_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_7_1_0_0.mzn.json | -rw-r--r-- | 1.3 KB |
| rijndael_4_4_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_7_1_1_0.mzn.json | -rw-r--r-- | 1.3 KB |
| rijndael_4_4_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_4_8_0_0_0.mzn.json | -rw-r--r-- | 111.2 KB |
| rijndael_4_4_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_8_1_0_0.mzn.json | -rw-r--r-- | 11.2 KB |
| rijndael_4_4_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_4_8_1_1_0.mzn.json | -rw-r--r-- | 11.2 KB |
| rijndael_4_4_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_5_0_0_0.mzn.json | -rw-r--r-- | 90.2 KB |
| rijndael_4_5_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_5_1_0_0.mzn.json | -rw-r--r-- | 2.9 KB |
| rijndael_4_5_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_5_1_1_0.mzn.json | -rw-r--r-- | 2.9 KB |
| rijndael_4_5_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_6_0_0_0.mzn.json | -rw-r--r-- | 90.2 KB |
| rijndael_4_5_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_5_6_1_0_0.mzn.json | -rw-r--r-- | 2.9 KB |
| rijndael_4_5_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_6_1_1_0.mzn.json | -rw-r--r-- | 2.9 KB |
| rijndael_4_5_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_7_0_0_0.mzn.json | -rw-r--r-- | 23.9 KB |
| rijndael_4_5_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_7_1_0_0.mzn.json | -rw-r--r-- | 1.6 KB |
| rijndael_4_5_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_7_1_1_0.mzn.json | -rw-r--r-- | 1.6 KB |
| rijndael_4_5_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_8_0_0_0.mzn.json | -rw-r--r-- | 29.8 KB |
| rijndael_4_5_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_5_8_1_0_0.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_5_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_5_8_1_1_0.mzn.json | -rw-r--r-- | 4.5 KB |
| rijndael_4_5_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_6_0_0_0.mzn.json | -rw-r--r-- | 208.3 KB |
| rijndael_4_6_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_0_0_0.mzn.json | -rw-r--r-- | 29.9 KB |
| rijndael_4_6_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_7_1_0_0.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_4_6_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_6_8_0_0_0.mzn.json | -rw-r--r-- | 28.6 KB |
| rijndael_4_6_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_8_1_0_0.mzn.json | -rw-r--r-- | 3.6 KB |
| rijndael_4_6_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_4_6_8_1_1_0.mzn.json | -rw-r--r-- | 3.6 KB |
| rijndael_4_6_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_4_7_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_4_7_8_0_0_0.mzn.json | -rw-r--r-- | 33.4 KB |
| rijndael_4_7_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_5_0_0_0.mzn.json | -rw-r--r-- | 180.3 KB |
| rijndael_5_4_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_5_1_0_0.mzn.json | -rw-r--r-- | 1.5 KB |
| rijndael_5_4_5_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_5_1_1_0.mzn.json | -rw-r--r-- | 1.5 KB |
| rijndael_5_4_5_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_6_0_0_0.mzn.json | -rw-r--r-- | 16.0 KB |
| rijndael_5_4_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_5_4_6_1_0_0.mzn.json | -rw-r--r-- | 1.4 KB |
| rijndael_5_4_6_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_6_1_1_0.mzn.json | -rw-r--r-- | 1.4 KB |
| rijndael_5_4_6_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_7_0_0_0.mzn.json | -rw-r--r-- | 6.0 KB |
| rijndael_5_4_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_5_4_7_1_0_0.mzn.json | -rw-r--r-- | 3.0 KB |
| rijndael_5_4_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_5_4_7_1_1_0.mzn.json | -rw-r--r-- | 3.0 KB |
| rijndael_5_4_7_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 34 bytes |
| rijndael_5_4_8_0_0_0.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_5_4_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_4_8_1_0_0.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_5_4_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_5_4_8_1_1_0.mzn.json | -rw-r--r-- | 5.7 KB |
| rijndael_5_4_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_5_5_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_6_0_0_0.mzn.json | -rw-r--r-- | 53.9 KB |
| rijndael_5_5_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_7_0_0_0.mzn.json | -rw-r--r-- | 61.4 KB |
| rijndael_5_5_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_5_5_8_0_0_0.mzn.json | -rw-r--r-- | 22.1 KB |
| rijndael_5_5_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_5_8_1_0_0.mzn.json | -rw-r--r-- | 1.9 KB |
| rijndael_5_5_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_5_6_8_0_0_0.mzn.json | -rw-r--r-- | 35.1 KB |
| rijndael_5_6_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_6_4_4_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_6_4_5_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_6_4_6_0_0_0.mzn.json | -rw-r--r-- | 13.1 KB |
| rijndael_6_4_6_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_6_4_7_0_0_0.mzn.json | -rw-r--r-- | 21.5 KB |
| rijndael_6_4_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_6_4_7_1_0_0.mzn.json | -rw-r--r-- | 3.6 KB |
| rijndael_6_4_7_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_6_4_8_0_0_0.mzn.json | -rw-r--r-- | 56.3 KB |
| rijndael_6_4_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_6_4_8_1_0_0.mzn.json | -rw-r--r-- | 5.2 KB |
| rijndael_6_4_8_1_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
| rijndael_6_4_8_1_1_0.mzn.json | -rw-r--r-- | 5.2 KB |
| rijndael_6_4_8_1_1_0.mzn.jsonopt.json | -rw-r--r-- | 35 bytes |
| rijndael_6_5_8_0_0_0.mzn.json | -rw-r--r-- | 70.1 KB |
| rijndael_6_5_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_7_4_7_0_0_0.mzn.json | -rw-r--r-- | 16.7 KB |
| rijndael_7_4_7_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 37 bytes |
| rijndael_7_4_8_0_0_0.mzn.json | -rw-r--r-- | 2.1 KB |
| rijndael_7_4_8_0_0_0.mzn.jsonopt.json | -rw-r--r-- | 36 bytes |
