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