/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 000113344145x102010202333322511x1000343125441x121422522053215251x1000435412510x112222150445214201x1001511210413x1025524332052332223x1004135124115x115531121122203154x1005513431043x10112322325020330x1010430044101x102311010114312211x1013041202524x1322553222102252225x1030023440545x10022022240252525x1030520513555x120042311514514x1031513144410x1555014044252255x1034242513001x121320153435310x1041225004155x1242432520213312x1044500232450x10432212552251422x1045044415255x1222040152222032101x1052513400131x1211111212222451x1054143054055x15031015543323104x1054415405441x15201301423213211x1055430511401x122125342221221311x1103100532404x12133222115250212x1104013045354x152223242240101205x1104105533010x1221022220210402120x1104130553403x120124102500210x1111350350051x140115122235332x1115130440242x1211523222111222051x1120501451441x11451022222322332x1133413041550x11253124245535220x1135110444014x1212022125022505340x1140143453441x122501410010122220x1141105114104x12124223033125522x1144534244012x1422224221523212x1151352234211x12140230453222224x1200052351021x155111514524002x1200423043044x103132113103232215x1210004454251x1504540224302141x1211411411555x122121433242052x1214123423055x122302224522253011x1230001442051x110240052115301x1231510544423x153551404503221x1233412410410x115244401221232222x1234031341015x1343332402225043x1243543105350x1012322425222225222x1244153544014x1031012220121530x1244453514242x1215424240032233212x1244504055103x124531502102520x1250040544435x1524011405432222x1255305125424x133111332210203424x1300045551345x1303245533022252313x1300054142154x1551532023340525x1300441445213x152013223120332x1304133504414x115404341020222x1305401240254x1222552232504115x1314341034422x1115202422233032x1324001241300x12202315223420223x1335300400045x105311203221255x1340143113544x122042322223233522x1344245230041x1232133313321212332x1351352444541x130231501532514503x1353510400544x1314224422112013x1354235031541x10122312023252012x1354413043442x134242310403322343x1402050300044x1400202520314222325x1402130444544x15202224215523154x1405134030421x13221103115010322x1413000341353x11022253253142255x1413514443054x131112123352102121x1414054444145x1111402422041222x1415134134535x1401405312245233322x1420005443054x1202200010255201x1424545114133x122454523323002x1430305330052x1221524543442502x1435504134425x114032115503120145x1440351311300x1420322232151214225x1440511003440x1151222245212220213x1441100351310x1021003501021113x1441310415005x1033312401301225x1441544125355x1414251555214252x1442351541110x1135002212222220121x1444110042133x152404320031155033x1444135101350x1024002245331531442x1445055340342x1223210013212202021x1445134234442x10012111315542433x1450411441351x11531022233123413x1451441435442x1422032203533312330x1454254445055x1215222525050220021x1455443413442x120030313304550x1455450045255x1013142122250222x1500024132250x1203521023215220x1500040341244x1545224511222255322x1500305351202x122101540302222220x1512323103541x122240334212451x1513453515520x154224220115301x1524034413030x1102120422022223203x1525134131531x152250212125502x1534105130015x1215012220414022205x1554030444120x12522450300255010x12.1000113344145x102010202333322511x1000343125441x121422522053215251x1000435412510x112222150445214201x1001511210413x1025524332052332223x1004135124115x115531121122203154x1005513431043x10112322325020330x1010430044101x102311010114312211x1013041202524x1322553222102252225x1030023440545x10022022240252525x1030520513555x120042311514514x1031513144410x1555014044252255x1034242513001x121320153435310x1041225004155x1242432520213312x1044500232450x10432212552251422x1045044415255x1222040152222032101x1052513400131x1211111212222451x1054143054055x15031015543323104x1054415405441x15201301423213211x1055430511401x122125342221221311x1103100532404x12133222115250212x1104013045354x152223242240101205x1104105533010x1221022220210402120x1104130553403x120124102500210x1111350350051x140115122235332x1115130440242x1211523222111222051x1120501451441x11451022222322332x1133413041550x11253124245535220x1135110444014x1212022125022505340x1140143453441x122501410010122220x1141105114104x12124223033125522x1144534244012x1422224221523212x1151352234211x12140230453222224x1200052351021x155111514524002x1200423043044x103132113103232215x1210004454251x1504540224302141x1211411411555x122121433242052x1214123423055x122302224522253011x1230001442051x110240052115301x1231510544423x153551404503221x1233412410410x115244401221232222x1234031341015x1343332402225043x1243543105350x1012322425222225222x1244153544014x1031012220121530x1244453514242x1215424240032233212x1244504055103x124531502102520x1250040544435x1524011405432222x1255305125424x133111332210203424x1300045551345x1303245533022252313x1300054142154x1551532023340525x1300441445213x152013223120332x1304133504414x115404341020222x1305401240254x1222552232504115x1314341034422x1115202422233032x1324001241300x12202315223420223x1335300400045x105311203221255x1340143113544x122042322223233522x1344245230041x1232133313321212332x1351352444541x130231501532514503x1353510400544x1314224422112013x1354235031541x10122312023252012x1354413043442x134242310403322343x1402050300044x1400202520314222325x1402130444544x15202224215523154x1405134030421x13221103115010322x1413000341353x11022253253142255x1413514443054x131112123352102121x1414054444145x1111402422041222x1415134134535x1401405312245233322x1420005443054x1202200010255201x1424545114133x122454523323002x1430305330052x1221524543442502x1435504134425x114032115503120145x1440351311300x1420322232151214225x1440511003440x1151222245212220213x1441100351310x1021003501021113x1441310415005x1033312401301225x1441544125355x1414251555214252x1442351541110x1135002212222220121x1444110042133x152404320031155033x1444135101350x1024002245331531442x1445055340342x1223210013212202021x1445134234442x10012111315542433x1450411441351x11531022233123413x1451441435442x1422032203533312330x1454254445055x1215222525050220021x1455443413442x120030313304550x1455450045255x1013142122250222x1500024132250x1203521023215220x1500040341244x1545224511222255322x1500305351202x122101540302222220x1512323103541x122240334212451x1513453515520x154224220115301x1524034413030x1102120422022223203x1525134131531x152250212125502x1534105130015x1215012220414022205x1554030444120x12522450300255010x1ttt2ttt2 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])))