/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0122x1321x124152x122244x130010x11130x10135422x1351312x102412053x15320112x121230350x121204530x134032122x11250202x1040332113x134231311x1322255350x1121014050x10113044442x130541135x14020202054x1401413223x101504352152x1542012445122x111240221550x11110131210x1513511212022x1351034352043x1524240511043x112055032213x11424530023453x11322005120403x12334041002301x12403503144201x15414105215044x130002551012204x103011045351032x1551333315513x1203155015515204x1213414341241144x10330440021505512x11422440004031551x14214044221243510x141313325045540x122144454022532332x12244240231111411x1212015103201114402x1254035242302201141x1420525555553330025x1401450151225225415x10310035121220330542x1521044010122512545x101344530203521015201x115324441230324100021x105152115323134123543x1214010203340354325413x122150434533331531401x125054212554411453131x1301351342540501555102x1301550324402453325111x12.1265432165432110671491854583854601239235942382125925582258034574397315911916631496703202108308041492679107210591072114610765109351099213795653765377485374395374551546101357151196569661912096794711331154410131498527543528119566247210255022971195611961759558314512112233087813848781443140819849146549154249157626019854752810987481098439109848810982271098761098241098169109845210986109845510981454226198337393314232573454349012467165765012547371033741033149910113785001259907713122659262660310741059107411328059332981298143298337298145298583298601298561298581298573298981142419813401495942396009662971598291332804620603585555167519754385484341123598725990059980591023591073591370145443919929319910364834654835274835606186031252737144637844510473547375473944735854731379473147294214394246494222594274942229421959424469421942337144837814161981530101312217411951225144614644094037840596408258268041430378877148387714939361091690472716125354952854964810224399017136015839401423570986570101252465246285244595246635246495247375241254524118952411911387198490141549014394901517603604926033660198607656010602926046660260602266025860493605846011316010916093660141060853601402601471601404601416603381215133974746998737867716775616776786774256775036771216775816771456775836775976776016771265677337677981488141348814374881527573561107062810704591070610706631070649107011891070119199337829711243891428337296953123212151414198137385251225128315123795125451229451270251242451237851214365121434512101351210145121530512153658851588765810585814271701211385198140219814991551112756314101986145239833381528101352651425713722571376257137825714532571461679112612142512150312167812111301211537597583624676616962276452648811936623371265103214975775611456595495438554598548271438378384101037495455439128214512825831282464128222512827412822212821951282446128211282597128260143134075567560275575679123412161450101338637948414074841433484153512441245801245251243301241221245481244651245401245131245741244851245421245761244911241456124148112414621131584137792921987642977641042485465485513485540485574150047214312114906621516101387385687393187311888731214873124325321182144229124582474111115831167811425111211114511601115971162611563111681159911112711581115771157511126511337119819549364394954120425944564482528783528133394114691069142110691441258198258325814088504850580850525850330850122850548850465501103414041981404147115381013801855801904801102180110711035102659359802180267880242580212180217082073014524391043198147074504984887607124471612441251133480653511929813371125561153610137381291581561985379636297114356111436781143425114346411432251143741143221143195114344611431114350311431211143581114312651143337114398114363787756148262733559143237814403787538801020563102011279913789341093411521442378130767813074251307113071211307170579561453439149442313574648561190856123185612458561485948936828804763906198336198492905713148454094693694611287145814865401681214243794247024248311129585126074814645131464147946414034641431464154383212338585838586788584258581858121858145858601115362952112081422198523947523990340119448214014821429482154514343784894654895464895787414554655254655484655804653304654824652594659546539465120465456465446512246513704651023465900465594651456147258578267664962893220014443785415285416275755614741409474143547415291306137413061380130614511306146313759151810131480627660144766014491552439822804603884447439137185243973443974853952856625475465475538475572599583945611476278499458491010849151513815610961489661334228198118966314625131462148110244394594398796788794258791879121879145883757196121196982857138685714455194194251680681511094109551339340514384395174975051627628518328335153253351446447511093109451125112525113541355514584595113531354511188118951452453511023102451679680514434445113401341518468475153353451836837519339345173073151106810695111521153518068075175275351145114525110361037511062106351743744516356365112591260511253125451812813516096105111901191514254265168368451589590514944955178878951845846512972985181881951129312945112801281514564575133033151608609517367375111421143518138145166266351746747511344134551145314545162862951565566511021102251784785511134113551114111425120120251454455517267275178178251648649511551155251739740515165175111331134516636645152252332101410153210161017321019102032886887328828833285385442101810194112961297411276127741675676413313324165966041939441585586411225122641127712784180780841124312444181081141469470415135144113801381414954964179179241427428418408414152552641129212934113481349418418424112151216417787794190090141712713411471147241776777411059106041124512464171571641584585411304130541906907411223122441472473416726734114951496417107114190490541799800411208120941769770417487494110641065417877884113451346418118124144244341747541126812694171371441729730414964974159259341678679415657411030103141123312344177777841118119415556411491149241759760416556564195964113491350416576584176076141783784417677417027034151851941837838417247254173573641667668411275127641383384418178184167167241681682411128112941501502416526534113781379415615624035406540554045402540155026506650465016503650563014306430343054302430443182782831843844318498503114971498315065073182582631105810593129629731113611373149049131127912803110631064311343134431106510663177177231488489318298303168668731148314843185785831106910703152352431133113323194094131789790311137113831821822311073107431467468314744753153053131793794316856863110113114851486311455145631146314643166066131688689311270127131135113523180380431109110923163063131631632317227233143944031102510263166566631103410353180580631835836311028102931381382318788793148448531707708315875883137938031656657311211223112981299317807813146446531633634317277283151751831786787311220122131133313343177377431519520311992003113421343319319323111391140311297129831129412953110711072315705713114611462311272127331482483316326333111381139315905913112911292318348353179279301794795017987990157257301602603015885890176576601598599016066070156256301758759018448450157657701130113020156656701625626016696700177277301112611270153153201756757018198200158258301728729017097100153453501106010610116917001796797011201210112711272011299130001594595011469147001429430016706710176676701126612670112651266011303130401596597015805810159159201167168015745750149950001745746017907910161161201938939011441450161361401560561011095109601718719011421430151451501520521016126130176176201112411250172172201103210330142642701471472011295129601666667018398400161761801336337011356135701109210930161962001600601015085090113521353018488490176776801294295011222122301567568015785790114271428013323330110661067014444450119519601980981011347134801682683016686690133833910321052102210421012106220232043203320632013205321816817217117122122522621141314142114091410214974982112781279218018022194794821774775218148152125725821122112222114031404215859215685692156356421741742216106112191021504505217797802172072121708709216846852149249321856857213823832114991500211306130721130013012159602167467521719720211350135121134613472175075121653654211026102721113011312193593621142114222113861387219829832179579621529530213333342110421043211224122521740741211401140221227228212952962150050121945946217857862176376421725726217537542112691270216036042146646721842843211096109721138413852172372421833834213373382167367421142314242110271028215285292195395421569570215155162134034121583584215758211971982153553621754755211061106221877878217377382173873921770771211415141621838839214654662125926021134113422129129221939940216046052114071408211273127411121812191199299311441442111219122011535411704705115055061137381112141215111135113611470471116876881114291430118158161187687711538539116766771124251112312411831832114284291180080111198199111140114111147914801168969011855856111355135611222311143714381111941195117037041149849911775776113940111192119311148114821193793811510511115035041156456511123112321112671268111029103011334335111302130311293294117167171166466511762763111374137511122123115365371114391440111445144611121712181160760811521522115425431114891490115465471162963011872873117067071184784811990991117057061114471448115115121137837911144114421110971098111146114711133913401112811282114684691175575611144314441180480511658659111067106811768769114934941138538611380381114304311152752811757758116056061114931494117427431114331434117517521154854911651652111031103211507508117977981180981011121612171165065111984985111274127511734735115865871142342411986987111431143211137613771120020111143514361174474511509510111010101111634635116546551193693711540541114404411111321133118088091171771811891113051306121515151612154515461210131014128518521215171518121535153612137013711288088112152915301214491450121012101312884885121543154412153715381215271528121372137312101510160011006100510021003100412285285322101710182288588622881882ttt2ttt2 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])))