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

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

###   Literal Distribution  ###

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

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

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

