/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 001002x1002344x1324413x1553213x1501320x155101x11510211x11321104x101005550x102210400x112512013x114254353x145042320x11142320x1024015423x1220340033x1151305200x1113250225x15102414210x11351240323x101250205001x10141203121x11332311514120x11355444553243x12141524425010x1021014431030x12210005224111x11140252022425x1035553100514211x1035210121324521x1200425514323015x121013245244524x12251023354553123x1242111351043533x131202414442332400x125121440215413200x1050042003440504120x1035530422325124024x1555234042224145554x130112332250214344x141543254520222410210x145523204201404313200x1204122353534415305102x1222442001453335304032x1322425042340300405350x11141541321551352044x1510115215543525243153x1110345432254014302503x1510452302321431331342x101135045223044310013x12.1200100x1443200x1314423x1312355x1023105x110155x11120151x14011231x105550010x100401220x131021521x135345241x102324054x10232411x1324510420x1330043022x1002503151x1522052311x10124142015x13230421531x110050205210x11213021410x10214151132331x13423554445531x10105244251412x1030134410120x11114225000122x15242202520411x1112415001355530x1125423121012530x1510323415524002x142544254231012x13213554533201522x1335340153111242x100423324441420213x100231451204412152x1021405044300240050x1420421523224035530x1455541422240432555x144341205223321103x101201422202545234514x100231340410240232554x1201503514435353221402x1230403533354100244222x1053504003043240524223x14402531551231451411x1351342525345512511015x1305203410452234543011x1243133134123203254015x131001344032254053110x12775034852727122727502352923798239716329193762696412248630480287807068083411563571572715112715811715567152717157871522715157153771524171577153871570071535715102698798165984898179811198169872987398569838983698361982009810189811502862199773997832978689790915937781727817378127178178781227811578137781241781778156781387813678136178120078110187811150968131292753086272816572848728772817728111728161672279982421097491107481193514554116035115835610726107361027161078610226101561037610241610761056610386103606101126101116101656107006103561010266104861016610199610366101150705541103203999397392421104115781218090711518051797408649141659144891427191478914229141591437914241914791411191416209724112411597654855755165554855111551655175513855180558122551810954810951102749165749487497749180749111749167498122071420112430448430485671358713815622794227938794913649385380136380208380178380738018380195380793804911052340271407840224015403740241407409321026359363530576630576810223575518983324294027222532228021154357237960993574890574898974810217391733307310173856387238811389033899186278161981030869791787919579208793771099573673616536483611136163672361123656363836733619936700363536102636115099420891691017711821721136212082117821182119521792149217221732156213821232116521482111121162127221753219382136021112217002135211026211992136219042196221115091210945321655324853227153278532225321553237532241532753211153216207859189107269851032869104236010421121042111104216510429911042811104256104270010427310427104235104210261042721042903104238104248104216104219910423610421150986105547227991681037110422102510411155386378113179110127831208906237177980317910361098103611008593585910278633308141962872899282422839281652848281802811128162820828178281952879283782881228753288152858287132893811876410187311503590423106273799331648161111616516271167816221615163716241167913103588790788799388710233482730673061363062083061783061953067930649306938306932112523112360775477804100120715722737778724172719343596212218911063570024018999020853193170770390823905115372791772794172799772710311902011483515496865330741467431593249102833190311492433249612410153281130101627591011474320431096115235275022783027858888208888178888271888788882288815888378882418887888195888798888158885888871388893876748166605992208996242780915780939780995780102984934722896310243585735411231244187487541186187415657411871884133934041828341371372417787794196396441218219411401414137037141153154411951964184884941238239417374412822834110210341289290411098109941985986418358364121221341342343413323334159604183483541525341378379418408414136436541183184411221234160961041204205412132144110411042411121134137938041230231417447454188088141770771417047054112812941317318418818824196196241813814412021412882894113914041334335411751764119204130230341294295412842854112112241254255412712724127827912911912129139140291291351235236512082095136536651727728513223235111241125519394511104110551148149512952965158595132332451326327512223512012025184184251217218512272285125025151273274519059065112412551484485512324511661675133333451773774514854865134634751872873511761775112512651362363519079085178078151188189512062075133833951272273519039045199100512993005118418551845846515025035187587651616251979851316317511201215174174230775077407731843844318468473175375431246247312962973188288331740741313723733187187231335336313683693114114231844845312972983127283160613130430531241242313433443127527631220221313853863128528631181182319979983111611731298299318878883131932031165166318182318788793117317431832833311819319959963114414531247248318586312425311261273136136231383931300301313313323184284331205206312282293174674731748749319192312332343137737831104105313253263175763110361037312002011113813911742743111801811193593611115511561160660711236237117507511186987011110011011129329411321322111971981172731111531154111981991153153211103910401188388411172173118648651180280311862863112532541140411134134211870871112022031193994011211212112432441193393411360361118048051150511119920011115111521110251026111159116011324325111171181137337411769770112162171111471148117687691131831911103510361111111211115711581111311411281282112627114142111421431194194211886887111701711111491150113738111681691183984011739740113536111021102211529530118588591181581611754755112442451185685711333411136137117147151110171018111102110311178179113153161121922011100101111023102411702703116076081110381039117067071120921000771077219293211011022110151016217677212372382117182198999021774775211271282199399421776777213453462127928021232233217797802171671721114115217267272110510621305306212902912127627721189190219379382149502122122221234235217987992124824921103710382136736821249250219919922136636721167168211130113121336337211471482124524621798021151152211521532178792148492119619721722723212152162125225321772773212742752172572621747521109610972114915021605606213373382174374421327328217007012183083121575821836837213940217777782195962187787821231232217517522117117221320321211851862128728821931932219697212526217127132174774821701702211741752121021121182183218768772111811901535401104010410127727801766767018798800180810110310401291292013743750116170134434501347348013403410170370401775776011106110701328329011151160184850110271028017527530116917001868869017647650110291030011371380136336401203204012292300117918001608609018118120172472501515201847848014243018858860177177201838839012922930174574601150151015305310194950110941095013435013753760115160114614701103110320114314401301302018738740133033101369370012422430183840128028101303304015455018378380125125201214215018848850128328401239240207752909910529109115291591652917918ttt2ttt2 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])))