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

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

###   Literal Distribution  ###

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

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



###  3SAT CNF Predicate  ###

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

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

