/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 053x13043041444x1134x10435510344x1453x13432230334x11531x12101115112x13005x14202124035x14135x13034425522x100451x10352200321x101025x11030231152x101454x11033102314x110540x11120400310x115354x12021441014x135053x13222002204x145313x12035550243x145335x13341015255x145453x12303341521x153353x15445402033x1001453x11114431154x1005133x10201445544x1013501x11504335235x1053023x10032355043x1100551x10311144401x1134545x11450433315x1140540x11025503040x1254053x15343243252x1401345x13050444335x1410531x12034150251x1454532x10353444212x1512453x10211101154x1513451x12024430111x10011353x11215130353x10140524x11101032514x11340000x10102324333x11400535x10013144225x11405421x10015433335x11515051x12221154551x12545401x15304504431x13105353x14403453423x14153353x13131154342x14535125x13321151555x14535501x14322022451x15000005x11511442025x15132530x15043513310x15142453x10102321003x15145242x12501515202x12.1265432165432127214251374845137425213745841374326137415513748613742491374457137421374783137471113747551374196817608712061182124320127912587110168711234871139232930042967742915978696137331415194020181880991799171916685437145978512829712838712881712890112810592046162026322027035898385891458589149613332007141860514181466879874111697190111567528551322809132880917761088106241012051261674206212873427348457342527347837347117347557341968169420671694208119662019159128414921393749143120151237988610839659673596648963009636096430967549639096329964144385438300438430438360438754438390438329438414120918321209195712971732618403261965184112812536547011033701122770115992056935184912820405889561717192360659512365951924124964029918112991945878733878151820826055855316764372054935181184291845813957498159808151005815118036331983269335934393558583531148380198820231628161416341751188836120805064604294601368460163114958381812128122630064614113473008611003861123829827291991424605146779391179413950696151706921706155617068656473085851765251534454595530209161220917119514175153515703515585515632515202199128199899618728947901295128410824601082499108264911101085186650118666151866413186611718665061866918661175189036220186059421903942200918331287009037009207001225700129814166051416146410342711034110710341482631308149380913911271229129914811541193620140940120314302017190211295425318771244188427112993871299149071653714898031022169610222047207420111123611004981126718851267189516261615770854770120777795141260513237141938201202420150513616451737390498390754193429919341598121318171213195148042913514561996605120859160676160613146061555106418561064188317912817927117936161211271259161251211125129411374991598299881154081612581613201643162716434291643458269187314146053091309677309429309482309458309159816548801654429165413221654855165448016549021982201121230076062299498120158820166820176917712817780817787917991281896361191753370267028547029017023877021287021567027707021841614261420161427061474661484561425261478361471161419406141968121430025118775404540615540413540411540954087540501540117519442015326405321480844595346179834619411921300810148818551281984506639369641617862006346647965563021595123512307921138792115292193453001397757308142318181281092185410921937431863129218711292192212922045124933129385412939011293387129312812935561293346129317812934112932001293479129361293156129377023020123015166131057613114612971284270201270862702492704572705842703262701552702776139890088011461834114619592010605437991437124015968768534853615853413853411853985387301597286215522492326245725841746809174642174681811755012008605195020197980446541574231432844284582232201129116441291165912911920129119891189463441842344196760453960412485575318019699049482522012525842523262521552528625224925245725223006483007103007353007913005303003443001763008300251300459300536999336912421892362440429110810855081625101566910156176696638935917963591939704778184312820485078622862769862588862201862230862194691342991348091388091313229138559139024811995887743887149413346151334413133441113344133491334871491809187227118721889187220256233691600161835128114549911456771145111454291145460114564912125255953120388095961255149145141213514129651416331315705177184617711517151784614327541432390143279114327101432300143232914324141497840155692753369124720118782711878189316321614171216971958201370137046037064937049937048237015981399605125510678125412041182724141312641268712640126678126650902880123920142913751373271376696496441164464879571179575069574295780995781818161281321711709278154185715812817452055458429458162717189359903279905990669531605531745531799531870763126041439018861073179181712091712831717611952201189436236030071213962502012501498152384515025122068299206820791144184811441935187427118741891124520119195897689576815221847128199038719902037203139420268011457201169512121904299190419831093460109354110932991093127109339109322910934811093110936494824294821105827110581109388362388694744274471174476974458874420174425274475574419681619188778277516201373162020391660971178371184512251809122519437901361210300807209943329943754943390943412943414412390123380612516423281846328198119422011065171065191859416851481794175920531241201126986817779702103210870210745210531210542210863210431210792210199650712505071264121118151211194976712461797128725472561572541372541172597258710238701023745102353110235581023359102319810236310232691023439102331023542102319966821072682111179870019202061192020739929812016605181012814657933953671147390114779111477101147300114732911474146569543011741968201327300156128118961511894131189411118941189911898719462011960201151984511109210931198298311622623111615161611411412113283291174975011842843111252125311344345111085108611815816113263271136236311654655117357361185986011142714281187287311155515561178678711114611471198198211120912101173073111598599119859861178778811369370112052061161661711161716181112913011767768118828831184184211839840117317321175175211121312141114291430116526531114961497111211121211812813117297301110181019111920192111114011411129930011499500119869871111441145115935941177577611909111502503117587591113113211858859116686691112251226111351361112812911429430117367371111121161761811773774118848851110861087118138141143643711864865116286291198498511861862116216221187787811346347114374381113313411363364111321331138939011359360116536541141341411591592117147151198898911393394429059064293393442910911421861186242192519264290390442907908421928192942977978421711171242904905422053205442169716984218621863421648164942170417054216451646429559564217691770421685168642171717184296997042169616974216371638421651165242163516364293493542164016414220552056421924192542112711284216861687421761176242164616474217581759421633163442169316944217441745421644164542192919304294194242163416354217761777121011101212112811291216891690121132113312113611371210741075121700170112100610071216471648121081108212193019311216361637121013101412937938121901190212101010111290690712100710081210091010121075107602113511360219331934021078107902186418650291191202972973021753175402173917400216521653029429430216881689021764176502170517060295095102101210130211311132029089090216991700021080108102163816390293693702164916500219311932021641164202169416954180380441123612374114901491412079208041656641675676411425142641198319844120252026419189194143343441677678411016101741867868411370137141650651418088094181081141696697418568574191041145814594177277341276277415945954170670741131413154114981499414142411290129141148214834127527641792793417157164115161517416126134120372038416206214179379441118011814167267341165916604191491541124125418941636441599600411466146741771772411369137041949541132913304180080141121341719720418687411426142741619620416116124170570641718719411011413940417807814114921493417047054192092141649650417207214153153241806807418578584174074141128712884112311232416366374150050141132813294114641465411516411248124941209210411540154141916917417847854111741175418458464162762841817818417627634179679741626627411154115541148014814120320441609610415015024110221023418528534165165241125412554173974041699700103510651055104510251015202620662046201620362056521859186052169116925216901691521927192852192619275217021703521073107452170117025210081009529399405218581859529389394014406440344054402440442164464521843844218498502184684721128812892114991500216946952110571058215125132118951896211989199021184018412112031204211916191721188318842110631064217177182118771878211613161421391392211815181621873874211221232118321833215075082158959021697698211083108421208209211285128621184818492185085121136137211842184321120512062129729821513514217417422176376421123412352112681269213043052177077121118811892115715821198199215115122171171221365366217897902198098121539540219919922118711872215325332130530621101710182184784821155156211887188821187318742163063121122912302199399421111111122127127221788789217697702113731374211019102021755756212062072115951596212742752176576621799800211181118221875876211627162821176177211003100421103310342175275321180918102112112221129812992150350421607608211817181821184618472130030121989990218808812110211022211371137221129612972120612062211500150121179817992118341835211088108921185418552174374421127128211294129521204205211631163221435436218558562112831284217327332110621063211811181221178179216326332111381139215085092117961797216836845112441245511518151951881882516746755119451946511331133251588589517817825119511952511185118651838839517507515119371938511183118451860861511064106551229230511981198251202320245162562651194919505112671268512002015127327451681682516156165188388451132213235170170251193519365180280351361362515345355114561457511301315192935112421243511614161551610611511109111051919251126612675198398451195919605119651966518408415112401241512039204051251252515905915181181251269270511284128551108410855162462551191819195164264351306307517457465153653751188918905161361451387388517227235170870951713714517107115178378451162516265111071108512073207451865866511292129351189318945179579651886887511488148951231232511494149551196719685119431944515355365119571958511250125151152215235113201321511619162051118411855175475551785786511616161751272273511232123351189118925112071208511939194051641642516336345159759851638639511238123951682683511941194251249250511246124750325052502250425012506230233043303330633013305331584585311413141431748749311718311330133131801802312015201631774775314304313181481531530531311291129231595596316706713136436531122712283119951996311428142931541542317797803127727831791792316186193164564631117118311394139531394395311396139731139813993176176231128612873119221923316956963188893180981031200920103139039131874875311368136931721722312081208231367368315825833185185231671672318638643165565631201720183169869931537538311264126531200720083160060131643644315145153114171418311289129031141531114111423186686731778779316016023180480531746747316036043172372431605606311090109131756757319394316346353110591060315565573114231424311251263110871088317007013170370431764765311231243111421143311411141231738739311415141631635636316796803113921393311201213111861187315585593113321333316696703130130231201202311181193130730801115211530164664701848849011060106101592593013663670130830901108910900113413501207208012045204601161216130176676701876877014344350153853901879880011153115401428429014594600116170139239301498499018990017597600136836901510511018688690111551156018548550143944001143014310112651266016406410110911092016086090113721373014794800110201021015065070115011502011314015045050168068101629630017247250187187201206720680143143201870871016786790171271301885886011061106201126012610198798801602603012782790173373401747748019019020113331334016066070175775801113911400174274301648649011599160001707708015335340119031904014324330145745801161816190112301231016376380179779801159715980111871188018058060130230301673674016846850120220301143114320189990001509510017947950173773801303304017767770194694701959601204720480111431144011182118301481482017287290111912001122812292210141015221857185822185618572217661767229759762217411742221860186122953954221755175622107710782211301131221072107322174217432297497522175617572217671768229529532210051006221885188622193219330011006100510021003100413216981699321752175332909910329489493216871688321076107732169216933295695732164216433295195232970971329769773293593632176217633211341135329789793294094132176317643217431744321740174132173717383217571758321759176032173817393294995032165016513217511752321765176632174517463210791080321133113432954955321754175532165316543297197232176817693218631864321129113032163916403297397432170317043218651866321770177132912913ttt2ttt2 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])))