/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 120x14033545143x110045x11431314523x120302x13312245043x121010x13545433112x134202x13530332532x1035240x14402322532x1112045x13054210233x1211012x13441322255x1220111x12341522254x1241042x11513234440x1242111x11354343144x1301002x12425350332x1301111x13224452451x1411202x14034442323x10211110x10155352555x10241115x14434323022x10420041x14254104331x10430541x10315312541x11052200x11544345452x11134500x11315341453x11431505x15033241332x11502055x12525420055x12015205x14335531355x12405414x13455153514x13414045x13221343303x14104200x14223100340x14104203x10430015432x14111012x13323301552x12.1265432165432199856399832699849985009983729971054997106099710729971110987579985572981566966566950508950195950295012295019491449991443791445291437191417591465914305914414914191445191310709131096913110889742788752987760287049386883868896866838648386285486039483550682844081857181822981898184368183258181218188818257818386818581882817106881710948171104810419799772797772795772793772781508781195781278112278115578110757801100779113376275476017760113575480975225875025874825873945373917391247381151727195725387725454725373725193725817253077254167253725572725110769154368512268312267165866965866750866719566726671226671946661145658829645560639730639984631618627123616605614447614161210786058866034603563603326603500603372602100359445945635943265945005943725936045936175936825938535854715847715774435702655669435622562508562195562122562194553155349955343755345155267055275155279654415445645444995444375444495441154462054363854386753691529686516915158655108275095955074805069884982274977984892264813481387481398481411480615480630480684480861472447256347232647250047237247071545543745343745143744943744743744745244737144717544765447305447414447144745544611024452034389804374904374994355435571435229435943582434657434747434792428537426395417387415387413387411387411341111341010564101062410107441011163983873984543983733981933988139830739841639833971058397106439710763971118396239650839619539612239615539610753957533948633885783743263744374500374372372326355326353326353986337326335233550833519533548333512233515333510773346683347493347943288733264183265633082583062583069653061137288258286258268258266119259473259545259554259104223812384532381242371018230811230869228322838722857222839822841122811072045204571204229204920443204822046182041057204106320399919822219642719658619412217612217412215512215312211521951148195114619511401951138502113622911348313011912219512248212250812021205081201951201221201941201761201551201148120107511910011119258111725811112581109387110738711053871103326110132610972581095258921924999243792455924539176184464844838444684336841528440842678439784284153841077831066831080831106829108125810791951077122107512210731221071910699106796696643666325661216686625766386665664366618661057661063106561865114764910636181061618105991057910559104956310493261049410495001049372104811394394191019989181184471812316726129061011298392299528957166361736287635464126450585121525753255386543644241544285435244104448100498938131933307337334163454240215222672336239724461002989165117513051371141414521000989503650165066504650265056303530153065304530253055126196204034401440644044402440545262262352620621003300130063004300230053326246253261761832630631321064106532623624321062106332106010612032201220622042202220520262562610311011106110411021105142618619426216224262662741909141499500411100110141509510415145154152953041332333413523534176176241574575413873884181681741442443412652664146746841487488414924934172472541325326411281294177477541592593419969974180981041834835418698704149549641909910411261274194995041772773413733744138838941605606419104141841941423424412262274183283341433434414384394146846941513514411141154173573641336337415385394154854941371372416086094112134161361441171841421422412342354144144241658659412642654146646741471472411102110341511512417237244153153241753754413543554156156241773774415865874138939041990991412272284183383441641642416616624185865128728851504505513073085111101111517367375154955051751752515645655156957051609610511314512352365143743851861862514774785128528651886887513053065111311451111811195133033151946947517497505175475551557558517797805158758851991992516076085111125181481551440441518548555125825951859860514754765110961097515005015151051151515516511116111751717718517477485159559651196197518128135164064151857858516606615147347451478479518485511094109551508509519129135132632751528529511291305153353451543544515585595156856951431432518558565187587651496497519109115112712851945946515515525175875951566567513943955120220351424425514294305185385451257258512672685110801081114944951153453511943944116446451145245311664665118768771188891150250311123124115375381175976011567568113953961164264311450451112632641186871191921150550611530531115555561139339411448449113313321156356411780781115885891199299311436437111042104311446447111171181112212311733734115765771177877911581582115965971160660711101111419420112322331145445511873874114794800177177201579580015895900199399401796797013973980120020101811812014124130122522601104310440165966001689690019069070111081109015425430179479501597598014104110161261301161701470471014804810111061107017227230173273301737738015455460158058101984985015905910179279301994995014284290123123201236237014834840149349401110411050190790801386387015935940199799801416417011121130154654701571572017987990141441521686687219089092191391421115116217217222172672721327328217317322153954021114511462175675721175176217767772158458521988989211003100421101810192123023121831832214324332163964021856857212602612110781079214824832183842168468521497498219119122171972021113311342173473521547548215525532117317421193194211001100221829830212332342110461047216626632146546621107610772168268321485486211161172112112221328329215505512111511152217577582199910002160060121817818218278282144344421261262218678682110741075217157162111391140211541552175575621583584213913922181581621224225212592602166366421865866211072107321501502217187192132933021334335211137113821114711482115215321197198212222232143443521439440214444452186386421474475314844853171671731125126311135113631948949315545553155956031392393311951963159960031604605318931422423314274283110481049311058105931636431106810693189689731512513311181193153253331572573315825833198698731390391311981993160260331203204314204213122322431425426314304313110561057316576583110661067318748753181823168768831490491313333343153553631540541319449453156056131565566315755763177777831989990312012023161061131141531615616311044104531105410553166566631670671314884893189903169069131503504311191203172072131124125317307313194794831573574317757763157857931598599311992003122923031830831316386393142433164364431104710483166866931476477314864873187883168868931491492315065073173873931541542315565573196596631980981315915923199599631601602316116123181381431151631237238314041311045104631858859312622633146446531656631666667314694703110701071ttt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))