
*****  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: 35
Clauses except Random Ones: 147
Clause Remove: 35

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

###   Literal Distribution  ###

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

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



###  3SAT CNF Predicate  ###

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

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

