/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 01232x14313x1324420x13110x112534032x13411455x1213104501x1211233200x1354344434x15050014x1453321032x145453143x10140534445x10555035x14120524420x104310030x101031213552x1430245332502x141223010302x14330202222x143451534225x143224331055x13033203105414x1355441501543x13055520002422x11354112104042x100315142104405x103432121202405x121454334342215x105422243313100x1010144403240450x14152524012300x1522551044312024x15031010443242114x145411534035310031x1433144211320421431x1101205320540032052x11114343443034401422x10010102435431442315x1405433343302241523x10154324313344330122x14103044050155211542x14530421130300513245x145511240325125303x152514333333314522512x113231341012505545045x1153142011035414520100x1140115034124114541330x1401302020405021025502x12013412352245035213x12.123210x13134x1024423x10113x123043521x15541143x1105401312x1002332112x1434443453x14100505x1230123354x134135454x15444350410x15305550x10244250214x103001340x125531213010x1205233542034x120301032214x12222020334x152243515434x155013342234x14145013023303x1345105144553x12242000255503x12404012114531x150440124151300x150420212123430x151224343345412x100131334222450x1054042304441010x10032104252514x1420213440155225x14112423440101305x113001353043511454x1134124023112441334x1250230045023502101x12241044303443434111x15132441345342010100x1325142203343334504x12210334433134234510x12451125510504403014x15423150030311240354x130352152304211554x121522541333333341525x154054550521014313231x1001025414530110241351x1033145411421430511041x1205520120504020203104x13125305422532143102x127733733354333533563316733253337133827332133958871218461495821611632837291372947291829132934296929729202920329922830161113876110621817662297229138229202292032299228558501007112310071137100711391007117797797354973597827972197958971106158715981511048794985111718861082886115337485637487437491137410131121118711211193112111959678910737611408817287610089451008281008178100871008551008251100814149967068411160138781101117220705927624617418291079761102138213521114218381388611386190786191791415162092937416379233711693491910717611243211241145891881559458898816223316227622234622138622944622838616768992141132324920149749881498894910341034881841106284110788411115101010022871488777310408819222037116771137714771187113713471697177148840211081131276075574313888139031395777821115432416847139313113032113011591194881748931488354488137488474881848813488344886948874883548882748821488958179272842147691393303233080123562323592523595192032100511313498117741924235213712182711702219121381382341383318441491815491810803021672655792835103210027413154754145437211862152721227227022355223312223422138224822201224922881229202290422889223362295222106522103475321059612483311461611461151118010028221827549067685370853355853881853920853845853719853201853138853785348853498532285390485388953727538395388011887687321301742101410021173181459288601178218431037843107084311071884190476110821166151670816854161009145514178142511471428373729106388188785280081720598341789441387532517535575377533327531787531471371873474776971373701575774475787662184362191341770417137417474171841713417344176941774173554178814179204178454177194172014171384174841749417221038881422142770112214162327528497528727529097521001950138119621709703847103984710728471113353543513735473518351335343569357108313882823570722870787895233690899487194875648845177173541735172511755173321717817141748175617827172117958946138111621836273250104926237267168323211531179115311852157409281617470274101584814932178790323753543751373754737518375133753437569375737535375827375213759581927191188521121852112910161002910138106576372791372831115234278902790576713870767015070943875219301617258707251031737215628856756488451033845106484511051519212284818797185785051575851717251126127511231245187487551721722517567575111851186514874885173273351265266511191205133533651286287513243255155565132232351327328517027035149505187287351282283513253265170870951252253517437445175075151118119517547555136536651181182513233519495518788795129930051909151747748512812825129629751792793517047055173673751723724517947955147485187687751313251288289511391405170715136836951722723517427435117918051361362518708715134534651486487517273512782795195195252101510165210311032521013101452100110025211791180521003100452100910103285685732882883328548553288688732849850028848850210051006021037103802103910400210041005021033103402852853028908910288888902885886021139114002106210630210021003021193119402880881412532544183383441751752413713724133133241112113411314411481494114014141167168412632644124524641326327411601614127627741183184417317324192792841841842412922934127527641236237411121112241812813412462474120720841121122418478484180580641829830412152164115115241210211412402414125725841341342417717724122322441745746414854864134634741112311244121621741899041565741929930411461474180480541744745413643654124124241206207413173184176774133833941925926411711724184384441535441238239413031413293304124925041845846412262274134434541357358416061417967974127284193193241482483411201214077507700773161761831802803312012023124424531115311543137437531585931227228312552563137237331734735311169117031172173319899312082093123723831152153317337343124224331770771318608613191391431360361313563573123924031394031220221319293313483493131631731115911603131431531273274311415311617316186193190790831256257317475318182311501513175275331173174311381393117517631254255311819318098103136736831114115317778313839312942953130030131919231259260314814823172572631114511463177277331187188313373383111311431719720312582593176876931801802118078081123523611284285117987991117617711596011333334119119121129029111945946119239241148448511156157117467471182782811202111297298111371381118518611615616113423431180880911192011125126112022031148348411766767112252261110821083117497501111711172118038041111011102117767771121421511921922112802811121221311943944113733741114414511318319112182191135835911174175112282291136371114214311774775113343351190991011122123112829119499501135361126426511293011343344115253117879111151161123423511285286113473481117817911289290111516113153161133934011219220117917921115415511204205113203211124824911837838111411421135535630771077011011020111871188011072107301835836017487490110641065013323330111291130012792800124724801277278011070107101161162012722730169700118418501729730014142011451460120520601366367012122018118120191992001336337011471480141641701354355019039040183183201798001737401484901203204018788017407410112412501797798012742750170570601620621013233240132832901243244011137113801621622012222230131932001991000170370401727728015051018081012512520195960111311132017247250151520170670701789790019059060126026101116117011581590129329401301302011078107921359360212662672137382126126221362363217357362110010121795796212112122110310421616617212912922111131114211115111621404121777778218138142118018121321322213403412177577621806807217937942188892117017121159160211101112116917021111112213633642110210321313314212172182173073121917918216236242129529621110711082196972111511152211861872115715821799800217737742122422521262263211105110621221222211551562116816921810811219394211195119621957958212092102134352110410521619620211080108121143144212982992111771178213693702115315421182183212832842183984042881882421007100820771288388412100610071285085112851852ttt2ttt2 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])))