/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 00011020341054453214x114005414510030243413x100135452434420254403x110433311530514214055x100220512000013454144x101000453532544125332x100234244451001520134x141313210515034055110x100345502121110314224x154003111455440511410x100504113351215203532x152101334135031522454x100525225034014233121x154525444553545145045x101142432445222541504x104540500133521041230x102012524225335435532x110321511412001430531x103401023143145205130x115432504441444430455x103423313235515244412x121331043240144505430x104305401521225313014x104544450313235250133x104323231415421350115x154131020153433513052x104351331040353505252x114440444543055325333x104403440043515525044x101024450131535321130x104405335031001533443x105104134451311225033x105005512004325200330x145124450504540521154x105411003253221535130x153224354213121135530x105505115440004414330x123305540530321321120x110002525331423410112x142315204240014144435x110355352321140020454x110330235203031011304x110441322553102145122x122031124051313402142x110530553445014210233x152221534404550130115x111414035420235444550x143203232151134553144x114412315420343204402x112053213222130022135x120014112410421210123x124322222555034031332x120021024233235532451x154354200435224402051x120544234030515352433x103142033503210213023x121120331110213405051x151534205155153411051x121431432320004345523x152341001153252214123x121532244424045330120x125132255311134024555x122213050152300115345x123314450324403501110x122501314444125402553x105345554130020513234x123155424454315040301x144435501324142352511x123355035004422120532x125350430331522114123x123435133025435015503x145545134255415443232x123531455031050244403x140312555211143505451x124212524203421213435x153553124433154232444x124251305404403353014x131305545012330135344x125130410424113435405x150405054434053545033x125310545455030441303x141451032134355043350x130204420540255235122x155203324022533050334x131203421051550303453x154414130034323340503x131220114241454205024x134435002403053414005x131244224325010151112x143113400233434234153x131402125524430324201x125301241444414444341x132101053510142521120x141313444334501022441x132351434452223341021x144501444533515413044x132430553000530305153x153451330325453052143x133104411502025505512x133155045444313123110x133441000303252403300x132314333110513343340x133520150452451413505x134024541333340401034x133542140144434150230x133215303110200035413x134053413030005241503x131003124333333344451x134104032342155155043x131244414355030141152x134240404133020010500x103311153043302134310x134300455253252530150x153455312103350043025x134444242314242234002x135525344305235403441x135113404522542204133x132421333350442011055x135243333144042424252x130330320355434413121x135300055314514333220x140303054130151331334x135340552051415321002x134452501441301241532x135531025440021501025x104213530030011541151x140223135510033122202x105225045501331303453x140322123330241231345x152432103333404240304x141120522140240213512x143304330153103532345x141223512055124143542x132510035423031335222x142013524452532100315x140531145443555031432x142115144511430302100x155134205345434410014x142424400520432303145x141115053010030152350x142425235403130454051x133020513440311442201x142543004311314011412x155301323135332500242x142552442513035034452x121301323034201354415x143015134342522315351x151401004450141305140x144151231321310114140x150330213303030400333x144153434222402241412x103534135540523250511x144300440515235054443x154513021040130030012x144314211314544012422x133331303234354422344x145044043350205305313x140330353535154250454x145142332110325030102x130324520322343011134x145214010131552542432x153451350050044534033x150045025213334300533x152111415354104131425x150101142113353552054x144334413222031143204x150212141304410402230x104335342025000204313x150254153301421521540x151041203033313044412x150451340420021200122x115001445133215245013x151451555021533201054x104040535053123213531x151524515332335304144x114135310253141131103x152210503053322305412x115104551344240023151x152340320115455425300x154454421144101125215x153013144441504304210x132203213050153143530x153051455545445532424x113333345435245535111x153141410255225043242x142310321345204450401x154030331110301445300x120105051253415314134x154055201045512314330x113242151123341043343x154130533221232010404x150341251315310430204x154512025133240003512x153134223135554225554x155253444042404125021x125415431552413431243x155344254351542052452x155103033003540535301x12.100011020341054453214x114005414510030243413x100135452434420254403x110433311530514214055x100220512000013454144x101000453532544125332x100234244451001520134x141313210515034055110x100345502121110314224x154003111455440511410x100504113351215203532x152101334135031522454x100525225034014233121x154525444553545145045x101142432445222541504x104540500133521041230x102012524225335435532x110321511412001430531x103401023143145205130x115432504441444430455x103423313235515244412x121331043240144505430x104305401521225313014x104544450313235250133x104323231415421350115x154131020153433513052x104351331040353505252x114440444543055325333x104403440043515525044x101024450131535321130x104405335031001533443x105104134451311225033x105005512004325200330x145124450504540521154x105411003253221535130x153224354213121135530x105505115440004414330x123305540530321321120x110002525331423410112x142315204240014144435x110355352321140020454x110330235203031011304x110441322553102145122x122031124051313402142x110530553445014210233x152221534404550130115x111414035420235444550x143203232151134553144x114412315420343204402x112053213222130022135x120014112410421210123x124322222555034031332x120021024233235532451x154354200435224402051x120544234030515352433x103142033503210213023x121120331110213405051x151534205155153411051x121431432320004345523x152341001153252214123x121532244424045330120x125132255311134024555x122213050152300115345x123314450324403501110x122501314444125402553x105345554130020513234x123155424454315040301x144435501324142352511x123355035004422120532x125350430331522114123x123435133025435015503x145545134255415443232x123531455031050244403x140312555211143505451x124212524203421213435x153553124433154232444x124251305404403353014x131305545012330135344x125130410424113435405x150405054434053545033x125310545455030441303x141451032134355043350x130204420540255235122x155203324022533050334x131203421051550303453x154414130034323340503x131220114241454205024x134435002403053414005x131244224325010151112x143113400233434234153x131402125524430324201x125301241444414444341x132101053510142521120x141313444334501022441x132351434452223341021x144501444533515413044x132430553000530305153x153451330325453052143x133104411502025505512x133155045444313123110x133441000303252403300x132314333110513343340x133520150452451413505x134024541333340401034x133542140144434150230x133215303110200035413x134053413030005241503x131003124333333344451x134104032342155155043x131244414355030141152x134240404133020010500x103311153043302134310x134300455253252530150x153455312103350043025x134444242314242234002x135525344305235403441x135113404522542204133x132421333350442011055x135243333144042424252x130330320355434413121x135300055314514333220x140303054130151331334x135340552051415321002x134452501441301241532x135531025440021501025x104213530030011541151x140223135510033122202x105225045501331303453x140322123330241231345x152432103333404240304x141120522140240213512x143304330153103532345x141223512055124143542x132510035423031335222x142013524452532100315x140531145443555031432x142115144511430302100x155134205345434410014x142424400520432303145x141115053010030152350x142425235403130454051x133020513440311442201x142543004311314011412x155301323135332500242x142552442513035034452x121301323034201354415x143015134342522315351x151401004450141305140x144151231321310114140x150330213303030400333x144153434222402241412x103534135540523250511x144300440515235054443x154513021040130030012x144314211314544012422x133331303234354422344x145044043350205305313x140330353535154250454x145142332110325030102x130324520322343011134x145214010131552542432x153451350050044534033x150045025213334300533x152111415354104131425x150101142113353552054x144334413222031143204x150212141304410402230x104335342025000204313x150254153301421521540x151041203033313044412x150451340420021200122x115001445133215245013x151451555021533201054x104040535053123213531x151524515332335304144x114135310253141131103x152210503053322305412x115104551344240023151x152340320115455425300x154454421144101125215x153013144441504304210x132203213050153143530x153051455545445532424x113333345435245535111x153141410255225043242x142310321345204450401x154030331110301445300x120105051253415314134x154055201045512314330x113242151123341043343x154130533221232010404x150341251315310430204x154512025133240003512x153134223135554225554x155253444042404125021x125415431552413431243x155344254351542052452x155103033003540535301x1ttt2ttt2 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])))