/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 021x10401451501x1113x11212225142x10003x14240253345x11023x11125412432x11353x13545243254x102313x11012131312x103453x12025124455x105213x12425243024x121310x10145155230x1052220x12543025121x1200520x14042144401x1205302x12535145002x1210215x12541322545x1515102x14500431104x10522210x10323141010x10535315x10134014515x11151443x11034410255x11323053x11401540325x11524211x14414143103x12020210x12023424440x12455135x12121444344x13005521x10243232103x13152305x15340452004x12.12654321654321990475990489990292990144990659902139903709906990507989111398810569881060968960966505966696635796510779641097922912920123920101391910119191117912981906511904509898509888871882872880988038804498739678654668614668594588534508514428384438308068178068152348154748152618159181588151668153558155815450798164779554773769771540749727747727741727739727735405735235735273592735147725376725748723376723746721376721740719376719738717376717726700687698687696686694165694485694272694121694416941926943666942694377693107969211596868816843476826716828646803716801680476679110967810856728586542626523766523652965266651101565110286511041651105465011156436836166056166716168606145086143566145046143146141466146761421561437261416143736147795939259158058940658950858935658950458931458914658967589215589372589158936758811535881155578105635555594025557725535085533565533675533485534065521062552108154265424755425075419115406535406815336533505533357532720531805525413525577524543524956518905516413515716507475505475490475490699488475486475486697484348494844494775264731004641004646954649034561745410174471744660444610304408374385438234438450430534428412414241440541423541492414147414165414377414124414347413816404240440540423540492404147384342375356375562373356373554373778371356371767369356367356367136610833652365165365377364718356439356508354342343134337134347634282934172433545733313335083333563334063333673325903326853328973172623152622932622912622732622713271376271927166270592270615270642270105226992126479326234626242926251724310024287023416721616721416719516719316711784751761176508176356176373176779117611117454411724751170475168422116847516733416744816746511664751659216548516527216512116541165192165366165216537716410991164475116047511583961158117511561641156115711551173115511771154356115011114811147921146111459214521451471441105114411114011113854411325441130544124921244851242721241211244112419212436612421243471124544123110712292112254411205341118475111651711145171114111911124661110429110842911064291013101376101910190101681014401016610057910088711004291098429109639610961139109439610941149922359232492405109239610921147909109039610901145108839610881143108616410861095108511211085116310841641084109310831137108311711082164108210911081113110811169108016410801089107911291079116710781641078108710771123107711656896696685210633561061334106111111057262105526210531042105183710513761051910516810514404494291040554104077910291671027746102737610277231811850818356184061836717722101692101410101254410396108509376665614462136292637064895859151665261535554744434123419442904368448738931643233331633743506241212121922272236624851671146121513141372150430363016306630463026305622102310242210381039221048104922102110222210411042221044104522101710182210221023221052105322102510262210351036503550155065504550255055321033103432103210333210421043403440144064404440244054525475485254554652103410355258358452104710485258158252102010215210301031103310131063104310231053125495501257958012112311241211731174125825831210111012121026102712112111221211311132125855861259059112101910201210241025121049105012112911301254354412113711381254654712104510461210501051203220122062204220222052425845854210181019421043104442587588421031103242104610474210391040425485494210371038425515520031001100610041002100510254454502552553021036103702550551025805810258858902586587111001011171671711524525113323331111551156119589591137737811891143441110831084116896901193941198991152252311724725113303311136036111769770111112114304311123823911414211455456114704711110811082116926931191992011722723113283291133833911555556113633641180780811141511443444114484491187287311675676118778781110791080118990119179181172072111326327117307311155855911795796114264271143143211441442118508511145145211676811875876114764771110771078114814821171871911324325113994001180880911409410114394401124224311459460116566114794801110851086216866872195962151451521918919217317322133733821342343213523532135735821983984216096102164464521457458216746752167968021699700211231242134034121350351219619622159259321400401216126132144544621647648212632642186486521465466216776782191922196972169769821111111122112112221535536211461472195996021964965211711722141341421423424212412422126626721991002152352421528529211441452134634721164165219679682117417521376377218608612168368421979821511512215265272132933021531532213793802179379421101510162142442521237238218588590110951096017267270153453501746747013473480137237301402403018068070181181201101310140145245301467468018718720188188201109310940153253301115311540135535601370371015775780138038101981982019869870140540601435436014404410147547601109110920151551601368369019100161061101812813014584590146346401108910900111191120013313320153853901740741013413420195795801366367019829830140640701171801106210630147147201678679011087108801693694017337340173873901748749011157115801364365019659660117217301374375017787790115160142943001434435416916924129229341903904411105110641509510411115111641519520415395404136236341963964411751764138238341796797413973984113144181681741427428414374384144244341649650412652664147247341876877414824834129029141911912415125134111131114419169174151751841921922417297304173473541335336415375384155755841173174418148154116174182983041642643414504514110561057414604614126826941672673418748754187988041480481415105114191491541520521417277284153053141732733413533544177277341398399414034044160560641408409414334344123623741837838414534544110541055412612624146846941478479414834844189789841109911004150850941110911104191291341316317413363374198798841396397414014024180580641810811416136144123924041653654414614624167367441929341109710984190590641110711084131431541915916415215224172872941349350411671684176876941985986416116124164664741272273418788793148949031504505319139143132732831529530311165116631988989314324333123523631462463312702713147747831487488313253263152752831956957311163116431168169317947953160760831809810314254263148548631540541313483493111711172316456463168568631887888316956963151351431518519313563573111591160319629633116917031116911703138138231411412314464473126426531466467318708713150650731111711183196096131116711683111771178316066073144444531651652314544553187387431474475511145114651554555511701715111751176516046055140740851412413512152165142242351102810295124024151114311445156256351410411512132145123323451687688513583595116616751767768513783795138338451984985519899905179779851615616516506515185285351690691519495511139114051114911505135135251361362517707715119419551608609511213514364375164364451648649512692705168868951334335515365375133934051541542511147114851556557513593605119219351101151813814514494505110601061512622635126726851469470516716725167667751681682ttt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))