source:
vis_dev/vis-2.3/models/debug/and2.cnf
@
33
Last change on this file since 33 was 33, checked in by , 13 years ago | |
---|---|
File size: 284 bytes |
Line | |
---|---|
1 | c Nd37_48_0 9 |
2 | c a_0_0 7 |
3 | c Nd12_24_0 6 |
4 | c Nd36_49_0 5 |
5 | c b_0_0 8 |
6 | c Nd85_97_0 4 |
7 | c c_0_1 3 |
8 | c c_0_0 1 |
9 | p cnf 11 22 |
10 | 1 2 0 |
11 | -1 -2 0 |
12 | 2 0 |
13 | -7 -8 6 0 |
14 | 7 -6 0 |
15 | 8 -6 0 |
16 | -1 6 5 0 |
17 | 1 -5 0 |
18 | -6 -5 0 |
19 | 1 -6 9 0 |
20 | -1 -9 0 |
21 | 6 -9 0 |
22 | 5 9 4 0 |
23 | -5 -4 0 |
24 | -9 -4 0 |
25 | 3 4 10 0 |
26 | -3 -10 0 |
27 | -4 -10 0 |
28 | -3 -4 11 0 |
29 | 3 -11 0 |
30 | 4 -11 0 |
31 | 10 11 0 |
Note: See TracBrowser
for help on using the repository browser.