/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 01023314x101032314x110544103x110514403x1032153504x1203351504x1515440113x1515441013x1531253200x1531523200x11112214522x11112241522x12112123510x10202215210x13411101555x12321212521x14015012541x14200204042x15251454550x15521454550x100051421215x15253340500x100541501103x15502524303x102205113123x12301253040x103254143322x10440100245x105511034323x11142432020x110430400251x12353201403x110545230030x110554230030x111353241152x10331552303x112003503210x14231250122x113322011045x13500324101x114331432354x11150103344x115221051404x10131241255x122020111251x15121305250x124354352411x13230502035x124421233520x13410413011x125225242245x15103032152x125312213024x14132310422x130251451421x10340255113x130324041023x15141232244x130453120303x15415052240x131354303221x11331522403x132352355525x10002403533x133010432555x11032152402x133035420542x14014323314x133505243022x12504212024x134233140415x10352140323x135003244345x13145123500x140020211350x11522202044x143214111411x12141423330x144213355314x10553535153x145031435533x13522533231x145112412454x10003511003x145352330054x14404420551x151201340115x13021405312x155231514033x15054140024x1004240314254x1004240341254x1032135250205x1032135205205x1040230402352x13131540233x1043534341232x13551413152x1102015152020x13544123151x1150124250353x10141331104x1202520120235x14015133545x1342535022422x13444144040x1355022512250x14111313200x1502014231013x13154013454x1521012021420x15110433031x1553201524335x11012320250x1553355531031x13045405112x1554404322410x14125041454x10353034352222x10344021510x10502204324425x10502423024425x13144333234421x13143334442231x123532551023030x123532550123030x1150510252140045x1150501252140045x1225135034511200x1252130534511200x1433534012204504x1433534012240504x1514011012252131x1514011012251231x11011532445332314x11011534245332314x102501020110515412x102501020110551412x103200003512354230x123300010503242530x152032004115451005x152032004151451005x1302334345022433555x1302334345022343555x1325000405430415345x1325000405434015345x13110520100502541423x13101520100502451423x13422503435010135433x13422503435010134533x103321105340132301042x103321105340132300142x1135151544451031540324x1131551544451031540324x1230043430320051000405x1230043430320501000405x1412421214135122435000x1412421214135122430500x15443354520344150134212x15434354520344150134212x13421313043421032322350222x13421313043412032322350222x15421031414454510155145541x15420134141454510155154451x135150115052534114434524503x135150110552534114434524503x1042104123121330111114202455x1024104123121330111114202455x1404142445403033325314345214x1404244103440333135524134254x1515054040502504042212540141x1515054040520504042212540141x1542354015404320213431135505x1542534015404320213431135505x11112121323205324440212314302x11112121323205324440212341302x14125334431343503331521121553x14152334431343503331521121553x113500504123545555024255505450x113050504123545555024255505450x132413140422232322534303233100x132413140422232322534303323100x151241024544443011231304003232x151241024544443011233104003232x154152120314052301411115311042x151212345142104010513135141102x1021124123245145154023410350214x1021124123245145154023413050214x1244054113504025504533550415452x1244054113054025504533550414552x12.101023314x101032314x110544103x110514403x1032153504x1203351504x1515440113x1515441013x1531253200x1531523200x11112214522x11112241522x12112123510x10202215210x13411101555x12321212521x14015012541x14200204042x15251454550x15521454550x100051421215x15253340500x100541501103x15502524303x102205113123x12301253040x103254143322x10440100245x105511034323x11142432020x110430400251x12353201403x110545230030x110554230030x111353241152x10331552303x112003503210x14231250122x113322011045x13500324101x114331432354x11150103344x115221051404x10131241255x122020111251x15121305250x124354352411x13230502035x124421233520x13410413011x125225242245x15103032152x125312213024x14132310422x130251451421x10340255113x130324041023x15141232244x130453120303x15415052240x131354303221x11331522403x132352355525x10002403533x133010432555x11032152402x133035420542x14014323314x133505243022x12504212024x134233140415x10352140323x135003244345x13145123500x140020211350x11522202044x143214111411x12141423330x144213355314x10553535153x145031435533x13522533231x145112412454x10003511003x145352330054x14404420551x151201340115x13021405312x155231514033x15054140024x1004240314254x1004240341254x1032135250205x1032135205205x1040230402352x13131540233x1043534341232x13551413152x1102015152020x13544123151x1150124250353x10141331104x1202520120235x14015133545x1342535022422x13444144040x1355022512250x14111313200x1502014231013x13154013454x1521012021420x15110433031x1553201524335x11012320250x1553355531031x13045405112x1554404322410x14125041454x10353034352222x10344021510x10502204324425x10502423024425x13144333234421x13143334442231x123532551023030x123532550123030x1150510252140045x1150501252140045x1225135034511200x1252130534511200x1433534012204504x1433534012240504x1514011012252131x1514011012251231x11011532445332314x11011534245332314x102501020110515412x102501020110551412x103200003512354230x123300010503242530x152032004115451005x152032004151451005x1302334345022433555x1302334345022343555x1325000405430415345x1325000405434015345x13110520100502541423x13101520100502451423x13422503435010135433x13422503435010134533x103321105340132301042x103321105340132300142x1135151544451031540324x1131551544451031540324x1230043430320051000405x1230043430320501000405x1412421214135122435000x1412421214135122430500x15443354520344150134212x15434354520344150134212x13421313043421032322350222x13421313043412032322350222x15421031414454510155145541x15420134141454510155154451x135150115052534114434524503x135150110552534114434524503x1042104123121330111114202455x1024104123121330111114202455x1404142445403033325314345214x1404244103440333135524134254x1515054040502504042212540141x1515054040520504042212540141x1542354015404320213431135505x1542534015404320213431135505x11112121323205324440212314302x11112121323205324440212341302x14125334431343503331521121553x14152334431343503331521121553x113500504123545555024255505450x113050504123545555024255505450x132413140422232322534303233100x132413140422232322534303323100x151241024544443011231304003232x151241024544443011233104003232x154152120314052301411115311042x151212345142104010513135141102x1021124123245145154023410350214x1021124123245145154023413050214x1244054113504025504533550415452x1244054113054025504533550414552x1ttt2ttt2 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])))