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