-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.csh
41 lines (36 loc) · 5.63 KB
/
test.csh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
#passed
./avx-ecm "((5801^61-1)/((5801-1)*4027*5763040637*48081214823351791*195790721913324330907*1811340220375495245599))" 8 3000000 1 3600000000 1923041326
./avx-ecm "(5531^67-1)/((5531-1)*4691*7639*169546202532506553053)" 8 1000000 1 500000000 3242206823
./avx-ecm 7908926676514675413083853032827063880118980193445471625562601469958414706043143581401715516956542424923236530406833110566233 8 1000000 1 100000000 7372562557
./avx-ecm 10594028369831114716682888330845541566105401124620505895213725128397891350870967330967394277735211887867089454105665163 8 11000000 1 6400000000 861666340
./avx-ecm 3561374769003472006611194942083317805928391841857811709042682130841367523415658737688338172847927090359833780290773316642214955689 8 28000000 1 5300000000 2032225695
./avx-ecm 19223719229397103735869895564468606263251785680561653388554202432164204897138631706690937388406707574740021324772129 8 1000000 1 150000000 3018506502
./avx-ecm 272196620338019784750968299924069897373912818896262869393395510386352504664735343251113558078237891876195122624293056109844089703432045768040559116226746846287041064232483950468634930241231043594596685359299453533203503278700006360287123396334525368346734080627559057810652285812547528183503498506749448479463286184305274473193872329675777476484482647 8 2000000 1 200000000 3202184098
./avx-ecm 7908926676514675413083853032827063880118980193445471625562601469958414706043143581401715516956542424923236530406833110566233 8 1000000 1 1000000 7372562557
./avx-ecm 73727933541017653167185877466251298026998961578400830737279335410176531671858774662512980269989615784008307372793354101765316718587746625129802699896157840083073727933541017653167185877466251298027 8 1500000 1 100000000 987115356
./avx-ecm 134334378587665946471267183035011069371867992103492968128193357546608845318563925400458505568168559187151459935412018714514857987996669119402175614727 8 11000000 1 3000000000 212849622
./avx-ecm 329613139781818110865901826030589147499594025505811674007422723998606515552463034975754565660988567496443223857761316649156559011160894973 8 3000000 1 100000000 3457944296
./avx-ecm 8942391253220120724792369846184350004422970554909937973523793125892503966249969509033344875755986267902321369397956127681382245048167463409787699967879654325078733243833427701425823704664041045924437093283158114509154763672320817 8 239049 1 128973400 1568738653
./avx-ecm 92047662531663565390842482351084663150917243804901464964197093733017673896259378196247891860624551698300716957203 8 1000000 1 1000000 1355166397
./avx-ecm 5899329538881140541125238042893031867466785687022406886616631619373395333279906132944250638737474559479712543418870762690649 8 1000000 1 1045563762 1978780349
./avx-ecm 171527316193270871507108435893460246746982712299171622350010323023149618461701108180621787596877308885636902619030669 8 250000 1 250000 3462348953
./avx-ecm 300581646694173102754989957730357512537506582488896855340284419687744533384371572427030444849066320698471799488342573090961576245101059 8 3000000 1 11414255590 1379705753
./avx-ecm '(2+109!)/680228282' 8 11000000 1 5600000000 3745215087
./avx-ecm '(2+110!)/446' 8 9000000 1 16000000 664425596
./avx-ecm '(2+112!)/136201485670024552186709402' 8 1000000 1 102000000 4290019845
./avx-ecm 26594617765169572082971186497599854207008541536487789341135112181948450766499302907792912801082364687289593974376583589304816291501827306819614877594808069179709746434215653036170139495530340927783003444037007979978227755605400186955962673583857757727974515227791006582999382350373421718210600906156246369388191593106305004679192483584237106923010104204605305946934316809128902959406870355549430251967928493796191017315108754907899751201767880440133257626207914651545490882364302281118835838193847794373672875166296590346777068924215678114569160413328727496622279062959554636879435169358604054561252888130959723154678994679089377536945369419538112362590691679727964422496457202609177293526087726710399547207630373348255941 8 250000 1 183032866 377260338
./avx-ecm "(26*10^238-17)/(9*3*31*17914895525348997871953180891109)" 8 8000000 1 100000000 4255384633
./avx-ecm "(10^248+3)/(19*223*126165718229274337)" 8 3000000 1 100000000 3741404180
./avx-ecm "(10^248+3)/(19*223*126165718229274337*16031381961952347637116191005607843989279)" 8 3000000 1 3500000000 1601899263
./avx-ecm "(103*10^286-1)/(3*43*47*9283691*60137568222544788641951)" 8 6500000 1 6500000 8646756833320245055
#below passes for some U but not others (https://www.mersenneforum.org/showpost.php?p=194899&postcount=155)
#expected factor 1892246421565230418535340768938924014883097858799411
#group order: [ <2, 3>, <3, 2>, <97, 1>, <479, 1>, <997, 1>, <2707, 1>, <74527, 1>,
#<515401,1>, <1470401, 1>, <2807087, 1>, <2967491, 1>, <445466003, 1> ]
./avx-ecm 333290344900608194933508421371821217790719930592413794566541523351063376116663003759519239680171163300141221753473967638089669 8 3000000 1 500000000 687558056
#huge B1 passed
./avx-ecm 18476816107833387528013124067857437019638072238274560578069620015386142834793977613957035253413222160419640514669393339750389809776729202393893373019289189 8 110000000 1 13400000000 1954032792
#huge B2 passed
./avx-ecm 276249363376530523409280639717315262381353781466043253655792070660429289799029604351245743892224245080473070069478798426088869000784041 8 7000000 1 16000000000 2708170207
./avx-ecm 1464101628306218327243090276822854018935464651910463764066214979033633930636362446271755126971623164200983332175440071790729516180679 8 9000000 1 164000000000 1473889351
./avx-ecm 14468689114755261780062554686978294174162924920618844291513286842556497012589538616502354515650136548008914400095566281995954429761413127417 8 8000000 1 121000000000 3152455236