/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0011203012011x100300202200100010x10103102211021x100223000010103012x10110013120312x102020130200001220x10132103001111x103131003203030010x10202023231131x100130030323002210x10223221203203x103210230010210030x10230223221123x110023202013020112x10231102002132x102200322012200220x10232231020313x100302110022020223x11003201012211x100331000202010012x11030211011122x103200200300033333x11120220013232x120000123010032001x11221220012201x100300122032020103x11231021001110x103010120300010130x11300322221023x130022032030231200x11310131201310x112031300331030000x11311300100230x121020320000201130x11313102013001x122000100200133301x11321010301300x103100030023210100x11330230320011x132030300200010231x11332223220230x130322022102231200x12021223222210x110000100203100230x12022122320112x102313100000012210x12033122002101x132010020310002102x12110321200313x122010000220022133x12201010332123x103012012022121000x12300023320303x122000120003020320x12302202032323x110032033003002002x13001312020333x100101200302220013x13222013022330x111010030121100100x12.11102103021100x101000100220200300x11201122013010x121030101000032200x12130213100110x102210000203102020x11111003012310x101003030230013130x11311323202020x101220032303003100x13023021223220x103001201003201230x13211223220320x121102031020232001x12312002011320x102200221022300220x13130201322320x132202022001120300x11122101023001x121001020200013300x12211101120301x133333000300200230x12323100220211x110023001032100002x11022100221221x130102023022100300x10111001201321x103101000302101030x13201222230031x100213203023022003x10131021310131x100003013300313021x10320010031131x103110200002302012x11003102013131x110333100200100022x10031030101231x100101232003000130x11100230320331x113201000200303023x10320223222331x100213220122022303x10122223221202x103200130200100001x12110232212202x101221000000131320x11012002213302x120120001302001023x13130021230112x133122002200001022x13212330101022x100012122021021030x13030233200032x102302030002100022x13232302022032x120020030033023001x13330202131003x131002220300210100x10332203102223x100100112103001011x11432143212722541182115619065531659178316591827120633615774523123914239152366723254233062374523159231572310682310652398723726237252320322317181268716028331868900186816021868198186810801868177286715538671567867158121247165271287227861761107719401381940197322537917108316746167417251674191545416232046932046214783011737896651905211714921801338147517622549671275220562110771585822462250224622561521559152156915215911624858163025412882264103482277711691845210025422477251998155163875371645537166753717051966758214272116712487154677615461889156025417947143165410461561867223618672246186722481409539220422662239717847882269882108588211041972833167191740758100820032040725190921231273176350245121267213271792719164066686524669474669914661018158475818872242117275811724117258211726271172804153275815321545585931625582205414122357110358211031561103624110330511036011034991103411037611103654110315381103143111031911110361103188419647584694512264226582226156226761226804226627226763226777226654226153822614312261552226191122662261884224913935832713501362658377614115404991981220362203223098896798812717721205772200922717255531181157413815741609188861888191312892234110217538171531011652101171010114511011626101127110115810115011011310114691011668101180310111391011218950045122511779801873405105181281226121210741572012734715110811089141082541086971082721089151086511083081082032108177213592021135920391359205913401392140793941706139171413917141907203072275139597591079177825412761412127615091932138107619710761211228175982015598203119187791454697228971764254997130636143617583611583615823615993616251618336164677561247163625410821981344140819005531770254467346771046745146775946750018905841068157201871071561107157310715832241637713120971316899429149429159425989422539426942468942194266794225494220321800816687251601180716011837160118831898696211871612531468159811051088147122041471225417261571907212510101755107819889381978155878581830789184508289285848201819888658101913910191455100919191009193110091965188461884191115701388339148336518331833254833308833108210661569401681183813918381899122317391223199713381307133820511228121411111090205294224571922254203721072037218641622602024713933513980319341381934197913767199615512083391616336180121011700139167693167618131988155203921152039219217722548811175155425415927588161267269156326915752691589141354022437165471982155197121331971219419712202868225228377608182681343179920992198518832240117018519121045912143291214911564254552164354094354012275401551117611564071537192613884420171830139108419959722516105392193139554255415555425555491655413855475547765545835546155485546985547465541605541275554127155490155419965542016554967554988554198255421107261726900726914726651726254726308726198726915726108272617727262032228571865204577372562758216671791166718351882540468199515311791456697986967986126598291498225498219826979822723082543086512031210920312188221183181120932189139129312761293141021582288336989213472704270758270582270627270804110120292010753815389145386515388335382545383085389005381602538198538108053817722287783110783110758311112202271180115622637168494189921319991707291230724502581216122802195139219522261540406115262267746043054499462494117771291710129145112913129171112915021291146212911474129198912913361178115615044651174115658275858210672124062121917178671425652843153184318978432139501198941916514191665182122621538761801162916667251814211802552802161535916353592232106137518361399133609131424122410753596622657169293169217991692182198119219811933981194130625480011552255716981401698206512211925759111070816997082141450198716045392038725140133714019711402067200415522417944584101399871387155717711712139216222582162227075766520942542233155118411561980539223771080198220222682187139184613941722442163146221637102163451216332163711216350221631474216398921633362257139132171013214511321313217591321500453120745316832251717562541510149413571675709551191055322697948539948107394815391718159990970227022722270227425679025686919890017201561644722314061272818222111822188118221909216022841286228236016173601653360165971283271217117121719926755143369614331461143316972068156154315465215471015445115446915466815475915450015414731541453154996154803154139154218918747666553147671415761381576160325466725491422797267133920327258321809832184383218871990155147414621665178516651829141953912668182813916829316821811168218192226225213609141360651136083313605981360253136061360468136011360254136030813609001360160213601981360108013601772142205317081411271176912902011129020371472417166072592792108135810874516964517102108745210124521430452160154184612103392102254117119231171193911711963111375813201673132016911320171319427581908553226172159228641820231568138210211552777156225419124061265176155114185511793206615618441391844190519242547259877259957251065161215519202548453609921389921273992129212748151161120167159075818107185218792060139599582599158599624599305599605994995994599656996145399614732273718028188053922597175425465617174152276156211156539191440618202111086197108612251673223816909422275538575961808742034207104204514207114205024201462420147442098942033615827581974539218518522112051206212112122113501351217857862126026121788789212059206021456457211221122221215121522113491350211091109221784785211112217517522171071121100910102118371838218588592119131914211310131121209210214684692116216321867868218388392111671168219339342198198221870871213533542121482149217717722110121013215015022166766821828829215285292196796821359360211008100921168316842115001501211707170821335336219089092179579621354355219959962111601161215435442114681469217787792187988021183518362152752821592593211002100321939421122312242110881089212562572110181019211689169021968969211279128021758759212256225721846847211401412121862187219029032135635721339340214084092182182221138139211539154021463464211317131821585586219979982184284321208209215845852118611862211511522120532054211158115921698699218148152117051706218158162139940021949521145146211213121421224822492120420521191519162170670721401402215885892112191220211711171221531532213443452114241425211461146221185818592145045121116211632125825921189718982126927021121812192121421521223022312118431844211314211071082118631864212202212176576621133913402114321433218648652116171618213433442165165221141521182718282192292321265266218548552177777821219421952171771821841842212188218921127612772175375421135513562134034121849850214995002135835921161516162134834921184518462193293321701702212274227521117111722117131714219099102120512052217807812178178221191719182115021503211699170021152153218528532190790821191119122183783821147314742118291830218018022118571858211227122821595596212192219321135313542110971098215335343113111312311819182031872873318038043118211822311813181431417418311979198031128212833114081409313383393195963115515631216121623116116231128812893112071208311492149331205206314624633120120231157158311963196431158315843176276331214721483118871888312154215531862863315525533158758831128612873118791880311065106631772773311591159231220222033111651166317767773126326431110411053186987031224225319059063158158231873874315985993180580631723724311112111331164165311739174031360361311981993189311101110231206520663165966031128912903112111212312032043111591160311719172031188318843179779831196519663145745831120912103115371538317487493141641731823824313943953187687731969970315455463118531854311087108831158915903116091610319789793172272331143144312162216331141814193115011502315375383110001001311941194231919920311973197431160316043176076131127512763110451046314114123159059131624625312572583172172231129212933165865931143014313141841931122512263115511552311083108431752753312159216031530531312204220531593594316536543113591360312160216131131613173178678731149714983116731674312067206831186718683198999031134513463112901291311531153231186018613116616731135213533165565631662663316266273186686731104105311092109331128712883141541631419420312158215931947948312152163170070131844845311581158211924925111179118011147114721110610711921922111155115611203920401115031504111753175411108910901110010111150151112226222711848849111553155411459460112182191154054111696697118248251113481349118328331184384411209320941122462247117987991110811082111601160211976977119239241112141215111215121611212213111421431115615711177117721190190211162316241152652711162916301180480511116411651172072111855856111169117011267268112622631135035111714715119169171117251726111755175611176117621191291311145314541178278311111011111146646711100710081119231924111561156211156315641117171718115945951117631764111509151011307308111181118211754755119809811118991900112099210011135713581134234311654655115425431110981099111173117411395396119149151140340411163516361115815911936937111919192011186518661122702271112101210211155915601113201321112682691178778811197119721119719811853854111667166811192119221182983011725726111465146611708709117567571111751176112712721113131314114554561155155211203120321110731074117927931166066111221222111077107811145514561110671068119749751117691770113493501111771178111856185711190719081181681711109510961119091910118188191194094111305306118138141110210311177717781125325411190519061154955011130913101153553611117011711176977011212211203720381199910001114931494111665166611171811107910801116591660111183118411806807103110411011102100220042003200123034302430443014016646650116316401337338013973980141041101971972017797800175075101812813011344134501181901149150017457460118591860014064070114631464013363370146446501213321340193593601874875017617620121312132017557560114951496011281128201193919400191920171972001839840011100110101165116520110041005012250225101972973011783178401910016976980141441501351352011277127801346347016576580113511352019969970194194201100510060121552156011011018508510152953001202320240139839901146147014604610179479501105106012029203001198119820110961097014524530112171218017167170120220301915916011003100401989901213214015325330192092101973974011854185501109010910158658701116611670199100019109110119331934012157215801550551018608610119200183483501453454011278127901156915700116811682018658660115451546014514520122522601157315740125525601810811018618620112831284011611161201833834011675167601180718080122402241012242224301124712480118011802017687690135535601135813590172472501149114920121092110018198200121721801185518560179179201159160011093109401546547011347134801465466011881188201116311640110941095012280228101222223015485490112201221011168116901180918100140240301352353011356135701213921400125425501341342012115211601179317940114641465014044050196970119951996012232240184084101206207011010101101264265017157160174774801225222530158959001582583018808810118621863011471480114691470016701985986012045204601146214630122682269018258260146146201121612170114114201146614670154454501661662012266226701749750015915920113071308017837840121502151011852185301225822590193193201759760011099110001121212130117991800012162170153453501133713380177077101226422650171171201181118120117911792017637640171871901198719880121072108017057060120172018011391400193493501188918900121252126012015201601836837011075107601128512860113181319016566570122762277013453460119251926012009201001211721180197797801780114701471018078080183583601127112720122382239016997000122602261017677680190690701223422350115160140740801165316540182682701178517860119891990018308310116516601764765011412141301199719980188188201878879011001100201185118520113431344012592600110110201227822790170770801409410012286228701222301547548012254225501110211030110310401811812018098100170470501141014110190090101157515760121412142019189190119311932011280128101938939017998000120210110851086011864186501875876017037040179379401820821011637163801149915000113061307011496149701215321540120212022018598600114751476011567156801228822890112130186386401115711580166566601412413015395400120112012014134140179679701979801396397011346134701215221530121562157016526530113121313012149215001164516460160610113081309011315131601702703019759760187787801713714017907910145445501212321240135735801583584019989990190490501224422450122622263015365370122362237018718720113141315011222122301149814990116170191791801266267012192200182282301261262011273127401943944011267126801553554014584590193994001228222830118661867015859019799800159659701827828011494149501966967011284128501144145017667670197097101223222330154154201126512660119920001400401016636640174674701856857011691169201100610070114671468012002010190390401148149011643164401800801018478480122722273011156115701131913200199199201937938012003200401160161012072080118731874011161116201228422850192592601137513760171271301135413550180880901153154011697169801987988019119122013202320332043ttt2ttt2 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])))