/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 011x1211x1340x1455x122140x122135x14531004x14501454x113321440x111304402x1221502224x12004550x10230203524x1204544540x13231355220x1400002220x13411005050x13010113045x14130051501x14042230301x133020145550x112354402355x1302021254354x1322030545154x1305453000511x1324140302113x1330441113121x133530144001x132021141314524x10224454100500x141330523330543x144220311513053x1340211041102353x124500303044113x1551413423431205x1135112120301120x10503332311125125x1051433441141014x12405004422353450x12313011105502340x1313541041242331313x103300334414152243x125052131455002303243x10200314252054411043x125211043304543041040x151101355053451002320x1130531110330133435305x1153313340550324123345x1330535125121214012315x102055452500420555315x12.1110x1112x1043x1554x104122x153122x14001354x14541054x104412331x120440311x1422205122x10554002x14253020320x1045445402x10225531323x1022200004x10505001143x15403110103x11051500314x11030322404x105554102033x155320445321x1453452120203x1451545030223x1115000354503x1311203041423x1121311144033x110044103533x142541314112023x10050014544220x134503332503314x135031511302244x1353201140112043x131144030300542x1502134324314155x1021103021211531x15215211132333050x1410141144334150x10543532244005042x10432055011103132x1313133242140145313x134225141443300330x134230320055413125052x13401144502524130020x104014034540334011252x102320015435055310115x1503534331033011135031x1543321423055043313351x1513210412121521535033x151355502400525455020x127733733163336733173329311112686735232987257724866848625148615110564049679758011080137808268091980105515226710891912147387413880178091511571539154015141538515545158215767159481590015353743722949496408666408755619139614641163641192641292641796411664112641386411506417641676411788248054318136713629513631113610113620213639136401361371361101368013620313623613614095623421138911931145958781718281882097835281519139101392023931139798835298035210624804062394061034805140740993861219861995861101110887910888310891510892310892921994791447953519539710005210001015483106317513581319110957989210351068792935509421359381352466524610679681511034239786877786881786894786925786931786971101016410261359361351022164901149019733165191324134713191132331004521004102189540895917106616494013539273392214447358844804269894809351354321354831355561358081358141358629702931064521064106573889769908811001107052107010849201393098065629675629699949091610120113326833492415115097952629976352172842918102839293773113220292220792201622012220382201502207220293109178818986352982352523715242448410255223194337394339374331009485102735018204804823858210339239855375316353192536753175360532515321953151534853220532935329536853773535445355110362518089818591061859109486384378729578731178710178729278779787167871278738787150787778720278739787402659552323210181648761382723555777047910034582845838665210690214542481939972312101216492597773860738251738773821973815173848738773236403109152109110922822657364771271673877971507292563251563685637563219563151695441085164806983467462514668462194615116252950222434941847885310739481358934818289879901499010534860821202245479245812771102176717163177926151398136889858108685810889743121087480865352105431282915135390010931644825348299648299348274038885745293219110025210021017102813580715190347197192191915119681922019312195441955132852310161642661353721437273735439354153547703545573542393541034354901271855154488885076782706379301914274042739427295427770427557427239427103473786473787398435215121915125115176615176899689192778106110691086109088399954587435219435151435124353843515043529243579435164357019596018288290182830119619701558559017417420115916001344345011401410110610701923924012402410115815901236237013063070116616701243244017407410177277301114115018068070119819901275276016768011291300152530131831901808809017807810180810186870114414501340341011501510156156201939401995996013413420117317401112113018528530184985001295296012302310128128201103510360113113201209210016406410130730801321322012682690126726801925926014748011941950196796801737738017071014142012829012532540130030101742743017827830173974001254255016970012112120168690148490116116201193194015505510144453289289342108610874288588642479480428818824248348442883884425195204252352442106110625252152252481482528878885288688752485486525245255252552652520521524804815248448541100110024114314441656641142143418788411281294110211022413033044122122241559560411009101041163164411261274115415541271272418608614199910004110651066416263417797804110111012411911924132334199399441101710184127727841257258412242254163644122822941342343411531544187988041495041637638419499504143444184884941877878418990411092109341100310044176876941108410854125825941260261412252264110901091412652664131731841105106414324334156056141104105413031411069107041101510164133633741199200416061412002014115615741855856411161174132432541424341278279411063106441161730775077407751170171513013025129930051171851973974511601615191992051192193512032045161625133533651505151850851513203215111711851242243513043055124124251433434513393405186286351276277511551565133433551971972512732745110310451347348512982995131932051346347513132513113125121922051292293519699705163863951345346511381395118195126226351851852515152516465518428435110531054511741755111511651434435513373385163964051838839111033103411935936112612621129329411229230113053061110941095115445451177877911349350112272281111811911205206111571581127027111169170119479481123823911939940117667671113313411237238118948951132532611102510261128028111915916111067106811213214112122131184851112712811383911314315119899901114151123924011279280111711721183841178478511941942118458461123123211937938111681691129629711820821112930117857861125926011856857111341351122622711131411234235112942951182682711900901113940115565571120720811252611204205118182111027102811141142112202210077207721101102217273211641652181481521909121917918213383392185485521263264213083092127227321902903211088108921242521326327211651662178378421717221206207211213219299302173573621107108219139142134334421151152211521532173742181281321371372211101112127427521323324211321332156256321857858212442452120820921919221875876217707712187387421931932214546212642652139739821111112312352363132732831262731929331955956314041312552563185986031328329317867873122322431781782311371383110210331313314312222233125225331858859313223233154254331269270318478483131631731858631804805318438443184484531210211313093103179803113914031233234313123133116716831135136318468473113013131949531256257312972983117217331197198313023033155755831202203313483493131531631853854312452463111311431195196312512523110810922981982228648652240340422975976228898902297998022389390223853862298798822983984228908912286686722985986223513522297797822105510562242442510771238638712387388124264271240540612390391128918921242542612404405123523531239139212353354ttt2ttt2 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])))