dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / ts_bug.exp
at develop 325 B view raw
1aft = array1d(1..6, [{1, 2, 3, 4}, {1, 2, 3, 4}, {1, 3, 4}, {1, 3, 4}, {1, 3}, {}]); 2bef = array1d(1..6, [{}, {2, 4}, {1, 2, 4}, {1, 2, 3, 4}, {1, 2, 3, 4}, {1, 2, 3, 4}]); 3cost = 48; 4dur = array1d(1..6, [{2, 4}, {1, 2, 4}, {1, 3, 4}, {1, 3, 4}, {1, 3}, {1, 3}]); 5s = array1d(1..6, [4, 1, 2, 3, 6, 5]); 6---------- 7==========