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

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

###   Literal Distribution  ###

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

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

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

