/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 1040x12223315520x104155x12420243015x114252x14350220053x131030x13222433520x150143x13542204330x155552x15220331500x1050113x10253431013x1050525x14200251341x1154011x14344000533x1240104x10233335025x1241314x15534321444x1252540x14253552230x1342425x13522052432x1413040x15012312352x1543240x15012022302x1550403x15222224432x10050405x10553530525x10051251x10124350133x10055505x10123530041x10111301x14223304003x10310311x10353544540x10412505x12015150205x10424234x12000552044x10503520x12233142202x11040405x12222354224x11042424x11200442222x11050434x10453520312x11055042x11021545202x11244240x10242304343x12114414x14243435454x12423341x14435402244x13405235x13350022335x13420512x13333320153x12.126543216543211374728120663714001590140015921400160013807333291472329157837623766243762983766273763493769376301376663766024574457510457661534915534105653412276331211731234157369414373991579694685106068513356851402894488962689723145950074513857451428151366010575001441448152966715291554750740146352614631480879873478761898298879859698627981210107210611475526147514928558401012031169588978269788115579537527537739487459487120957154514313001479545578306147352614731490641633961263143539943814384381506438158660840688287015938913861635435275431153706695502574659971228912261221422992512994904667896689986681373878870585117458512176256106761676399676439181183991843922716322736722770322749922739822788227652271932274582275111850022614162261496815137941941250120893863119320634183484350914835459391168653687600592100314461003151610031558156569450054250057250066750067761737546063546071546098015316671531154683815149554510621140122666010741061125812341258130134714703471572135951013594135966113406941467526146714849298934996241332652565588519353985458549920916320969411265006514766515841124500105550045610714561339483459947435947194790122066097396267413776161117134470939736844612904677624671054467122549510527131233938119316015001403139214935451401121122614201480151514715261471148814434481591250129814501299139112991460129915601489545977962111254552715001004677100457210045441004500100457910045171004432100413910044210041621004486100441004449100452610045231509660115458177013897701430122866013171292150760998751098749876611342694137666715156601208636970146297015621194602154767874874063497769153626125157354533030110707071070459107059510705091070418107011910708610702061070484107031070400107048110701511235523570523544023570323516323536723522723520767593767511956751349134871115033993096309723309448309893091423097083091209189351850051853851856817085634914643491564121254416189161134591690314995006196107026855523089126249122989122912627912349912944158744113754079744071255407133114535002071638943701721172399172419172435172909189037887649111440911153091115561358144813581528121143612114581211510138279017196117112571477526147714946861416208643464826522105350077376412561234125613141336694153967715716944684468510468661986138398614549861512141725082339982351582342082312182340823226823480823182341979959613021292308917308105830812191585694498449867749857249854449850049857949844949852649852349856649853649851649851049866149814974981459283251433399433774114630048545911926013503011346709525500525540525570569545301624301298301327301930152430143830116030163301191301488301230126030162030164301350301609301150726321602191243824882524117539911228111333686168639968643968667868643344241394162443244864517528836449579876164005951069143410691456106915148278142588542581123150158114252504193994197721451448904117610011452300146630015705931191281251508234158745966966282663296662266215356671535154213901631505602105950070469514615261461147848145997151097149716614213991334689516500516536516566535353570753545953559553540053548153515111491545348301623610155567873873098513811145150211451508684976497972497124049713291177596153366715331540708134759612051408914013431315129213781631455500151766715171548149750094415387463997465157464207461217464074622674648074617464391543678155991006667621610140110051401601140139614013671401514011631401703140122712025072348392341125156369412046291239640158169464964260643276462013849013841432154167882581476390314474485863751429300821142477187771524771438771160771637711917714887712771596178241787794614429461532945142251050071449615376671549678164732143340014394401439150466615567545693675141925014575007224975235005235265235441428914454484894594891207126412342596259723259448259892591618481418848149815616943783687757643751073375134154152754174912106363283014394328043300436095943751218660148154512411234124113168221444822153414494481941631152581142325044717016339616344016360116370516310054393994395154394204391214394043922643948043915395275397475391151133065215116609759621485545146552614651482130039913005151300420130012113004013002261300480130011300439192163192377106111118497238494488496849898491613271474327158040824086244082984086274083494089408250408414081417459660459707857840545652435399435787307813307869115295301143443511905906111502150311675676111174117511732733114384391115401541111316131711461462115325331158758811137913801114341435113983991187287311630631111168116911401402117407411198098111369370119159161169069111106410651176276311677678115935941163263311138313841143243311418419111213113673681142042111899011129112921189389411377378119179181114361437111542154311302303111546154711154815491115541555111301130211655656111314131511106710681139639711550551127907914279779842139613974279379422139914002279879922796797221392139322139713982279479522139813994113581359416186194137137241129812994112381239411225122641119811994140740841842843411586158741399400416966974113541355417087094166266341121712184160360441151415154113331334414454464115081509418228234123023141135013514162262341700701417217224114321433416126134113431344416206214198398441946947416886894144644741654655414844854176977041497498411510151141460461418468474192934176576641134513464194394441464465417037044167067141694695415915924196974171371441611612417057064171871941488489412522534110031004415745754112271228411357135841256257411349135041459460419449454183783841171172419039044111961197419119124167167241684685414584594148648741121912204148048141119912004160961041501502414824834171171241151215134112371238416246253035306530553045302530155026506650465016503650565278979052138113825213931394201420642034205420242044311701713111431144311578157931841842311911923112921293311201120231135613573159960031138513863169569631614615311065106631372373317647653187387431824825312082093182682731500501313703713159759831966967312822833173073131741742316826833126026131400401314654663122622731304305316166173113771378311000100131657658318218223113391340311314314944953116216331234235315305313158358431280281319379383152752831736737314514523198498531545546314524533198298331848849314634643190490531735736311560156131453454312512523119319431840841319689693114153193893931298299311191119231133513363120620731678679316056063145445531156215633172472531813814316646653122923031712713311572157331737738319459463165665731143814393113411342312502513113471348318748753183683731114111423196796831581582311389139031698699316066073115921593311564156531228229311570157131129612973130330431919231440441319659663115801581311062106331590591317107113125825931720721317427433115841585317237242154955021153015312150250321962963211071107221146614672167467521517518217437442114601461211257125821145814592193942110051006211617218448452157657721509510215065072113511352211454145521107310742123323421592593215775782146246321669670218178182112631264214904912153153221575576217447452116616721448449217017022123223321979821959621147614772110601061211456145721146214632169970021146414652114981499214914922169169221129412952171671721661662217667672191021627628215245252196997021667668211240124121152815292181881921111711182114701471216366372116716821123312342154754821907908217347352130630721499500217457462110541055211538153921153615372112351236215225232114741475217687692130730821125512562113751376211516151721770771211234123521145214532171571621726727217257262110021003211056105721112511262112111212211534153521845846212312322116001601214964972125525621374375211472147321658659211290129121546547211058105921106310642150550621105210532140640721455456211352135321149614972165265321403404211236123721660661211718211123112421665666211516212542552165365421106610672115321533215155162168068121120512062160760821668669219109112198198221528529003200520022004200120062402340434033406340134053516896905170770851534535515845855199910005153853951814815512572585161561651144614475161061151144214435152652751492493516836845130830951120012015198698751373374519649655172973051687688511691705170971051144814495188895110011002518208215149349451719720516816825158258351871872519749755153653751976977519069075158959051467468511211225114441445511391405150750851540541511191205166366451129712985162963051961962516316325111971198515855865146646751985986511145114651613614514024035184784851542543511112517497505111441145516386395110115145045151598599511142114351106110625116016151637638511355135651972973514954965116316451145014515174774851141142519989995144144251739740511069107051939940513013025150350451129512965114401441515795800177477501150615070114921493016856860114941495011651660157057101120312040165660132732801305306013293300181982001135313540181581601596597014044050111531154019409410111401141014041013473480155155201147814790112091210011556155701149014910190890901636401133113320136836901142814290114841485011373137401772773014444450160160201875876015805810185485501856857011430143101129913000130030101640641018778780156656701148014810150450501148214830111931194011424142501115111520158858901155815590112931294014434440160460501941942016796800142430187087101909101111111120163563601141614170134935001148814890163363401843844016026030173373401106810690113291330018687018698700140540601164165016396400169769801117611770116816901767768015445450153353401119511960112071208019099100194950154854901816817016926930137537601141814190145645701963964011422142301628629016726730167367401970971016266270188188201727728011504150501159015910156856901787788014424430125325401942943015725730171771801728729018901150015010159559601763764014494500183984032139513963214001401321394139532792793101110611051102110311041021391139202791792021402140302795796ttt2ttt2 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( 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])) || (bounds -cert || fail;(bounds -rfc -qc))))![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])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))