/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 242x10200510204x11421x12415432312x11442x13403025512x11531x11154302111x11540x13311140100x12241x10220302500x12421x10103532321x114120x15204050512x114240x15143500030x114414x13321050524x115421x13413333301x121441x12502212000x132442x13330231404x153215x10404343225x1140405x15112402135x1155322x10124050123x1253044x12250445044x1312424x14320123054x1342205x10131202043x1411404x14023504152x1550142x15201241333x10140042x10101521012x11044255x11041053525x11305414x11030131324x11424135x14433500025x11554025x11143214115x12421541x10104030541x14250142x14253012321x15220442x12011245502x15220540x11513001321x15314240x15531130152x15514425x13505401525x12.1265432165432111981190165949423918632916591459163759149359147159149059116781627899643621940166173198186458183308185818186818197818118818182615731563486471486110118631933157989160889133557113356371335471133549213355811335168468546855716856376854716854926855816851684895808967616741661105714901057151010571691105717951680166113331574338171762639176218521762192779110018798739387542875568764687514873058711687438719687481872876687640111710929859864598330981869819798118986419818262861599286181787421687418128742011880867100717531045010105911691161977309775897104897111697131515572604871673487171316881661179462815601915156020066405586404096406466405146403056401166404364019664048164026409640666401298578865578959578117244871244873444810504481282303158930318111642473608194471493471637471447114844711661471167616068988286788212155305025309611363571136363713634711363492136358113631684543534167516764516733016718616719716721616711816718261671812167201199861010081576100818054726014726284721194725314722694728847286472185472491472151155112165111812511201150256050258250296550210331198911965811991311910101916891575891670452878867187020221870203218702046153289491168349117296381872172456018518842603602608812601052260319535601811867618670184101839418891811718161018160418176897841415778920471183413157324032863487351213621527136215291362155813621572136219359399283336526003600360600412600260218186772735110210931011100250036718121181878431871297167816611424570940995449558729917065471714560914332565513752175259548555277749120011902041630958949590995165651550219991186716591918891764570361977241186692590692122711345821134502113452911342841134139113467113423811344891134611345151134172494792817685701636892197049519701034180611890159905926736596731266123861030426030487920071181800118700470063770049370047170081215308915301641103449518618811851269149115311936194130833128726010096371009471100950110093031009118100981009215100947010094100949010091661100916781730560195757093616719361707129864030516093051825549129966746675716676376674716674926675816671684126712573326781509702410386410133612286014904714901114392267193819414265711722560197186117311615481827590113559016791934442449128363812831307480448063748047148049048016614801678677659677204015157021194664488471170050279619417961954687146116761661261323261441159889139813548617671592896756592691603269181910991765138513542681661766570149991863301864111866451868211883895138891386721381012138123754010351732560200511853250253296315281517976388161089810120563919586676139623862846489652955411701032495124061115717101051103610511195577883577135357714231456637145641456493145647114568121853194799149879915087991699799170579917991818118555655558255550255591555528555173218241183943861234603386609104710361047119713771354129719562702602708776156076991254368358657578657809657144848516854851731203389665946133766420155709062601684166156965695825695025695155691724167216611178911767024321162196230524812514174656010601053937645937330937593718693719793711893718267971554797156079719374841184215430344704501528502528103194192844914496764496724493314498944913844962844911944960144947244915794491590449153244919188768671621894701675470171528415912841813557547176118501761199817612014478116047992747913829042601814118802791669359535964535933035918635919735945235911835918263596411748560602693481168148117231334149613341514133416971334179710452161045181210452011931239149191692502306260800645800330800580018680019720238842011118153688416008915558951698502581571581975581123368479068490568415166841562684165863656366456363306361866361976361186366416361826559547187116041871176818711767187116031871168318714911871185187186187188187126918715311871198945175973516048914089140570140674121659514551793143257114979155619171556201010131002152682115264111526186152619715261181526641152618261559260162389104416201044180773616391873186256894256813746351168635197310491036104911991563162816861661902709960361962362429216186216527216259216137216652162172164852165216638181611813161185792579558579409579646579957966579542579393579556579871133162211331803119611901100582110050211006110091110052811001732131411884768315889158668165749445864585324586104581730893638893821893411893589318689321689318128932011572686909159790918151383135490516079051823179441713761715351603526831689683174794592894514315109405101384182211865133671498811361125152318821361193913611952689683856853368546666728666771666104666613131928361703990215153121515564924719281433179618618286991682166186613272852602858757226767226707221722897221177221610482471482109214345711058471744410744394744676744670744897441177441610170856048916774891721156126025915782591809195957071167671167071189711117711672711138711410711394711331711161071115797111010711658711642711913711119179811835811243581660195556018041185414481210479943928943142519551952161956381952411952391951215195867195882195495195103419518121951818195181419520111171116141212174121862130611890316059031821137513549102601942166141816512185946696591716560822811194801194903155819131558200418261189663621167167211533721162672118011511702126364512633301263512631861263197126311812636411263182615908914857021810118644193599938599139718021181300650941687941745656701656773656118865613051640991126217631262196019148914626961820118153488416901661180811854553411151093513502197419614150750841355356411490149141263264416396404172872941537538411163116441798799416346354160660741126112624184684741146114624153353441100510064145045141100310044165065141100710084189419339344114981499417307314158558641476477416456464114511452416566416768414974984154454541868741635636419697411496149741795796419394411192119341712713411262126341560561411041104241554555416436444166166241816817411053105441175617574116516641109911004113291330414744754186886941695696415365374157857941773774413663674112971298411054105541112511264119119241414241478479414344415725734154254341988989421484148542887888421973197442166516664270170242771772421514151542163516364215211522421510151142152415254275875942196019614273473542990991421639164042150815090218501851028988990216281629022022202302196619670289589602894895028848850274374402702703021535153602153315340215691570027357360299499502900901027407410288388402155415550270770802737738021968196902710711027047050288688702741742027087090216641665021882188332995996321629163032196219633215641565321661166232163316343289990032163116323289289332151815193215681569328918923216301631329929933215201521321964196532196719683215661567329979983216321633329969972117601761211591159221191519162110011002211207120821919221641642215765772110361037215495502154054121330331211767176821157415752116221623211127112821495496211354135521594595216626632117631764217907912111701171211371382119581959215895902113301331211599160021101010112139139221161162219279282117651766211753175421121512162144544621714715218128132194294321109410952116261627214534542117931794211042104321133413352113071308211160116121472473211605160621793794211529153021946947213323332111721173218018022179980021160916102113914021116811692138538621157615772116031604215525532158658721112911302156256321393394215645652116201621214094102188892144244321157158214444452115781579212014201521508509211607160821101121153115322193593621938939211641164221159715982110121013211181192144844921105710582112271228211881892110971098211423142421720721211864186521119311942194094121158915902194494521471472218438442120322033211868186921328329215025032135735821195619572197982149849921656657211913191421116117213243252119171918211254125521666667211869187021161710351065105510451025101530263066304630163036305652193919405216601661521522152352167316745216851686521687168852706707521941194252166916705216771678527397405216791680521671167252168916905216811682528968975216751676521567156852168316845014506450345054502450443141541631699700316906913119521953311747174831123312343117211722311035103631794795311050105131512513315295303111971198316146153116971698311713171431173117323155355431582583316116123112601261311190119131873874311935193631335336314144153168768831493494311098109931333334314754763111881189315755763191391431365366311937193831104610473160260331909131135913603112591260313603613116991700319779783158358431165816593192933116616731145514563168168231527528311048104931452453311002100331566567318728733181781831174517463110931094311954195531119912003126726831814815314164173112371238311723172431648649314134143116561657311901913116316431172917303154854931119511963151451531473474311715171631192719283117071708316336343132632731455456313313323164264331531532311355135631100410053117591760316096103111241125314574583111661167319599603141241331118911903165465531113111323163263331792793315015023111351136318458463145645731169116923118661867516016025193693751646647515395405114251426511448144951353354517177185117541755511454145551683684516036045117581759511039104051929930514854865194955112581259517967975149149251388389516916925148148251120812095159559651655656511705170651580581515905915181181251489490511328132951558559515705715157457551698699511921935181081151364365513863875147047151447448516966975163163251116511665135835951145214535110561057516596605118631864513343355111611162511327132851535536511116111751487488511059106051546547515055065110521053511361136251143314345132332451131451821822516606615155655751182718285114311432519319325115916051160161403240524022404240124062002300430033006300130053116896901118618711181518161118718811584585112172181126626711509510111353135411199819991120062007115655661118011802111805180611928929111162116311137613771161061111175517561112091210117917921165265311879880111362136311181118121168468511716717116406411120102011111449145011103110321112391240111331133211109510961180981011443444113903911158758811103710381112131136736811871872118990111931941111301131111282128311869870111305130611494495116126131113601361114995001111911192116826831156756811261262111206120711179517961179779811196197111819182011881882111807180811182118221121521611866867116636641113151316111809181011240241111043104411182318241113841385111374137511113211331160560611337338111799180011138213831117971798116886891120042005116786791163863911204620471126526611238239115935941113561357115985991187587611417418111336133711959611877878115505511163763811103310341187087111139713981119419511181318141118518611571572115965971166466511121712181126426511182518261113321333116936941145145211180318041118171818115035041113131314011055105601441442011852185301592593011255125601111201112611270193093101327328013053060110401041013623630120402041018158160110381039015385390157357401186718680167667701653654019659660111011102011862186301867868011718011266126701905906016866870111141115011092109301813814015975980155155201155615570166566601113311340118701871011933193401647648016496500151051101411412011205120601186518660118721873011757175801670671011560156101718719013633640112561257019039040156156201129913000113571358017137140110961097011358135901613614019619620147948001336337015065070138738801607608012692700111641165015045050114531454016806810162963001454455016946950158858901356357011558155901104410450166866901477478016046050135435501141501145014510167968001599600019329330156356401176117620165865901844845011257125801133313340126226301164165016976980197597601865866019349350136136201286287019099100138939001715716016746750128428501151601325326019639640154754801628629016726730172172201577578014964970110081009017197200130330401568569012592600153453501446447016306310111281129013523530191001260261011621630118919001100610071215721573121662166312151715181215621563128898901299199212157015711216341635121969197012888889127387391270570612166716681219651966121668166912890891121963196412885886121523152420112061205120212031204122152715282215651566221516151722736737227097102274274322166616672270370422901902221663166422152515262219611962229939942289789822151915202215631564ttt2ttt2 1.20 [hg: unknown]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))![299])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])))