/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 01012x11332x1003004x151522x1321214x1443514x1423034x142210x1525543x111443x11414312x11320125x12542552x1212202x13323550x1435121x15334014x1511414x10455351213x1322315025x12550253503x1205330220x15501214304x1225434104x142410440343x142255312443x1010132240412x1444350025134x1355144132040x1411515211531x10024252504454x14503111000125x10505252302555x1030205042523x14400440505202x1455233341222x1013055431224043x125523311051502x1520222402134553x1250322300330413x1551533520204552x1120555404452332x11505400253230553x1123300312010004x121511334502131304x1250350055525332154x152110242305154224x123025531534242124x10155424551241215213x1251105350334201142x12032020254252404051x1221304022405405021x12300454000455503513x12545355531235450031x1152115544523201515543x11341400140535340021x1350340214415453455135x144102454103401411420x1531215314553030202341x155114042054311335141x12.121010x12331x1400300x122515x1412123x1415344x1430324x101224x1345525x134411x12134141x15210231x12552452x1202212x10553233x1121534x14104335x1414115x13121535540x1520513223x13053520552x1022033502x14034121055x1401434522x134304401424x134421355224x1214042231010x1431520053444x1040231441553x1135112515114x14544052524200x15210001113054x15552032525050x1325240502030x12025050440044x1222143332554x1340422134550310x120515011332552x1355431204222025x1314033003223052x1255402025335155x1233254404555021x13550323520045051x1400010213003321x140313120543311512x1451233525550053052x142245150324201125x142124243513552032x13125121421554245510x1241102433053501152x11504042524520202302x1120504504220403122x13153055540004540032x11300545321355535452x1345515102325445511251x11200435350410041431x1531554354514412043053x102411410430145420144x1143202030355413512135x114153311345024041155x12771374161374149078140111981191124394337331493368333433138332833231332683310133933319033633322033823379133125733134115749140011401380131380151232271130122179369152515112871901287133812318210230832774917221291242936214378213352691394114012572815132208301018309148309337896578991611381311381169140613140614481406159715511140133326979146803180106753372115611401031254103159515213201089108279411532144610721411666511661298511190154815343151081487149487684877487344871384872891520215784812378214351314351538107313951386126127316512731340124910112491294124913321160481333287811298781238878124615842811584811722681172101117219311721621172621172181172131172271172811172711729311721901172631327269547530547792547865100334310038210031621003621003181003131003271003811003710034810031510031641003114110031521254158912891901289132690782907162907629071890713907279078190779076910741480534380582805162805628051880513805278058180578054880515805164805123180511418051521325151108329192331471063374073748237806378333789310761310711393161815189110928911342129520210952889219892789238020783977210683842931506107796311155134131214031548123444091088409109410781310781514877119712992211570114013312691271215131151895935115411407701137770124277012507701389133815714102197777681412119315072201319221342147113013113011651345328441159151515110643801616114073773163732197320734373147334373827348731573697313973151731325731647311417315276912035731495736857375733457313857328125109012512701598150107014387381493868383438138382838823816438379381938132038152382553813211398114026991879765309111513531336118121246140211402016614991907292772114711706511701318156411401501741339309894954173461739851382141177376613361569153913220231220268220101220722093220190220631456132014568214567145616414561528851135114103737910371621037621037181037131037271037811037710371910372551037132130815635271752820528295213872216127917923014363143211686511681300129720228332671611462311146268114610111467114693114619011466311462202042541337309821272159615195134395182951162951629511895113951279518195179514895115951164951123195111419511525375323153268531015393531905363532205334353825348531553149536853345313853285316453123153114153134553152803120110361071103610771036123210361262103612841540161513473448041135804124080412482834286828138281492872812571291202344530139211411150114010691397827107382710798271236827126482712861404144579413901382150520216134614431421914790142014714163141511413251411401411527952779511571343327149117463936310163190632686313993573211145137911451381114514341145147315861901586160316044683486712161610037145515401455154214551581145515831455158514321550109129124710112471290124713301543131543161771371872776278171621202119112552912551536698821080131080152410851403934269120411911822130162306230183013302730813071239946457246546132125511961931396114015411415721140828828281628286282818828138282782881828782816482813208281525311019572106957210755721230572125657212808377611281377123177126877110177177719377119077163771220177172311726817101179317190176317220171491768173417138172817193178217691717617343174817151711721716417123117114117152477478247694719473804713491116149111668111671116341116138111628134913153713154911407183171878811361311361167143327143315771144140511481140242107124595148722673283213147410114741504147415261087149108768108779110871621087621087181087131087271087811087710873410871381087281087125792820286613910932814341587128119012711393789977576610021149128519012851336152726980779719512781937919132419134412338212511011251129612511334124194138813821562114039677211521140126528135015619662001631244126328845231845268845101845784593845190845638452201588161590161485289411711912021912921913273951139192831192134822811272281288408121187914987968879787934879138879288791345108613731086139111151350111513521115143611151484111514983071615828231765766319596311516317967973121021131799800318918923113321333314647311041053126326431231232311230123131370371311330133131329330312352363135435531115911603182282331836837311577157831933934317727733140941031152615273180680731818231145114523194394431276277312062073112012131955956312622633130931031918919312322333139239331992993319697311157115831995996311326132731203204318438443114501451319399403129930031163164318698703177477531293031408409312962973133633731176177311581158231792793311001100231177178311334133531209210311278127931273274318978983184853126826931141531123612373119419531123212333114361437311511523117817931823824311321333130030131102710283112512631389390311471483189889931333334319429433198898931686931531532313523533119319431393394318318323211401141321083108432139113923213851386221197119822114111422212031204221190119122119511962214111412221192119322114411452211931194221201120202114211430211941195211405140621192193212822832180380421103510362114314421656621145414552195996021165166211021102221158515862199499521212221101102212042052148492112841285211165116621128612872184084121149814992176676721116911702196096121129130212292302131431521717221175176216263213536218268272190690721829830217987992151522182582621128812892127027121170171218888892176977021385386214854862126426521883884218778782111711172212372382189089121116711682194594621893894219899219509512112501251213643652112461247212192202126026121788789211453145421172173218968972130230321646521124812492112212321991002182832128028121313314211280128121838421205206214864872114731474213435211506150721335336212782792179779821151215132118118221161740775077421088108942138313844213841385421082108342108110824210861087307711192011876877111061071179479511103010311137537611948949117879118708711171771811800801112932941134434511281282113913921187187211153154113623631163641136836911141142115051111127112811152153114074081113501351111069107011304305113637111379138011196197112362371186586611373374111137113811434411131411107310741139039111900901112392401137637711936937113053061189990011112911301134834911143214331190390411127012711113914011334335111002100311872873117273111215121611993994111541551115891590111338133911145146111025102611313211101910201113361337117071113083091194794811954955113813821127427511160316041138038111195196112922931110331034119359361113813911121122111441451113113211858611483484111801811115871588111032103311842843111540154111199200113953961110711072112652661176876911113511361121321411140314044122422541179180413843854115831584411346134741844845411051064110941095411090109141961962411024102541134413454195795841798041349350412272284110341035413113124113401341413453464116917041396397413883894132334112561257411484148541277278413653664110311032419649654183383441212213413063074179079141986987418878884127928041318319419449454183583641530531414546418348354112111212411022102341272841124125413743754112641265413713724128294136736841949950414445411031044134334441546547411092109341102810294199799841226227413273284138238341315316411373137441377378413013024135535641338339411262126310770077019169170131231301999100001827828011641650122522601124012410134634701166167011271280125625701882883017767770112381239013413420112812901372373011029103001103610370190190201144814490116171618018398400132132201220221011300130101207208019379380182082101495001874875012342350136937001159515960110261027013503510112981299012412420194694701373801868869011071080135635701767768011681690131631701152415250129429501878801127212730120220301310311016667011551560195895901111511160110201021013833840124024101145514560138638701150151018248250115141515019629630130330401939401269270011452145301347348013193200121121201884885012382390120820901802803013403410129829901875876011561570119719801941942019569570123323401255256019798019659660113181319011067106801873874018388390190590601124212430157257301100010010113241325018868870136336401162163513373385126626751366367511819512612625182182251484485512712725190490551190191511542154351198199518678685125425551940941513203215198598651149014915133133251328329513323335122322451191192511075107651132013215191491551102103512222235127527651697051532533512282295129529651387388511434143551153615375177077151902903511449145051482483519909915189589651801802511342134351885886518048055198798851998999512582595135335451878879511181195186875110231024519919925122122251140141511063106451153815395130315193893951339340511491505116716851889890511079108051130131513513525194955139439551142143511077107851171172518948955129729851996997511244124551146147512572585112541255512722735115971598519639645120215131731851174175511294129551126127511296129751989990513793805120020151330331511504150551259260518378385113521353519279285184184251134813495112901291511191205152535211451146521084108520771211511152121393139412115511561213991400121397139812113911401215711572121561156212161516161211911192121550155112140114021213821383121147114812114311441215481549121381138212138713881211531154121389139012156315641210851086121395139612114911501215691570ttt2ttt2 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])))