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