blob: ab23cdd98735bef7d410595742fa3b62ad38ec54 (
plain)
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
|
CL: 75 <= 65 1 0 59 56
CL: 76 <= 55 1 0 69 66 2 75 52 50 47
CL: 77 <= 60 3 1 72 69 2 46 45
CL: 78 <= 57 3 0 70 65
CL: 79 <= 57 3 0 72 66
CL: 80 <= 67 3 0 60 55 1 49 2 79 78 77
CL: 81 <= 45 1 0 70 67 3 62 59 56 80 76 44 43 41 38
CL: 82 <= 61 4 1 74 70
CL: 83 <= 71 4 1 64 60 3 82 53 49
CL: 84 <= 51 4 1 64 60 3 73 72 69 2 83 36 35
CL: 85 <= 48 4 0 73 66
CL: 86 <= 4 51 68 1 0 78
CL: 87 <= 71 4 1 48 45 86 39 2 85 64 60 57
CL: 88 <= 51 4 1 58 55
CL: 89 <= 82 48 45 0 88 39 2 74 72 70 67 3 87
CL: 90 <= 58 4 0 74 67
CL: 91 <= 68 4 0 64 57 3 90 53 46 89 84
CL: 92 <= 61 4 1 68 65 0 53 49 46
CL: 93 <= 1 45 61 0 85 69 66 2 92
CL: 94 <= 53 4 2 71 69
CL: 95 <= 2 49 73 1 88 94 58 55 93 42 40 37
CL: 96 <= 58 4 0 73 66 2 39 35
CL: 97 <= 36 2 0 73 68 4 61 55
CL: 98 <= 0 58 36 4 2 71 69 65 1 97 96 54 52 50 47 91 95
CL: 99 <= 71 4 1 54 50
CL: 100 <= 51 4 1 74 70 3 99 37 35
CL: 101 <= 68 4 0 54 47
CL: 102 <= 40 3 1 74 71 4 48 45
VAR: 1 L: 9 V: 0 A: 100 Lits: 34 38 14 30 3
VAR: 2 L: 11 V: 0 A: 102 Lits: 28 30 14 34 38 5
VAR: 3 L: 5 V: 0 A: 56 Lits: 7 23
VAR: 4 L: 12 V: 1 A: 0 Lits: 2 4 6 8
VAR: 5 L: 18 V: 0 A: 40 Lits: 11 27
VAR: 6 L: 19 V: 0 A: 51 Lits: 13 37
VAR: 7 L: 6 V: 0 A: 59 Lits: 15 23
VAR: 8 L: 13 V: 0 A: 65 Lits: 9 17
VAR: 9 L: 2 V: 0 A: 18 Lits: 19 23
VAR: 10 L: 3 V: 0 A: 20 Lits: 21 23
VAR: 11 L: 1 V: 1 A: 98 Lits: 34 22
VAR: 12 L: 4 V: 0 A: 22 Lits: 23 25
VAR: 13 L: 16 V: 1 A: 3 Lits: 26 28 30 32
VAR: 14 L: 10 V: 0 A: 101 Lits: 34 38 2 6 29
VAR: 15 L: 7 V: 0 A: 62 Lits: 23 31
VAR: 16 L: 14 V: 0 A: 67 Lits: 9 33
VAR: 17 L: 0 V: 0 A: 81 Lits: 35
VAR: 18 L: 17 V: 1 A: 4 Lits: 34 36 38 40
VAR: 19 L: 8 V: 0 A: 63 Lits: 23 39
VAR: 20 L: 15 V: 0 A: 68 Lits: 9 41
CONF: 1 == 10 12 14 16
|
