
*****  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 %  
Clause Remove: 21
Clauses except Random Ones: 135
Clause Remove: 21

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

###   Literal Distribution  ###

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

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



###  3SAT CNF Predicate  ###

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

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

