/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 345x13232153522x10453x14032311505x10541x10141512201x13453x13232141032x13505x13214332015x14055x13322203535x15534x11144143422x105510x10245315140x123510x12125115420x134500x14331250430x152352x15221205222x154541x11534104201x1005055x11134302452x1054345x11502234325x1054520x10225332220x1055105x11202543115x1055113x10503214142x1123544x14020403224x1304533x14205421003x1340501x13213100401x1404541x14431114011x1435055x14325252135x1550100x15042442240x10050401x15144203341x10053530x10250243100x10125235x14431405155x10555233x11013054242x11005234x12414532104x11552255x11042531515x12343453x10152350122x14050545x11213225355x15355541x10120432541x15455334x11502341300x12.127713891378140531140558214057514053681405156614051583119796831425958899558810125881130169335579320932977822111381767921761357587115458713881029993277129729235292632974292902911411608311335311703530589327589280589234589104589305891958945589218589758910658921910571211106210812881828750106356156080912801377103710336610330910373103651031781033110331010339110330110311810312810310510330210328810331110334810319710366103254103461033271032801031061032191039981033741031177103157710315831031567163012911421222114212261142142712881068116335511693551169117011691334131310672893735371336124810081393451046124096105616422101606541606162932610232674932675111955411951270136399983199515901497149366149309149731496514917814931149310149391149301149118149128149105149302149998149157714915832111043119190157566157531115751567878391878301878118878234878104878308781987845878218878787812887810587830213271915895301098191141290139545226381577156639659399613911135778477210216281291033201011561011109910111162980131812261517107413285646621932721911402191176147108110001396152410671076311076171107615831454581145415481055209105556105523410551041055301055191055451055218105571055170105520105510671055107810272016811378185155997157636153166420911835411831256113928355755301551185532551285510555391553025520955565517055205531557555368555825515665515832557868131034813119232510453251142243391636106710821067889872889109774910327491182205620170202092023420104203020192045202182072010672010788371298372348371048373083719837458372188377837235397201159331316531733117831309103413044074030140118403284012840105402354028840254404640129403274028040106402194024440474029040114114431566107810671026131015915302871488779768779808771024100977110093292211461687137897796812771272091275612717012720127288127303127254127461271067127107812671257122312121387771138732602413191067120841216071702739977310141366100813291911613492611128113728199315842355812358612358881428541428150929614881681026913515031635588153491152994311771012195211412135521102221119672271170135515281427791541084172131110678392471075128710751371302391119354119312681032130692111981042201356209135615255486930811222234221042230221922452221822722156622158310411312105118105128105301105710532145016431450167814501686158515661131236249711181541181126611681523114612111146122411461421538993538101053811325381320204102133719143108392320992356923234923104923309231992345923218923792317092320814288814781425481446787199979211679209528565287945289142841028527150420843135557128941910414191124419119414041558145116071451161314511657103520110821010155610151107101511681587156866197663481062801062341061041063010619106451062181067379531452117614523271452280145210771452218145245145219145230145210414522341452714521061452114014522191155209862264913209122415191063129795210133415889812011251114114328114313941221366122131122199812213101221157711773743351261013561013110510131164152621155954155916271044108719730745710472187234757203217542175631080106711354126107930158296254962106221652921698216145616141641161416921307106746254462884611344611484611601305106713211068113323515101291100210310366531158648150485531372211372145310255302458401512129472441644541149304836102683611801537117615373271537114015372191549264158315661439971017530112911148701136148396148967148101632412091153313492102105413261422541422151114297812272074263747742351264150312641605127112912901067156134911653551225201444152912101199152010671171102191077328838151810675587310651313722031269129210319354325669366669309669736697669656691786693166931066999866915776691583785181785106439610661265290126588812655811265107712652181265451265191265301265104126523412657126586112652351265114113711429137114421371152716585410235305392635397453936753929053911419928719755371123288112325411234699631262393951831914881147281147139266180712621663126216801561021135239113511581961124203014201184207420328420128420105211692169321132813292112612721363721527528219129132119019121272821141142219199202111641165211336133721124125211951962132933021166316642165966021238239212802812179802158658721116811692113551356215855862124224321319320217717722121922021980981218358362111361137213693702110141015212922932110101011217879216768212526211012101321378379211224122521167816792175175221118119211831842114414521172173211326132721213214212032042116131614211041104221305306211121132126626721122612272128128221116211632197897921792793211260126121660661212682692141641721225226218738742147482110261027213743752111541155212021211911922115271528211920211134113521201202213683692117817921132133218118122110321033215845852128428521182183212642652110341035211525152621359360211461472114714821150315042122022121914915215575582148492139639721352353217778218318320210451046021119112002144614470211171118021382138302119912000210001001021121112202140114020210081009021404140502157315740212071208021364136502138513860253153202107010712212121213221067106822128912902297397422152315242213041305221534153522128712882211201121221306130722537538221519152022132013212210521053221517151822143014312211151116229769772212471248221071107222138813892212221223221686168722107710782296896922131813192213571358221429143022120012012210791080221635163622990991221114111522108110822215711572229889892210011002221310131122983984221073107422107410752213791380221201120222153215332210661067221448144922119611972210461047221437143822139813992296796822168016812210021003221402140322144914502253253322144714482213621363221054105522106810692298298322137713782212111212221312131322143514362215301531321399140032156915703253853932124412453253453532991992329859863214501451329899903297097132136313643214361437321451145232533534321214121532143214333297497532144314443214381439321445144632111611173215351536321383138441794795412822834141942041707141813814411138113941110511064133433541491492411107110841663664418748754121121241114211434112913041778779418328334117517641353354417527534128528641109911004133233341125712584155555641108310844166166241749750412442454111461147411531544152534111912041223224413933944180981041869870411264126541394041164116424166566641304305412942954125625741959641239240411051064126126241171172412182194128328441209210417847854199100415960411801814131331441320321411992004187587641979841150151412932944111111241815816418368374166666741376377411001014128828910770077521586158752984985521022102352104810495214311432529719725214441445521531153252170217035296997052153315345252953052158415855210241025521069107052105110525215901591521245124652986987521570157152120312045214421443521016101752158815895214331434521381138252157615775210751076521582158352100410055213971398521567156852136513665212421243207711125126111261126211108109118768771110110211106107115565571184184211490491115859116676681148848911122123119159161198991134935011237238112632641125725811535411414415118308311115215311333334113553561129529611921922114950118408411114514611755756111021031113313411413414111971981165661166466511343511302303113103111175475511392393111211221125425511247248112102111124251145461166866911515211842843113334112122131132832911563564112592601186186211154815491171721125825911371372113243255126726851995996511311325134834951123124511371137251877878513313325141041151265266513213225175375451155156512002015175675751212251311312511201215110971098511043104451323351351352519209215158158251133413355136036151232451194195515051514894905112591260518338345174755137337451216217511481495130730851240241511560156151993994513573585116071608511421435110561057513031511071085117017151367368511160116151917918511101115111761177519979985130931051412413407750773111701171311791803191891931134135312142153122233112621263311511151231375376311256125731807808311281293139439531290291316970311541553110911031164316443116291630312212223158758831234235312482493116571658315825833175763155455531662663313663673187187231193194313503513112631264311509151031373831181182313536317374311062106331135136311140114131686931126812693135835931391392313233243156573158858931113211333130330431126612673117617731282931127012713119819931888889314174183137037131808131162716283155355431145314543187087131289290317867873111581159319697312627313303313126026131174175311148114931415416311921930123523601115211530132732801418419015835840114211422012912920121521601246247011605160601113011310111941195012552560111921193013132014114120123623701306307018348350110641065016667012222230192292301961962013223230113921393018728730182983001575801118011810135635701155815590183883901173174012242250176770114271428018288290181081101383901464701312313012862870124124201151152011301310110410501125812590132532601143144019169170120220301301302012452460154550118418501139413950181281301118211830180880901377378421378137942153615374213601361421572157342121812194214001401421118111942135813594211281129421217121842104710484211221123421205120642138013814210061007421215121642124612474212131214421113111442112411254253553642124012414213961397307712124112421215291530121072107312138413851210051006121216121712120912101212201221125305311298798812120212031212431244121204120512100310041215741575121219122012972973121359136012999100012156815691210531054121206120712100710081210501051121361136212140314041210491050121386138712536537121434143512119811991215661567ttt2ttt2 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])))