1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
Found: 0 0 0 0 ; 1 0 0 || 1 0 0 0 ; 0 0 0 || 0 0 0 0 ; 0 0 0 || 0 1 0 0 ; 0 0 0
Visited: 23
Found: 1 0 0 ; 1 0 0
Found: 0 1 0 ; 0 0 1
Found: 0 0 1 ; 0 1 0
Visited: 13
Solutions: 3
Found: inf inf inf inf ; 0 2 0 || inf inf inf inf ; 1 0 0
Found: inf inf inf inf ; 0 0 2 || inf inf inf inf ; 1 0 0
Found: inf inf inf inf ; 1 0 0 || inf inf inf inf ; 0 2 0
Found: inf inf inf inf ; 1 0 0 || inf inf inf inf ; 0 0 2
Visited: 21
Solutions: 4
Found: 1 1 0 0 ; 1 0 0 || 1 1 0 0 ; 1 0 0
Visited: 13
Solutions: 1
System: True False False True
Columns: 6 -> 8
Perm: [3, 4, 5, 0, 1, 2, 6, 7]
0 -1 1 0 -1 1 0 0
-1 1 0 1 -1 0 -1 0
0 1 -1 0 -1 1 0 -1
( 0 0 0 0 0 0 )
( 0 0 0 1 1 1 )
( 0 0 0 1 1 1 )
( 0 1 1 0 1 1 )
Not feasible
[]
[[-1, -1, -1, -1, 0, 0, 0, 0, 1, 0, 1, 0, -1, 0, -1, 0, 0, 1, -1, 0, 1, 1, 0, 0, 0, 2, 0, 0, -1]]
[[-1, -1, -1, -1, 0, 0, 0, 0, 1, 0, 1, 0, -1, 0, -1, 0, 0, 1, -1, 0, 1, 1, 0, 0, 0, 2, 0, 0, -1]]
System: True False True False
Columns: 21 -> 21
Perm: [4, 5, 6, 18, 19, 20, 11, 12, 13, 0, 1, 2, 3, 14, 15, 16, 17, 7, 8, 9, 10]
( 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 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 )
Not feasible
0 0 1 1 ; 1 0 0 || 0 0 1 1 ; 1 0 0 || 0 0 2 0 ; 0 0 0 || 1 1 1 1 ; 0 0 0 || 0 0 2 0 ; 0 0 0 || 0 0 0 0 ; 0 0 0
System: True False True False
Columns: 42 -> 42
Perm: [25, 26, 27, 39, 40, 41, 18, 19, 20, 11, 12, 13, 4, 5, 6, 32, 33, 34, 21, 22, 23, 24, 35, 36, 37, 38, 14, 15, 16, 17, 7, 8, 9, 10, 0, 1, 2, 3, 28, 29, 30, 31]
( 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 )
( 0 1 0 0 0 0 0 0 1 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 1 0 )
Not feasible
|
