https://gitlab.limos.fr/iia_lulibral/experiment-results
Tip revision: 00ab06ddf7225f8036ee6261bb5d474f9e40befb authored by Default on 15 July 2021, 15:21:10 UTC
add warp experiment results
add warp experiment results
Tip revision: 00ab06d
rijndael_3_8_7_1_0.mzn.json
{"topt": 32.15430974960327, "tenum": 10.797886848449707, "v": 6, "sols": [{"S_3_3_7": 0, "S_3_3_6": 0, "S_3_3_5": 0, "S_3_3_4": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_7": 0, "S_3_2_6": 0, "S_3_2_5": 0, "S_3_2_4": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_7": 0, "S_3_1_6": 0, "S_3_1_5": 0, "S_3_1_4": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_7": 0, "S_3_0_6": 0, "S_3_0_5": 0, "S_3_0_4": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_7": 0, "S_2_3_6": 0, "S_2_3_5": 0, "S_2_3_4": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_7": 1, "S_2_2_6": 0, "S_2_2_5": 0, "S_2_2_4": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_7": 0, "S_2_1_6": 0, "S_2_1_5": 0, "S_2_1_4": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_7": 0, "S_2_0_6": 0, "S_2_0_5": 0, "S_2_0_4": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_7": 0, "S_1_3_6": 0, "S_1_3_5": 0, "S_1_3_4": 0, "S_1_3_3": 0, "S_1_3_2": 1, "S_1_3_1": 0, "S_1_3_0": 0, "S_1_2_7": 0, "S_1_2_6": 0, "S_1_2_5": 0, "S_1_2_4": 0, "S_1_2_3": 1, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_7": 0, "S_1_1_6": 0, "S_1_1_5": 0, "S_1_1_4": 0, "S_1_1_3": 0, "S_1_1_2": 0, "S_1_1_1": 0, "S_1_1_0": 1, "S_1_0_7": 1, "S_1_0_6": 0, "S_1_0_5": 0, "S_1_0_4": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_4_sub_rot_3": 0, "K_4_sub_rot_2": 0, "K_4_sub_rot_1": 0, "K_4_sub_rot_0": 0, "K_3_sub_rot_3": 0, "K_3_sub_rot_2": 0, "K_3_sub_rot_1": 0, "K_3_sub_rot_0": 0, "K_3_sub_int_3": 0, "K_3_sub_int_2": 0, "K_3_sub_int_1": 0, "K_3_sub_int_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_2_sub_int_3": 0, "K_2_sub_int_2": 0, "K_2_sub_int_1": 0, "K_2_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0}, {"S_3_3_7": 0, "S_3_3_6": 0, "S_3_3_5": 0, "S_3_3_4": 0, "S_3_3_3": 0, "S_3_3_2": 0, "S_3_3_1": 0, "S_3_3_0": 0, "S_3_2_7": 0, "S_3_2_6": 0, "S_3_2_5": 0, "S_3_2_4": 0, "S_3_2_3": 0, "S_3_2_2": 0, "S_3_2_1": 0, "S_3_2_0": 0, "S_3_1_7": 0, "S_3_1_6": 0, "S_3_1_5": 0, "S_3_1_4": 0, "S_3_1_3": 0, "S_3_1_2": 0, "S_3_1_1": 0, "S_3_1_0": 0, "S_3_0_7": 0, "S_3_0_6": 0, "S_3_0_5": 0, "S_3_0_4": 0, "S_3_0_3": 0, "S_3_0_2": 0, "S_3_0_1": 0, "S_3_0_0": 0, "S_2_3_7": 0, "S_2_3_6": 0, "S_2_3_5": 0, "S_2_3_4": 0, "S_2_3_3": 0, "S_2_3_2": 0, "S_2_3_1": 0, "S_2_3_0": 0, "S_2_2_7": 0, "S_2_2_6": 0, "S_2_2_5": 0, "S_2_2_4": 0, "S_2_2_3": 0, "S_2_2_2": 0, "S_2_2_1": 0, "S_2_2_0": 0, "S_2_1_7": 0, "S_2_1_6": 1, "S_2_1_5": 0, "S_2_1_4": 0, "S_2_1_3": 0, "S_2_1_2": 0, "S_2_1_1": 0, "S_2_1_0": 0, "S_2_0_7": 0, "S_2_0_6": 0, "S_2_0_5": 0, "S_2_0_4": 0, "S_2_0_3": 0, "S_2_0_2": 0, "S_2_0_1": 0, "S_2_0_0": 0, "S_1_3_7": 0, "S_1_3_6": 0, "S_1_3_5": 0, "S_1_3_4": 0, "S_1_3_3": 0, "S_1_3_2": 0, "S_1_3_1": 1, "S_1_3_0": 0, "S_1_2_7": 0, "S_1_2_6": 0, "S_1_2_5": 0, "S_1_2_4": 0, "S_1_2_3": 0, "S_1_2_2": 0, "S_1_2_1": 0, "S_1_2_0": 1, "S_1_1_7": 0, "S_1_1_6": 0, "S_1_1_5": 0, "S_1_1_4": 0, "S_1_1_3": 0, "S_1_1_2": 1, "S_1_1_1": 0, "S_1_1_0": 1, "S_1_0_7": 0, "S_1_0_6": 1, "S_1_0_5": 0, "S_1_0_4": 0, "S_1_0_3": 0, "S_1_0_2": 0, "S_1_0_1": 0, "S_1_0_0": 0, "K_4_sub_rot_3": 0, "K_4_sub_rot_2": 0, "K_4_sub_rot_1": 0, "K_4_sub_rot_0": 0, "K_3_sub_rot_3": 0, "K_3_sub_rot_2": 0, "K_3_sub_rot_1": 0, "K_3_sub_rot_0": 0, "K_3_sub_int_3": 0, "K_3_sub_int_2": 0, "K_3_sub_int_1": 0, "K_3_sub_int_0": 0, "K_2_sub_rot_3": 0, "K_2_sub_rot_2": 0, "K_2_sub_rot_1": 0, "K_2_sub_rot_0": 0, "K_2_sub_int_3": 0, "K_2_sub_int_2": 0, "K_2_sub_int_1": 0, "K_2_sub_int_0": 0, "K_1_sub_rot_3": 0, "K_1_sub_rot_2": 0, "K_1_sub_rot_1": 0, "K_1_sub_rot_0": 0, "K_1_sub_int_3": 0, "K_1_sub_int_2": 0, "K_1_sub_int_1": 0, "K_1_sub_int_0": 0}]}