************************************************************** **** MAXFRAME=167 **** Distance record: 24930 = 97.3828125 ************************************************************** Compiling dragster.mzn Running dragster.mzn STARTFRAME = 12; STARTTACH = 24; Distance = array1d(0..167, [0, 0, 0, 2, 6, 12, 20, 30, 42, 56, 72, 90, 110, 132, 156, 182, 210, 240, 272, 304, 338, 374, 412, 452, 494, 538, 584, 632, 682, 734, 788, 844, 902, 960, 1020, 1082, 1146, 1212, 1280, 1350, 1422, 1496, 1572, 1650, 1730, 1812, 1896, 1982, 2070, 2160, 2252, 2346, 2442, 2540, 2640, 2742, 2846, 2952, 3058, 3166, 3276, 3388, 3502, 3618, 3736, 3856, 3978, 4102, 4228, 4356, 4486, 4618, 4752, 4888, 5026, 5166, 5308, 5452, 5598, 5746, 5896, 6048, 6200, 6354, 6510, 6668, 6828, 6990, 7154, 7318, 7484, 7652, 7822, 7994, 8168, 8344, 8522, 8702, 8882, 9064, 9248, 9434, 9622, 9812, 10004, 10198, 10394, 10592, 10792, 10994, 11198, 11402, 11608, 11816, 12026, 12238, 12452, 12668, 12886, 13106, 13326, 13548, 13772, 13998, 14226, 14454, 14684, 14916, 15150, 15386, 15624, 15864, 16106, 16350, 16596, 16844, 17094, 17346, 17598, 17850, 18101, 18352, 18605, 18858, 19111, 19364, 19617, 19870, 20123, 20376, 20629, 20882, 21135, 21388, 21641, 21894, 22147, 22400, 22653, 22906, 23159, 23412, 23665, 23918, 24171, 24424, 24677, 24930]); Gear = array1d(0..167, [0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4]); Shift = array1d(0..167, [1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]); Gas = array1d(0..167, [0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0]); Speed = array1d(0..167, [0, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 150, 152, 152, 154, 156, 158, 160, 162, 164, 164, 166, 168, 170, 172, 174, 176, 178, 180, 180, 182, 184, 186, 188, 190, 192, 194, 196, 198, 200, 202, 204, 204, 206, 208, 210, 212, 214, 216, 218, 220, 220, 222, 224, 226, 228, 228, 230, 232, 234, 236, 238, 240, 242, 244, 246, 248, 250, 252, 252, 252, 251, 251, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253]); Tach = array1d(0..167, [24, 21, 20, 18, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 28, 28, 26, 25, 26, 26, 27, 27, 28, 28, 29, 29, 28, 28, 31, 31, 31, 30, 29, 28, 28, 27, 26, 25, 25, 24, 23, 23, 24, 24, 24, 24, 25, 25, 25, 25, 26, 26, 26, 29, 30, 29, 28, 27, 26, 25, 24, 23, 23, 22, 21, 20, 19, 18, 18, 18, 19, 19, 19, 19, 19, 19, 19, 19, 20, 20, 20, 20, 20, 20, 23, 23, 23, 22, 22, 22, 22, 22, 22, 25, 26, 25, 24, 24, 24, 24, 24, 24, 25, 25, 25, 25, 28, 28, 27, 27, 28, 27, 27, 27, 27, 30, 30, 29, 28, 28, 31, 31, 30, 30, 30, 30, 31, 31, 31, 31, 31, 31, 31, 31, 28, 28, 31, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 25]); PostTach = array1d(0..167, [24, 21, 19, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 28, 27, 25, 25, 26, 26, 27, 27, 28, 28, 29, 29, 28, 28, 31, 30, 30, 29, 28, 27, 27, 26, 25, 24, 24, 23, 23, 23, 24, 24, 24, 24, 25, 25, 25, 25, 26, 26, 26, 29, 29, 28, 27, 26, 25, 24, 23, 22, 22, 21, 20, 19, 18, 18, 18, 18, 19, 19, 19, 19, 19, 19, 19, 19, 20, 20, 20, 20, 20, 20, 23, 22, 22, 22, 22, 22, 22, 22, 22, 25, 25, 24, 24, 24, 24, 24, 24, 24, 25, 25, 25, 25, 28, 27, 27, 27, 27, 27, 27, 27, 27, 30, 29, 29, 28, 28, 31, 30, 30, 30, 30, 30, 31, 31, 31, 31, 31, 31, 31, 31, 28, 28, 31, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 25]); Advance = array1d(0..167, [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]); Limit = array1d(0..167, [12, 21, 20, 18, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 57, 57, 53, 51, 53, 53, 55, 55, 57, 57, 59, 59, 57, 57, 126, 126, 126, 122, 118, 114, 114, 110, 106, 102, 102, 98, 94, 94, 98, 98, 98, 98, 102, 102, 102, 102, 106, 106, 106, 236, 244, 236, 228, 220, 212, 204, 196, 188, 188, 180, 172, 164, 152, 144, 144, 144, 152, 152, 152, 152, 152, 152, 152, 152, 164, 164, 164, 164, 164, 164, 188, 188, 188, 180, 180, 180, 180, 180, 180, 204, 212, 204, 196, 196, 196, 196, 196, 196, 204, 204, 204, 204, 228, 228, 220, 220, 228, 220, 220, 220, 220, 244, 244, 236, 228, 228, 252, 252, 244, 244, 244, 244, 252, 252, 252, 252, 252, 252, 252, 252, 228, 228, 252, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 204]); ---------- ========== Finished in 7m 17s ************************************************************** ***** Running the solver with MAXFRAME=166 (aiming at 5.5444) ************************************************************** Compiling dragster_record_dist.mzn Running dragster_record_dist.mzn =====UNSATISFIABLE===== Finished in 5m 15s ************************************************************** **** Achieving 5.51 .... BUT ... ONLY IF CHEATING **** Starting from Gear[0]=2 ************************************************************** STARTFRAME = 0; STARTTACH = 30; Distance = array1d(0..165, [0, 0, 2, 6, 12, 20, 30, 42, 56, 72, 90, 110, 132, 156, 182, 210, 240, 272, 306, 342, 380, 420, 462, 506, 552, 600, 650, 702, 756, 812, 870, 928, 988, 1050, 1114, 1180, 1248, 1318, 1390, 1464, 1540, 1618, 1698, 1780, 1864, 1950, 2038, 2128, 2220, 2314, 2410, 2508, 2608, 2710, 2814, 2920, 3026, 3134, 3244, 3356, 3470, 3586, 3704, 3824, 3946, 4070, 4196, 4324, 4454, 4586, 4720, 4856, 4994, 5134, 5276, 5420, 5566, 5714, 5864, 6016, 6168, 6322, 6478, 6636, 6796, 6958, 7122, 7286, 7452, 7620, 7790, 7962, 8136, 8312, 8490, 8670, 8850, 9032, 9216, 9402, 9590, 9780, 9972, 10166, 10362, 10560, 10760, 10962, 11166, 11370, 11576, 11784, 11994, 12206, 12420, 12636, 12854, 13074, 13294, 13516, 13740, 13966, 14194, 14422, 14652, 14884, 15118, 15354, 15592, 15832, 16074, 16318, 16564, 16812, 17062, 17314, 17566, 17818, 18069, 18320, 18573, 18826, 19079, 19332, 19585, 19838, 20091, 20344, 20597, 20850, 21103, 21356, 21609, 21862, 22115, 22368, 22621, 22874, 23127, 23380, 23633, 23886, 24139, 24392, 24645, 24898]); Gear = array1d(0..165, [2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4]); Shift = array1d(0..165, [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0]); Gas = array1d(0..165, [1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1]); Speed = array1d(0..165, [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 150, 152, 152, 154, 156, 158, 160, 162, 164, 164, 166, 168, 170, 172, 174, 176, 178, 180, 180, 182, 184, 186, 188, 190, 192, 194, 196, 198, 200, 202, 204, 204, 206, 208, 210, 212, 214, 216, 218, 220, 220, 222, 224, 226, 228, 228, 230, 232, 234, 236, 238, 240, 242, 244, 246, 248, 250, 252, 252, 252, 251, 251, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253, 253]); Tach = array1d(0..165, [30, 30, 30, 29, 29, 28, 28, 27, 27, 26, 26, 25, 25, 24, 24, 23, 23, 22, 23, 23, 24, 24, 25, 25, 26, 26, 27, 27, 28, 28, 31, 31, 31, 30, 29, 28, 28, 27, 26, 25, 25, 24, 23, 23, 24, 24, 24, 24, 25, 25, 25, 25, 26, 26, 26, 29, 30, 29, 28, 27, 26, 25, 24, 23, 23, 22, 21, 20, 19, 18, 18, 18, 19, 19, 19, 19, 19, 19, 19, 22, 23, 22, 21, 20, 20, 20, 23, 23, 23, 22, 22, 22, 22, 22, 22, 25, 26, 25, 24, 24, 24, 24, 24, 24, 25, 25, 25, 25, 28, 28, 27, 27, 28, 27, 27, 27, 27, 30, 30, 29, 28, 28, 31, 31, 30, 30, 30, 30, 31, 31, 31, 31, 31, 31, 31, 31, 28, 28, 31, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31]); PostTach = array1d(0..165, [30, 29, 29, 28, 28, 27, 27, 26, 26, 25, 25, 24, 24, 23, 23, 22, 22, 22, 23, 23, 24, 24, 25, 25, 26, 26, 27, 27, 28, 28, 31, 30, 30, 29, 28, 27, 27, 26, 25, 24, 24, 23, 23, 23, 24, 24, 24, 24, 25, 25, 25, 25, 26, 26, 26, 29, 29, 28, 27, 26, 25, 24, 23, 22, 22, 21, 20, 19, 18, 18, 18, 18, 19, 19, 19, 19, 19, 19, 19, 22, 22, 21, 20, 20, 20, 20, 23, 22, 22, 22, 22, 22, 22, 22, 22, 25, 25, 24, 24, 24, 24, 24, 24, 24, 25, 25, 25, 25, 28, 27, 27, 27, 27, 27, 27, 27, 27, 30, 29, 29, 28, 28, 31, 30, 30, 30, 30, 30, 31, 31, 31, 31, 31, 31, 31, 31, 28, 28, 31, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31, 28, 31]); Advance = array1d(0..165, [1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0]); Limit = array1d(0..165, [61, 61, 61, 59, 59, 57, 57, 55, 55, 53, 53, 51, 51, 49, 49, 47, 47, 45, 47, 47, 49, 49, 51, 51, 53, 53, 55, 55, 57, 57, 126, 126, 126, 122, 118, 114, 114, 110, 106, 102, 102, 98, 94, 94, 98, 98, 98, 98, 102, 102, 102, 102, 106, 106, 106, 236, 244, 236, 228, 220, 212, 204, 196, 188, 188, 180, 172, 164, 152, 144, 144, 144, 152, 152, 152, 152, 152, 152, 152, 180, 188, 180, 172, 164, 164, 164, 188, 188, 188, 180, 180, 180, 180, 180, 180, 204, 212, 204, 196, 196, 196, 196, 196, 196, 204, 204, 204, 204, 228, 228, 220, 220, 228, 220, 220, 220, 220, 244, 244, 236, 228, 228, 252, 252, 244, 244, 244, 244, 252, 252, 252, 252, 252, 252, 252, 252, 228, 228, 252, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252, 228, 252]); ---------- ========== Finished in 5m 36s