/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 00x11123143154x1005x10201411151x10305x11412320511x12405x12101141555x15305x10334101414x15325x11211133414x100403x11114024503x103430x10041122312x105252x10353211051x110000x11313410521x120520x12522213111x123054x12311243010x125001x12145501312x133003x13355551140x140002x12011100141x142325x12104234114x152000x13115414522x153005x11141320452x155254x15202312433x155330x15555522431x1005320x10125221414x1053012x11010310212x1054354x10023101022x1300000x11103203452x1403525x11250045341x1423500x13511140220x1505052x11531533251x1522042x15555111202x1530034x11210241553x1553545x11320122114x1555054x15512113451x10004032x11114023541x10354023x10240341443x10540303x13145123043x10543430x11345053430x11253025x11254110155x11304030x11544533414x11340503x11315411554x11524305x11312332415x12241330x12323221042x12454300x14531020434x12503250x13450540311x14244003x12045344333x14503002x14141210441x15000550x15001341050x15030530x11300113120x15230225x15040510241x15400540x15534442432x15432200x15435241041x12.100x14513413211x1500x11511141020x15030x11150232141x15042x15551411012x15035x14141014330x15235x14143311121x130400x13054204111x103430x12132211400x125250x11501123530x100001x11250143131x102502x11113122252x145032x10103421132x110052x12131055412x130033x10411555533x120004x11410011102x152324x14114324012x100025x12254145113x150035x12540231411x145255x13342132025x103355x11342255555x1023500x14141225210x1210350x12120130101x1453450x12201013200x1000003x12543023011x1525304x11435400521x1005324x10220411153x1250505x11523351351x1240225x12021115555x1430035x13551420121x1545355x14112210231x1450555x11543112155x12304000x11453204111x13204530x13441430420x13030450x13403215413x10343450x10343505431x15203521x15510114521x10304031x14143354451x13050431x14551145131x15034251x15142332131x10331422x12401223232x10034542x14340201354x10523052x11130450543x13004424x13334435402x12003054x11440121414x10550005x10501431005x10350305x10213110031x15220325x11420150405x10450045x12342444355x10022345x11401425345x136543216543219999869979861997121919972014995299995140199519841993642199329998468119823311980268198021191980218019802188197825819761034197690619765151976565196519541963515196356596094795894795688956140956118956917955206295521529552162955226395422791952134594533819411024938171693817181937993630619359192999286841927114292169391510239146949131578907922906103490546419031312897296189294788936318809478768588748581874147587285887085886885886617186394118619411859929858898185792985630685513638551519185592218539221851916185019401849915848195184791518459101843134684158418828414868412598413998414398401316840148184014978401856183490383361418308991830184682917021828891827194821694820146418188821816882181288218108821804883795787179185817898587882961787858178585817838581781728177585017738507674647642764898764938764858764876176085117588501756849175618031754843733484729175972752372714401727882172748617272591727517273991727439726109572611167261118726196617262060172621501726216017262273725162972522931719830171782417138237096251707562706130070332717014866978286951695608695258695908695642695299695886951406959076951606959166951978694946694101769412146941700693121868711536871303168679068596168448616827821680781679822679974679144216681663166689816669381666867166642216661171666411666197166654016662166685816668766583066581586658185265713716502650898650938650858650876649127264917556491782163015971628159816281850626662645762635662626962661062618762621562619862512746251786625181161910696161760918441606541160687516064551606159160685160623716065811606316068591605206816052154160521641595722159358459133815915841587584586704158569758475658492958251558235825655811977581197958121115812125157969615791848565515563515543515541515524252489852493852485852487652488352482352417135231468522203315201498151814985161216151614985155835159065159375133513937513583513515513565512125051215905121790512181751218545111377150364749430649417804931592488122948778948712014871720487175314861471485265148414711482147114805631480875148045514801591480851480237148058114803148035714731864146991467946532814659461100645910474588904563994561774145189814519381451867145142214511171451411451197145154014512145185814518761450199614502221145022351443612144119443939914395904373994253994233994231757140989814099381409867140942214091171409411409197140954014092140985814098764085408882408486408259408399408439140821464079574071021407168314072046406130540613384061470401186039948639968639988213991387397439769639733039716139760939790939793976839798639710033961280396178439618091395937139558313953139551513955651394201213942182139422431394224713942271139321171378486374237489837493837485837487637395937310193731191373196413724863721994137048636684936433813641871362188136018813581883571712134864313431942339133960833925833929933988339140339517339890339458339138339907339160339197833283433284233222043317283318143319151331457133113613296329457329356329516329358329187329238329893292363296433291773132945713291359322186213171306131713571315891315236131587113154361315137131565131521613155621315613156431310189330713076083072583072983078830729930714030711830791613071827306128630617883061815130440223039161302882130248613022591302513023991302439130118911301193613012202130020481300207813002148299642297529788229748629725929739929743929736629743729764429714452961141296146629616792951067295191729418292937652931835228810241287125122822581281125122805832280228112751251274264227492912731251127320102272922271166727072126967826732679372675832675152675652675632673572675412678592661330266148526615172266916226522872264812609092593212591772225888222568822250883224888212456961245330124516112456091245412459124568124598612451003124420161244223712442255224485822428582381872238858236187223685812358981235938123586712354221235117123541123519712355401235212358581235876123418791234193412341953123419811233198312285172222728222222492220331217187121735912171438215187121535722057902203486120211941200608120025812002991200112008812001401981871963196937196583196515196565196563196357195108419510971951369195140019521361941596194214211931685189480218972821892265188389187356187365187457187168121835842181697169962169686216768621656861641833216368616212382161686160881160457116035611605161160611603581160187116023815910002159268215726821552682153268115211432151268115060811502581150873115043811501391150671150235115056411501115029811508811509161149202911492241114922572149268214792143212614088139100213888137985213721262135823213517131128357120882120505119100411888118908118642118873118438118139118671182351185641181118299118140211848611799611719281172219111726811171398211248621101881107563110787511074551107159110785110723711075811107311073571106207011062156110621661101166211001594109813861098158410981627973975839793797565975639735710962582095188109493710945831094310945151094565109320761093215810932168209318889781891444882588829888608881151879982087188869208518820791339207745720772109107182620714572071209420694572069209268910681616692063457206320862061457206120841053583105393710533105356520494572047203444910449082043259429103391720301251102291020918118881814018458181381829918917101891713281714831715151718582017125110164632015125220131251201112201028910505106519161926893309617969666561376216643665626871585875186539855145857100598644341194214442445424869385315932373455358138751003986241211721972422254028671671139123514381564187310019862036201620662046202620565222972298522125212652993994522038203952229522965219011902521961196252103110325220362037521253125452229322945221362137529549555210141015521872187352229622975298298352121912205220372038521042104352125412555222942295521925192652214221435219901991522010201152203520363035301530653045302530553219231924321968196932988989322033203432189618973211231124322133213432198619873299199232102610273220462047321899190032949950321984198532100910103210291030322034203532186718683223012302321124112532212921303221342135329529533219671968329779783210121013321224122532103710383218701871321920192132980981321040104132125712581034101410641044102410542294894922100810092212201221221250125122186618672220782079221280128122212821292297697722199119922219961997222016201722121812192210361037221839184022229822992219191920222126212722213121322213381339221954195522122112222220292030221286128722111911202298798822201220132212591260221274127522189518962222992300221222122322102510262212721273503350135063504350235053021953195402184118420212551256021966196702197119720213431344021964196502198919900220422043022127212802133913400213441345021955195640324012406240424022405242189818994211251126421973197442983984421028102942104310444223002301421926192742951952421011101242204120424218691870421969197042979980429949954218371838421039104042184218434219021903421922192342134613474219571958421987198842103210334218351836421127112842213221334295595642197519764299099142101510164212521253421873187400310011006100410021005112189318941223022303121918191912112011211221302131121342134312134713481295395412195819591297897912198319841219881989129989991210131014121023102412122512261218361837121038103912187118721218911892121118111912192119221213401341121345134612946947121956195712981982129869871299699712100610071212231224121041104212125812591218641865121879188012189418951211211122121924192512112611271295996012195919601297497512197419751298999012199419951210041005122014201512102410251212261227121034103512203920401212511252121256125712189718981219171918121341134212947948129579581219621963121972197312992993121992199312100210031210071008121027102812184018411218651866121900190112112211231219401941129509511219601961121970197112975976129859861219851986121000100112101010111212271228121030103112103510361218381839122040204112186818691222872288318888893170170231151915203132232331332333319389393121602161311377137831140714083118111812314224233183183231184618473122552256311477147831482483318968973114971498311103110431507508311517151831522523313303313111531154311759176031365366312168216931370371311981198231218821893111931194311597159831180918103111123116271628318448453118441845316526533145545631258259318598603116621663311667166831273274311086108731697698319099103121112112311515151631919920319299303121662167315905913111911192313983993112011202311403140431140814093114153118171818316206213122212222311231123231832833314384393165565631892893312962973170070131170017013151851931523524311755175631760761313613623116416531216421653176576631137113723117801781311815181631221922203182082131436437316436443185085131259260318658663168368431168316843189589631110211033130430531211721183193593631114711483121622163311369137031783784311389139031793794313943953139940031220222033181881931424425311242124331843844311444144531224722483118481849312257225831272273311085108651686687519596516966975117061707519139145151451551726727513273285156456551766767512180218151584585511584158551195196514024035118561857511664166551147214735189189251492493516997005117241725515425435111581159515625635139039151159215935119319451400401511617518348355112381239518398405114401441511051105251657658512273227451682683511303130451924925519399405154054151762763515855865115901591511393139451403404516106115181781851488489511498149951172017215132132251725726511725172651336337513563575158358451790791513913925119419551401402511214121551815816518308315112391240511476147751678679512279228051885886512942955151151251167168515815825121822183515865875115861587511197119851838839518588595118581859518838842319441945212922932130230321731732219339342133733821114511462135735821165166211402140321609610212352362114421443212048204921649650218518522120682069211679168021888921109810992190190221130513062151251321517518211330133121163164211774177521587588211390139121119811992114001401211602160321140514062161261321642643218498502114501451212682692120762077216926932170270321303304217077082151551621520521217227232132332421132813292173273321114611472175775821175717582135835921136313642136836921177217732118618721792793212162172112161217216256262184284321852853218628632118621863214934942130630721508509211316131721927928211149115021115411552158858921396397211598159921214215216236242112291230211244124521845846216486492165365421186018612120622063211471147221481482216936942172872921940941211753175421359360211394139521197198211601160221101121611612212372382114491450212060206121207020713319481949331945194601691692011095109601903904015095100172172201923924019439440139239301159415950115991600014074080181681701619620011240124101654655014574580186186201462463012265226601679680016946950129529601170417050190690701131013110191691701926927017297300133533601188189017947950161761801622623016476480185485501185418550188488501298299011141114201166167013733740178278301119611970164564601144814490118521853012271227201147314740168068101108410850188788801899001108910900129129201130113020113061307019079080113111312019129130111912001326327011391400115916001371372011977197801139113920114011402018258260112341235011446144701185018510146146201878801708709019159160151651701117118011371380111571158011232123301651652012622630186386401147414751319431944131946194713194919501319421943414894904189389441172117224117261727417617624178178241786787411786178741138713884158959041139213934113144161461541123012314122352236418468474126026141871872416846854188688741290291411093109441130013014115021503419319324194194241784785411784178541789790418148154181982041829830412243224441226322644186486541869870411475147641480481419192411091109241293294418948954189990041904905415055064111061107415105114117121713411313131441333334419349354194494541115111524116116241178217834178778841191192411605160641822823411827182841143814394122412242418578584126626741867868411478147941228122824188288341483484411685168641690691411104110541922923419329334193793841179017914111941195412204220541406407411406140741171841835836418408414110471048412249225041855856411663166441264265418758764110871088418908914149149241299300419109114117181719415215224172372441930931411142114341369370411788178941389390411803180441828829412237223841656657414644654110701071418738744168168241168116825319501951114844851185861190911110901091118988991114991500111100110111110511061170670711130713081190890911131213131117161717119189191151952011192819291121502151111155115611756757111357135811362363113673681137237311190191117917921111951196111604160511891162462511826827111629163011836837114344116446451114471448111048104911265266112702711148748811108810891168969011939411300301117047051130530611911912117247251132532611193619371111431144111148114911214821491121582159117597601136036111168169113953961140540611102110221182482511182918301112331234114142111243124411144514461146046111263264111470147111148514861120862087116876881149049111969711150015011111011102111702170311130813091111161117111722172311328329111934193511338339112146214711115611571121562157113633641119791980111388138911393394111398139911160016011191011615616111019102011837838111241124211847848111049105011458459112612621146346411166516661114681469111069107011271272111483148411208420851194951120942095111099110011301302119029031170570611170517061121092110119179181121192120117307311133133211942943111144114511215421551111591160111361136211366367111578157911785786111386138711189190111199120011160316041160860911121311613614111017101811618619111052105311860861111466146711676811106710681126927011148114821148648711688689112892901192931110921093112092209311109710981169869911900901111501150211170317041150650711130913101113141315119209211117231724113243251192592611334335112152215311758759111359136011162163117637641118718811192193111192119311159615971140440511140414051115161162162211823824111833183411646647111050105111853854114594601114641465116566111479148043195119524319471948ttt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))