dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / subcircuit / test_subcircuit.exp
at develop 935 B view raw
1x = array1d(1..4, [1, 2, 3, 4]); 2---------- 3x = array1d(1..4, [1, 2, 4, 3]); 4---------- 5x = array1d(1..4, [1, 3, 2, 4]); 6---------- 7x = array1d(1..4, [1, 3, 4, 2]); 8---------- 9x = array1d(1..4, [1, 4, 2, 3]); 10---------- 11x = array1d(1..4, [1, 4, 3, 2]); 12---------- 13x = array1d(1..4, [2, 1, 3, 4]); 14---------- 15x = array1d(1..4, [2, 3, 1, 4]); 16---------- 17x = array1d(1..4, [2, 3, 4, 1]); 18---------- 19x = array1d(1..4, [2, 4, 1, 3]); 20---------- 21x = array1d(1..4, [2, 4, 3, 1]); 22---------- 23x = array1d(1..4, [3, 1, 2, 4]); 24---------- 25x = array1d(1..4, [3, 1, 4, 2]); 26---------- 27x = array1d(1..4, [3, 2, 1, 4]); 28---------- 29x = array1d(1..4, [3, 2, 4, 1]); 30---------- 31x = array1d(1..4, [3, 4, 2, 1]); 32---------- 33x = array1d(1..4, [4, 1, 2, 3]); 34---------- 35x = array1d(1..4, [4, 1, 3, 2]); 36---------- 37x = array1d(1..4, [4, 2, 1, 3]); 38---------- 39x = array1d(1..4, [4, 2, 3, 1]); 40---------- 41x = array1d(1..4, [4, 3, 1, 2]); 42---------- 43==========