source: cegar_dev/cegar/abstract_model/SATcnf_a1.cnf

Last change on this file was 4, checked in by syed, 14 years ago

input files added

File size: 4.3 KB
Line 
1c Nd85_1296_0 68
2c Nd156_564_-1 5
3c machine_concret1_a1.state_2_0 58
4c Nd180_193_-1 16
5c o1_0_0 1
6c Nd733_2976_-1 12
7c Nd72_805_-1 47
8c Nd85_1260_0 63
9c Nd145_624_-1 27
10c Nd61_829_-1 32
11c Nd145_672_-1 44
12c Nd145_768_-1 19
13c Nd168_745_-1 98
14c Nd120_133_0 71
15c Nd733_1728_-1 31
16c Nd97_1248_0 64
17c machine_concret1_a1.state$raw_na$initial$_nb_3_-1 10
18c Nd709_3576_-1 2
19c machine_concret1_a1.state$raw_na$initial$_nb_2_-1 8
20c Nd49_781_-1 17
21c Nd685_4320_-1 43
22c Nd96_1320_0 80
23c Nd156_756_-1 20
24c Nd168_600_-1 29
25c Nd168_744_-1 21
26c machine_concret1_a1.state_1_0 56
27c Nd805_985_-1 92
28c Nd85_1500_0 76
29c Nd180_192_-1 22
30c Nd709_2664_-1 46
31c machine_concret1_a1.nd_r_i1_0_-1 48
32c r_i1_0_0 38
33c Nd120_132_0 82
34c Nd121_132_0 66
35c Nd697_901_-1 96
36c Nd108_1116_0 70
37c Nd145_696_-1 3
38c Nd157_564_-1 41
39c machine_concret1_a1.state$raw_na$initial$_nb_4_-1 11
40c machine_concret1_a1.state$raw_na$initial$_nb_1_-1 6
41c Nd157_888_-1 97
42c machine_concret1_a1.state_0_0 54
43c Nd169_600_-1 50
44c Nd157_612_-1 28
45c Nd84_1080_0 84
46c Nd85_1452_0 73
47c Nd121_133_0 59
48c Nd168_552_-1 7
49c Nd169_744_-1 35
50c Nd108_1164_0 81
51c Nd96_1212_0 74
52c Nd168_648_-1 15
53c machine_concret1_a1.state_4_0 61
54c Nd145_973_-1 93
55c Nd85_1524_0 79
56c Nd108_1068_0 65
57c Nd637_3600_-1 26
58c Nd145_576_-1 40
59c Nd181_193_-1 9
60c Nd589_5616_-1 39
61c Nd85_1224_0 53
62c Nd637_4956_-1 42
63c Nd145_720_-1 13
64c Nd721_924_-1 95
65c Nd108_1020_0 57
66c Nd829_996_-1 91
67c Nd97_1284_0 69
68c machine_concret1_a1.nd_o1_0_-1 18
69c machine_concret1_a1.state_3_0 60
70c Nd769_948_-1 94
71c machine_concret1_a1.state$raw_na$initial$_nb_0_-1 4
72c Nd144_816_-1 34
73c Nd84_108_0 90
74c Nd109_1164_0 88
75c Nd96_1284_0 77
76c Nd181_192_-1 30
77c o2_0_0 25
78c machine_concret1_a1.nd_o2_0_-1 33
79c Nd144_792_-1 49
80c Nd97_1212_0 55
81c Nd156_660_-1 14
82c Nd84_1176_0 87
83c Nd109_1068_0 85
84c Nd157_660_-1 45
85p cnf 99 261
8610 11 9 0
87-10 -9 0
88-11 -9 0
89-8 -9 7 0
908 -7 0
919 -7 0
92-6 -7 5 0
936 -5 0
947 -5 0
954 -5 3 0
96-4 -3 0
975 -3 0
98-10 11 16 0
9910 -16 0
100-11 -16 0
101-8 -16 15 0
1028 -15 0
10316 -15 0
104-6 -15 14 0
1056 -14 0
10615 -14 0
1074 -14 13 0
108-4 -13 0
10914 -13 0
110-10 -11 22 0
11110 -22 0
11211 -22 0
113-8 -22 21 0
1148 -21 0
11522 -21 0
116-6 -21 20 0
1176 -20 0
11821 -20 0
1194 -20 19 0
120-4 -19 0
12120 -19 0
12218 19 17 0
123-18 -17 0
124-19 -17 0
12513 -17 12 0
126-13 -12 0
12717 -12 0
1283 -12 2 0
129-3 -2 0
13012 -2 0
1311 -2 23 0
132-1 -23 0
1332 -23 0
134-1 2 24 0
1351 -24 0
136-2 -24 0
13723 24 0
13810 -11 30 0
139-10 -30 0
14011 -30 0
141-8 -30 29 0
1428 -29 0
14330 -29 0
1446 -29 28 0
145-6 -28 0
14629 -28 0
1474 -28 27 0
148-4 -27 0
14928 -27 0
1508 -22 35 0
151-8 -35 0
15222 -35 0
153-4 -35 34 0
1544 -34 0
15535 -34 0
15633 34 32 0
157-33 -32 0
158-34 -32 0
15913 -32 31 0
160-13 -31 0
16132 -31 0
16227 -31 26 0
163-27 -26 0
16431 -26 0
16525 -26 36 0
166-25 -36 0
16726 -36 0
168-25 26 37 0
16925 -37 0
170-26 -37 0
17136 37 0
1726 -7 41 0
173-6 -41 0
1747 -41 0
1754 -41 40 0
176-4 -40 0
17741 -40 0
1786 -15 45 0
179-6 -45 0
18015 -45 0
1814 -45 44 0
182-4 -44 0
18345 -44 0
1848 -30 50 0
185-8 -50 0
18630 -50 0
187-4 -50 49 0
1884 -49 0
18950 -49 0
190-48 49 47 0
19148 -47 0
192-49 -47 0
1933 -47 46 0
194-3 -46 0
19547 -46 0
19644 -46 43 0
197-44 -43 0
19846 -43 0
19927 -43 42 0
200-27 -42 0
20143 -42 0
20240 -42 39 0
203-40 -39 0
20442 -39 0
20538 39 51 0
206-38 -51 0
207-39 -51 0
208-38 -39 52 0
20938 -52 0
21039 -52 0
21151 52 0
21260 61 59 0
213-60 -59 0
214-61 -59 0
215-58 -59 57 0
21658 -57 0
21759 -57 0
21856 -57 55 0
219-56 -55 0
22057 -55 0
22154 -55 53 0
222-54 -53 0
22355 -53 0
224-53 -40 62 0
22553 -62 0
22640 -62 0
22760 -61 66 0
228-60 -66 0
22961 -66 0
230-58 -66 65 0
23158 -65 0
23266 -65 0
23356 -65 64 0
234-56 -64 0
23565 -64 0
23654 -64 63 0
237-54 -63 0
23864 -63 0
239-63 -27 67 0
24063 -67 0
24127 -67 0
242-60 61 71 0
24360 -71 0
244-61 -71 0
245-58 -71 70 0
24658 -70 0
24771 -70 0
24856 -70 69 0
249-56 -69 0
25070 -69 0
25154 -69 68 0
252-54 -68 0
25369 -68 0
254-68 -44 72 0
25568 -72 0
25644 -72 0
257-56 -57 74 0
25856 -74 0
25957 -74 0
26054 -74 73 0
261-54 -73 0
26274 -73 0
263-73 -3 75 0
26473 -75 0
2653 -75 0
266-56 -70 77 0
26756 -77 0
26870 -77 0
26954 -77 76 0
270-54 -76 0
27177 -76 0
272-76 -13 78 0
27376 -78 0
27413 -78 0
275-60 -61 82 0
27660 -82 0
27761 -82 0
278-58 -82 81 0
27958 -81 0
28082 -81 0
281-56 -81 80 0
28256 -80 0
28381 -80 0
28454 -80 79 0
285-54 -79 0
28680 -79 0
287-79 -19 83 0
28879 -83 0
28919 -83 0
29058 -66 85 0
291-58 -85 0
29266 -85 0
293-54 -85 84 0
29454 -84 0
29585 -84 0
296-84 -49 86 0
29784 -86 0
29849 -86 0
29958 -82 88 0
300-58 -88 0
30182 -88 0
302-54 -88 87 0
30354 -87 0
30488 -87 0
305-87 -34 89 0
30687 -89 0
30734 -89 0
308-54 -58 90 0
30954 -90 0
31058 -90 0
311-8 22 98 0
3128 -98 0
313-22 -98 0
3146 -98 97 0
315-6 -97 0
31698 -97 0
3175 97 96 0
318-5 -96 0
319-97 -96 0
32014 -96 95 0
321-14 -95 0
32296 -95 0
32320 -95 94 0
324-20 -94 0
32595 -94 0
3264 94 93 0
327-4 -93 0
328-94 -93 0
32949 93 92 0
330-49 -92 0
331-93 -92 0
33234 -92 91 0
333-34 -91 0
33492 -91 0
335-90 -91 99 0
33690 -99 0
33791 -99 0
33862 67 72 75 78 83 86 89 99 0
33954 0
340-56 0
34158 0
342-60 0
343-61 0
344-1 0
34525 0
34638 0
Note: See TracBrowser for help on using the repository browser.