/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 00x10445113121x140x14423024234x1001x10413021501x1400x12223004421x10052x12343023053x11100x11333443250x14001x12223302351x15004x12545212304x15015x13534432215x103354x10332433034x110000x11201023210x110101x13554413132x130035x13334523324x130040x13305532250x140340x12303235540x150003x15142300213x1120013x10425223443x1200100x12441055211x1205501x12314313351x1241510x11031450544x1255410x12551114230x1352551x12134514041x1410343x14145412013x1500000x14534041400x10000510x13050550402x10350052x12144325143x10452555x10414013223x11014355x13303543401x11510043x14411404303x12004513x11021430442x13005513x12452442003x14004034x13333015404x14240015x12341301232x14304034x14242440304x12.1377787321659318169339822110522211213221138522113892211408162720749478073348617612546110661170613161206612056130561306617761307611206178613756131861152613676122761213613426167613686137661553615386168361169361168761248611026115931022483213073137229729142292762977293062936829284291002945292352920291072949329286157917851394375128139312571444125714571257147412571521125716581496538860157915231815237511091684214297147517171653308169137548720173317984328241578671237143314091523743814738281782375129712912012947129781292841291001291431294512923512920129671293051292051293061291421292761297712930712925412910612917012931129206129493129553129538326128178437514981729159310213863428413911361680127315212731511273761273301273191273661273119127371273171127316871107166850230650239716251705472065475535473071395146164331157717811201592391602184177148353733329138226110331688132415191062476264211710160312582841258100125871258451258235125820125849356417271325130886120586130586130686119861668611198611518617686130861786177108419134015371714170162923015671783168137569232055503255162824360111028411101001110143111015111107611103011101911106611101191110711104511102351110201110493204520100202352028430439107403311063117031254311626160110531599101310341201034710347840740170403140285401204078402040121403274022840538404840733404934061740105440167517261718261463144312391730171865428730555216873751022781022479771209771519777697730977199776697711997771271194222710115110176101301011910166101119101710178150712506085116452771661318677404402242761500152231154713425363975731705733157353857320657340457330757355357328726112632611339261144626114977649276537867862848610086236864586235862086143861528617186493861673861687861693253741348169079179309693166945562307215321102721123721161412141195121413241564754150851781283465939761567788307277167416853751256159840416461032162416673421534131456396145613961351134052277560105572926028311336839667213672276734267367671516776673067196766671196776727753831538285538628538162348521712428516472883133928430284862856328642281350139237521274163525416211701786375501152541961642539440142440276440774403494403064404644039744039644036845627754961110816202811731318682661686139045106667114603485130616928575385110085124985139512011771458207714277205772767730513153671315227131571315213131534213156713152481315102131515931001600100162210016661001672100169414551707143278428213061526553162317071973076677671197151171213037072123427137281307150846349461650167537013052776373501396396138432713141577158138727897112721563127216161272164413493051349205134930613491511349761349301349191349661349119134971349142134927613497715912720616527033118322068325538323078323502154759741709285644169515217084311445431127116341271166078214221741248174110217411593165129915201509852138336752615181309418731388451568673541831558553603516033482710121689375161514596678443914594391495439154897517119751713158067262852621304161715214604932283271462431408176161143916734518081735513571728171831575831103110323126026131126127311231243136373135035131119711983182833121021131747531157915803110410531134813493115671568312082093134434531125112523185185231164416453122233129029131130413053113121313318598603179803115771578311592159331161416153113613731248249314074083116281629311103110431103310343115415531854855311011023110710831127012713166673185785831378379312762773117111712311196119731110111023113851386311666166731144145311721733118018131311312311028102931505131131132311761773117717831135136311281293111091110313303313125025131848531171172314164173131323112391240313533543136836931217218311321333122923031838431152153316970317273124794801217351736121446144712756757124924931243443512145014511210531054121739174012528529121435143612507508121731173212143314341250350412494495121437143812146114621248048112430431125055061250850912144814491214591460124964971214511452121444144512530531125265271243543612760761127537541217251726124774781210161017121438143912531532121563156412432433124754761217221723124974981217071708326997003275976032569570329659663296296332673674321014101532160516063215031504321610161132683684326176183215381539325385393252953032828829326686693214981499324784793259459532144914503249549632160616073255355432105910603262862932143614373215431544327227233216091610326506513215141515321738173932688689321480148132558559321723172432147514763254354432564565326336343210561057321509151032694695327277283278478532599600326456463210611062325065073262262332160316043243343452436437521020102152173617375296196252481482521052105352145214535210181019521720172152143914405217181719524984995250951052755756525325335210601061521600160103147214730318031804031431143203155315545128228351322323511344134551221222511131145111071108512552565115815951401402511310131151174175511267126851207208511626162751352353511343134451312313514044055112651266512572585123223351676851973974514647511191205177785110321033513213225123723851127128519759765118218351206207512526512382395111081109513283295113461347511199120051111112513243255185285351301302511254125551100101512882895118118230773315491550331799180033155415553318041805331425142633146614675314281429531469147020770275875902154215430210131014029649650250150202687688025425430217331734025985990278278302754755026326330214551456021479148002783784021502150302726727028278280217241725021442144302557558024844850215131514026986990217191720026496500256856902439440026726730216041605025355360262162202512513028268272315501551231464146523142314242318001801231802180323155215532315551556231805180610774112512641286287414234244110301031411121134139940041162216234137537641162016214117131714412272284127827941120012014197497541349350411256125741535441124125412627413693704127284113061307411241124241242243411268126941131113124124124241157158415455413513524128428541162416254137637741394041167416754140340441858859414204214115615741251252412892904113081309411213121441347348413193204110291030411264126541125012514180814130314112631264413063074113313441308309418182412192204130230341310311411249125041379380411341134241175176412542554116341635411383138441383941300301413313324164264341332333412052064133344122822941119411954139839941152115224173744111061107412582594137137241421422411105110621133913402117918021707121596021178117822112112221236237214849211100110121860861216061212302312112521253212021212332342113931394211314131521168416852197297321342343214134142134352138138221323321169216932127727821173174212142152112401241211451462116901691211680168121165016512116941695211511522113911392211255125621218219211783178421855856211408140921178517862142242321119811992117017121231232211660166121373821143144212982992112212321585921343344211350135121149150211658165921787921108109211686168721424425211101112116161617211688168921134135211253125421119511962140040121102103213293302197697721209210213973982110271028407750771173273311414415111652165311345346112792801147481137337411372373112324112425111387138811281282111091101122022111153154112352361185861114214311971972112492501121221121321411164616471114714811280281111672167311127212731111021103112522531115515611299300111457145811240241113803811112691270111389139011303304113273281113091310111668166911192011417418115152112872881111041105114054061125926011120121112912921148648711131313141130730843147014714315571558431430143143154815494318061807431471147243142914304317981799431551155243180718084318011802431556155701132413250113471348011395139601123712380128528601318319013053060126126201211212011031040112661267013203210121521601367368011831840141942001130713080141541601555601856857014546012162170113451346011061070140640701127112720113421343015657012829017677011238123901134013410168690130931001125712580113013101256257012972980114614701353601325326013463470114814901495001396397018538540132332401370371017172012392400137737822151515162215121513226866872252752822150415052243143222618619227007012278678722149915002263163222725726227577582255455522570571226466472259559622648649221447144822674675226206212272372422154115422210211022227857862266967022830831221501150222539540226346352210171018226846852268969022559560221740174122147614772249349422504505221510151122160816092214811482221544154522597598228298302214781479225415422269769822567568224764772210541055226006012256556622153915402269569622728729229639642255655722105510562214341435221015101622623624226516522283183222544545226716722278778822629630131463146413142614271314651466131427142813142414251314671468131422142313146814690077426526534254654742438439421729173042144014414256356442636637425345354210581059421537153842593594427247254214821483427807814272973042702703421516151742571572426256264253353442105710584272172242150815094215051506421441144242145414554254554642150615074260260342825826426246254216021603426936944267067142572573421474147542552553425115124243743842151715184217371738426676684217211722421607160842644645426856864278178242690691425405414248248342154015414259659742170917104270170242149514964263563642566567421012101342824825421511151242500501421545154642152515264267567642510511421546154742555556426766774253753842647648426166174215001501424995004248348442101910204217321733425615624268268342619620425605614263063142627628426966974273073142691692421519152042173417354217171718421453145442149714984260160242159815994214771478421727172842653654ttt2ttt2 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))![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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))