/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0001x12322422405x11050x11224442211x103014x12242405514x104010x12051111335x105001x10511144315x1003452x12342414211x1003525x12411225235x1004510x13144312411x1004514x13424142054x1014553x12244450324x1030025x12403242525x1040022x12240323022x1043102x12224110352x1050034x12420145224x1050341x12432143131x1150002x11115515224x1155041x11144243321x1210454x12242102334x1410050x14151441151x1450322x14224252242x1500045x15054114435x1503500x15223151155x1504050x10544424420x1504544x12152444142x1513550x15232154441x1525012x15242401524x10003405x10154115115x10034504x13211545353x10103053x12202143553x10131342x15442111154x10250305x12452400115x10320401x13200424131x10352003x12023343423x10530402x12210513214x10532250x12321224151x11001040x11413221545x11004112x12240205412x11011104x11411403302x11014505x14111141015x11045450x12212025311x11354133x11442011533x11500305x11141505515x12513301x12134324555x14001034x14323315520x15000004x12421311232x15001252x15202215452x15003104x13124343421x15051034x15541222415x15100434x15432322544x15130400x15141452235x15201042x12511411412x12.11000x15042242232x10501x11122444221x141030x14155042422x101040x15331111502x110050x15134411150x1254300x11124142432x1525300x15325221142x1015400x11142134413x1415400x14502414243x1355410x14230544422x1520030x15252423042x1220040x12203230422x1201340x12530114222x1430050x14225410242x1143050x11313412342x1200051x14225155111x1140551x11233424411x1454012x14332012422x1050014x11511441514x1223054x12422524224x1540005x15344114505x1005305x15511513225x1050405x10244244450x1445405x12414442512x1055315x11444512325x1210525x14251042425x15043000x15115114510x14054300x13535451123x13503010x13553412022x12431310x14511112445x15030520x15110042542x11040230x11314240023x13002530x13243433202x12040350x14123150122x10522350x11514221232x10401001x15451223141x12114001x12145020422x14011101x12033041141x15054101x15101411114x10545401x11135202122x13314531x13351102441x15030051x15155051411x11033152x15554234312x14301004x10255133234x14000005x12321131242x12521005x12545122025x14013005x11243434213x14301505x15142221455x14340015x14452232345x10040315x15322541415x12401025x12141141152x126543216543211182486157424157733157784157941157285157156157685157515791579321576714008218719438711034871130732229679312418467401525151686915362001720011011573602157929617032961674462454164152992075048613331811762853791486860178747887797871276732473286373251673253916975171089448162412101072425286396286447286455286759286143310258116652114874471811561181157818116574875487941487285487156487948765487695487884879394874248744487366487578124870815461537915491586391551691536591555917362931736176129432949242947572949422946672949062946012947532946462947552941932946482946032941642941658156095781138448883448125596296714966029619296257962163039460829215449041593192159719299819799515969951619995170881142270695157515646686996687076688901670156117260511721524153215941532161715321704610601610751585422158915718118117187151141157157729638431143256336235563628150614931246998813382181921254712173493310337821102113610119411011285101115610116681011510119101185111411021531864838946261598626162362617108051898051167167846264660164675313598001359145691569181928596979941966898591411119141183914122291415035665134523553425540560093118834129634162634129534113634183411913415583416341363951374951421698686698861107628510761346107613526591055397161812101664101139492973714973602973647973340973116973649732339735389732973192973257756743696686696853889693674113411109411110285111015611105111091110651662784193676495462495114029311872931226293150771348594293311645189388091601169816011733159919211625191411154121513211575160917262931726174717261753101015631010166910101673101016791591192165616416541658391658631655161655761657981659261653651655591659161657431657541657581655571489813312851112110260166760175760190660192494093312231210524955241245131744131751317366131757813191308428133239096913457854494460044342441344466442354454044588411421283674480997135876771171796522132976068711614235423784423424423941423285423156423685423942393242367423733423157423654236954238842393942342423444235784236694231562167646211374893432962978972971173142846229636429672367518914144621373156518144113531078374017092961611253117048412777168241330133977797610389761056257192169944716108401610143516105771610416107441610863161051616101436648601648755686136619162956558662612561606276016277426279426273627164627165874167417237412967413637413417411711799819118611761351793103729643142217012961585164158516963632967647201168578679676856793267158912427039231647171488951158011881176167215611787264211622332340253826471060683872487286387251687236587255911792979674134778444348642174323451546452651380265142726515742651694463146382646379746347846387463517463117463715150414931174672165015728271399171129615011586150116755575164794884791115103529690411489041419754743754152215871571535171748158161075862854516577516863516143510457231045296104562610452951045136104581045191104555810456104536397216719721677925100168426847146846026841926842571705296114351155951614368408591533714153321533192153323451416412198631219744121964512193231219861219431219217121951512194121957712195161219840121914362361929449749449879441027109145669446948636947446945776945166945396948406941436118411762341927587437589164178067247707241458182776182602182647182340182116182641822331825381822182257142046242942695429391581285158116611581166313787137116314428502161929579441891185189122418915057527431756853825693158388158416115879521590952160095217009054905863905516905539171175171209171492111611049461350114915768395668310366831318945100319021907141901921902161902341902188964307181515158347815831584926116515231515150286315025161502645150232315028615024315022171502515150241502539146415591464157614641655159509159116946213724621413150814938327213242965178265171358517153414578558661528142246214221530169516807222937221113523164152317271434840629601122712104898476701532162012109531179531953715775460100219510281054102810881028109010281328122512101444853541516121014861210154712101588152015821520159215201611152017028527211375156266526694126628526615626666826692668537216415629785833168960340329340312474031443165816457651616121210152186315215161521415213651521559798839798863798516798645798323798867984379821779851579847985765395169751071975127897513441488173515587996714996299619299621614658631465516146541465365146555939563957233952963953631927141754853430154513811561595192113548814621725154815381728293172817555194194251132813295129329451600601511602160351390391517387395137137251171851148814895167467551483484519289295174975051117611775115201521514804815117331734516026035167167251851852511921935192192251117311745172872951116311645129029151848849511106110751702703518598605152352451451452517867875114611462518368375116551656514014025173073151517518511103110451645646516476485175976051110411055180880951111511165185085151121112125199599651609610514304315171271351581582511040104151165716585112761277519399405162662751844845518698705189489551686687518588595112411242518688695113151316519069075171972051628629511547154851715716514814825195295351116911705118919051726727511032103351182183511307130851131813195115321533517397405180380451162163519329335198898951914915511537153851146214635116116202168616871215741575121680168112157115721216871688121682168312157215731216811682121683168412156315641216451646121685168632164316440123523601159815990142842901807808013963970116016101420421011142114301391392018418420197897901831832011187118801770771012172180160160201821822018498500195195201215216011911920137037101104110420171071101733734018348350114411442017717720115921593011175117601105410550111831184018908910178578601448449012562570112781279011590159101105610570114641465017637640115961597012332340151051101871872018248250176276301683684011185118601987988011594159501416417011811820116172035206520552045202520153026306630463016303630564215661567421647164842156815694216841685421649165042169416954216791680421567156842164816494014406440344054402440442187882115161517213013022189289321152815292197097121794795211030103121173517362112091210218568572194694721892110581059214904912112791280219199202194894921122212232158258321870871218008012166766821118011812173473521974975218889211332133321930931218648652126326421833834211494149521687688213693702111122168268321400401216667215785792174474521151515162151151221153615372136536621789790211108110921848521162316242111671168217007012143442178278321131421393394214024032115451546214944952113101311219394211380138121911912212882892179379421583584217087092110112141422191791821160916102192932144744821903904211463146421452453211617161821158615872115615721897898211226122721453454211245124621840841211148114921956957217607612113381339211415212892902188788821114011412113461347218068072157757821580581218358362115171518211603160421158159219099102194394421160016012191091121891892211669167021484485219699702116711672211224122521155915602194594621103110322112121213217767772112181219219299302115611562211075107621422423219499502110431044216686692164652115881589211727172821172517262110081009211372137321773774211330133121920921214184192113741375211500150121259260212912922169369421108810892111071108211004100521424425211611161221107110722148548621398399211619162021158015812115241525214214222145645721679680211661166221801802217237242197697711184185111541154211798799116736741169569611146014611193693711934935117207211116011602119089091184384411261262118288291117531754114494501115191520117487491150951011717718114604611174674711827828119249251142742811265266111851861146246311121612171113441345118938941112801281111931941115391540111314131511819820118838841115421543119729731170170211802803116726731173573611110511061195961194951113121313117927931184284311691692116706711111131114111171117211518519119339341111411511100610071118318411194195111101110211199200111861871199099111131313141174574611790791119899901172472511847848116856861115381539118108111115821583115225231186786811131113121171171211300301111010101111926927118308311117551756117847851116316411725726117187191111111112111607160811521522118868871172172211479480119049051142642711116111621193793811605606112862871160460511971972111029103011367368119929931128728811296297111161171126426511135013511115221523111210121111102810291113413511125312541116961697118268271113613711787788117147151110011002111102110311913914117477481199199211697698114824831147847911150115021110091010118687111493149411154155114574581151651711195196111761176211113411351188588611144314440032005200220042001200625023504350335063501350533191691731187188318618623191891931145914603114981499314614623199399431823824319103173173231513514314924933136236331855856319449453151251331899900312922933110361037318658663172973031845846319019023115301531317998003132132231150715083149349431392393318378383186386431128212833178878931429430311496149731157615773117001701311042104331188189317407413182282331459460311710171131295296318668673177877931105710583129930031166316643132332431780781311708170931109010913110591060318848853113521353311704170531103410353134034131149214933199499531198199318888893169970031417418314554563177777831157815793173773831170217033115031504311458145931342343314194203113581359311505150631397398316696703185385441116511664177477541925926413663674170971041125512564128528641399400417047054182082141677678415195204112141215411675167641131613174179579641103810394153853941142114224167667741898899414884894185785841736737416896904114131414411109111041121512164116051606417037044189904191291341450451411419142041368369417797804138838941124712484148648741102710284115916041950951411003100441781782411534153541743744417727734114951496419479484112134110071008411497149841151815194111811182417167174185485541130813094175375441160616074114561457411005100641922923416036044112171218411584158541196197413643654113991400416076084190290341680681419009014157557641829830418958964110441045411571584112131214417057064115431544414584594157958041909141678679414894904112811282416886894113091310417557564180480541258259414254264197797841142714284110391040411608160941174717484126226341167716784191924111381139411641654160660741997998411499150041757758419759764111791180411698169941742743411433143441707708415205214111781179413893904151551641491492413943954116041605416816824193593641751752416926934129729841151641558559411136113741797798418098104119719841761762413023034129829941117711784114351436415565574172772841540541411540154141584585419279284116731674419079084126026141690691418398404114861487221644164522157015712215691570221642164322156415652215651566101110611051102110311041521646164752164116425216881689ttt2ttt2 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])))