/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 00121x110110x103124x10514x143011x15452x143422x10502x1211402x111535x12241342x1232435x14054240x10122220x1424251015x150310225x1524503023x1532101340x11413233121x1153245134x140423451151x154322321240x145225443454x15232500054x1434403032321x1555550224420x153443352521142x15405255310335x1051033255405552x1101345333223352x1453211522343231x101350134035431x1501011511552110x151511130333310x1530441153411232x1541402122535344x12410232353123114x1222145010313512x101132200050243301x15411052023330501x121153134353324314x11010021322030524x124350255150444143x120522054132414110x10454502312453504332x110245522421140123025x145102054544255235423x105520524252520152330x1312434320323434543411x134002450043543032211x12.1277730284730577307730216730747301585418233733232331023382331823321333133413394337533323318533217332843357332163374331533498335173385433156338343378033772331032321723103846172650324917898297792985329102689187451581321117221521621448214496286707880631557157415284155161580518132915898743158862988698710731828822859984170612910971578474784869784883878636106486107051832618433186771892211031522719322783511411013226754226887226930226981226104441634194718479710791824992324991024997499824991824992149985498822652658121567723210114198097141123241110241174118241118241121411854411156411834331284331573311533312933114331203314033173317433115331105331749331806331898331917774309318981103210004110711821027101389110908911096891111289111281139101332573251556966851110113411101140111011467491589210589280589228489257892789215892806193742193760193785193928208579985199879622331142317312343110133110274974920149344930492334947498581077182826156786826543273928571618216561127327553011121132111211381112114410131778411111304418884285102910136097367613075115612744612762612787612920735163307503307733307993309141137416627815811886816760997760102876010762182211022118221232217482191611278284488894157888217165381014377399577310347731078921898104211361042114274131074182598297110371013221532229221422202240227228277594113114104782613306131536132961314613206134061376133086138866138582831766565666573414381192389830122301809808571806838766324416258488431048850182103510137541001754102075410701015111010151114104329104311161617010591187041181045828008211251013114518211431013708173834156100783753301091898714720729740715366330102110136949469423269410269476948269418269421694756948546932234771108589810497490280590228490257902159027499028989029178061053034302013073074088511228851124424542128137316426721694216232216102216721682216182216212167521685446715113341752101075210127521064434408434651856201856104235229488059482849485794885794877994840948209481494829948153948794874948516948158281557633083719486084871748103617245476551907771901038718182101785310172910178861542151543061548851129828701676299976210227621072324664517498858201974156974834285833848182782747828677828816498476498751002411113302472428424572474241524232241022482241822421249424752485419719284195719741915193019308193061922192151915419105197491980619886198581989819917199488521821016108410161102101611261016113061175261189361189761197061110464340743979106518266080719431888105892989868279102310137988473726711234115584599641114718219285578041656738661849661877327695327703103910131135411115971215758211042104321991002172172221187188211451462146472110581059212772782170370421190191216896902168768821255256211110111121286287212902912123823921606121885886212232242179802128228321248249214074082163642121221321752753212922932110710821275276218578582164965021596021134135211201212186872130830921232233211441452175475521111211132196972118818921690691212132142164652176276321949521299300216616622129302158592132032121296297217607612124124221307308217367372172372421773774219899212692702185585621294295216856862110911021121122216516522125425521237238212212222127827921484921433434229799802211141115229709712298198212101610171289990012898899129019021210151016521020102152973974521028102952114011415210341035521038103952102610275211381139521014101552112411255211421143521036103752101210135210221023529719721172772811113011311133033111867868112122112042051184284311660661117347351132732811211212111781791120120211787911161162118418421124624711207208117267271161261311250251112732741127027111889890118888891124024111181911686687111531541186987011176177114344116667111931941189189211611612112742751165865911177178111301311167968011959611767711843844111516111891901132832911180181113063071122622711838411616211797798112882891116174077507702922923021084108502930931029169170292892902897898021090109102920921029149150290090130773117017131878831827828311081093114314431100101311711723121821931160161314748311421433197983182833174074131881882311641653115115231203204318378383117217331146147311571583112812931657658317387393128428531239240311481493122022131414231147148316768312852863168868931235236312492503131431531840841311541553180813167867931835836313113123121922031707708311731743117517631185186318098103118318431131132316916923166266331836837318838843120520631268269316096103175763170570631719720317207213184584631324325318388393130931041313241695696416926934167767841107210734110641065417177184185185241104610474120214184985041112811294131231341155156412472484111261127416816824110441045417998004172872941118119417717724185385441684685412952964110781079412512524181181241648649411146114741107010714183383441119120411921934118218341858641847848417475416566574124524641281282411144114541715716414546413193204121021141107610774127627741825826417857864132332441272273417877884131531641409410411501514115916010772077511861875199910005117918051112211235149749851300301514041511134113551256257512223516106115127928051779780514084095187988051216217511010101151184185517297305141041151313314518889511001100251133134511021035112612751323351680681513183195128028151848551997998512972985113513651124125512022035125225351209210511321335130315114915051113211335151651751224225511251265187587651156157511231245110610751777778512332345187787851724725519959965128728851163164511136113751291292514243516936945129329451608609012672680165660112913001890891011048104901329330011116111701271272013263270165365401103104011718012152160110510601683684013213220149849901781782011911920180780801232401236237017837840194794801664665012172180122222301122123017487490172272301750751011096109701322323012082090128929001225226018878880114150131631701110211030198798801243244016869017778011581590174274301136137013103110189389401343501104105012572580165565601805806013173180117417501298299014964970165966001744745012342350124224301725726012532540120620701162163018398404297297300773210131014ttt2ttt2 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])))