dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / circuit / test_circuit.exp
at develop 2.9 kB view raw
1c1 = array1d(1..4, [2, 3, 4, 1]); 2c2 = array1d(2..5, [3, 4, 5, 2]); 3---------- 4c1 = array1d(1..4, [2, 3, 4, 1]); 5c2 = array1d(2..5, [3, 5, 2, 4]); 6---------- 7c1 = array1d(1..4, [2, 3, 4, 1]); 8c2 = array1d(2..5, [4, 2, 5, 3]); 9---------- 10c1 = array1d(1..4, [2, 3, 4, 1]); 11c2 = array1d(2..5, [4, 5, 3, 2]); 12---------- 13c1 = array1d(1..4, [2, 3, 4, 1]); 14c2 = array1d(2..5, [5, 2, 3, 4]); 15---------- 16c1 = array1d(1..4, [2, 3, 4, 1]); 17c2 = array1d(2..5, [5, 4, 2, 3]); 18---------- 19c1 = array1d(1..4, [2, 4, 1, 3]); 20c2 = array1d(2..5, [3, 4, 5, 2]); 21---------- 22c1 = array1d(1..4, [2, 4, 1, 3]); 23c2 = array1d(2..5, [3, 5, 2, 4]); 24---------- 25c1 = array1d(1..4, [2, 4, 1, 3]); 26c2 = array1d(2..5, [4, 2, 5, 3]); 27---------- 28c1 = array1d(1..4, [2, 4, 1, 3]); 29c2 = array1d(2..5, [4, 5, 3, 2]); 30---------- 31c1 = array1d(1..4, [2, 4, 1, 3]); 32c2 = array1d(2..5, [5, 2, 3, 4]); 33---------- 34c1 = array1d(1..4, [2, 4, 1, 3]); 35c2 = array1d(2..5, [5, 4, 2, 3]); 36---------- 37c1 = array1d(1..4, [3, 1, 4, 2]); 38c2 = array1d(2..5, [3, 4, 5, 2]); 39---------- 40c1 = array1d(1..4, [3, 1, 4, 2]); 41c2 = array1d(2..5, [3, 5, 2, 4]); 42---------- 43c1 = array1d(1..4, [3, 1, 4, 2]); 44c2 = array1d(2..5, [4, 2, 5, 3]); 45---------- 46c1 = array1d(1..4, [3, 1, 4, 2]); 47c2 = array1d(2..5, [4, 5, 3, 2]); 48---------- 49c1 = array1d(1..4, [3, 1, 4, 2]); 50c2 = array1d(2..5, [5, 2, 3, 4]); 51---------- 52c1 = array1d(1..4, [3, 1, 4, 2]); 53c2 = array1d(2..5, [5, 4, 2, 3]); 54---------- 55c1 = array1d(1..4, [3, 4, 2, 1]); 56c2 = array1d(2..5, [3, 4, 5, 2]); 57---------- 58c1 = array1d(1..4, [3, 4, 2, 1]); 59c2 = array1d(2..5, [3, 5, 2, 4]); 60---------- 61c1 = array1d(1..4, [3, 4, 2, 1]); 62c2 = array1d(2..5, [4, 2, 5, 3]); 63---------- 64c1 = array1d(1..4, [3, 4, 2, 1]); 65c2 = array1d(2..5, [4, 5, 3, 2]); 66---------- 67c1 = array1d(1..4, [3, 4, 2, 1]); 68c2 = array1d(2..5, [5, 2, 3, 4]); 69---------- 70c1 = array1d(1..4, [3, 4, 2, 1]); 71c2 = array1d(2..5, [5, 4, 2, 3]); 72---------- 73c1 = array1d(1..4, [4, 1, 2, 3]); 74c2 = array1d(2..5, [3, 4, 5, 2]); 75---------- 76c1 = array1d(1..4, [4, 1, 2, 3]); 77c2 = array1d(2..5, [3, 5, 2, 4]); 78---------- 79c1 = array1d(1..4, [4, 1, 2, 3]); 80c2 = array1d(2..5, [4, 2, 5, 3]); 81---------- 82c1 = array1d(1..4, [4, 1, 2, 3]); 83c2 = array1d(2..5, [4, 5, 3, 2]); 84---------- 85c1 = array1d(1..4, [4, 1, 2, 3]); 86c2 = array1d(2..5, [5, 2, 3, 4]); 87---------- 88c1 = array1d(1..4, [4, 1, 2, 3]); 89c2 = array1d(2..5, [5, 4, 2, 3]); 90---------- 91c1 = array1d(1..4, [4, 3, 1, 2]); 92c2 = array1d(2..5, [3, 4, 5, 2]); 93---------- 94c1 = array1d(1..4, [4, 3, 1, 2]); 95c2 = array1d(2..5, [3, 5, 2, 4]); 96---------- 97c1 = array1d(1..4, [4, 3, 1, 2]); 98c2 = array1d(2..5, [4, 2, 5, 3]); 99---------- 100c1 = array1d(1..4, [4, 3, 1, 2]); 101c2 = array1d(2..5, [4, 5, 3, 2]); 102---------- 103c1 = array1d(1..4, [4, 3, 1, 2]); 104c2 = array1d(2..5, [5, 2, 3, 4]); 105---------- 106c1 = array1d(1..4, [4, 3, 1, 2]); 107c2 = array1d(2..5, [5, 4, 2, 3]); 108---------- 109==========