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

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

###   Literal Distribution  ###

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

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



###  3SAT CNF Predicate  ###

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

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

