
*****  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 %  
    90 %  
Clause Remove: 40
Clauses except Random Ones: 147
Clause Remove: 40

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

###   Literal Distribution  ###

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

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



###  3SAT CNF Predicate  ###

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

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

