VarexJ/zipme.dimacs at master · Meng1024/VarexJ · GitHub

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
c 1 __SELECTED_FEATURE_CRC
c 2 __SELECTED_FEATURE_GZIP
c 3 __SELECTED_FEATURE_Extract
c 4 __SELECTED_FEATURE_DerivativeCompressGZIPCRC
c 5 __SELECTED_FEATURE_ArchiveCheck
c 6 __SELECTED_FEATURE_ZipMeTest
c 7 __SELECTED_FEATURE_Compress
c 8 __SELECTED_FEATURE_Adler32Checksum
c 9 __SELECTED_FEATURE_DerivativeGZIPCRC
c 10 __SELECTED_FEATURE_DerivativeCompressGZIP
c 11 __GUIDSL_ROOT_PRODUCTION
c 12 __SELECTED_FEATURE_DerivativeCompressCRC
c 13 __SELECTED_FEATURE_DerivativeExtractCRC
c 14 __SELECTED_FEATURE_Base
c 15 __SELECTED_FEATURE_DerivativeCompressAdler32Checksum
p cnf 15 31
14 0
-14 3 0
-14 7 0
-14 6 0
-1 14 0
-5 14 0
-8 14 0
-3 14 0
-9 14 0
-11 14 0
-4 14 0
-7 14 0
-2 14 0
-6 14 0
-1 12 0
-1 13 0
-12 1 0
-13 1 0
-8 15 0
-15 8 0
-2 10 0
-10 2 0
-10 1 0
1 8 0
-7 -2 -1 4 0
-4 7 0
-4 2 0
-4 1 0
-2 -1 9 0
-9 2 0
-9 1 0