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

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

###   Literal Distribution  ###

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

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

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

