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