/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 0121201x12102101x13124435442000x14320013402445x100442034440352451x104130443225044504x10230102043515314241x13114100032515423240x133201134352242303042315x103210335320142433212354x1531305405235012555020400x1553001504045102555023302x103213412133024103134424303110x111313442443132000132143310320x1135340502235441434505123534542x1532354103334401445525105424523x1214035145343144544240220304245x1444542515403032354020324241441x13241153354505015440403100015313x13235303100554510450115304011443x14412011340100415022140204103122x10404211020320111004522104131424x115021335254022030544524314201224x110301055224242333224514521204405x1052505420142153533554435025050104x12324342043231303013255332103532312x1430221400050314155315151531435223x1030221013350345151051521431455243x10312505534355500540033554411040445x112313420315241303222213304320452305x11455420300514450001522222445455355x11455250044514453022044500251252355x13511005203453533543331301112545425x13513055211433353054310503112544325x133414505102054141502555203500543053x1000032111221335232103215214302431343x142153422214430215402122252102233344x142500322214423245152243203142122134x153443420522315235343440422452423431x122442442152335535343240102443452433x1350143445400232200531540422232451253x1350215014400232032534544402232514253x1443532430504035144451041352101225005x1443532531500505300151144442401224305x13512545545224510052022334241110001513x103341314331101233204233532232213315413x134320133301210050522154512433012353420x132034121341305513323203552430012051420x14054353540450355225503044525512045555303x120512243321423421414453455242022300323243x14424330251104354140102440533132505041514x14122330153204451140400341253444105043551x14522334023130343050340012221440322424014x14221332053230103422143524420400032434014x115424413534045144554545523120551424045440x1500150542122053140232323211143003030533422x152455250233001412552051035125404255445420x1223312532303030351251312520222132431405541x1000001525051104455153220041503205520305005x11032333333421451032223101335224313541310140x1110054515233501455550431154212210220501013x1110304515513051511510022154242213525503004x1450004030004541135452340035515414041524452x10012223210300220125011144104343411023301202x1524424545105544414135220502024452250315044x12043231255410015410223514215032333410430321x10324344031055454510522525034040530024252501x143113313343325210320512150030314153320152241x10545134140041143545434535433004531032505041x10555134443044340345551334514314100042535001x15233512555245255210500000240522333002313404x13130542205045525051530020242553332053102024x100315004404525002223154005252545555553225555x1011312331254421202312122133452340113210502132x113255340144250332520240150055030310153142025x103555341040251335243240250050320511350142021x145550045453540253454531455315544553552440041x1020023125552002235544343123145151402030301153x1004450024014525435304524450414030050430533523x14355221103433234221142152201233152313332450210x1144155400450431215440050054334224525520420534x10142415313415223033034013421301211321225020042x1505412435525435135514002401250505530131004055x12304503104121023315452113302413332452303014101x10435522022152120030023050033405301023525041515x14430555152205030032322050213125200303125040510x14154344523230500524155540155053345134231102554x14554344322204301454105515305053552103434112555x142130235013143013504241310442002144322514020225x142530231143334115501201100324002144324542420220x155305013522004321502300342341350123515340044555x1323221114413255211345134320123034201443232511511x1255104153255054234055120524234540414255335043255x13023055213404323302232402233401132233212503211143x1503003105235522530545503050251003304015354151312x1503035305205531350045323011152013054050354102552x10354101231202524050455335201355400050120520534120x152322321240305500214443142125343211332133223300352x11453433221442450233532303545330304541343102232543x11043232321451430233033304554355344344501332252243x12.10121201x12102101x13124435442000x14320013402445x100442034440352451x104130443225044504x10230102043515314241x13114100032515423240x133201134352242303042315x103210335320142433212354x1531305405235012555020400x1553001504045102555023302x103213412133024103134424303110x111313442443132000132143310320x1135340502235441434505123534542x1532354103334401445525105424523x1214035145343144544240220304245x1444542515403032354020324241441x13241153354505015440403100015313x13235303100554510450115304011443x14412011340100415022140204103122x10404211020320111004522104131424x115021335254022030544524314201224x110301055224242333224514521204405x1052505420142153533554435025050104x12324342043231303013255332103532312x1430221400050314155315151531435223x1030221013350345151051521431455243x10312505534355500540033554411040445x112313420315241303222213304320452305x11455420300514450001522222445455355x11455250044514453022044500251252355x13511005203453533543331301112545425x13513055211433353054310503112544325x133414505102054141502555203500543053x1000032111221335232103215214302431343x142153422214430215402122252102233344x142500322214423245152243203142122134x153443420522315235343440422452423431x122442442152335535343240102443452433x1350143445400232200531540422232451253x1350215014400232032534544402232514253x1443532430504035144451041352101225005x1443532531500505300151144442401224305x13512545545224510052022334241110001513x103341314331101233204233532232213315413x134320133301210050522154512433012353420x132034121341305513323203552430012051420x14054353540450355225503044525512045555303x120512243321423421414453455242022300323243x14424330251104354140102440533132505041514x14122330153204451140400341253444105043551x14522334023130343050340012221440322424014x14221332053230103422143524420400032434014x115424413534045144554545523120551424045440x1500150542122053140232323211143003030533422x152455250233001412552051035125404255445420x1223312532303030351251312520222132431405541x1000001525051104455153220041503205520305005x11032333333421451032223101335224313541310140x1110054515233501455550431154212210220501013x1110304515513051511510022154242213525503004x1450004030004541135452340035515414041524452x10012223210300220125011144104343411023301202x1524424545105544414135220502024452250315044x12043231255410015410223514215032333410430321x10324344031055454510522525034040530024252501x143113313343325210320512150030314153320152241x10545134140041143545434535433004531032505041x10555134443044340345551334514314100042535001x15233512555245255210500000240522333002313404x13130542205045525051530020242553332053102024x100315004404525002223154005252545555553225555x1011312331254421202312122133452340113210502132x113255340144250332520240150055030310153142025x103555341040251335243240250050320511350142021x145550045453540253454531455315544553552440041x1020023125552002235544343123145151402030301153x1004450024014525435304524450414030050430533523x14355221103433234221142152201233152313332450210x1144155400450431215440050054334224525520420534x10142415313415223033034013421301211321225020042x1505412435525435135514002401250505530131004055x12304503104121023315452113302413332452303014101x10435522022152120030023050033405301023525041515x14430555152205030032322050213125200303125040510x14154344523230500524155540155053345134231102554x14554344322204301454105515305053552103434112555x142130235013143013504241310442002144322514020225x142530231143334115501201100324002144324542420220x155305013522004321502300342341350123515340044555x1323221114413255211345134320123034201443232511511x1255104153255054234055120524234540414255335043255x13023055213404323302232402233401132233212503211143x1503003105235522530545503050251003304015354151312x1503035305205531350045323011152013054050354102552x10354101231202524050455335201355400050120520534120x152322321240305500214443142125343211332133223300352x11453433221442450233532303545330304541343102232543x11043232321451430233033304554355344344501332252243x1ttt2ttt2 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])))