/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 000304314520x11023551032233424x1000315051031x1331255124441233x1001143405143x13411255222235042x1001343444030x1255025254421124351x1002103001010x1212434255351003x1004300140135x1515102223345342220x1005400313015x1310555541122245212x1005450500303x125533041421124410x1010013103250x1511403224221251x1010014444210x1552415312224232134x1011344020111x1053222514132422121x1014500513045x1233125412534125535x1020441210433x121243525253441x1024341201445x14251212302222233x1030440044013x1521242240431023253x1034134101431x12223202522215241x1034350044311x142112251204542125x1035401140550x13241051123532122x1040314041455x125122425254104x1043130451500x1351213222203222245x1043531440004x152332435234223320x1045002033555x1242225102442122x1050410105405x15315325310235204x1051500545041x155242550401125555x1053111443014x12024552233505232x1053125134350x15225205525553542x1054210430233x1333232054234123x1054503304054x1542541213342221250x1100010501130x13552125550233102x1101325223412x132120235412222x1104300544105x113223002421253x1114505440500x15441141225021205x1125440043112x152223041542322x1131334443044x125553323050421x1133540445200x1422125333545155x1141043100540x1251513314102002x1143533040040x11532222152510150x1200312430143x11122502115055223x1203145202514x1125320124132535x1210153131035x15352440352212213x1224040055435x12254230122122353x1240444041320x130552202252253x1240454034415x1241152321402255233x1251400540041x1554133112233222355x1310344431341x112244120524154x1334042234300x1123041530225241x1340444303442x1124532221240532001x1344404002314x1252222352132134552x1400322450433x1522521322335522243x1401010033404x144521325120251322x1401141345435x1525232413220514x1401430545104x1211521550324325x1403151314012x1225232355344153522x1403443025411x10535522122325543x1404313343400x153222522104224323x1410003543302x122533523312202533x1410430503230x12332144520152511x1411313243144x1401232223231412532x1411323150400x15055342232225105x1415230154330x1554220532321321351x1420043030445x1205322335350112302x1422041440034x1351234125205332x1432005445440x1412312203520525150x1432144503004x1212533520534252353x1432544414510x12155233123223015x1435450543435x153422022554340155x1440431054400x10455434553511325x1443121430454x1335441230011212x1443431434504x102425132020012x1444035505231x1522220241300153x1444440351020x1125533312302533302x1445035411510x122552322531202x1450010254404x1355024224011221x1452053124021x1425355352243324x1452142030040x1345352521402220x1453005045240x152243223323411220x1454544521005x153555331234522335x1500445033431x1511040220252255112x1501405200000x11011123322553045x1503534210304x12125320212543521x1505040052000x10322354202522134x1510042112142x122223323325522102x1511144031450x14123153520422422x1513030341055x143255255411552x1515003521445x1342325223222123253x1515114524214x1512212311414222225x1530351000054x123312232154151212x1540340023002x1213511125433213x1540404535444x1241552020354231x1543443424320x121230424253415x1544052030042x131240151441254x1544402045434x1520211111042114x1545143130010x15530135202111234x1545550343441x110551221352053541x1550505003034x1342214015121254531x1552210400550x153213112220533255x12.1000304314520x11023551032233424x1000315051031x1331255124441233x1001143405143x13411255222235042x1001343444030x1255025254421124351x1002103001010x1212434255351003x1004300140135x1515102223345342220x1005400313015x1310555541122245212x1005450500303x125533041421124410x1010013103250x1511403224221251x1010014444210x1552415312224232134x1011344020111x1053222514132422121x1014500513045x1233125412534125535x1020441210433x121243525253441x1024341201445x14251212302222233x1030440044013x1521242240431023253x1034134101431x12223202522215241x1034350044311x142112251204542125x1035401140550x13241051123532122x1040314041455x125122425254104x1043130451500x1351213222203222245x1043531440004x152332435234223320x1045002033555x1242225102442122x1050410105405x15315325310235204x1051500545041x155242550401125555x1053111443014x12024552233505232x1053125134350x15225205525553542x1054210430233x1333232054234123x1054503304054x1542541213342221250x1100010501130x13552125550233102x1101325223412x132120235412222x1104300544105x113223002421253x1114505440500x15441141225021205x1125440043112x152223041542322x1131334443044x125553323050421x1133540445200x1422125333545155x1141043100540x1251513314102002x1143533040040x11532222152510150x1200312430143x11122502115055223x1203145202514x1125320124132535x1210153131035x15352440352212213x1224040055435x12254230122122353x1240444041320x130552202252253x1240454034415x1241152321402255233x1251400540041x1554133112233222355x1310344431341x112244120524154x1334042234300x1123041530225241x1340444303442x1124532221240532001x1344404002314x1252222352132134552x1400322450433x1522521322335522243x1401010033404x144521325120251322x1401141345435x1525232413220514x1401430545104x1211521550324325x1403151314012x1225232355344153522x1403443025411x10535522122325543x1404313343400x153222522104224323x1410003543302x122533523312202533x1410430503230x12332144520152511x1411313243144x1401232223231412532x1411323150400x15055342232225105x1415230154330x1554220532321321351x1420043030445x1205322335350112302x1422041440034x1351234125205332x1432005445440x1412312203520525150x1432144503004x1212533520534252353x1432544414510x12155233123223015x1435450543435x153422022554340155x1440431054400x10455434553511325x1443121430454x1335441230011212x1443431434504x102425132020012x1444035505231x1522220241300153x1444440351020x1125533312302533302x1445035411510x122552322531202x1450010254404x1355024224011221x1452053124021x1425355352243324x1452142030040x1345352521402220x1453005045240x152243223323411220x1454544521005x153555331234522335x1500445033431x1511040220252255112x1501405200000x11011123322553045x1503534210304x12125320212543521x1505040052000x10322354202522134x1510042112142x122223323325522102x1511144031450x14123153520422422x1513030341055x143255255411552x1515003521445x1342325223222123253x1515114524214x1512212311414222225x1530351000054x123312232154151212x1540340023002x1213511125433213x1540404535444x1241552020354231x1543443424320x121230424253415x1544052030042x131240151441254x1544402045434x1520211111042114x1545143130010x15530135202111234x1545550343441x110551221352053541x1550505003034x1342214015121254531x1552210400550x153213112220533255x1ttt2ttt2 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])))