/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 0010x100021x10010x103100x10010x1000311x10010x1031030x10010x1040031x10105x1403105x10120x1000312x10120x1040312x10125x102531x10125x103125x10125x1215403x10125x1251403x10125x1502431x10130x105031x10130x110403x10130x114003x10130x114030x10130x131003x10130x140310x10130x150031x10130x1003103x10130x1005031x10130x1040311x10130x1114003x10130x1114030x10130x1140043x10130x1140330x10130x1140430x10130x1210403x10130x1310030x10130x1310031x10130x1314003x10130x1400331x10130x1403103x10130x1500031x10145x131045x10145x140315x10145x143150x10145x1240351x10145x1403115x10145x1433105x10145x1435100x10145x1531403x10145x1540031x10145x1540310x10145x1540315x10145x1543103x10150x105031x11010x110031x11010x113100x11010x1103104x11010x1510031x11410x114310x11410x143110x11410x1140310x11410x1140311x11410x1143105x11410x1143110x11410x1403011x11410x1431103x11410x1431130x15010x150310x15010x1310035x15010x1540310x15410x103145x15410x103154x15410x104521x15410x104531x15410x131405x15410x140351x15410x140531x15410x145031x15410x150431x15410x151403x15410x151430x15410x1005431x15410x1031045x15410x1040531x15410x1043135x15410x1043145x15410x1043510x15410x1044315x15410x1045215x15410x1351043x15410x1403051x15410x1405031x15410x1431502x15410x1431520x15410x1435031x15410x1435130x15410x1514330x15410x1540313x15410x1540331x15410x1543130x15410x1544031x15410x1554031x100125x1030215x100130x1014030x100130x1050310x100150x1050021x101010x1211000x101205x1002531x101205x1450021x101210x1210310x101230x1031220x101230x1230031x101230x1300521x101245x1504221x101320x1005312x101320x1310320x101330x1140033x101330x1314030x101345x1053104x101350x1510430x101420x1310042x101425x1025143x101425x1251403x101450x1040351x101525x1510225x101530x1020531x101530x1035130x105120x1500312x105410x1400451x105410x1403105x110100x1100310x110101x1100311x110130x1003110x110145x1140521x110145x1143150x110230x1021130x111530x1543110x113425x1152443x114100x1100314x114105x1115403x114125x1215143x114130x1131040x114130x1131400x114130x1143103x114145x1443151x114150x1105143x114150x1151430x114230x1103124x114230x1104325x114230x1241103x114410x1143140x114515x1143515x115330x1153130x115410x1140215x150101x1003151x150120x1031052x150130x1000315x150130x1310035x150130x1351040x151120x1103152x151230x1043152x151245x1510452x151410x1143051x151410x1435110x151501x1151035x153320x1250313x153325x1253513x153325x1255433x153420x1240352x154100x1450031x154100x1504031x154105x1402155x154120x1042152x154120x1402105x154120x1405210x154120x1452103x154125x1243155x154130x1031045x154130x1353104x154130x1403514x154130x1431035x154130x1431055x154130x1434510x154130x1435130x154130x1503431x154130x1514031x154130x1543021x154230x1043251x154230x1325403x154230x1420503x154230x1450223x154230x1540323x154230x1540332x154410x1144350x154510x1403155x155010x1503150x155410x1431505x12.10010x100021x10010x103100x10010x1000311x10010x1031030x10010x1040031x10105x1403105x10120x1000312x10120x1040312x10125x102531x10125x103125x10125x1215403x10125x1251403x10125x1502431x10130x105031x10130x110403x10130x114003x10130x114030x10130x131003x10130x140310x10130x150031x10130x1003103x10130x1005031x10130x1040311x10130x1114003x10130x1114030x10130x1140043x10130x1140330x10130x1140430x10130x1210403x10130x1310030x10130x1310031x10130x1314003x10130x1400331x10130x1403103x10130x1500031x10145x131045x10145x140315x10145x143150x10145x1240351x10145x1403115x10145x1433105x10145x1435100x10145x1531403x10145x1540031x10145x1540310x10145x1540315x10145x1543103x10150x105031x11010x110031x11010x113100x11010x1103104x11010x1510031x11410x114310x11410x143110x11410x1140310x11410x1140311x11410x1143105x11410x1143110x11410x1403011x11410x1431103x11410x1431130x15010x150310x15010x1310035x15010x1540310x15410x103145x15410x103154x15410x104521x15410x104531x15410x131405x15410x140351x15410x140531x15410x145031x15410x150431x15410x151403x15410x151430x15410x1005431x15410x1031045x15410x1040531x15410x1043135x15410x1043145x15410x1043510x15410x1044315x15410x1045215x15410x1351043x15410x1403051x15410x1405031x15410x1431502x15410x1431520x15410x1435031x15410x1435130x15410x1514330x15410x1540313x15410x1540331x15410x1543130x15410x1544031x15410x1554031x100125x1030215x100130x1014030x100130x1050310x100150x1050021x101010x1211000x101205x1002531x101205x1450021x101210x1210310x101230x1031220x101230x1230031x101230x1300521x101245x1504221x101320x1005312x101320x1310320x101330x1140033x101330x1314030x101345x1053104x101350x1510430x101420x1310042x101425x1025143x101425x1251403x101450x1040351x101525x1510225x101530x1020531x101530x1035130x105120x1500312x105410x1400451x105410x1403105x110100x1100310x110101x1100311x110130x1003110x110145x1140521x110145x1143150x110230x1021130x111530x1543110x113425x1152443x114100x1100314x114105x1115403x114125x1215143x114130x1131040x114130x1131400x114130x1143103x114145x1443151x114150x1105143x114150x1151430x114230x1103124x114230x1104325x114230x1241103x114410x1143140x114515x1143515x115330x1153130x115410x1140215x150101x1003151x150120x1031052x150130x1000315x150130x1310035x150130x1351040x151120x1103152x151230x1043152x151245x1510452x151410x1143051x151410x1435110x151501x1151035x153320x1250313x153325x1253513x153325x1255433x153420x1240352x154100x1450031x154100x1504031x154105x1402155x154120x1042152x154120x1402105x154120x1405210x154120x1452103x154125x1243155x154130x1031045x154130x1353104x154130x1403514x154130x1431035x154130x1431055x154130x1434510x154130x1435130x154130x1503431x154130x1514031x154130x1543021x154230x1043251x154230x1325403x154230x1420503x154230x1450223x154230x1540323x154230x1540332x154410x1144350x154510x1403155x155010x1503150x155410x1431505x1ttt2ttt2 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])))