/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 00001232420432231050x135542010004032251211x100104500341502324001x115011035145502152330x100201220400551001343x101101445315155051321x100344424513312211220x105314452435110044114x100431033214243121351x113450113534212025041x101032224250444130335x150453250550030512351x101041140012113325344x150035020150413151353x101134552053330205040x111051153253441134215x101154421122344050422x124245210144502155113x101223215031141351454x111143125121200330203x101525440340035013342x113324125141543251020x102111554252110155025x155131120351513303555x102340011530450001521x100455135511125411054x102450401250243351332x105114130452434314505x103035111155355503440x115155041311211515212x103314253221013122053x134104514041220311053x103522042215052044404x112341145555151352245x104031355005003040054x155125110024020505020x104502403250313111342x104335111011513420513x104555331043450245305x133255031334510133121x105123324121004350122x132215350351500414350x105350020330441405050x143340532031151131011x105435335551044312503x150342432511411235130x110052310143012021442x113052253214051335051x110104223011551213512x145013431304005003115x110300450232055120554x102512104030515042320x110310533512454144435x151141551411432144135x110331400433042355035x155211002555111041325x110331453204411430452x110050430034312325103x110441132324545015541x110203505154000102423x111041205130140005432x155141010123130051313x111224421331133150513x111014313201505544450x111335032504001543122x151541101422512551351x111350110011542012454x115032145105351231311x111451125120114205444x155014511325503201240x111544122550352530415x142104111400301501510x111555425500053040421x112412005514330100432x112052330245154241413x123331513511523350201x114134103443545501001x151503123314015501244x114315025431501225352x155213102341503213311x114330505421250321014x111335432141531411451x114410155400314045501x111312005102301514313x114534131131433205445x104412121305512340135x115124514321512121403x105005032014205115024x115151410033302100003x111325100014150155000x115304025452032050343x155020123015322515344x120531242303542521351x143114404242054245003x121025110143331043052x113451514050200030215x121351510422331133152x132145003135111004525x121421412214124342301x112323004440323501513x123111213201435043122x110420051055030010250x125111520552402505432x113315323254033302501x125130535124412005215x142314315521233044515x125324202521205121400x111545125454052520314x125401321450000541445x121251144345110103501x130000341203243440441x111440214020451330554x130111123452553121333x134405112043011001042x130433532335042003000x151215430341005100453x131301413402114540013x145104151045513045510x131311042422230052505x141330154524335313405x131315025313134000154x115140012013215101532x131423205031012354014x124121500532450230111x132514431115023304113x111331353303504504151x133131302024211245034x122001525005110122504x133354405414313321531x113340341211002454140x133422514111241430415x130513314131235331445x133453050132250332205x103140135331152145034x134241113010323214320x153421102001252013504x134255030003411011531x135520005000551050001x135015033235321413310x155020514551121315404x135420101013122111430x125211111411321505002x135553014033305101154x141122313113351015025x140343050302331030405x101443113440134501105x141223011215441421252x155511041112245220550x142331232111004512050x151001304110310141505x143141111330055025311x100133313421511411031x143413144140134542251x134335332120403511020x144022012232451030540x112154101202044543345x144323120420035105535x132151301101511415541x145143112004241105433x113114312152233311034x145533024043504040004x132144021101152255002x150132114434315512245x131120121031145351151x150325104330132501525x114411033313115035511x150331031533250033435x101023205112013414545x150332010511001242413x155313515010100055512x150343155134053125350x141001515120153445514x150421355035202253005x135503151013204345141x150502043423421540135x150305420351543000155x151213035522331520053x120012413001534241250x151342151145021032100x101514152055515100203x151352544515510014312x150551503234521000135x152034200101223112450x113215413303414501505x152050555522251205545x151230104215010155523x152343201123151141443x151043010102342255104x153320343250250305155x131230151155100352121x153432015111435545523x151443255251411330531x154430513101130352042x140503431122020211405x155020531232220454035x110402435531020312455x155111335241111330544x105211114054335042130x12.100001232420432231050x135542010004032251211x100104500341502324001x115011035145502152330x100201220400551001343x101101445315155051321x100344424513312211220x105314452435110044114x100431033214243121351x113450113534212025041x101032224250444130335x150453250550030512351x101041140012113325344x150035020150413151353x101134552053330205040x111051153253441134215x101154421122344050422x124245210144502155113x101223215031141351454x111143125121200330203x101525440340035013342x113324125141543251020x102111554252110155025x155131120351513303555x102340011530450001521x100455135511125411054x102450401250243351332x105114130452434314505x103035111155355503440x115155041311211515212x103314253221013122053x134104514041220311053x103522042215052044404x112341145555151352245x104031355005003040054x155125110024020505020x104502403250313111342x104335111011513420513x104555331043450245305x133255031334510133121x105123324121004350122x132215350351500414350x105350020330441405050x143340532031151131011x105435335551044312503x150342432511411235130x110052310143012021442x113052253214051335051x110104223011551213512x145013431304005003115x110300450232055120554x102512104030515042320x110310533512454144435x151141551411432144135x110331400433042355035x155211002555111041325x110331453204411430452x110050430034312325103x110441132324545015541x110203505154000102423x111041205130140005432x155141010123130051313x111224421331133150513x111014313201505544450x111335032504001543122x151541101422512551351x111350110011542012454x115032145105351231311x111451125120114205444x155014511325503201240x111544122550352530415x142104111400301501510x111555425500053040421x112412005514330100432x112052330245154241413x123331513511523350201x114134103443545501001x151503123314015501244x114315025431501225352x155213102341503213311x114330505421250321014x111335432141531411451x114410155400314045501x111312005102301514313x114534131131433205445x104412121305512340135x115124514321512121403x105005032014205115024x115151410033302100003x111325100014150155000x115304025452032050343x155020123015322515344x120531242303542521351x143114404242054245003x121025110143331043052x113451514050200030215x121351510422331133152x132145003135111004525x121421412214124342301x112323004440323501513x123111213201435043122x110420051055030010250x125111520552402505432x113315323254033302501x125130535124412005215x142314315521233044515x125324202521205121400x111545125454052520314x125401321450000541445x121251144345110103501x130000341203243440441x111440214020451330554x130111123452553121333x134405112043011001042x130433532335042003000x151215430341005100453x131301413402114540013x145104151045513045510x131311042422230052505x141330154524335313405x131315025313134000154x115140012013215101532x131423205031012354014x124121500532450230111x132514431115023304113x111331353303504504151x133131302024211245034x122001525005110122504x133354405414313321531x113340341211002454140x133422514111241430415x130513314131235331445x133453050132250332205x103140135331152145034x134241113010323214320x153421102001252013504x134255030003411011531x135520005000551050001x135015033235321413310x155020514551121315404x135420101013122111430x125211111411321505002x135553014033305101154x141122313113351015025x140343050302331030405x101443113440134501105x141223011215441421252x155511041112245220550x142331232111004512050x151001304110310141505x143141111330055025311x100133313421511411031x143413144140134542251x134335332120403511020x144022012232451030540x112154101202044543345x144323120420035105535x132151301101511415541x145143112004241105433x113114312152233311034x145533024043504040004x132144021101152255002x150132114434315512245x131120121031145351151x150325104330132501525x114411033313115035511x150331031533250033435x101023205112013414545x150332010511001242413x155313515010100055512x150343155134053125350x141001515120153445514x150421355035202253005x135503151013204345141x150502043423421540135x150305420351543000155x151213035522331520053x120012413001534241250x151342151145021032100x101514152055515100203x151352544515510014312x150551503234521000135x152034200101223112450x113215413303414501505x152050555522251205545x151230104215010155523x152343201123151141443x151043010102342255104x153320343250250305155x131230151155100352121x153432015111435545523x151443255251411330531x154430513101130352042x140503431122020211405x155020531232220454035x110402435531020312455x155111335241111330544x105211114054335042130x1ttt2ttt2 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])))