/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 012x1322x142321x10534x1225112x141453x1325002x1431512x1233131423x15255023x1243052441242x141504005502x12254020041331x1224405445453x14035554504130x140335244400344x14322552004324x1124411351244x15200033514005x13141315103122x140254012102511x14014231332444x1310134041130411x1312040514135054x10105510030101431x13454351514301350x12453030220555110x1331144144224153x15212143243315133x1553333352434403x120125503522303101x153240120215341022x1020334052555152010x1322210535012021440x1430030435321455331x143355035350054230x1440420541150324203x1430241043111402533x1553524042130531212x1501235123050303342x11452022241431302052x1142350202004044121x12004023025534540402x1142222024101410421x12154414035301555321x122142215324454210120x13320440423153200211x15531110550411150x15343332420311242532x10322435240453554024x15353250203021155400x15523521140421435110x135254401555051000451x153105144214305400503x144205144010450340541x14445524114455244144x1434525221400430454143x14010015254554541155x1452302343133402430411x144542424134420141221x12.127714053891303261374143013741438137414891198131211981356279523331050331314364191111141301175912051287126814377091335131459126814963351496150920258875070975010317501033750132086014149855698759131329137933513791499157154071522715213153351514815467152501540151801526151315390154815138315139815451514191513031514901814281811368124844611991631199191199466119914711991611991211992511992921199711994671199271199127013672532943102944832941329472941548294155813913891393389156015481431709125045561407561227561756121356133556114814092914357095601418114012721140129811401380149833514981511530195136318435270100840514935314997812731268109714107847604612913271318102718466181471816181218251829218710987311412932267115063531079131079710793901411454994601246295096298896218623128912682257082251146225128840619626221111912571258151314154511098911010525921304592137659213905921559107613081076136434124910271404132815152413412524555281134126711341296113413781751412951268136522720720172026720163201920467202720126820139720130120128720127019345995929974999991991062991294467132829385829313022931374293139229315571164142010781360107814167178371114071120471155112991710811821331134713266135601066108452413861387389441134137614361376145813761497102913981329134231923233072640261802625012584151438910301330999137371137014341370145613701495208451385353727721947213721017214724837231072294138110526455262821739801731082131129105314812561150103211610321247105114846846646814746816468124682546829246874684671417451397389308956120511811309261377712921286292130029213821297171355261242441337148150035314903351490150515163898591336154045979502653428632812451504353153828155014904510299591306959137259314593135937141011419414125186225086240862466862147862168621286225862292862786218086226106314812444281334151913692711213965594075592275592135593355591485594855913815591383559149085291007100389100731001261001710029310013100336100120210026710070110013971001301100139910015161315943357001455126828245104498712716725714772927466139938971011087101326444207132615179601334307301943013301013014302503040301803026303903017304453090302153011630743070030335302273040730213301483056130126830139730130130128730140530139930151696213701375271307511122467467462664631464146474613464674633646468462504640462514618046264616346274670146228461398464546141913052613213116214162131627149433514941507135726151035370915373529108322799098176316113721432137214541372149313833351383150315123531773171261738917182174661714717161712172517292177172141712681712871203118271217712771226771212687121397712130171212871641228143370914391268150235413611612604671260112215083532061180140741070333814821314822714833514840726712027621408215136214194514571268482124749074116744457417742157418374139774130112711202127126711652937111310711135410281315203891951080199971910641375711375140615183891241153996126696131961796141961479611315521548155815482716327136670154714231381137171992981992124314654914651501114712531147138413813351381146411352939639601115615711215216113513521199100119596113553561110391040111116111711104105114794801144544611108910901110931094112552561112381239111072107311106107113623631146846911124125111951961111631164111247124811354355111159116011919211316317118598601128028111122812291144344411150115021140740811338339111075107611108710881121922011154155114174181110761077111376137711412413111011021129229311114811491127627711120121111501511113701371111721731131231311203204117627631194951111401141111372137311173174111631641110371038111691701110810911110111114184191146947011106610671113013111408409111374137511336337113334111237123811347348114844851119920011436437112252261145345411112011211112321233113132111150115111261262111134113511454455112572581128291135335411294295113633641113213311314315111088108911256257114404411136136211486487114924934212861287421454145542127212734212671268421456145742128812894214581459421294129542143814392215511552226246252252752822701702221257125822125412552214211422225565572215571558225245252212581259225575582215591560221547154822523524225285292262362422700701225885892212531254221420142122154815492258959032142214233262562632702703325295303212591260325585593252552632126812693215491550321255125632590591012532540122022101415416011001100201134135014294300126927001103104011489149001319320014334340111981199012042050114971498011243124401138013810131131201201202012712720113821383014142019569570111211122012172180112351236011471480111111112011085108601114911500150510110501051011941950133733801315316015152012732740115115201281282011041104201149514960148148201106210630110961097012322330122422501676801114611470130030101149314940139739801264265013903910147480113641365014424430110001001011360136101237238011271280110521053011082108301103410350111091110011092109301360361012972980130430501430431012602610148748801767701104310440130230301136137011182118301535401133613370119200129930001180181013573580111891190014804810111131114019879880123123201757601848501711712011378137901130613074077507730774117017141293041151315144114341435411711724129629741490491413403414197984113513641787941115511564111831184413423434116416541118011814112312441489490413913924111901191411204120541108010814115315441106710684110861087414144154149349441697041116211634127284147547641969741123412354115151516411188118941196197411430143141140414054118418541295296413433444143143241402403411094109541411412414724734113101311411073107441356357414704714170870941139613974144744841143214334110701071411671684116116241451452419849854118118241452453419829834114361437411091109241138613874199799841139013914111611741438439411002100341182183413503514152534112451246411591604144644741161741439440411392139341416417412982994112361237417617624114081409413083094139639741985986411038103941656641151715184115371538411154115541229230411398139941310311411003100441130013014110311032419989994125425541129812994113113241497498417980412622634115191520411091104145545641777841646541131213134120520641214215413133144111941195411296129741686941259260418618624110041005414954964110711072414354364148548641398399411152115341460461411074107541104210434173744126626741459460411681694174975041317318412132144112311232511033103451235236519609615147447551393394511509151051122912305111851186514284295148495144945051118711885110510651467468519789795130530651141614175123023151432433511040104151233234513953965195795851155156511819511153115451198199511281295115391540511406140751157158514664675114641465513413425192935154555123823951323351983984512772785110651066511006100751119211935113313451124012415142435125125251151115125144144251111711185118618751126127516667511921935198698751149915005142042151239240516364514950511035103651150315045114814951710711514344511249125051358359511418141951262751454651221222514734745111121113511507150851471472513923935149849951141414155135936051858859511184118551346347514764775127227351125112525140040151150515065176076151478479512232245145745851818251958959511410141151409410511601615145845951138413855111581159519819825145045110772077314344353118718831999100031250251311114111531171831989990311108110931106410653134534631129130311362136331115711583139439531103610373141041131306307317097103113021303317837843118919031207208314914923110210331234235311368136931183184312672683199199231838431258259311241124231107108311521533112112231343531188189311308130931111811193122722831141531119120312742753119119231860861312402413119019131119311943111971198317475311314131531109710983126826931560561311491503140140231828331109010913193943122222331270271312782793110771078311110111131123012313113041305317597603113561357319809813142142231197198312362373110071008314054063125263111861187311581593117417531118119311078107931135413552140340421165166215925932111191120213994002131831921444521989921808121404405212182192148848921123912402132032121120212032126326421111511162140412134434521321322211147114821448449214194202113341335211366136721119111922110271028211320132121494495211029103021121321137138214224232129329421118111822127527621122123211005100621307308212162172122822921252253213223232111641165211314211326132721115111522111561157214774782118518621909121349350214134142110681069214374382195996021116111622133934021116011612133533621109510962111951196212792802138939021707121166167214564572110841085211069107021496497212022032130130221348349212002012111961197211171182148348421962963213033042112331234217172212062072113281329521269127000770212701271ttt2ttt2 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])))