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