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