/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 22x15110132112x1222x15301343205x1224x15101355041x1452x10301413505x1452x11102103012x1452x13021043132x12222x14120444355x12244x12001321424x12245x14330402512x120223x14015502121x122454x15024013534x124222x10421101155x142253x13340555001x142325x11430403512x152524x12551135031x155442x15503201412x1144244x14101543414x1222341x10313504203x1222500x15512335043x1322454x13320553541x1351452x12140425125x1510322x14105431205x1524122x13540533311x1532241x11211553341x10054534x15515522004x12254544x15540145040x12422214x13441315322x15102220x11545443213x15400223x14330340021x15452223x10120021223x12.137714054151374172106720106747210671358119741533283138033822124022135922138328096161761212611086120611096127461976131611070614896110516110686110453253205138581830981817181821381833781810781830818198184481822081878181308181918184511914152972935029202935129152292742997293129982933829472291045291069291051291071143745789100078910427891048789114511382211057451463309115617298152874221114222149612704961276496147611691192116912151169123511691304487311199415143153712504514791303834031291051140221125314061253141612531420125314621386359847842128410884221843528476842748497843184208410984688841070844898410518410688410459953603916011583381172116097810271118172392810791190107912131079122110791298939353124645382126125420817105481710568171157817116912263156421256410856419564445642205643375641075643056471081431082121083301359932219104141548910711059199116105553731981218597612521912521268125213736921143122048932573129521410821301082111188924088999411103301110143111068811102121110108207520350206872033720107203020192044202202072035120472123853731973127411322038011756311081123180101047210102028721810401200100912531299309102243097796211121723324291066123710661245106612511066137910661381115493077717260888197113148012559701085970115573875179834231079735101573510467351052735114976919387743811008161137816115314134151421311099109121212017601307607762166211222120018673117019127717112771438121448913810515011731176390207289761040172557173953132230910841301084111713821914771910533111934151256201164141164861164881169001051313452061417489103796352271041102810411159105515105536105959105978145022111311198113112191131122511311321104748933624611681091297221114630913461449117711720117274117971173111738311724011735911722111710701174891171051117106811710459799629543331347107013474891347761134727413473113471147134710441347337134710713473013471913474413472201347713471051134735313471068134710452873534412433441249115030987622111743591069105912223145130451714519145309106710620106351106309106171106213106130106191106451062741069710631106472106114810610701064891061051106106810610451452309104348910431058105910914813514814724812048138597120971109122431124453751645104548910451068925114149748098935910487310492912164892821167362071973074471077220733712551412125514181255142212551464563113910802010493112363196033810381211462484631813053093104581159881090145952331837599091083198789142931360625926274926353926337926107926309261992644926220926792697926319261070926489926105192610689261045113620143913111442401148309114812944243504242042447242438442427542440414761478159602061135140741525417876214641338569360141948992892035376113137874774212741087427474353749774317468874107074489741051741068741045489107012711101112017295310217751717751087358833589517902012101160121011721947119104419105019114712511430125114361016415132030991027491079109791031910107091048991010519101068910104536773144927106512961065133712184891269144961103831783115232054447914233163221263210863219632446322206323376321076323063274393341088131151281465309192108919211511381140413811414138114281381145122859103910281039117111351196113512171135122311351319247206459231086130108611193112681269313513523122622731545531625626311451463111511152319639643138138231133913403191992031927928311173117431761762313543553149503112961297311431443113401341312432443196696731214215313193203190490531114311443187587631127128316768315960313183193113851386311139114031690691311801813114761477313123133120420531902903313113123197097131112113311841853188888931232431144914503190390431333431113711383112812931249250319099103198993187387431194195313103113119119231114111423117817931353631383931284285312442453163163231838431361362312202213198898931557558317778317576429309314211071108424924934211661167421062106342537538421097109842106110624210661067421060106142116511662247447522115911602241441522101510162247147222103810392243243322119011912210211022221003100422490491221096109722119211932210271028229379382240640722100010012214061407221040104122141214132211981199224294302214041405224034042211961197221171117222103010312210641065224174181210651066121029103012419420121005100612103210331240840912404405124164171242242312109510961247847912411412124304311243743812494495124214221210921093124154161240540612479480124314321247247312105410551214301431124104111212701271121002100312116411651210911092125425431247647712115311541212431244121237123812103510361211621163129389391293593612100710081210341035129369371292993012109410951253653712436437124344351247347412100110021210281029121100110112100810093312041205519649655113413551108910905181381451122512265112211222513663675133433551484951276277511420142151174175511235123651175176511050105151122312245135235351250251512482495190590651134213435114414551908909513403415128628751104810495125125251134113425119819951474851197198512162175119319451321322512829511052105351242243513643655192092151225226512062075117317451135136515354511221235130315114221423513133145132032151142814295148648751979851316317519219225133533630772312031204231211121223120012010312061207407702409410021093109402110211030254354402103310340210981099021101110202106310640248949002435436024954960242042102100610070253853902110611070247747813120212031312051206131208120913120712081312011202007701252601171172012182190111551156018283016926930127928001585901192193019069070146470117217301330331013783790112412501666701606101202203012412420113791380013433440133934001815816011471480118118201387388016306310195195201314315011541550111111112011373137401111711180131320110210301133134011371380122422501150151011761770137938001776777011831840156156201115711580111411501558559016276280179800112612701515201331332012052060137380111191120016869011151160195996001337338017172012522530122122201388389111461471113113211108310841127527611562563119239241113461347111561571135335411202111131913201113441345117273111551561155561138538611152153111298129911227228112425112122111436143711342343116286291199499511127612771112451246111321132211967968113223231114621463111464146511737411691692118168171121721811505111925926116970111085108611212213117677111145114611808111114711481139039111201202115595601175976011124912501111311411281282112627113637119659661110561057117747751111491150112728111343134411444511359360111451145211110111111081108211323324111961971113613711900901119229231168868911133713381151551611147814791115315411130413051190190211563564111951961128328411309310118148151157581110410511246247113553565077107741101102411771784133833941133813394135735841125112524136536641362363413413424110510641969970416876884110010141817818411091104134434541148149412232244121321441200201411071084135635741280281417879413435418128134121521641315316415657412402414138038141626627419079084127827941125126411294129541991004128528641185186414546411581594196896941363364411821835312091210211131113221383384211255125621113511362156056121735736212772782136036121123124211031042132432521689690212223211161172111751176213333342133233321143814392111111221125312542120320421222223211087108821976977219619622113451346219539542127427521629630211571582192492521458459211169117021138113822138638721192021149150211321332110791080213843852138939021130131213233217071219789792178979021350351219629632181822124524621253254211081093210591060324074083293293332116711683210041005321358135932110911103211601161321163116432496497324754763249349432418419324334343254154232103110323293193232110811093249149220775243843952121312145210581059521103110452106810695293493552121912205242342452412413521044104552480481524884895211051106521418141952100910105210461047525395405254054152104210435214161417521215121652103610375212171218521070107152141414155211611162529339345211041105ttt2ttt2 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])))