/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 012235422341x1032500104210410x1022424353334x145140110025254321x1023444020240x1411400205241135x1023541035341x105210052555141511x1023544335324x1111120113003211x1032253453022x1111530521102324x1033134012350x10110414523511200x1035522120310x14150200115133105x1052210354204x111522003411541x1120015234452x142152500410020x1120032543332x102204132541541x1122222253433x1504142111153154512x1124440010043x152400152113205x1125033033023x11502451130144221x1125244444404x1543113101044413x1134344535344x1030132001425000350x1145105334445x15011010004010414x1201204443540x1110010411521150315x1202001443402x1241114251325455x1202240532210x11151003013510414x1202435325341x12152011425141132x1202544430320x1114201011142043240x1203043430350x1201454420410240115x1203344320243x1252413021053010x1205224403443x1101115450155315405x1222025430552x1032111314502521x1222124334304x1021542110131300121x1222524353502x14204254145131111x1223345422235x123144230551045411x1223523003433x1232111513115413212x1223553444452x120025100413210310x1224301244444x1431441211142552x1225345231335x1211141335421413x1232440543325x1201442230132111050x1233235003221x131420511131323x1233353345302x11454503211424035x1234221522423x11215014101510113x1234325344534x123045051501015034x1234353314052x10243250101412521x1234401203121x114113511041112200x1242530425345x1233041151405051x1243353522454x110453104024404111x1243355044430x131110550044121151x1243434423555x130441110100242132x1243441341323x155421101304311103x1244512533323x121314110104551304x1245343403553x140011015412521553x1250421253413x12114115424215014x1251505343041x130113111205014x1254542225330x111233551312521x1255241331343x15201551302151111x1303134044245x12211525141242115x1303403322443x1410555152111301x1305103333321x1310550411354514x1320532344434x1045451001103111051x1331554333155x100004101442155x1333020421340x14040550111400501x1333244503220x132130053114521x1333450522003x14011115221531003x1334501334455x1140101000154541021x1343253230134x1141501551311502x1343343005331x104111154212001510x1343435340350x133104350251022424x1353334202224x120001115211510x1353344121035x11523150231431411x1353534201244x102131100212014334x1402222455452x154545454142424x1402534405443x142131151102041254x1411055343431x10151555214111022x1430354552454x1150100201502220101x1433333444303x1452302433524113x1434312210531x1413225130411031x1434343252301x141110250440215x1434444452202x104444050411431x1443050442530x1442013510111510113x1444103031253x110153250510400x1444224522125x143101050304110141x1444340202352x1115311453050411x1452434012215x1451045020224135x1501450532302x11113110140555021x1505223024532x151122551515121x1522334032521x11045021421312011x1533013514403x1511521301001043x1533043342434x114251305520150241x1534130343512x1451302020122523x1534303051540x1132142154125551005x1534435500034x153211402010440103x1535332451243x1354212510042143x1542230523542x1415325401135212x1542442203305x120511515242212x1542524445524x1550531510021411x1544013535455x140132101341112x1544435524502x1511423502155022x1553024433335x1301311042051520311x1553335003424x1110014152514501214x1553444243152x1132110120111020442x12.1012235422341x1032500104210410x1022424353334x145140110025254321x1023444020240x1411400205241135x1023541035341x105210052555141511x1023544335324x1111120113003211x1032253453022x1111530521102324x1033134012350x10110414523511200x1035522120310x14150200115133105x1052210354204x111522003411541x1120015234452x142152500410020x1120032543332x102204132541541x1122222253433x1504142111153154512x1124440010043x152400152113205x1125033033023x11502451130144221x1125244444404x1543113101044413x1134344535344x1030132001425000350x1145105334445x15011010004010414x1201204443540x1110010411521150315x1202001443402x1241114251325455x1202240532210x11151003013510414x1202435325341x12152011425141132x1202544430320x1114201011142043240x1203043430350x1201454420410240115x1203344320243x1252413021053010x1205224403443x1101115450155315405x1222025430552x1032111314502521x1222124334304x1021542110131300121x1222524353502x14204254145131111x1223345422235x123144230551045411x1223523003433x1232111513115413212x1223553444452x120025100413210310x1224301244444x1431441211142552x1225345231335x1211141335421413x1232440543325x1201442230132111050x1233235003221x131420511131323x1233353345302x11454503211424035x1234221522423x11215014101510113x1234325344534x123045051501015034x1234353314052x10243250101412521x1234401203121x114113511041112200x1242530425345x1233041151405051x1243353522454x110453104024404111x1243355044430x131110550044121151x1243434423555x130441110100242132x1243441341323x155421101304311103x1244512533323x121314110104551304x1245343403553x140011015412521553x1250421253413x12114115424215014x1251505343041x130113111205014x1254542225330x111233551312521x1255241331343x15201551302151111x1303134044245x12211525141242115x1303403322443x1410555152111301x1305103333321x1310550411354514x1320532344434x1045451001103111051x1331554333155x100004101442155x1333020421340x14040550111400501x1333244503220x132130053114521x1333450522003x14011115221531003x1334501334455x1140101000154541021x1343253230134x1141501551311502x1343343005331x104111154212001510x1343435340350x133104350251022424x1353334202224x120001115211510x1353344121035x11523150231431411x1353534201244x102131100212014334x1402222455452x154545454142424x1402534405443x142131151102041254x1411055343431x10151555214111022x1430354552454x1150100201502220101x1433333444303x1452302433524113x1434312210531x1413225130411031x1434343252301x141110250440215x1434444452202x104444050411431x1443050442530x1442013510111510113x1444103031253x110153250510400x1444224522125x143101050304110141x1444340202352x1115311453050411x1452434012215x1451045020224135x1501450532302x11113110140555021x1505223024532x151122551515121x1522334032521x11045021421312011x1533013514403x1511521301001043x1533043342434x114251305520150241x1534130343512x1451302020122523x1534303051540x1132142154125551005x1534435500034x153211402010440103x1535332451243x1354212510042143x1542230523542x1415325401135212x1542442203305x120511515242212x1542524445524x1550531510021411x1544013535455x140132101341112x1544435524502x1511423502155022x1553024433335x1301311042051520311x1553335003424x1110014152514501214x1553444243152x1132110120111020442x1ttt2ttt2 1.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))