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