/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 0012331x10021331x12110310x12011310x1132004140x1132010440x1150233221x1103522321x1252154240x1252514240x1520425452x1520452452x10324322042x15142345105x13043014442x14500210552x100440034542x14153105311x101443111224x13313431100x102341550011x11143435544x103043330534x14340244544x103140022440x15533333200x103305552234x10354434324x104353354004x15250441120x104411120240x12542504030x110055545433x14255101213x110503531220x11510410522x121101314014x13405530305x121140501242x10133010232x121402212420x14322102321x122311440135x13533341524x123541223223x14255212033x124422421200x13054005011x131514234315x11423434545x131542524021x15151554422x131551200204x15552123052x132410121405x12014441235x133014020350x13534301122x133233001302x10302112023x134023203422x15100013414x134203123511x13024335334x135432403011x10503305552x140225014133x11252354301x152104235213x15210401140x155313232053x15045440430x1015015155330x11014405551x1022233221014x15141030032x1120203015035x13342404043x1155544345052x12455311503x1221013215044x14010351220x1222254002045x1222250402045x1224042130023x14424203111x1315354112340x1315354113240x1315451442252x10320141004x1341000422334x1341004022334x1351045404430x10300445150x1352531503113x12505034305x1355425322415x11035501121x1411215223552x1411215225352x1422350001551x10502134012x1431254325435x13040113533x1431304323325x12454010223x1435235330134x15400002415x1453011252014x14553522035x1455025034352x14342241031x10012014240415x12102401001445x10315544422221x10315454422221x10530520305131x10125410105x13555151403355x12034543532x14021552412345x12542304240x14401320351022x14401320315022x14454303053244x14443530053244x103414125035244x103144125035244x1244031153112554x1244031135112554x1251233011034531x1251230311034531x1331243153053430x1331234153053430x1410310414224304x1410310441224304x1455543153302452x13442200012x15101451025110501x15101450125110501x122544214150150022x122544214510150022x125104501130431535x125104501130435135x10153212030125230420x10135212030125230420x11311352210241500022x11311352210245100022x13350022440410425543x13350022444010425543x14013222150450314214x14013221250450314214x101240454125034400231x101240454215034400231x122005323355223045250x122005323352523045250x140114241231031432011x140114241231031342011x1335104211434511010102x1335104211434511011002x12104502232521400221121x12104502235221400221121x131423335542453253541211x131423335524453253541211x155033232525131450250114x155032332525131450250114x1335550212121512200434230x1335550221121512200434230x10310113350344321402351131x11300131305324344102351131x14523202535110111033020340x14523205253101111303020304x144553223301242045203025344x144553223310242045203025344x1041314513341423043450410534x1041314531341423043450410534x10511340423200201420350201523x10511344023200201420350201523x110124021423305100013320002150x110124021423305100013230002150x130002142102500203101311513213x130002142105200203101311513213x130004054320052320224442253221x130004054320052230224442252321x132115512435414355240242242322x132115512435441355240242224322x1053414335344344550502124340110x1053414335344344550052124340110x1251310253104245050214110033241x1251310253014245050214110033241x1435421013251024405044342145521x1434521013251024405044342145521x12.10012331x10021331x12110310x12011310x1132004140x1132010440x1150233221x1103522321x1252154240x1252514240x1520425452x1520452452x10324322042x15142345105x13043014442x14500210552x100440034542x14153105311x101443111224x13313431100x102341550011x11143435544x103043330534x14340244544x103140022440x15533333200x103305552234x10354434324x104353354004x15250441120x104411120240x12542504030x110055545433x14255101213x110503531220x11510410522x121101314014x13405530305x121140501242x10133010232x121402212420x14322102321x122311440135x13533341524x123541223223x14255212033x124422421200x13054005011x131514234315x11423434545x131542524021x15151554422x131551200204x15552123052x132410121405x12014441235x133014020350x13534301122x133233001302x10302112023x134023203422x15100013414x134203123511x13024335334x135432403011x10503305552x140225014133x11252354301x152104235213x15210401140x155313232053x15045440430x1015015155330x11014405551x1022233221014x15141030032x1120203015035x13342404043x1155544345052x12455311503x1221013215044x14010351220x1222254002045x1222250402045x1224042130023x14424203111x1315354112340x1315354113240x1315451442252x10320141004x1341000422334x1341004022334x1351045404430x10300445150x1352531503113x12505034305x1355425322415x11035501121x1411215223552x1411215225352x1422350001551x10502134012x1431254325435x13040113533x1431304323325x12454010223x1435235330134x15400002415x1453011252014x14553522035x1455025034352x14342241031x10012014240415x12102401001445x10315544422221x10315454422221x10530520305131x10125410105x13555151403355x12034543532x14021552412345x12542304240x14401320351022x14401320315022x14454303053244x14443530053244x103414125035244x103144125035244x1244031153112554x1244031135112554x1251233011034531x1251230311034531x1331243153053430x1331234153053430x1410310414224304x1410310441224304x1455543153302452x13442200012x15101451025110501x15101450125110501x122544214150150022x122544214510150022x125104501130431535x125104501130435135x10153212030125230420x10135212030125230420x11311352210241500022x11311352210245100022x13350022440410425543x13350022444010425543x14013222150450314214x14013221250450314214x101240454125034400231x101240454215034400231x122005323355223045250x122005323352523045250x140114241231031432011x140114241231031342011x1335104211434511010102x1335104211434511011002x12104502232521400221121x12104502235221400221121x131423335542453253541211x131423335524453253541211x155033232525131450250114x155032332525131450250114x1335550212121512200434230x1335550221121512200434230x10310113350344321402351131x11300131305324344102351131x14523202535110111033020340x14523205253101111303020304x144553223301242045203025344x144553223310242045203025344x1041314513341423043450410534x1041314531341423043450410534x10511340423200201420350201523x10511344023200201420350201523x110124021423305100013320002150x110124021423305100013230002150x130002142102500203101311513213x130002142105200203101311513213x130004054320052320224442253221x130004054320052230224442252321x132115512435414355240242242322x132115512435441355240242224322x1053414335344344550502124340110x1053414335344344550052124340110x1251310253104245050214110033241x1251310253014245050214110033241x1435421013251024405044342145521x1434521013251024405044342145521x1ttt2ttt2 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])))