
*****  3SAT-Generator for Unsatisfiable CNF Predicates *****

How many variables ? 1 ... 500   Literal Distribution
   (0) Specify Literal Distribution
   (1) Flat Distribution
   (2) Normal Distribution
   (3) Input Ratio(Clause/Variable)
Select[ 0 - 3 ]:   Input the ratio(Clause/Variable)  
    5 %  
    10 %  
    15 %  
    20 %  
    25 %  
    30 %  
    35 %  
    40 %  
    45 %  
    50 %  
    55 %  
    60 %  
    65 %  
    70 %  
    75 %  
    80 %  
    85 %  
    90 %  
Clause Remove: 32
Clauses except Random Ones: 144
Clause Remove: 32

@@@@@@@@@@@  OUTPUT  @@@@@@@@@@@

###   Literal Distribution  ###

N[ 1]= 2    N[ 1']= 2
N[ 2]= 2    N[ 2']= 2
N[ 3]= 2    N[ 3']= 2
N[ 4]= 3    N[ 4']= 3
N[ 5]= 2    N[ 5']= 2
N[ 6]= 2    N[ 6']= 4
N[ 7]= 3    N[ 7']= 2
N[ 8]= 2    N[ 8']= 2
N[ 9]= 2    N[ 9']= 2
N[10]= 2    N[10']= 3
N[11]= 3    N[11']= 2
N[12]= 3    N[12']= 3
N[13]= 2    N[13']= 3
N[14]= 3    N[14']= 2
N[15]= 3    N[15']= 3
N[16]= 3    N[16']= 2
N[17]= 3    N[17']= 2
N[18]= 2    N[18']= 3
N[19]= 2    N[19']= 3
N[20]= 2    N[20']= 2
N[21]= 2    N[21']= 2
N[22]= 2    N[22']= 2
N[23]= 2    N[23']= 2
N[24]= 2    N[24']= 2
N[25]= 2    N[25']= 2
N[26]= 2    N[26']= 2
N[27]= 3    N[27']= 2
N[28]= 3    N[28']= 2
N[29]= 3    N[29']= 2
N[30]= 2    N[30']= 3
N[31]= 2    N[31']= 3
N[32]= 2    N[32']= 2
N[33]= 2    N[33']= 3
N[34]= 2    N[34']= 2
N[35]= 2    N[35']= 2
N[36]= 3    N[36']= 2
N[37]= 2    N[37']= 3
N[38]= 2    N[38']= 2
N[39]= 2    N[39']= 3
N[40]= 3    N[40']= 3
N[41]= 3    N[41']= 2
N[42]= 2    N[42']= 3
N[43]= 4    N[43']= 2
N[44]= 2    N[44']= 2
N[45]= 2    N[45']= 2
N[46]= 2    N[46']= 4
N[47]= 2    N[47']= 2
N[48]= 2    N[48']= 3
N[49]= 2    N[49']= 3
N[50]= 2    N[50']= 2
N[51]= 2    N[51']= 2
N[52]= 2    N[52']= 2
N[53]= 3    N[53']= 3
N[54]= 3    N[54']= 2
N[55]= 2    N[55']= 2
N[56]= 2    N[56']= 2
N[57]= 2    N[57']= 4
N[58]= 4    N[58']= 4
N[59]= 3    N[59']= 2
N[60]= 2    N[60']= 2
N[61]= 2    N[61']= 2
N[62]= 3    N[62']= 4
N[63]= 4    N[63']= 2
N[64]= 2    N[64']= 2
N[65]= 2    N[65']= 2
N[66]= 2    N[66']= 3
N[67]= 3    N[67']= 2
N[68]= 2    N[68']= 5
N[69]= 2    N[69']= 2
N[70]= 3    N[70']= 2
N[71]= 3    N[71']= 3
N[72]= 3    N[72']= 2
N[73]= 3    N[73']= 3
N[74]= 3    N[74']= 2
N[75]= 2    N[75']= 2
N[76]= 2    N[76']= 2
N[77]= 2    N[77']= 3
N[78]= 3    N[78']= 2
N[79]= 2    N[79']= 2
N[80]= 3    N[80']= 2
N[81]= 2    N[81']= 2
N[82]= 2    N[82']= 3
N[83]= 2    N[83']= 2
N[84]= 2    N[84']= 2
N[85]= 2    N[85']= 2
N[86]= 2    N[86']= 2
N[87]= 2    N[87']= 2
N[88]= 3    N[88']= 2
N[89]= 3    N[89']= 2
N[90]= 4    N[90']= 2
N[91]= 4    N[91']= 4
N[92]= 3    N[92']= 3
N[93]= 2    N[93']= 2
N[94]= 2    N[94']= 3
N[95]= 2    N[95']= 2
N[96]= 2    N[96']= 2
N[97]= 2    N[97']= 2
N[98]= 3    N[98']= 2
N[99]= 2    N[99']= 3
N[100]= 2    N[100']= 2

Total of literals      :: 480
Number of clauses      :: 160



###  3SAT CNF Predicate  ###

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

c
c NOTE: Unsatisfiable
c
100
160
3
141421356
16 33 59 
16 26 -95 
-26 33 59 
16 -33 82 
41 55 82 
14 41 98 
11 -55 74 
-11 46 74 
-14 -74 77 
46 -74 -77 
41 -46 63 
-14 -46 -63 
-41 71 98 
-41 -71 98 
61 76 -98 
19 39 -61 
19 -39 76 
-19 -61 -98 
-16 71 -76 
-16 -71 -76 
67 68 -82 
68 71 85 
-67 -82 -85 
27 -67 -71 
20 22 -68 
20 -22 -68 
4 27 -68 
4 -7 -68 
-4 -20 27 
40 59 70 
-27 40 -70 
-27 -40 -82 
8 40 -59 
8 -40 -59 
-8 42 79 
-8 42 -79 
-42 60 79 
-42 60 -79 
31 38 -60 
31 -38 -60 
6 9 65 
-6 -31 65 
9 38 -65 
-31 -38 -65 
2 -9 -31 
-2 -9 -42 
-19 24 -83 
7 36 -51 
-56 67 73 
-56 -57 -73 
-23 36 96 
-23 36 -96 
2 21 86 
-18 37 -58 
21 37 93 
-55 -57 66 
69 91 96 
47 -50 -64 
10 48 77 
10 -48 -51 
30 47 100 
3 -30 100 
-30 -37 62 
-3 -30 -62 
12 -37 -100 
1 -12 -100 
-37 -47 67 
43 -50 -88 
-10 -63 90 
5 15 -80 
-5 15 -80 
12 -21 22 
26 -64 93 
3 34 75 
1 -34 75 
85 88 91 
-36 88 91 
14 51 -75 
-22 -48 50 
-6 35 -70 
28 -53 -78 
24 70 92 
-28 -36 43 
-12 43 -85 
-12 -28 -43 
7 89 -95 
29 -40 -72 
-29 -57 -72 
-4 -32 52 
35 39 -88 
14 49 -83 
34 87 -89 
-3 -53 97 
62 69 -97 
5 -62 -97 
7 43 81 
-52 53 -99 
18 52 -94 
-6 -47 -73 
-13 -66 72 
-13 -66 -87 
-7 11 88 
-29 -39 95 
-6 25 54 
-10 80 -84 
-10 -33 -78 
-43 44 97 
57 63 94 
-20 -53 99 
-17 29 66 
23 72 -73 
51 63 -75 
-26 62 -92 
-35 49 -52 
23 -58 83 
-49 -58 83 
29 32 -96 
25 -34 -58 
-13 74 -91 
45 50 72 
18 -44 55 
-2 -21 -24 
-32 -62 73 
17 56 -81 
-49 58 80 
-33 -46 73 
13 15 -84 
70 -87 99 
32 81 91 
4 -25 58 
57 -69 -86 
-57 -69 -86 
-25 78 -92 
-17 -35 80 
6 58 -81 
-5 -62 -93 
-4 11 64 
-45 -77 -94 
13 -39 -94 
-19 30 -99 
-24 84 90 
12 53 86 
-1 -54 -99 
-77 -89 -90 
44 -46 -54 
45 78 78 
-1 28 90 
-49 56 -92 
17 -48 95 
-45 87 -93 
-11 -66 -68 
53 63 -91 
64 89 -91 
-44 84 92 
-15 48 54 
61 90 -91 
-15 17 89 
-18 28 -90 
54 58 94 
-15 -18 92 

