/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0123x1042x120545x10325x1123231x124202x1352122x12555x1510413x154520x10314012x10003215x111554442x110113205x120203515x125105010x1351231010x15351243x11105351515x115020221133x12212420504x13211323504x110505413241x1354345305x1011122151035x10010230015120x1254353324043x1532310540425x1331502524315x150044215010000x115220523443353x125210312345440x132330235423323x15535535240100x134325115530020x141013004451242x1201032521351013x100532313132032x10252053243514445x12445441323145225x102353411430210554x10545435100550014x144221111230351413x14520332113005333x10313543424130345523x1032433445533124220x13301041421053321350x1230213451534104425x113354352433500135345x1304315335210501115035x120515010445242534305x12322154002340144255x130425153324300510543x13214204244251334340x132010513143545555515x1314453521440134131535x133100110442340235502x152245502433212452x1305515511350113154445x152431433230401214220x12.13210x1240x154502x15230x1132321x120242x1221253x15552x1314015x102545x12104130x15123000x124445511x150231101x151530202x101050152x1010132153x13421535x15151535011x133112202051x14050242122x14053231123x114231450501x1503543453x1530151221110x10215100320100x1340423353452x1524045013235x1513425205133x100001051244005x135334432502251x104454321301252x132332453203323x10010425355355x102003551152343x124215440031014x1310153125230102x123023131323500x15444153423502520x15225413231445442x145501203411435320x14100550015345450x131415303211112244x13335003112330254x13255430314243453130x1022421335544334230x10531233501241401033x1524401435154312032x154353100533425345331x1530511105012533513403x150343524254401051502x15524410432004512232x134501500342335152403x10434331524424024123x151555554534131501023x1535131431044125354413x120553204324401100133x125421233420554225x1544451311053115515503x102241210403233413425x126543216543218547388548098544908544598546918546028543848549585448854263854469854185470985480185447485471311981181165947912061181339588458863458870588958821239115134311513115157665016066501620162734258790558792658711205871211733522001682004272005444576457233457448633514541441105710481737901418138773296673210781475144622990322994622913691603501603172410911109201011111012051163480116383211635371163227116359511633861163115116334116329611634581163611632641163491116311811163120051119916534593873433871504487348734348757612485161248152915461530154615838511598851161485116448511688571557432135917176041250517157881114795111211112147314469690154415301544158115931790530517159750159717164724594727705111180127373812734741273112736911273713502432502104650214781625167461755299227299443299535299570299830299105815848354914809279167051197109810791098125110981261109815452274452275372275722278329789679781417332311732323419347735891362906528096524906524596526026523846529565248652263652469652165279965247881283412545174601383460147417892271613916111923012581993479013479329196371340604142413879709336963491461491413355225895226534254755593120011811629342341169119016685925755926651071342105510474569834561097456131716814451252517947942901999071244643544650371369171373816015016011728499496849115215995015991730116216261162173611621764140351714036341403701403914035741403421140313814038140326514034711403414035014033514035381403942140390414039471403161314031607140316031403162114161386148195126313841469160217914458269078269228261122826121393667593666671511687445833812170755713181297175313871052173813990139167139690139149616454596892295905754263431283557134260497071297071097090970591970425970140970209702989704739702970197970141160750160717141522232769554116115961161161853651757355773571529722734344767565013486041643459172960423322723344123352923356823382823310602336233448166944591621911591662124766214151370638170217071217071017090170197170141170708170171170118349169385343121211811709575219172360412771262912614912134912141181614128414190141197141710152877197696797614231721681310634131070131041310913102178873213589010841622108416341084170864846781077163461156296638664586595105323310536105344833749233760433710421256516125615491336604116901161490116690116591116425116140116201162981164731162116167116139921916468546857546810468228468596105116581456703345152517635152676521472555230455125545513854311142170151748415771309160413091608130916501309168013645223010542301361230144343364332334334484334804332644334914331181433120061510615152716374342642272646752642292645952643862641152643426429626445826462641687538517119280911924901192714119245911926021192384119295119248119226311924691192111924791192807119247611921112831812906614906133992391656955785316008531616853164285316865365383253537536375367553229534455357253227532665363553233531206531687531689808771220214022982425247325911111173811809114901145911691117091180111474117131179911478167944548413842654421447145745284321189011817111870834410621635434163517001635170616351770162194215941788470459470488470734827282771282769082790827167827139177915888505015019135019414784594787999046149041333155015304404440634440704403444409440337545280277110433391059104817156041063105013346041094107910941253109412761094154717738119390993915931128931203149175534814808007711586835596575596853177181214977551526772162316716231752663975663109366312961605501605172214011678695110856341085701085344108557410854211085138108581085265108547110854108591085334444351204118112041363176551902614144271413161297709691138467735935503511641745902311231809231490231459231799231478231503231435231446231738231474231691231713231714231479231807231476231165323116431151602115161211516521151694173990707470751770763470770707970750707357075387079427079047079477071613707160770716037071621908614908134119816817256041272174494522994567594516871609916651162865117466511762114817721129111266665066416648096644906644596647996644785672301422138713609016954458298123401257161994248948071169111651153422343921070921357128555616514595756744744594748018527388528098524908524598526918526028523848529585248852263852469852185270985280185247485271391061491013471050177859457526622726643426651626655626681126610562666148151476459476479476714476807603575603649603851603560310135060416894451615916442435152116241521163673771543997743910954391315984967984142117479015907381590691159071311231112943948029438594810430158710611048161791610961079109612491096128210961543159553154213634594904597364598091548153015481585173160451315138095134905137145134595134795138075134765131112420343158283511693694117277281152152211625626113843851154554611799800115055061114901491111047104811749750114194201110581059111540154111344345114614621115171518111389139011118411851111641165117777781110811082116566571172872911498499118478481115191520117867871142142211822823111455145611836837118078081112991300111114111511740741111113111411115211531180180211127012711134234311647648116106111157757811139313941134034111149614971172973011431432114604611142542611809810115245251110561057114274281176476511105110521169769811115811591184584611151015111114461447115485491177077111640641116296301171771811608609111306130711723724111297129811436437114534541156556611152715281170170211784785114544551178178211584585113863871168568611500501111160116111655656115755761113971398113453461110601061111514151511492493421588158922917918221593159422158915902293493522943944529189195294494552935936521594159551118611875142943051127612775112051206511634163551121312145196896951644645511392139351169416955146546651111811195155956051119711985116716851639640516606615126326451170617075129629751114311445112841285516826835169669751128212835181481551121112125116801681511080108151706707511070107151483484517757765155855951150815095116881689519679685116261627511678167951140214035162262351721722511150115151168616875182582651604605511095109651169170514904915111801181511681695110621063515565575123223351570571512282295155255351643644511636163751525351773774517877885150750851447448516746755173073151124712485117901791511049105051126412655110541055511971985156856951153315345171871951139413955148848951166816695166566651583584516496505143543651126612675114471448511046104751125512565110971098511191119251265266512982995112611262514794805115201521516986995196997051631632511263126451636637511305130651171172515125135117721773511532153351499500517637645110931094511628162951226227511078107951199200516346355148648751119912005168168251725726511788178951572573511577157851815816511159116051150615075112031204515225235175375451114711485156156251741742403540654055404540254015502650665046501650365056001400640034005400240044014324330114491450011513151401173017310110501051015065070189015295300114501451011387138801125112520110521053011728172901115311540133633701430431017347350153553601714715011454145501613614018448450123023101493494011162116301523524015645650174474501118811890113491350019139140142842901171617170150951001133913400134334401659660011269127001576577019119120122230144844901929301348349012021017317320165865901546547019039040115981599016516520152752801736737011048104901516517015665670145045101171417150148490113351336019079080158058101646647011722172301724725019099100134350117241725011600160101160416050113981399017027030116021603017577580132330112491250019059060157958001134113420190190201129812990178078101726727011347134801115711580169169201118511860149749801526527011271127201642643018428430151751801153415350149649701130113020113331334015375380174874901125312540116061607017437440113021303011149115001466467014854860111561157011272127301170017010133733801641642015255260164564601159615970181681721549550211530153121154115422113813921150915102163263321692693211257125821173817392160660721130913102156256321828829214374382144945021939421140114022122923021173617372185185221138813892114441445218498502113571358215445452112671268218178182170570621966967217567572115391540211529153021135913602145946021959621177017712183283321153515362185385421762763211415141621463464211082108321154315442191922198398421686687216276282114014121776777218408412117441745211182118321811812215115122182382421846847211385138621503504217457462111711821722723211547154821147414752175976021119011912189902183083121452453211112111321520521216126132165065121587588211161116221147214732173974021111611172181281321738739219779782149449521154515462114511452217527532113611362211624162521101121115116216546552182182221826827213473482158558621501502219759762114451446211307130821162216232168868921115411552133934021515221451452211746174721154915502032205220222042201220621023104310331063101310533171071131732733314344353111831184318358363111221123313463473145645731774775316946953116521653314584593148148231151515163116501651313383393115381539311128112931504505311262126331720721316526533114411442317087093168468531716717316836843117521753314844853112651266314774783146947031765766316076083184184231677678311443144431151815193114781479314754763183984031471472311300130131473474311079108031443444314624633110841085318208213115071508317197203111201121315575583165765831662663316536543117621763315785793170713114211422311521152231138613873144544631139513963110421043311117111831139013913111111112316869311644164531118111823114171418316116123166366431785786311115111631782783314394403174674731766767316266273156056131114511463160560631768769318198203114521453311423142431661662316786793163863931609610311642164331464465315051316906913169970031114211433116581659314554563117641765316146153111551156315505513149549631838839317127133154754831148014813144144231153715383162862931114811494110831084418488494181881941581582417047054151952041687688416766774177877941813814411396139741574575411512151341130413054155155241703704415915924170070141779780411369137041510511411583158441158515864177277341118911904178378441834835411315131641130813094112681269417507514162362441152515264113991400412272284115361537411453145441680681411448144941482483411708170941151615174151851941679680414804814111461147419091417717724175575641563564416356364113831384418438444182482541602603417607614174774841582583416246254143843941695696417427434176776841151115124113031304411400140141715716411505150641751752416376384175875941158115824111871188415935944176176241136313644155455541131713184158658741621622411296129741553554415085094115041505418378384163063141139113924158959041910415955964111441145411531153241467468029329330292092102161816190292692702941942021778177902922923021616161702161416150216121613029159160215911592021587158802160816090294694702162016213011306130513021303130413291691732159215933294294332933934ttt2ttt2 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])))