/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0000112102312x111222202030221233x10013201232031x122300203322332232x10020000133112x133312200232321212x10021000201321x122300022321322311x10111020302220x112202231231222210x10122332003122x130222112221133222x10302032032021x121031230202223131x10311122313321x122012111112021022x10312221010233x122202323331331223x10332102302220x122001222332130223x11023210233022x121022303122222212x11102113003212x123212211003220112x11102210211323x120232020022122333x11102231100112x120002030120222212x11113202120020x123232032212322210x11120021201111x110002223323332022x11121233121010x122231221223210332x11122022003102x113202213322113202x11202121131330x112130300022223202x11210321110233x102330222100211332x11212113213301x110022000222222202x11213203321102x133222120112022102x11213233031233x122102200211231112x11301323200123x111313220231212123x12011002330201x122213133222203011x12113133211133x102212300120202122x12132003321312x122210231111323322x12200330120322x122231100210122012x13023012232203x122133222330222330x13222303130312x122202312122322331x12.11551182361140514381405148978121510671467120615131268151126856612685126824312686512688212689462520025103114372515795814962772022151441251106246140634514062514065551406114140642140624140681140651406134140644811442805805918011580567801518056680243806580828011058024580499801104809468057180154915260515299510891578214572861049114240313545574011039128447210462004487878114367811487143525107310541209147712091505608149512964512913891544158014985884156499811610081391193021191568595111114511831575200133111914081391226179111823341541591411154149941151414534149841834124441824156641243416541674124541110441454419464115341103212010911201125391127150643499110511042451565606213997146791332131764715235245425815114595595915911559347591515943659116598259498598359566592435965593585964591315943595545916759511591325920059592592559345595555913459445945459946591181592465911065994559117591004591512591443127640100011615243911126289652436556610711054104820013281483361378325401304011102761275149746712771068144010681446246118114031450103413140765144343101013628758287100110402011545401651033111227710041171267147312671554106615745244025241072147820010522004434544117512784531376200137651376592137625154755713291479132915071791047262732972861514437910417913595561009662591662114662426622466281662566211558663581089512104351215489948314021475155359120146661421091259191211491242912249128191259121151176362346390346154625758311255389129135856791114719111552648110940454041514045664042434046540482404358404644041314044340494640494540411740410044041443103215310422011042121710921059116843565509671283821518210038211038245382498821148242822482818258283822441490651490156211794518057180999313125811812691504581174436044644001193244453106915110694361069114106942106924106981106951069116106982212104547939145111666231669433594351470587668987661037766125437340935435721310121531270312155559114826512161194121612751216131494490115596051044204100613510061353118424412553592342881563605120414811207146910381671038111715815843432311559111515111090105410901357109014071090154439310071447838349814846515124394665510213156912136042314866514861558154957114392524216416831239810536812891476200664646664101115084332411671474582031331126615191321671325111325541445434655712904711561605147258782591782114782427822478281782578211511202881002116121015112105661210512102431210651210821210946152043137514341375148591015171518431050200144107043644313143358148020012181195660150376710054031051403117357635516658166993133035813306413301141330421330241330811330513301311330431330945133011713301004133014431468581488651488156099685661144431515231156015613110611062311564156531471472319009013131323123924031126712683120320431464731156215633129229331387388317879313103113137237331554555311045104631317318312102113113671368311195119631508509311391139231603604314784793191091131118111823145445531868731252631100510063112071208311477147831136113623136636731766767316636643136536631147514763112171218315915923111941195312072083177783130730831137113723113901391312732743124253112112231104910503131331431592593315205213160260331505131256257315555563120620731134135318990311434143531902903313563573150650731133134313153163113941395316086093165265331769770316456463111311132315657316869312372383112831284317747753120820931314315317071311511523177377431120612073183843130230331345346317797803179803124724831204205315575583140140231136613673113241325311436143731284285317707713111321133311440144131126612673134935031220221313183193160560631143814393115741575311400140131124125315975983164664731160161311407140831434431163164311047104831474831911912311360136131499500311133113431113511363136036131104310443156256331476477319099103150550631385386314004013194394431137213733121621731105110523159859931155815593114791480311531543121922031106310643111361137118283115615621114461447111751761144044111120121111089109011388389115755761113971398111072107311152153111259126011205206114354361120220311361362114414421116216311395396119089091110011002115595601150951011148114821114831484118788115585591147747811362363111326132711660661111151161113613711138913901113211322111731741199799811174175112242251151751811117511761176771111111112112542551114014111165166116116121124324411466467119939941146846911128912901112312411571572114534541110601061111568156911176177111011101211141142114574581113513611172173111523152411390391111373137411470471111315131611120112021129029111999100011251252114444451110091010113473481151151211560561112728111450145111217218116486491164651150750811106710681194594611276277111275127611367368111258125911661662112502511123623711127712781145645711304305115225231111971198111031103211119611971166671139401116816911148714881189889911355356115695701117817911149514961135235311107010711146446511105310541113991400118182113913921161361411404111126212631114891490111485148611154415450129529601114115012442450128028101346347017374012252260117017101653654014594600114021403015135140127928001655656015185190130310113291330011317131801159160011365136601126012610121221301322323013943950151952001293294019059060138338401132313240117918001498499013435013823830138638701358359015745750132330177877901500501011671680113591360015665670151551601110311040112691270011357135801114011410140340401393394011129113001929301323324015556011254125501106210630128228301120012010123823901370371011209121001154815490124925001570571011141114201164165012862870132432501399400012882890130830901429430017777780114514601430431011125112601545501463464012482490156456501651652011552155301727301460461011271280115541555011199120001596597012152160113191320014384390138438501904905011066106701442443011322132301775776012962970129129201573574011571580143143201473474011205120601525300551055305521139613972113931394211056105721151115122139739821443444211068106921514515211109111021501502211204120521563564215165172127427521475476211771782189990021282921151715182142442521156157212752762147247321117118211369137021919221131613172142542621157815792136336421306307211374137521371372219091213513522165662111051106216576582112812921139513962111271128214950213983992112031204211091109221359360213533542156856921100310042127727821364365212132142148492113281329216768212462472137837921380381216496502190190221150515062130931021593594212322332190790821252253212552562111931194211331133221105810592135035121303304213483492136372114971498211033103421151315142165465521235236215725732114041405217687692129429521131132217172211261126221116711682113681369211208120921772773211117111821140514062113201321214234242123323421262721373821234235216476482143643721222223217717722114031404211551562111731174214024032111381139211381392143343421469470217475213839212812822122322421594595218485211507150821146914702121821921211212214614622124524621154615472111811921600601215354211139114021512513213203212110571058211442144321132133211251262131631721379380212212222124124221658659211580158121132713282159960021995996211611622110641065211391402130530621610611214744752129302113181319211055105621137138216566572113921393213123132133342152352421767768219069072159559621106510662143944021609610216126132150350421353621240241214546211291302145545621119811992176576621136213632142432175762136937021650651211264126521126312642185862142642721139813992120120221319320213813822160760821113011312112612721289290214374382111191120211370137121113711382157582114314421368369214284292144744821396397213213222115415521118311842135435521462463211421432155655721209210211039104021659660212782792113251326211041104221131413152114731474217817822144452125325421285286215025032112151216214584592158592112021203211441452123123221776777214674682110541055211265126621283284211401140221392393211059106021780781211363136421150315042114671468211364136521200201219039042188892113531354211519152021100710082116917021113411352144644721158159214454462160660721103710382111611721147114722142742821432433211128112921122123211375137621119120215215222114441445215045052117117221697021601602215675682055ttt2ttt2 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])))