/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 01231x10011x145235x14405x1532432x153054x12255221x1323310x14521134x111050x1022332504x102213414x1230400524x1322230404x1243335013x10100505x12353341512x12035251342x13012400334x13150420254x111404212453x11101522024x131240033145x123114042225x143041041503x10423001551x105101122112222x1030531303423314x105211425201333x104044450240322x1302320332122013x121532122040131x10523405324224034x100051322301321x14425331131105314x142444215543305154x15351154224150543x100422132105111x12201435422510505452x133420452520044351452x12534132531122102433x1035231103434005223x15315014424325041044x15224115234252020254x1230323114253425250231x13243213310113303051x1312131224113244320345x1255112101310524115x1543134530134022433053x1551152400101205135x12.113210x11100x153254x15044x1234235x145035x11225522x1013323x14311254x105011x1405233220x141431220x1425004032x1404032223x1310533342x15050010x12151433532x12431525302x14330042103x14520240513x135421240411x14202251011x154133004213x152224041132x130514014034x11551003240x122221122110150x1413324303135030x133310252411250x122304205444040x1310221233023203x113104022123512x14304224235043250x112310322315000x14135011311335244x145150334551244424x13450514224511535x111150123122400x12545050152245341022x125415344002525402433x13342012211352314352x1322500434301132530x14401405234244105135x14520202524325114225x1132052524352411323032x11503033110133123423x1543023442311422131213x1511425013101211552x1350334220431035431345x1531502101004251155x127713032523310031268130479313717676989932912313043273235323033210932165328032290321533219432193212832231322293229329032343220326353241432100432122989789303891098916589808922989230899089348927089106789104589100489944899551281531281941287912833128181281312827128441287128197459838308601138311106109110611821106123010561473231801098016580303806341072332897304116612741166128213131661261169730734730151821521815842104616612373049331129120914114011541140120812533049981099981043998106570664132730470593770598510984597845815229815230815798153381518815138152781544815781590815348159448159553973916639453919439193963639231391046955944939113198870988105938227382102938210373821051772109772826772896817806980459071139106225274092861219108314434304438641109441109553490342293480034230347934333418341334273444347349543192110481412291811831665531813935813958111010911101184111012361275341931620121010683041077077139297131013713103571310493150831773318989423493834113210911321200113212462463792469273803884119484179841338411884113841278414484178411984123193634713457174171670871688012797712710051112109111211911112123810041091004104510041067100412288953041267413106630494034122327277010977089411851661319166105214139912139125411301091130119311301244747229747297477974733747187471374727747447477747907473474741412837012831302135161064273119416688186810301377832527832297837783907833478313720830268726822926823026890268341771621412217982180221828127794491210979121137138129044143044186250950334611134673464534691949636131110913111318131113266391273021343027921164291169731042156884428871598670986105779913798234109233109212602272232822269222822229229022342229221402241322932224144317054318922881053174900129714264104726410931192166803816101413710362011786610602528633181494181498993711099411111265981282692832828728413289321291137118213442182716684383180113880112849041114573945995959944121714704341449147014127141369133591363491316591379131099133039138091310049136359131229109441363939639879811105101231120116674697974610111247304109112661091129628294104416671371872773374477910063112551669319343441729010382010381041123930413725264796433641864136427644464746107113051091305131213051320132130435633528789328899070990106190810919081216909328909790926990928909413909932483824550224590517717111174517911725217229179017341713717194171917231471021203166714229714771490714341648811361091136120211361252124530425473370399714854267725267771267122211539129749449284138653110541971058252742095394411651268116512769324131285137191941938119106393511351050142667032669911269345071945077950733507185071350727507445077507195072311211198279312710559304131167944116795411672291167230116710551167100311674411672711671311671811673311677911677116790116780011673411679551634401639529847099281127413109967043093343094322815247888792043516643579435334351843513435274354443574354543563643510460171720112081209014344350195960113713801828829011011101201313314014647011047104801263264017787790138138201115511560177777801710711011061070133533601153154011163116401238239011581590198999001129612970198798801725726015065070111461147018368370110051006017097100198598601174175012052060166670198398401808809018081012622630130931001232233011139114001340341011721730199599601113114017127130187887901299300013013020110511052019919920128128201293001929301130131017447450113140113113201128212830186686701113711380110491050017737740114150110551056013373380122522601873874017157160120210133433501114111420150450501189190012572580123924001294295011216121701811812013839011821830114214301707708018298300180380401116011610180080101686901727301161162129039041294794812902903524124135241541652927928529319325212661267521093109452908909529299304241641742906907429059064110351036418788419129134193944111211341746747411210121141195196412452464181081141160161411222122341114115411541554127127241860861411158115941287288412302314180580641104110424127727841240241413132411819418168174120220341115611574133333441144145416768411037103841637638411551564180280341197198412592604187787841127128418928934111481149411961974180480541241242411731744180680741115711584126126241218219415354411162116341192041233234418758764111541155411561574131631741774775413793804110531054507740772294494500775186886951341342512122518078085124624751123012315120120251474851781782518283512792805110651066511260126151106710685183083151741742511254125551272851733734512262275130430551898899518968975115715851711712512362375184855112521253515055065123423551166167517397405111591160511091109251114211435189489551314315517297305110310451123612375112461247513031512062075113313451274275511244124551123812395113813951780781511831845171371451134135513313325172772851842843511326132751328329513033045191925110711072512642655113201321512522535173745124324451200201312672683114614731798799311761773183883931147148319359363122923031105710583165663129729831432433318808813118518631130213033186486531862863313113123113914031874875318328333118818931114011413144244331792793318708713125825931939940314294303126026131933934312422433122222331191192317767773111511152311284128531109110316366373173173231167168311145114631876877311147114831114311443186786831300301311621633183583631726727313637319419423143143231937938311274127531291292311061106231143144312982993112913031102910303128293111641165313536318128133110591060311290129131292293313433443152533127627731288289313334311361373110131014311150115131703704311268126931254255318687312042053181823144044131203204319819823114114230772077211861872118718821745746212372382194952126626721430431218148152133233321116511662177177221112911302172872921116111622183483521117118211591602112812921105106216364218398402122022121888921104105218098102149502123523621775776212232242114514621113511362112281229212192202183842186987021107108212802812116816921997998217980213435211111111221131013112181381421110911102170570621100310042131531621833834217437442111511621269270211149115021634635212702712127827921253254212652662133934021130413052176977021198199215051211131113221231232211711722128929021194195217427432111661167216465211631642196972127527621170171211161172111051106211921932130730811296297111152115311165166113083091120720811318319113053061137381144451119920011329330117087091129029111190191118318321143343411120212031110451046111617112442451113121313112552561197998011779780111191119211840841111101111113181319115035041116917011111112113063071129329411638639115025031110210311104310441145461117517611730731112952961133633711227228113423431187287311119311941151521187187211109710981190911185861127327411635636119779781122422511221222111401411110631064113103111131231311132133112562571170711115161111841185112722731131731811826827113303311150850911545511837838111841851112001201117827831111821183113383391134534611114411453212761277329459463294394432954955324134143297397432946947329589593295295310770294894902907908024144150290090102901902ttt2ttt2 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])))