/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0011x1021x1003300x1004040x1155210x1154310x1403422x145223x12241341x152453x103152315x103353515x131515042x13145052x1300220440x125502020x1301315142x1112424102x1304402444x12550334x10252434043x1035313403x11453111032x113253521x12404533320x103154550x113215110522x11025422053x132401002013x1240355133x144101331412x13124442122x1404220421414x145054554x1435434004250x1402033353124x12551512021334x13111252140044x13411311154341x1340035350444x111202411333513x15134511034020x114005225223025x115423013032205x122020053232032x1451533344204x14235425511440410x1412540532504240x150340004342433204x15233120430155234x155440552405123240x1032043124533011513x10143530411233140523x1030054504022140004x142100444305131235102x1441450424523422551x144414522014522145004x121214045325032022514x1532041414252344432524x15043002154425343055x12.11100x1120x1003300x1040400x1012551x1013451x1224304x132254x11431422x135425x151325130x151535330x124051513x12505413x1044022003x102020552x1241513103x1201424211x1444204403x14330552x13404342520x1304313530x12301113541x112535231x10233354042x105545130x122501151231x13502245201x131020010423x1331553042x121413310144x12212444213x1414124022404x145545054x1052400434534x1421353330204x14331202151552x14400412521113x11434511131143x1444053530043x131533311420211x10204301154315x152032252250041x150223031032451x123023235002022x1402443335154x10140441155245324x1042405235045214x140233424340004305x14325510340213325x104232150425504455x1315110335421340230x13250413321140353410x1400041220405450030x120153213150344400124x1155224325424054144x140054122541022541444x141522023052354041212x1425234443252414140235x15503435244512003405x1277118211727820137421285416985447854785416854138541442231041331683324733324334731576912681260221769583473311049171439173249171689177191742917269171291732917639177917247917339174529222143734835264202889750127140617105614311563101109212987983249816898325982479833981398365981959812698879824898110982798345982789814298729864982659818982459842798327981162989809811298102898112712881276135464116637051101097753978977343457342787347173442734267341273432734637347734142734721571512615871588151101527153451527815142157215141512815112151028159861593415140415370151166159491514359151145143195010466914799339331267143594913865311951411167979951367149361107212276961334511583261172125913271409110319718711842182618121832186318718126118126636510861362212988539881061101196101113279803313243613241455838109210621431085641340649141183133214337737345371423772371263787372483711037273719437643711137169374737163713371443777537143747437567376023711253712763713063714601190117334162342376515065183145493310481431328699472938153756163696345696769614269672109564193971931157205692094247313057131431201164345116232724697380855110521210405671040345104071040142104072104060212981276165836695973695102969510946951110127115113161347134261317137113421326131213321363137139331311651331113937131260131268570565570755115447133864131814111133141293313171465117314211173146368933968913239871349442644460110646474847748944731112136621232324512520125834993137313983451030471099197367103671236130313851459760649941489034591611499161387177745248116121721472117211621132112721169211112119421642121421146011279757214272345721126141093317897117611729831355346126346873467346883461103462797649976111431111657881117881947887178842788267881278832788637887788647882147881460337757125612125614361042132109361456693451108741479865398610551356648238105475443542854735414354324541685424754335445547765411095414629825398210475294812821108128234512821421282112612827275952923629274936397363727363800116817110119711464711461255853981853989853103185312755385778793293793393712656866809541395412795411892325328712842282628122832286328711504711749791174112611747751174141174142117434511741101174126117471174881174871174271174278117472117412811741511741430117494911741435258740258957140434580128754648201063820116310431171114114760256714775141124141434104511759311819811353112597580011539851359684126684876847684248684110684271293616911029891361145864129612761315145714551478944133794413977464710446971272673274276377156834556875681425687211841172991136569685697476975969822108516275864934141993414611420276419464687649756410276411554636468993621448131653131613317526411961385683711513990144810348120482774830948714842482648124832486348748775481448474481276481306142995082134582127882171821428212682112821328216382178211428217282111282110284798547993471295171339171403683987683995683116768312979451889634571896718104371211061646951148471464212567983567991567128714810458588379744310871642031921266126113682121054143142227136064340141093173126411651264311129012762591995311957117210281124741494393311132511306127619109893588935979935112693577593514935142935345935110935126935793587935279352789357293512893515935142893583993594993514351441100432124336443946138836115227727872711027126279792713851350647077034570142707270249708577053701386427245427108413041276984539841053992141123359961494699471419275119289514606410391289103913151039131710391405156679156809146621214622128983454135035141817818411718411047104841912913418208214177877941192193413263274190790841335336411531544111101111413293304132432541919241111711184110611062419089094182282341243244412142154124224341107108419469474165664131531641129130418408414112551256411161116241122123411112111341365366416816824132334131231341979980411331133241809810418448454142642741816817411053105441900901413203214128328441899041944945412502514137737841105510564119419541269270419798413483494127928041151152411920417847854133133241189190412572584128294114214341103410354120220341372373411641654115215341373374412202214144455214531454521451145252128012815214301431521278127952142814295294995002126312640295395402127912800212591260021183118402147814790214091410021181118202126112620212671268021411141202117111720293293302117511760293693702942943129489491212761277129529531214341435121173117412934935121448144911247248118788113193201184284311131713181111141115112892901118318411101010111121721811712713111471481177677711141511291292111421142211849850112812821137037111993994119059061173373411347348119959961134534611525311929311112011211199199211155156112662671181181211176177118508511121621711237238113623631178078111989990117177181118818911225226113253261110510611262711115711581127227311646511132313241178178211303111141914201121221311184185118528531112012111288289407750772214501451221189119022933934221281128222117211733077518128135142435123823951973974511121135118618751375376513273285180080151255256519069075112312451915916511084108551108610875153545168768851569570511241255168268351272851666751564565518108115195795851146147511981995112812951351352517757765111081109512842855133934051136513665113611362516856865173173251166167511463146451112111225114361437514950512492505172735129029151273274517797805172973051103104511451465113731374511651665111221123513383395135435551103810395131131251274275513803815191091151916917511631645110331034511211225113671368511141155185185251361362514546515152513323335133345131331451174175516869511461146251110411055114651466517157165121521651252253517374511106110751371372518458465167968051200201012242250185785801140514060113213301115511560136836901110011010193940116170178278301836837019039040120210132132201328329011819011045104601115311540134935001116711680122722801145514560181982001121301278279011098109901268269013223230110431044017497500119019101191192011031103201251252018999000110371038017407410112612701745746017677013143150111451146017557560174750136436501114711480120120201256257012452460116216301218219013103110135835901855856011119112001316317011701710123123201271272011149115001132713280116816901143144018398400110291030013673680111161117012872880110810901785786018488490119619701119511960178778801110211030174774801914915016768019029030119519601309310013793800135535600772077217107112173273321187188211771782110411042213463472113113221317318211271282156556621116511662114031404219091213573582172872921843844212772782183483521131421254255216970211035103621103610372115415521138713882116917021695696217172218889213693702124824921360361212672682175762168068121777821336337212292302125825921103210332133333421318319213536215665672113851386212302312190991021343521359360219049052160160221131513162111151116212822832143442115015121985986219839842133733821222223211301312110271028212442452115615721139713982118518621895896217867872198198221838839212752762198798821330331218898902137437521818819211111122189789821353354211163116431363731135913603136636731285286311126112731199200311353135431815816312930311337133831777778311092109331813814316836843191391431135513563111241125317597603111181119316364312192203111011131223224315051318148153178378431334335317167173175375431264265314748311441453148493113491350312702713117517631240241317307313122822931106107319697318478483111511152313563573137837931133913403168868931145914603117317431103910403190190231106310643175775831975976315675683171471531846847312862873124124231751752311094109531171172312652663110410531172173314734743119719831148149311457145831911912312802813185385431727728313763773195963111311431837838312262273184184231253254312132143135235331239240421262126342126012614212651266421277127842950951107732129712983212951296321449145032951952321305130632128712883214521453321275127632128912903213031304ttt2ttt2 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])))