/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0102x100132x10122x103221x10211x1011132x10232x1030322x10244x130424x10402x130042x10402x1300042x10451x1000415x10511x101135x10511x101315x10514x1033415x10532x1030552x10532x1303552x10541x103154x10541x1004115x10544x140435x12024x122400x12051x1000521x12051x1503521x12051x1530521x12054x124035x15102x125031x15324x123435x15402x1503042x100211x1030121x101514x1043115x101541x1401135x102024x1002124x102051x1500021x102132x1303122x102151x1052110x102351x1521003x104042x1300442x105024x1040524x105132x1034152x105432x1003425x105542x1403552x120124x1221340x120511x1502311x125511x1552113x134211x1343112x135021x1125033x141211x1341121x141241x1434112x143511x1341115x150151x1503115x150502x1200055x151451x1501154x151451x1534115x153154x1534135x12.12654321654321503315272327231127213027242627226272374272406272282723801405251067985482211988611206169119713563393171268137812681384126813861268139212681406126815023221943761128055428061828096928010002801123280134659155525809258612510172510344949128738495895045730245759453414396495068538368532368516852266852576855851394142613941435139414411394144913941463128510128568128825128917128949202542028015895558152813957914591521431523771524631524581522041523341521421526515227152121152256152615237315216315216115252015252815210351529201529321529401521413981409838121411214469229491229699229711229104210504137915191510849151119915118091511999151201139390664098303630346530316930337730314330346330315230315430352430353030310343038613031048303253031018303942303105110735212995530143655316841295695051114312732543649343649743650643654343664943667343667543689943690511951911957411983111991911995559531159513059542659535952612499151451781229512220046645946653758555567633512309983653351395982263322263832263472261512266322625226942262252261226232226323226257226722226555226589226585226950226964226962226951226960399394183966612095336371312831673258336458355510799148321350950424988259988569333324100368021812183832183232182262182572185852181221810493821382257382460382102410331022110286421330821345421346761727146053511149840527114955414611861135486113608611404861141210895411441136141134841153699091309191942658551511951625244536012001195379952039519538395226956779546095108958229584895511095112495011245891124383112432311245851124103411248611124959112483911245231124225112494112425112463112415111243471124111242261027152102752410271034102786110271048102725102710183613355512551482381521381576381833381921381957243226674323193921931949919938399226992599924599323992579931599569994619922799575995839958599956995569996099667993169913293629346529316929314329316129315429337729346329315229352829353029352429391229394029394229310342938612931048293252931018107527107588107847107939107963942912700257007843803749689501493541251631941151122513471077528268228261097130810221026106610261074102612721026130992291284082230592305438148991213113383132261325913315132451332313257132271331613722135551358913569136671346113575135831358513556139501396413956139601396213121310491398713864131102940912524143138714349052392388142614881426149250554390270134510511345102272338413761420137614281376143713761443137614651376149612081240247797095048852179541796848428228421101842124626926311263268625361212328816498920912150314971413102230945614211519132110991115783458170821702151702793858153859951385900161143916232916585916129161049268326831126813026842626826177837252619169619137670225702790141984415441347441151441634411441954411084412944412164411104418224418484418504419145321434076719831194983120398312059831231983141852614382468125722625732338978238910329189129181248131010221215251215841218411219331219618105214772941477216147791462766561216142625663341075524683021051458577555109529109590109849109941109965145691282399782310131438143522895239745543955572210921207394388145090638622852214312797142303230426230130230311230923026137794137713942924892927012927202921044118191213559538123503352042014374437432437170437401437335437982437913143169143379143465717460717104971710245695559511295158995138395132395158595110349518619519599518399515239512259519495125951639511519513479511951226951104953264533045331487386330138330122630125930156999990980852249280210721602231235831311863100211829549954395431195426954862954122313479124384734109415342424349528143265269289284062322261018251018104847030215015025578078508224194074196395201434782259042329045859045699042599041290410491035102210018223693093696164254075935558021228122928196228146028125766526638731813183833182263182593185693186673593351043102291398291313418621019862986238623118622686212298621355122499810451022109495610942451094556109422710945751094583109446110949601094667109431610943151094259109456910941393541491912348335348226348245348323348257348461348227348575348583348585348956348556348960348667348316348315348259348569348131436900145854834822672973354013354321378145513781457109112401247680102071329529212021212021286217531217592217853217947217967108582907241049129349129341278417408724102172410501204121204128496095014201490142014949629506452643911442143216294112215111221268453513575211005561100227110058511002571100583110046111009603101294891227827199052499016199037399045899037799069904639902049901639901529901035990101899093295210729081474834751429900245226111686568322668356968325968346168322768358368355668313683102571287215414316814313615239838814642124622921407212567555464459832822492521419912865897866461866227866257866583866556866960866956866667866316866315866575866259866245866569866131093111313297132300131366745274393127125259226670383670226670259670569848822378374112014395310609531076953127095313079329129321405128538414449064525334525664523474521514526345214529545236045216245251452845211945224445254521084528214529114528224528485755551959710169039109033679755825144176144212106595010655851065323106533210655891065103410658611065959106583910655231065225106594106525106563106515110653471065110652261065964266277372541241111269945071434764697854593963885442009669507252704274074276601631431633731634589849537217128649875993115991305994265993599269966503124169452394582948399493194959192368192370192596106110781061109010611121661113271222848714662124084501427151898865117172114064071112681269114244251151521132332411487488118283114384391110111110741075113703711113561357111072107311324325113853861173741114314411807808114014021140740811304305113973981180180211636411212213111076107711137613771133233311656611106210631180811113601361118098101131131211426427114184191138738811391392114024031114821483113953961132132211436437113373381141641711201202114544551113941395114894901183841149149211393394226506512295295322119711982271171222953954221026102722861862227207212267767822998999228158162214991500228228232249749802150215030210251026026526530296196202897898025025030268168202909910021248124902914915021098109902965966021195119602111511160295595602903904021024102502101410150286486502109710980298898902680681021023102402957958029509510295996002119411950296396402967968021199120002654655028638640271571602110111020298298302949950021496149702969970421196119742849850429159164282582642908909428238244287287342951952426786794283984042899900428318324284784842841842428218224283383442138413854267968042100210034212461247428628634214751476421000100142142814294271671742143514364213421343429839844210151016428538544291391421373374211465146621377378216606612113541355212922932190912122923021389390213839211463146421106010612155755821312313218921228229215253214950214354362136372132532621403404212526219596213383392153542172472521107810792114061407212728214934942110661067213793804035406540554045402540155026506650465016503650561290690712501502129019021212291230129979981250050112995996126516521214981499129079081212231224124995001214971498126496501214741475121341134230143064303430543024304451699700514044055110501051515065075119119251529530511601615114214351533534515985995119219351151152512032045115315451149414955112051206516696705146546651510511515235245114041405514584595178278351162163511017101851167168515275285112701271511121112251790791511386138751143714385146346451271272516186195152152251701702513023035114921493517847855132632751519520511441144251111911205153153251291292511457145851434435512642655112721273515255265131731851200201311761773138438531109310943167167231410411314324333134935031989931169170315455313883893191923127727831360361319103119419531596597312692703130830931364365313003013135835931334335311061106231535536314694703137537631294295313473483112071208311123112431178179312892903167567631451452316166173144044131537538314084091032105210221042101210622023204320332063201320530192930159059101584585015745750122522601456457012662670113113201461462011064106501256257015685690166866901104810490150450501279280016846850121621701477478012902910166766801368369015925930112031204013353360122622701267268011213014334340114514601582583015545550159759801336337012582590156656701467468013163170111131114012422430155555601459460014604610131531601588589015945950110631064016736740131431501111201270271012652660124424501109210930157657701979801231232011401410110911092011201120201666667013013020163964041383384413663674137437541215216414094104145045141371372415435444112311232412172184143944041144145411091104172272341124012414114201421411090109141227228411284128541969741107108411286128741452453411211224130931041130131419495414754764110841085415565574128028141142614274113781379413813824121321441119120411281295210221023529899905214881489521013101452713714521490149152933934529009015210441045529219225294194252712713521346134752150015015213071308529199205214181419521455145652103210335210211022529179185213091310521034103552947948529059065214491450521042104352134413455214431444521278127952139213935293193252141214135291191252939940521180118152101910200011006100510021003100413271471532987988321343134432498499321099110032147614773290290332865866326826833291291332653654ttt2ttt2 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])))