/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 0120130x10121030x140215310x140125310x1354352220x1345352220x12114202133x15440533245x13455241501x13421550451x100225312525x15455352132x100450153020x13024012333x100531445550x11211222035x101431020013x14235245043x101513350535x15333200225x102225445454x15543315104x102302122324x14550342511x103411110332x12255333002x110232422423x12525324323x110445542225x11040332021x111153034021x12345153532x112505140031x11152510005x112523240440x12414104002x113533541552x12541541443x114050121330x13303402321x120045205531x12233230430x121154102542x13343143341x121305051432x103053411252x122302501430x13040442531x122433502001x10341040005x122444420235x10435535434x123400032534x14324040410x124045140313x10052214011x124444430021x15041524554x124545215430x12003314550x130255135241x13031453043x130503001133x13344145351x130510055253x15504411032x131504221522x15451145512x133543551221x11214355252x135100123325x12442424035x140334320145x14253052123x140421225502x14120253011x140553434250x11542044215x141042325523x10302015011x141525143305x15340153554x143400522242x15532155304x144521141502x10525532344x145001010031x13535534134x145033252105x14213041415x145152454430x12022201534x145312403322x15503400454x150354552243x11022044255x150455405500x15404451053x151332345012x14320135501x152300510332x11120252141x153204210323x10002143353x1153430035404x10130502224x1215513200201x1203102210551x1432312402534x12231153451x1504434101444x15102543251x1543431413500x1544303311054x14013435245532x14013342455352x1144015224413024x1144015224143024x1225253102055525x1225253102505525x1305211154334354x1302511154343354x1413551304453554x1413515304453554x13001510405432135x13001510405423135x13124041334013141x13124014334013141x14134411242125155x11443411242125155x14224100414405205x14224100414402505x132432212021440310x132432221021440310x1204024435533140321x1200424435533140321x1405215020055000501x1405215002055000501x1542410551033155342x1542415051033155342x11444405231125434503x11444504213125434503x13115355355130352042x13115355355310352042x15421225415244121215x15421224515244121215x112023100532231554342x112203100532231554342x120415245533412300145x120451245533412300145x1025411410550013524143x1015424515010035414132x1205115151242235333513x1205115151422235333513x11345553514311332441315x11345553154311332441315x11403010430242434410520x11403010430242344410520x12353240101213353524225x12353420101213353524225x15254051523533102503314x15425051532533102503314x102114451130525203410031x114205312410200101535341x1120130105420315111023551x1120130105420315111025351x1442325251321201301321534x1442325251322101301321534x1502432514502432032521144x1503242514502432032521144x15525312424531252034344245x15525312424531252033444245x134030153500140430030154244x134030155300140430030154244x154342313204252422544110102x154432312304254222454110102x1350325502205554550542554200x1350325502205554550545254200x10334502023351032300354252534x10334502023351032030354252534x10455533133424225225504445252x10455533133424222525504445252x141054333500251533320512031411x141053433500251533320512031411x1000051112323123403214325215552x1000051112323123403124325215552x1033310301334124424134411013114x1033310301334124421434411013114x12.10120130x10121030x140215310x140125310x1354352220x1345352220x12114202133x15440533245x13455241501x13421550451x100225312525x15455352132x100450153020x13024012333x100531445550x11211222035x101431020013x14235245043x101513350535x15333200225x102225445454x15543315104x102302122324x14550342511x103411110332x12255333002x110232422423x12525324323x110445542225x11040332021x111153034021x12345153532x112505140031x11152510005x112523240440x12414104002x113533541552x12541541443x114050121330x13303402321x120045205531x12233230430x121154102542x13343143341x121305051432x103053411252x122302501430x13040442531x122433502001x10341040005x122444420235x10435535434x123400032534x14324040410x124045140313x10052214011x124444430021x15041524554x124545215430x12003314550x130255135241x13031453043x130503001133x13344145351x130510055253x15504411032x131504221522x15451145512x133543551221x11214355252x135100123325x12442424035x140334320145x14253052123x140421225502x14120253011x140553434250x11542044215x141042325523x10302015011x141525143305x15340153554x143400522242x15532155304x144521141502x10525532344x145001010031x13535534134x145033252105x14213041415x145152454430x12022201534x145312403322x15503400454x150354552243x11022044255x150455405500x15404451053x151332345012x14320135501x152300510332x11120252141x153204210323x10002143353x1153430035404x10130502224x1215513200201x1203102210551x1432312402534x12231153451x1504434101444x15102543251x1543431413500x1544303311054x14013435245532x14013342455352x1144015224413024x1144015224143024x1225253102055525x1225253102505525x1305211154334354x1302511154343354x1413551304453554x1413515304453554x13001510405432135x13001510405423135x13124041334013141x13124014334013141x14134411242125155x11443411242125155x14224100414405205x14224100414402505x132432212021440310x132432221021440310x1204024435533140321x1200424435533140321x1405215020055000501x1405215002055000501x1542410551033155342x1542415051033155342x11444405231125434503x11444504213125434503x13115355355130352042x13115355355310352042x15421225415244121215x15421224515244121215x112023100532231554342x112203100532231554342x120415245533412300145x120451245533412300145x1025411410550013524143x1015424515010035414132x1205115151242235333513x1205115151422235333513x11345553514311332441315x11345553154311332441315x11403010430242434410520x11403010430242344410520x12353240101213353524225x12353420101213353524225x15254051523533102503314x15425051532533102503314x102114451130525203410031x114205312410200101535341x1120130105420315111023551x1120130105420315111025351x1442325251321201301321534x1442325251322101301321534x1502432514502432032521144x1503242514502432032521144x15525312424531252034344245x15525312424531252033444245x134030153500140430030154244x134030155300140430030154244x154342313204252422544110102x154432312304254222454110102x1350325502205554550542554200x1350325502205554550545254200x10334502023351032300354252534x10334502023351032030354252534x10455533133424225225504445252x10455533133424222525504445252x141054333500251533320512031411x141053433500251533320512031411x1000051112323123403214325215552x1000051112323123403124325215552x1033310301334124424134411013114x1033310301334124421434411013114x1ttt2ttt2 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])))