.

Testing results for computer with two dual core processors (Dell Precision 490: 2x dual core Xeon 5120 - 1.8GHz, 2G quad chan, 1066 MHz FSB)

.

.

Tasks which was solved optimally:

.

Additional subtask solversAdditional subtask solversAdditional subtask solvers

.

NameSize012481601248160124816

.

Time between start and stop the program, T1 (ms)Summary time used by all solvers (including main solver), T2 (ms)Summary search tree node explores (including main solver), E

.

atex1162625843813984254202657187037968127819835798804988179881998814988311812

.

atex3323212276826732345153112501312129645310152225218410209089201428620301502982952

.

br1717333020654128141286012892126043187204212376523843240152425012565244353548435354243521244352388435354839

.

code198198191919192121311515031151961961961961961964541

.

code253253354816338991180461177514180352171859351984338140346953340171343546338484559299570856570890570910570938570887106957

.

Ft 707063741765952774222233133105301610627473449359358282409398433421486402782527830991816017107252139455238673

.

ftv1201216465191272890162027034226322632263226321952166

.

ftv13013148752597792625019980139461280148750598435223439093275462540635207714183013316589416417868729186127022307

.

ftv1401414314744734223722082321748220684314044937433284143740015402342987603589233002122965612760072718032420

.

ftv1501515159858961291533005234459354665156259062571715910965781635783431649348681831763563020762329703626281912611

.

ftv1601611724112977309102928699856094191017239371952796200034319382651843968202785792661503926299234256945602468722526832683

.

ftv3334567111852535537735457811251046703750687217035221964166467107680110588943451286

.

ftv35361827171716181562313131313544376033753257323032341473

.

ftv38391825171716181531313131312093221822312286216422741530

.

ftv44453644292834304631626262462990315330292781361530381613

.

ftv47481792251241231251261872182182342502501311716538159951609016182162621776

.

ftv555610441613853706594659104616091671129610931281886111474481352799963171987853191608

.

ftv64658591092594612593633828109311561156115611405923667392668816821464728636661839

.

ftv70713668425125502402258329563562417142654406429644841428601609491618761707691663991732171950

.

ftv90916917704104644144666568287968288289068017854383031107310771198861579

.

kro124p100164321117353509086319349367829227782481611625173640616379531688546151992114921871188402912046718919704178997397112410694245936230

.

rbg3233236546526466666546536566566406566566562422422422422422421326

.

rbg3583581317150213381308133013771296128112811296132812963223223223223223221163

.

rbg4034031040104810451063103010321015106210461046103110312482482482482482482465

.

rbg4434435235245235215245245155315315155005158181818181812720

.

ry48p4822443266601172010219103201018822437275462332820265205782015622965332301764146055892554792034290975214422

.

td1000.2010011385321243731105951133111104961109181360461200621090311114841084681090628438438438438438431242183

.

Yellow highlighted cells for parallel methods which has solve time less then solve time of line methodCyan highlighted cells has emergent property: threads help to each other

.

.

Tasks which wasn't solved optimally in 30 min:

.

Additional subtask solvers

.

NameSize0124816

.

Records was foundOptimal

.

atex4483218321832183218321832183218

.

atex5725770577057705770563553975269

.

atex860046652467534675346753467534665239982

.

big70270281255825848258482584825847997879081

.

dc11211211149111491114911149111491114911109

.

dc126126125609125609125609125609125609125609123235

.

dc1341345631563156315631562956295612

.

dc1761768655865586558655865586558587

.

dc18818810342103421034210342103421034210225

.

dc56356326007260142600726007260072600725951

.

dc84984937480374803748037480374803748037476

.

dc895895108418108418108418108418108418108418107699

.

dc932932482899482905482899482899482899482899479900

.

Ft 53536979697969796911691169116905

.

ftv100101193119311931193119311906268636

.

ftv1101112197219721972189218921891958

.

ftv1701712758275827552755275527552755

.

p43435641564156415641564156335620

.

td100.1101276860276860276860276860276860276860268636