/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 3444x15103352332x15313x15521555111x104050x10422240433x1003514x10411525330x1050450x10023020010x1100344x10221330033x1354203x13201215133x1440440x14300451510x1540154x15432110331x1545050x13332110420x10030544x15513312042x10031543x12150253303x10130544x10133345035x10402244x14255233244x10504131x10012345300x10534354x10315133533x10553232x10553455341x11341440x12043300420x11442144x13511050310x12115410x11551215330x12532135x15334345511x13101544x13043333205x13231244x13252513045x13443244x13552442022x14242545x10515434135x14323532x14515201152x14405454x12024332154x14542412x14353331322x15011545x15113041451x15032454x15355224520x15054514x12100051552x15344405x12335315111x15401414x13320410035x15412501x13343403001x15413454x13242555504x12.14443x12332533015x13135x11115551255x105040x13340422240x1415300x10335251140x1054050x10100203200x1443001x13300331220x1302453x13315121023x1044044x10151540034x1451045x11330112345x1050545x10240112333x14450300x12402133155x13451300x13033520512x14450310x15305433310x14422040x14423325524x11314050x10035432100x14534350x13353315130x12323550x11435543550x10441431x10240033402x14412441x10130501153x10145112x10335121551x15312352x11155434335x14451013x15023333403x14421323x15403152523x14423443x12202442553x15452424x15314345150x12353234x12511025154x14545044x14512334202x12142454x12231333534x15451105x11541403115x14542305x10254225535x14154505x12551500012x15044435x11115135332x14141045x15300140233x11052145x11003043433x14543145x14055552423x126543216543211182575119858723912396862393652394082395262394242394262394612391569366704366986126864116025753641635364164749413101652729457426534975534130053413389641380964139463346336656336563358863360363367363345663311763362463367633566633149563314701608587891298891356745737151326516807771333951156569533132616485857941617794162316246241630565855847880686880365880614880423880159880408803238804968801880408880526880156910071398741350107121166575274127468627452627436527442427445527446127379827314711379728537527163856548746315464971688145312846497436311393673139363613931391393456139391393620139336413931921393421393325139350813934139311713936241393671393566139314531393149513931470104646288687396296638964869660296297164258593368693352693319333659334241544139160657532629732646232660088287288210834724633913653915365114975115755117545952387845342762664614261575527117257518118686185261836518424184081815695478815471012547102936553836568636519783681395138541941634418131577526385321433623388351436189399241003462100314481628565163456521316021352131932131636101113961760561710459801651149594051629405164140636540688516787376465246469042986472987772989799139946096361332162156651945345540555105604120060558457695938951179951193515497515583515756119058712766506596511565454654656876563465416514536514936514661567497241540161860516465851636565108210711095605109561610954071095212109581095296109551210956109562310955511095112589287319316049517149391401159132314231496161410785341040686104052610401104036510404241009139654524305785305146712996681656497695369577769550769564769529869575869551369516566951644695164669515611022234645158675573715092311509157460158896915971626640524973524100452416751154568171317147814535053055486548605548623548551548112539016313901643987979134570588487312136651213651213620121336412131921213421213325121350812134121358812136031515265761737970168161658711945874231637423164932314653231492167616585739445731181573118973517159857529748629760229763829711248698613786458103010195562721005462100511151005134410051450783107016226051212151412121601121216091709624161231161126724810102481027248108192412731499961960570210001388840716334071645509497509736346297346473346587346622346390346170346643463433465063462133913279763663893651084107213111301597588161058717116063997768621262966407651266161168816676731667566345146934514948238147997861351714455426128264849872824952495652495162492402491602491932492132491638249163436329736347536359661324861560561510434339364331171433119777667766057765176796711767456676241180575525152568652552652536552542452540852515691596455159636515964618535658535168532408535853160853193853163611885872642170234323902506262281412759379249371265154013979778644241924325436445084620941924528128311888344297344471463762463768139215161392160313921611117457516505852121541212156021215684702481501915381391451777100146210011444580467110854282015128201605820160712176241505914611704146117081470145391390779568679552679517953657954241094150810941535109415455351535686535526535365535424535426535461972966169229730623063463065503063243063661125551623605153613916005759854269856869851985538985365985461170560549758549776049784616951695651695161692401691601691931691636759737160457514088140488140115367217151726510131391559497104446216325656941199694120362160575773729526629512811202605635625635115516867777196326415206416556814681636681139681968168768163468141681145368114936811466130743311221477112215046376256377201196587434143442643468643453843436543446158657658669658697156667390977390510878216388214868216228213908211708216482134382150682128216028212971712011712161644585160240160294160516160549160565945924727238156952615835261687961681463136142613616861361113615381361365136146142436542452642488342411464145314761453464103570353432429732459832423244275171107215160215275974585974137897413841266640136015371360154713601576109315431093156638816273881639144577715614971472145371169477594277511657751195932147593215001028101957435747775745075746475742985741656574164447446394392419516019526585214528521498935924546100654610184394387434254382259492326691237224768096368010025074975077444764631449777603588603665767522767871632940632117363211871612587152146215211679984151098415999841615539527539854151126515111625146814531274640112345511233651123614112342311231591123401123323112349611231112346159958816405851381728146017121595168715951689159516911039151810391533103916572381008238102323810851466145314626861462883146236514625261462424408365408891102410191542139459426247934108610718791539879155887915821548497153446215341685169095134975137581519298151916772152953021132813292169469521159916002116451646219059062170070121644645212342352117182113321333211165116621265266215385392188892177877921107410752168969021963964215325332152652721154515462167167221156615672113561357217107112111731174211359136021156015612110231024211444144521159715982184784821666667216966972150650721908909217917922184684721822823219669672116551656211639164021168516862185485521875876212752762116791680215105112114481449211107110821164316442149649721132613272110181019211649165021762763211450145121163164211558155921117111722150850921427428219869872126626721107110722116411642215125132112831284214694702115741575212972982154154221160116022116031604211605160621133813392153653721608609212412422146446521723724211415218138142179479521925926211547154821514515211647164821726727212942952115181519216486492130030121722723211027102821669670211088108921107710782111791180212442452150050121924925211083108421973974211621632111811182211029103021492493211611625214771478521469147052146514665214521453521471147252159315945214751476521589159052146714685216601661521663166452168716885214571458521463146412166216631215881589121666166712159015911216651666121664166512145314541161661711429430116186191124724811716717119269271142842911112411251193941154054111433434111392139311465466113033041165065111111711181149149211818819111201120211267268119101181481511138013811112111212115945951170870911820821115895901181982011775776119799801113881389111704170511712713119679681113911392116226231169169211885886111087108811620621111617161811607608116046051137037111687688119659661167367411232233115525531112121213114974981194951176576611162116221188388411872873111019102011139013911189189211899011614615116786791148848911732733115505511187387411742743119596116326331146646711969970116316321174074111701702115735741158858911980981111302130311786787112993001197197211111511161151651711119912001123123211609610113013021198498511137813791169269300350065005500450025001510261066104610161036105602158615870214541455501450645034505450245044416776784110351036414234244162662741364365411601614153353441115511564171771841881882416676684116416541132913304176476541628629418718724169769841368369418508514140740841120612074113061307417707714110811082414584594112081209415725734154354441494495415765774139039141126512664153453541157615774116616741653654411070107141468469418488494110901091415685694177777841150815094145445541724725411625162641129812994113571358414254264166866941405406411304130541156815694146046141108510864152052141715716416396404176876941158215834138838941127312744145645741675676011631163201130013010113101311019369370193493501162916300110931094019239240136636701467468017307310115101511016906910110941095018498500159259301162716280157557601579580019299300172872901771772014934940193093101151215130127027101238239011633163401670671017667670124324401163516360194294301194195018798800121421501590591019649650110371038011651660116511652016456460154754801212213019079080149950001192193015045050193893901583584015225230124024101245246011516151701783784019449450115141515019409410143043101774775019049050117017101271272011327132801729730012982990136736801102110220116371638019779780154654701136013610110110165265301787788015855860171471501638639017737740115916001246247012482490198198201763764303230523022304230123062202320432033206320132053316276283111871188317077083111221123312372383146346431758759314314323113301331319129133112051206315305313152352431928929314894903116091610313453463136536631362363316406413113941395311607160831975976312722733130530631151631161516163116111612314324333110021003314904913113311332316246253113871388317097103147547631531532311004100531636637314714723147347431462463311520152131104510463167667731121331135013513187887931554555318518523111531154311671683157857931126712683178878931982983313253263154955031641642311305130631906907315025033161261331168169316986993113851386313433443111891190315675683115331534316436443124224331111811193116771678313043053174474531932933315185193161161231107610773177277331705706315175183110381039313233243142642731651652311043104431119311943192792831119711983117121713312682693113841385312732743198398431852853317567573126927031296297315195203154554631634635311617315425433111123157757831111911203110921093315935943162562631120712083176977031760761316997003175475531736737311195119631792793318778783179379431553554312362373173773831713714315715723112041205317067073193193231789790311121112231642643316796803116911692317397403110001001311089109031486487311075107631503504512352365114921493511494149551570571511203120451646551704705511116111751929351815816518768775159659751686687514041516006015155155251780781514984995112091210516656665137137251798799515915925111511651647648517797805164965051796797516106115178178251528529515245255110731074517187195113011302511371385150150251666751731732511072107351134413455113581359511091109251102010215156656751738739517857865152152251138913905113145168068151629630511275127651170817095159859951968969518178185115431544514243519091511281128251688689518586516026035115411542517337345110391040511120112151790791519192511210121151606607515875885152752851605606511391405114981499512332345154454551130313045156556651674675511689169051702703517417425181681751162316245112161217513023035115371538511012101351734735517217225110361037518788513693705110081009511010101151569570511171185115041505515555565187487551138613875115351536517827835172572651693694516306315115391540518951150015015172072151100610072216571658221675167622146114622214581459401140614051402140314041321661166232159415953215911592321587158832159215933216591660321459146032145514563216581659321456145732159515963214601461ttt2ttt2 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])))