/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 000310341515x122122244542512051x1000335113015x113420252255221211x1004114440430x1002515132332224x1005545123014x1122122020253153x1010114530115x1032132344341322x1010154105533x1353224422222525221x1011441115003x1025421222024222452x1013315005111x123232324522104214x1024051500141x1125122222232233011x1031004033530x13420552224232412x1031555151445x1120225023201244235x1035500154503x11512223204235500x1040041334511x120321033522221242x1040052001555x13042121042004223x1040334054130x1240212110222412x1043403004000x1012522212150222100x1045051300502x114215121142120x1045140334044x15221242133521314x1050115053553x1120201320331232x1050123544132x1124112205222253x1050300304402x1201223222412120232x1050450055543x1222221523425423553x1051113150545x1331212242022504x1053152355444x152135521224424255x1054122145434x110221321333021x1054400441033x14445231212414222x1105415410312x1211322322205200512x1125511004104x1221353215124254x1130053013114x1222223205322424x1131415134334x112124124321212522x1134131033335x1212212252243344x1143441334310x112222420221052140x1145411451123x134034422322225x1155335235425x102201222432334x1203541101314x13124524333215220x1214004234004x145525423213211x1230010020115x1235214452125542x1230103415253x10451214224222251x1233151554010x112405432142242x1235550055054x1502051222252504x1245350515334x122501313524222x1250510330525x13323211225020225x1253410340303x11212502224305345x1300515250054x133211211214530433x1304034111145x124422415044232022x1304100541143x1332224512032534x1305445250030x1101321242512043x1311422050044x125433351325120x1330411030322x135422425131220222x1334320523035x14222012141212121x1334331004220x15221322322332101x1340511155320x1332022252142152251x1341445333035x12412512422421423x1343515414544x112424212323324451x1350044405450x1410434532233213x1351550050503x10235502221011221x1353555031400x152541022222004212x1355334003111x1121203225122420x1355415151422x14244231223143222x1400311035510x125422121052351221x1412541013504x12252454223214213x1414314503033x113241145522132222x1414400344511x11320043322211231x1415141144103x131253332322324131x1424112345545x1222325330013214x1424403455010x1315211420212214x1433533011035x124211420032322x1434555031045x124544423052321223x1435013544200x1422222525022142321x1443350103321x122121225210432213x1450100014404x132522233242512453x1450431400534x1413212242225214040x1501145444130x105214113252252021x1501415054000x152241351222423012x1503111451152x122322221304040524x1504315441405x102212142113345322x1505445540003x1432121020121131232x1505500152003x122502443321444211x1511114400424x1544522243401210x1515120145004x122251215524410123x1515121003444x1252240521213122x1515505355013x1342321233222030x1515552002444x1514244252205335x1515554112545x1555244213221252022x1525510455103x123153221421231x1531510055503x1532242124132041241x1534312544453x140325213322222x1540001455151x12204225322014334x1541455511121x1423350222512021202x1541510345200x1021222203022524010x1543144005045x1225143452302233x1545022251441x1442410222222250x1550003051443x1423224222112151043x1550145443533x1511421251212032x1553001002540x1533141252522525x1554004151553x11245533212331543x12.1000310341515x122122244542512051x1000335113015x113420252255221211x1004114440430x1002515132332224x1005545123014x1122122020253153x1010114530115x1032132344341322x1010154105533x1353224422222525221x1011441115003x1025421222024222452x1013315005111x123232324522104214x1024051500141x1125122222232233011x1031004033530x13420552224232412x1031555151445x1120225023201244235x1035500154503x11512223204235500x1040041334511x120321033522221242x1040052001555x13042121042004223x1040334054130x1240212110222412x1043403004000x1012522212150222100x1045051300502x114215121142120x1045140334044x15221242133521314x1050115053553x1120201320331232x1050123544132x1124112205222253x1050300304402x1201223222412120232x1050450055543x1222221523425423553x1051113150545x1331212242022504x1053152355444x152135521224424255x1054122145434x110221321333021x1054400441033x14445231212414222x1105415410312x1211322322205200512x1125511004104x1221353215124254x1130053013114x1222223205322424x1131415134334x112124124321212522x1134131033335x1212212252243344x1143441334310x112222420221052140x1145411451123x134034422322225x1155335235425x102201222432334x1203541101314x13124524333215220x1214004234004x145525423213211x1230010020115x1235214452125542x1230103415253x10451214224222251x1233151554010x112405432142242x1235550055054x1502051222252504x1245350515334x122501313524222x1250510330525x13323211225020225x1253410340303x11212502224305345x1300515250054x133211211214530433x1304034111145x124422415044232022x1304100541143x1332224512032534x1305445250030x1101321242512043x1311422050044x125433351325120x1330411030322x135422425131220222x1334320523035x14222012141212121x1334331004220x15221322322332101x1340511155320x1332022252142152251x1341445333035x12412512422421423x1343515414544x112424212323324451x1350044405450x1410434532233213x1351550050503x10235502221011221x1353555031400x152541022222004212x1355334003111x1121203225122420x1355415151422x14244231223143222x1400311035510x125422121052351221x1412541013504x12252454223214213x1414314503033x113241145522132222x1414400344511x11320043322211231x1415141144103x131253332322324131x1424112345545x1222325330013214x1424403455010x1315211420212214x1433533011035x124211420032322x1434555031045x124544423052321223x1435013544200x1422222525022142321x1443350103321x122121225210432213x1450100014404x132522233242512453x1450431400534x1413212242225214040x1501145444130x105214113252252021x1501415054000x152241351222423012x1503111451152x122322221304040524x1504315441405x102212142113345322x1505445540003x1432121020121131232x1505500152003x122502443321444211x1511114400424x1544522243401210x1515120145004x122251215524410123x1515121003444x1252240521213122x1515505355013x1342321233222030x1515552002444x1514244252205335x1515554112545x1555244213221252022x1525510455103x123153221421231x1531510055503x1532242124132041241x1534312544453x140325213322222x1540001455151x12204225322014334x1541455511121x1423350222512021202x1541510345200x1021222203022524010x1543144005045x1225143452302233x1545022251441x1442410222222250x1550003051443x1423224222112151043x1550145443533x1511421251212032x1553001002540x1533141252522525x1554004151553x11245533212331543x1ttt2ttt2 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])))