/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 00102x103412x1055130x1433134x1231422x120152x11441320x11011405x101043301x13205541x101255005x10102320x154215102x153435002x11423551515x1332352524x15044141104x15313540304x11002351415442x13300303422532x1532145210100234x1332543000540122x1543340133020310x1551302313433344x10324243214110302x15024014410422102x10333334534505002x1111412501123111x13531020235145222x1324411213242042x13534124210152034x13550510253325411x100450232120102004x1055314311325040424x130211442221433144x111333043232231544x142104045131403401x10233441321151011x143053235141122044x12332542124531401x150322310311313531x1530103421020341x1144450031550052124x115002514510041004x10110412313314254331x1323153302542411003x150332040421433104145x12204225522004023524x151345245045554235311x133255540352314352512x12.120100x121430x1031550x1431334x1224132x125102x10231441x15041101x110334010x11455023x150055210x10232010x120151245x120053435x15151553241x1425253233x14011414405x14030453135x12445141532001x12352243030033x1432001012541235x1221045000345233x1013020331043345x1443334313203155x12030114123424230x12012240144104205x12005054354333330x1111321105214111x12225415320201353x1240242312114423x14302510124214353x11145233520150553x140020102123205400x1424040523113413550x144133412224411203x144513223234033311x110430413154040124x11101511231443320x144022114153235034x11041354212452332x113531311301322305x1143020124301035x1421250055130054441x140014001541520051x11334524133132140110x1300114245203351323x154140133412404023305x14253204002255224022x111353245554054254315x121525341325304555233x1277854182795432977832979125855258574579264579926139261419614366160261780618073226532332322523271288251288492638668110087251556152111525178114888686937454933162882930882932995162149988927802268641412419099551625018050315574546916183821838728383683820838148383183848838783817838727838548383748059173478510877272977091480331733129633124331162331379311483716237296377237363720371437313748377110185988854569054569075575537555755332552525526555325521551755935572755545537455182558245530017554837913992539759627627362212498049193493736012560191160192896526577712941699488429688424884728843688420884148843188448884788416288437731277314876993267261526131261482629726127267326212638261822682473596273597033085199318253690791836915161789168021823912168241829188077914872676773801163585472752776900182641748211590621808792850214167681686497126598929914025736148736297736727363673620736147363173648736773612773673714720731736748772295534179604179641261880633280625280672806368062080614806318064880678062658063280630042774428999571628561831098310847351827859645851458251458564587245836458204581445831458484587458211458154583324013990843777110117725206174858265865285749274284848212775802495419719332192521959192651932193331921192961916319162193719727195419374852162910437437435143251435643211431543334181541873721796118603597442131929128163227191853192188839569631842041331871872317277283191191231186187311371383111711831151631828331234235311041053188388431265266318328333160260331362363317287293122233122822931872873318858863173743172572631913914311021033173073131136137317727733131932031219220315965973127527631252253313153163159603112913031915916311341353131831931808131232233311721733193943136536631242531213214311381393121621731266267318498503177477531866867318688693133033131926927314144153141641731979831917918312012023134634731257258312942953125325431368369311321333122923031109110312022033141341431287288312122312272283180280331237238314849317576318318320239239332393394324384393243743832440441424414424239439542907908429099104243643701103104012222230114814901101102011951960126326401828829019889890178790196096101414201309310017707710185385401230231015985990114150150510129129201284285017987990182582601373801151152013233011681690188188201341342012242250133333401342343012862870111912001777801198199013053060145645701969701123124011301310198990129729801873874011181190129829901575801329330013283290136136201306307013443450132032101616201190191012932940115615701855856019629630188288301864865012782790112012101100101307750774077216906912112512621299300219709712110610721171172213643652134034121796797213363372158592120320421734735218687213353362182983021833834213703712159759821857858216061218678682123623721848521184185212702712133934021220221218999002116616721107108219649652123523621149150214950212512522115916021267268212892902172973021189190213213222131322115815921818221877878212922932134534621181921131132218748752133233321199200212332342173273321187188219929932127227321258259213243252180180211807808112622631180580611454455118698701129029111366367118368371185185211827828118808811118518611197198111551561112812911152153117998001199499511169170117927931192931154551180080111238239112602611180380411804805111731741121721811183184112324111331341187988011776777112142151116516611308309113839111821831179379411768769112562571116216311956957112182191117417511163164113637117957961131631711954955111701711127127211304305119329331112412511326327115657112762771125926011333411285286113273281117181139401179179211301302111601611183783811415416007710774183583641164165412252264130230341404141823824412772784120214110510641373374412542554118018141154155411531544122322441360361413673684187887941205206413253264128828941181182417357364134334441139140411881894113513641215216417947954119119241323324417475411501514127327441535441269270411617411571584112212341417418414554564195964125525641334335412312324125264141942041905906411161174187687741412413413073085129629751359360513373385121221351727351194195519309315126826951261262512112125120420551778779516006015178078151371372511151165135835951830831518348355187587651363364517317325130030151196197513223235127427551515251847848514243518708715159960051193194518586511211225176775173373451221222511671685145745851949551343551928929517977985112712851317318518268275120020151369370518384513033045133833951108109512392405152532239639720771243944012395396ttt2ttt2 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])))