/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 110x14011400334x10510x10522430222x11010x11032044242x11031x11233244301x12105x12344202305x101021x12200040121x110501x15022340201x131052x12140255223x144530x14311320330x1035520x12201200234x1100354x11033413344x1153031x11221304431x1154125x11440242035x1304510x14142344240x1305325x14311332005x1305341x14243031141x1412110x14533011402x1444505x13433242414x1520451x15222310403x10545305x10424443005x11055325x13553302045x13053530x11124120140x13101551x12411333311x13253010x12412343112x13353453x10224221112x13425021x13043244001x13432144x13434303302x13523534x13510300242x14453210x14054122230x14510051x15522255514x14513123x15411123402x15145253x15514230034x15154251x15523034210x15450523x15114230130x12.12654321654321503620138953010675232391915875754861217133515511335159117038566859091513856589575144176416801690168016961680170016801704750729105651314639169796587856588266588461648163989609898916246381624166879416291630529163016471046610720116313963873591691764289259137952953743216385291638164143212786406521479914091701642163471333530669628462842562860162835962858862840762826162816165114511755511407511684511425511261511574511161665946596016593596595746593891229246142446174966846686016683596687206684666681066858666837066849414081438140814701408149014081512260512676667181183271852018241186305473547473547572547954790547482978961114160413959411635389316032003310336934645835583610583259583309583702583311141117049912742181911574990691432162866010114266171557405359129416210741621107416745645399481957256751435217529053585462199170168117036113092411911618574618123861813946181426122063916365291636164312755299099011461344132799926991076942330700370057270056370097006117004727006870076470014697001461140391416144014161476141614961416151463110591411121124012581386143414719130816210199173061193632893663893616293673093692936122936163684086684010688401219165656154953966711626671240667143212676619691579969162710121017531017511012601014241014631338132813875301507921971372117311654494456144103813123604804731515856102913376091009703879704589702889701239704397019097038897049704867611116761132676114081616574748729168342416761688167616941676169816761702573539573701735726123214621232148412321506159253867512932691535269158930925916695301654561137352916226381701028170112417014101212630562539562692562106656211721619220119126862686382681622687302683282689226812226816361499921127111761916196296194856191916197526197546192161410145414101478141014981410151812775291277130311701617117016551170168070269315649124073594075889769613112593893593895743891010389102016999213106871084164917111716291714851711911717291717541712161717501712188109147796399416869162386308640464231075344519510726120977332777352077324177363013365721336563133691336313366111336472133668627112662713436271416921730921638921162921328921929211229211636345134562934548534519134575234575434521614171701397720130216310377551037407103741037684103742510375741037161610925381701921249212795291279130133623366603364353363373361923367283366023364953364592702592704622702902701432706727021727035827052703094333433473433572433943390433482433424335216999116991091368436838736848636840592391287310099948699960199935999938710361637265214122152269240624601060525787101411101679778644341234190428843884458528510463424463751463260463234492434410875829225821089165016282781614254245011704781684256844257554258979593387547291015467669665483596011505926025751461764795327795520795241795197296153512231491921125111711251311925912153692758197158115731705856169763169809169839169855100796100815100848100152012961633359733351571145576414979294433110134281013102212471224124713801021487370359370586108516231085167010851682123912241239138642942479425384232161912164342162582161212164121624021638621611675975272963736770969970910188568748478401572990825630825191825241109010775317031712761644163683667510128072758216467714334241439764143917211523856101747642450242475368968472685634621460462146846215044621522762582762121126797711536132151615215165321516764921989749611419424146998652601677170169591429248247310585141281529128112954654244657474651055465115225949325961092162925299263812106305751012117142511716011171359117145811712881171123117143117119011713881171411715881171407117126111711616123360112333591233458123328812331231233431233190123338812334123357412333899102633679753671268546124654614025461424144921218632266137826614181241122412411388126966068015241552912155891216719168976410234971304163682156315218561088107784558015905381485764112333415803596446351913271914851915201916291147612192337192660192943849840138153066110576611140103910302912594594244597284599584591266108647310865721086910864641086310108616010868910862001086369108631086901086482883729883754153475315344241534143315349131427424545130743542451360389819415198562111221123218718722150750821137813792112312421127412752162562621103810392116231624215795802162262321657658215405412196596621527528219589592113321333211165116621149014912126326421133313342146646721141142211311131221123012312112381239219629632112271228213353362110811082211601612165665721360361216846852119519621848849216546552158058121327328219192211228122921607608216966972116716821143144211168116921846847211635163621149814992151351421115211532116371638211033103421198199211014101521342343211012101321841842218398402149749821840841211496149721939421734735215815822172973021164916502113311332211276127721137213732134134221163164214274282164364421495496215035042169769821123112322136736821469470217587592192932116981699211293129421686687211246124721128012812170470521695696211621162221127812792117001701211504150521723724218678682196196221150615072126726821989921337338211079108021105710582112401241219798213343352126126221162916302136336421969970216126132112231224216856862113071308215425432135936021653654211211222110291030216636642113091310214914925217281729521557155852911912529249255217291730528638645292292352155115525217241725529939945217231724529929935215351536529269275215631564521532153352172217231282282312997998127707711276977012172117221288288312821822229169172285585622920921221704170522990991228568572287988022991992221524152522861862228758762215251526228578582215261527221530153122994995221518151922151415152286286322172617272215201521229319322217021703221512151322172517262293593622998999221727172822914915221531153222929930221522152301123212330194194201576577018708710133133201677678014674680152953001168216830142342401680681018428430166066101111711180149449501138013810153353401168016810113881389011112016136140160160201105910600143443501468469012622630175675701721722011432143301141014110119119201426427017937940133233301169170011119112001117211730116761677011627162801690691011661670133333401114611470152452501621622015865870114161417014604610194950196696701138613870112130146446501126812690114261427012592600161161201658659011424142501678679014884890116681669011408140901732733015745750136436501126612670172072101909910013433440178878901338339014624630158858901512513011055105601329330016716720145845901498499011164116501106810690114181419016666670110010101789790011072107301161750355065505550455025501520262066204620162036205632859860321571157232989990328168173293493532880881321528152932928929327647653291992032765766328178183291391432157315743014306430343054302430445169970051617618516946955113341335519910051582583516926935134434551132913305136236351689690512692705168268351616617515365375128828951964965512902915113281329511335133651701702513083095131031151963964517267275169869951361362511330133151693694512582591175175211107110721151751811572573111219122011366367115095101153253311629630117537541132832911577578116876881170770811200201117057061156156211490491115315321168168211728729111166116711101610171111201121111169117011792793114754761123823911429430119689691112261227117497501119019111217218116276281121521611634635111070107111755756111415115225231147047111116311641110351036112402411172572611430431115215221112111212117617621117017111623624111327132811120912101162062111635636111170117111652653117607611112241225111225122611747748111337133811151611626627111066106711791792115165171156356411639640116386391170670711548549111077107811538539003200520022004200120062402340434033406340134053315345353167267331431432312662673161561631523524316706713148949031910317317323184384431618619315435443164064131477478311010101131975976311396139731973974311615161631960961316326333178778831667668311617161831506507314734743163063131493494313693703142542631674675317337343197197231977978315785793110831084311032103331107410753116816931107310743111401141314044053151451531428429313583593119619731722723314064073151851931108510863154454531157915803163163231386387314854863160360431474475313883893142442531112611273110821083311116111731703704311124112531101131515516313403413163363431757758311971983153553631959631614615317867873166466531525526311121112231121712183164264331679680318728733126026131669670315465473119219341165166411295129641194195416566416626634110891090415055064153954041708709414142411718416756764149950041101810194114781479418990416656664175976041111811194179679741510511414864874161061141165516564164164241868869411653165441140214034110221023411301130241500501411078107941502503419439444147247341264265411087108841147014714173073141109110924160860941479480411020102141164716484178578641476477411314415045054113261327411229123041103410354172472541575576419697416768415265274160460541193194416886894196796841167416754110761077411162116341844845418668674116411642411476147741790791418698704116416541606607416616624160560641897898413653664162462541164316444133934041530531411028102941146814694114621463415205214143243341130313044126526641636637411696169741103110324165565641809810411084108541106910704110801081411589159041673674411036103741496497413303314150850941794795415415424143444115911592411394139541487488411670167141134313444110301031414814824116941695418941162163415455464111671168028818820286486502995996028198200292792802771772029159160281881902153315340287887902930931028238240291291302858859021527152802766767027677681011106110511021103110414276876942144014414215291530421690169142763764429189194286086142143814394214541455428778784277277342996997428748754281581642876877428248254282082142168816894214841485429329334282682742917918429339344214601461ttt2ttt2 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))![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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))