/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 300x13331313233x10014x15235525114x10401x15322232231x14003x15334235523x14240x11150213034x15004x15231105444x104010x15235415532x110010x11044522332x124001x12023333341x130405x13411340522x132521x13223114311x150041x11311223003x1005000x10345444044x1100043x11552243233x1130532x11230331522x1132450x11110331520x1145021x11211213551x1204253x12142315541x1401001x14241341551x1414404x14133150244x1500040x15053411034x1542005x15451105214x10003243x15225540123x10024050x15224104434x10152043x10111320343x10433005x12541333005x11000003x15251125101x11000541x11231024341x11321201x11421311531x12020144x12023543013x12053050x12551211440x12142501x12402355453x12433253x12442322445x12530432x12253033030x13305304x13341055314x13414542x13533113112x13432412x13511153130x14254021x11111551451x14320105x14313301034x14332343x14030333544x15010500x15001134300x15401401x14145351241x12.1003x13323131333x14100x14115255325x11040x11322322235x13004x13255324335x10424x14303120511x14005x14445011325x101040x12355145325x101001x12332254401x110042x11433333202x150403x12250431143x112523x11134113223x114005x13003221131x1000500x14404445430x1340001x13323422551x1235031x12251330321x1054231x10251330111x1120541x11553121121x1352402x11455132412x1100104x11551431424x1404414x14420513314x1040005x14301143505x1500245x14125011545x13423000x13210455225x10504200x14344014225x13402510x13430231110x15003340x15003331452x13000001x11015211525x11450001x11434201321x11021231x11351131241x14410202x13103453202x10503502x10441121552x11052412x13545532042x13523342x15442232442x12340352x10303303522x14035033x14135501433x12454143x12113113353x12142343x10313511153x11204524x11541551111x15010234x14301033134x13432334x14453330304x10050105x10034311005x11041045x11421535414x1265432165432114057341405159140570914056140587140573214051581198357854127785412998541472223194223291223563223606223809157183215719275885641380657221194221312221572221616221828221422175022145722118338468107337141940113463310406331323633142831529216081599892621394691202108820211272021144263146214638063382928715987711877348716291089107410891621162416021072106510721909147581216301941630620163048016304163064416303351630589163084316302618555855939855681855654855674100798801230880170016031848108921097511692621169127374219012615001367655571191294150914097371473810965969399668196848966549666496293961192961445961928608804120916716066191606882160678316067581606316063551606402160662565514741386686136871366891367139957661671445174020828111333184912809566339561260784759784856784156719548471954604195435219546201954480195419419541319195464419543351954589195484319542611792194116011344664466847466604466352466618466457466194466957466682466314466587466830466241466750466131946684346633546648046662046664446658946626146616816701664158489517241713625607676654676140667615171811849918554181686111816394117233843112326033993508367995510309551042150686714117534997491104500652265289965242265218465216065244865296524265288565215681888865128916161760750016695001675907614298288942294489899916539148899141266133289913324221332184133266113324201332114133263133222013325251332213321601332448133291332885133215685655135524053545527567316291879951084951116951146951317642167107615931126749112611126940112649911265286517251918159191819231454188545616748345848313874831412185158924119424131424145724158724161824183089138918828917838917798914498913558914218916198917588914028916257651258947108294711319471159381355381117024319424333724360224362224384575615971806113467465488996490284189086516686616689311833457938721113211171403188910341172149319391411157119313781553165317261713173096546816549306549391884876909491298430183746569520013311883108128994015051707167778759131863517491596882671722168610528481130111759056444912786071515183415151925102946540235540275811943571790194748201634163469063455263471263471063495063455442312621676412611942613352614802615892616202618435735647357148812881899881422881184881160881448881988188588115681070190816166920641141346466265466213971654932162215991709965994191189010068901038890120889014352689561960755249955211955526535523785521575524155219355255355211388713814991381501117618198448101926167509499509119752649952611915261393526168597613859761587132216713221887138268620718656861376242638065516675554499554119379265112408471240604124035212406181240457124019412409571240663124040112408612404312402221240498124041240682124031412405871240830124024112401319124084312403351240480124075012406201240644124058912402611240168103214086279156271410627162316671748166717911667180518828722018818873688785881168886798839988112888488260885088838844988779884219824999821982554103745517631591818378431643173443115943170943187431732431158104110311041106410411488170116728818301205734120515912057091205612058712057321205158292129436316733629261536158826157836157796154496151616153556154216156551566886900908119229383181012421231150085715168991516422151618415166611516420151611415166315162201516525151621516160151644815169151688515161568808361263211422202420252526613132928636338631366872465954100844348642224401449846635284991178749117829211786531178378117815711784111781931178553117811178353117849910181101863410181945400355400777159490317861941404174614041770140417891404179514041856189281814167669666616642066114666366220665256626617136617263793553791226379779379449379337942148145886210738621094913127976612417661706421355421779421116813346471773109598119591962194511251764112517851125179762360718354571145113415869001743871143866114315051143940121381720150714361429859160417081604183617711095145542697690187875866317626631787663180316051729160517421605181516051877621607757191757165910851074290129074929029229035329049971069016869501236173172471417651591765191911387113696113723120742542942661424204211442634222042525422425004217134217246491816167362158511963571396693149472112595001910902948294866948931158871587091587321586174587183118201083107411587115126476398511281117188687171961160184160139516015651272108018948651145671269015028581017172717881941684168352168604168847168194168750168620168480168644168335168589168843168261168618168457168957168682168314168587168830168241168183342415816646546648486645462101915088651407139819281679745099743561087107410871607203120374920386620394020349920352820355420371020355220371217961134145714468658738651379722672273472215972270972287722732722158829810353292143495412274518488101798113435884912254511028189117411239180411341956261951199117126213206371016189315181509182913191829644182984718296041829352182962018294801829194182933518295891829843182926166064068065413881115688851876758507202194352194482194604194624194847191286603564126556560556455117445511875185716718572070767676773476715976770976787767732767158192419468295768212066821583737743192019472110867211129721113372113217211772126350212746091588454208381747159159090364413191880871300167114711341911712192219242192661929311921726780759164065960763510391031103910711960194535564335578335586435588288312249633621728817281813172818171728191789894158289551871872511080108151501502511515151651911912511328132951140614075113713851103810395112641265511174117551766767511623162451896897515635645173873951958959511885188651148814895188388451265266518958965160260351777778518158165118791880511883188451286287515875885119519651144514465112021203511381138251785786511447144851159715985117441745517797805110301031511742174351149915005111411551960961511033103451157158518568575110841085511917191851145114525110361037516496505178378451945946519169175186875113851386511429143051139313945160460551188189516906915112621263511040104151589590511401140251107310745111211351869870511764176551849850511456145751909151176217635175875951929351166516665188088151160116025156456551132913305171871951111811195186886951640641511351365189905111751176511748174951158515865112971298511086108751107910805173773851917918514284295178979051108210835118919051294295516486495110881089516126135157257351899900516856865110341035516416425163163251287288511881188251139713985171471551174617470211361137021140114102128212832297197222128812892212871288221137113822104310442211021103221026102722128012812210981099221738173922992993221047104822182118222217191720221945194622194619472210151016221820182152177217735211351136521770177152110011015212861287521045104652104810495210941095521046104752104210435211011102019419420175475501463464011238123901120112020169669701791792015515520193693701427428015255260168969001633634011400140101314315012912920188588601805806013373380135235301156515660116051606011119112001939940011685168601312313011659166001888889016866870116611662015055060174574601167516760126426501765766018658660146446501112311240194995001126812690150850901890891011273127401553554011462146301709710011961970171771801158115820114531454017407410176476501955956016086090152752801627628018948950149849901200201013553560185285301158315840133533601934935017117120112371238403540654055404540254015502650665046501650365056421825182642105110524211421143421097109842195019511014106410341054102410441117911792118938941114491450111233123411143114321142342411149114921169469511626627111319132011150115021112301231116366371164364411145214531161161211906907111832183311915916119619621114541455118118121126326411159916001171671711165316541112991300112222231111271128119495118598601164764811741742111112112602611112061207118578581112411242112422431174474511144814491186086111133113321113791380111981991191391411458459119759761113141112321233116596601111161117111489149011939411178917901197797811220221111323132411112911301128528611147414751190390411159815991119191920116516521116716811681682114514521111211122117907911145245311630631111941951185385411951952111931941115891590117607611181481511163916401116211622119189191111171118112402411113271328119029031181381411908909111603160411909910111923192411160016011191091111139813991116291630116386391116071608111593159411905906116566571193593611178717881175075111787788111492149311262263111271127211158715881145545611786787111296129711139914001193193211183418351169369411950951114244251168468511751752116356361111311132117157161117851786114594601172072111804805117497501111731174111403140441267268415025034180780841170617074128428541673674417437444169269341919920411395139641188718884118131814418438444182882941293294411330133141506507417467474126626741207020714118518641957958411667166841756757417327334186486541181518164180981041862863419596419479484119251926418708714164464541202203411404140541661662411208120941655656411513151441879880415035044117001701417347354116661667418478484118891890415045054167968041713714417597604183083141453454414224234115141515411125112641861862418738744172372441850851416506514172172241845846411507150841132413254142642741362363411430143141147214734111911192417397404165865941878879418928934129229341107610774195395441946947411517151841500501415675684174774841663664411927192841675676416536544112001201411493149441117211733032305230223042301230622023204320332063201320533111701171311871883194094131172717283111221123311992003117183116691670318878883191291331166167311064106531933934315685693112361237316106113135735831910318548553165663168368431159160319449453160760831166016613163643119091910316916923112391240317617623110711072311387138831184185311893189431901902319529533190090131888931462463319379383110061007314142311433143431172917303175275331122612273148048131425426313603613112311232311213314544553111761177318518523165765831930931311267126831191119123197697731893128828931954955311032103331107410753115101511313613623111681169318485311567156831499500311224122531297298316826833113261327318128133194394431359360319429433135835931141014113114153190490531932933311432143331189118923148248331166316643119119231629630317637643143443112691270311617318678683116041605315705713145745831884885311068106931609610311294129531112411253110113145045131127012713113331334316466473198098131875876311664166531762763311662166331119912003112601261319819823116316431465466312082208331755756318898903197897931886887318978983116021603316286293112581259316396403110751076311295129631959960312012023110781079212962972164564621160161211651662118771878211203120421399400211412141321123512362168768821876877211901912161661721106610672110351036211266126721181718182173673721151215132144844921420421211490149121806807219799802188288321136613672114281429211325132621140814092114021403217537542178878921622623214604612187787821295296216136142185885921566567214014022128929021119311942162062121186187213563572135435521161162216186192137837921145014512142943021185618572161461521119711982118361837218668672110671068211120112121632633219192211641652160660721150915102112341235213803812112771278214304312112041205218108112162462521144614472111951196211511151221461462215655662115051506211077107821132113222115162163763821103110322119719821106910702113171318218788211177117821143514362156957021719720216546552196296321874875211065106621162163211875187621449450321716171732101410153217201721329899903296496532173517363212841285321732173332173917403210441045329919923211391140321281128232102010213217131714329939943210101011329689693219591960321016101732171817193218191820321095109632994995329659663210271028321721172232102110223219471948321708170932182218233298798832972973321733173432183018313219611962321017101832171217133210251026321103110432102810293218261827321740174132102310243217311732321012101332973974321096109732986987321009101032173717383297097132100810093210991100321725172632114111423298598632966967321723172432195119523217141715321283128432101910200011006100510021003100411210221023121939194012101310141219491950121159116012195219531218231824121824182512180318041219531954121144114512113811391212851286129699701296796812113411351210111012129889891218271828121797179812171517161217951796121948194912990991121848184912105010511211331134121146114712104910501218051806121736173712173417351217171718121024102512127912801218281829ttt2ttt2 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])))