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

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

###   Literal Distribution  ###

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

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



###  3SAT CNF Predicate  ###

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

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

