/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 012x123031x10002x1300302x10022x1230032x10112x1230311x10121x1012413x10122x1230312x10125x120531x10151x1103531x10152x1241035x10152x1243105x10152x1313052x10155x113055x10212x1223031x10252x122305x11145x154131x11515x1135531x11551x1153153x12012x1223031x12015x121305x15012x1305312x15012x1423051x100001x1001003x100125x1200531x100152x1010352x101045x1540031x101112x1103112x101215x1210531x101352x1304152x101425x1243051x101442x1104442x101501x1011053x101505x1351050x102421x1212430x104021x1304120x105015x1050531x110015x1510031x110145x1144105x114015x1141305x120152x1210352x120421x1214230x120512x1031522x122112x1221312x125152x1241552x150145x1410355x151015x1315105x154021x1413520x155145x1541355x12.1012x11x1012x1031x1012x123031x10002x10302x10002x100302x10022x1032x10022x10032x10022x1230032x10112x11x10112x111x10112x10311x10112x1230311x10121x113x10121x12413x10121x112413x10121x1012413x10122x112x10122x10312x10122x1230312x10125x11x10125x1531x10125x10531x10125x120531x10151x1531x10151x103531x10151x1103531x10152x15x10152x1035x10152x11035x10152x1241035x10152x105x10152x1105x10152x1243105x10152x1052x10152x113052x10155x1055x10155x113055x10212x11x10212x1031x10212x123031x10212x1223031x10252x15x10252x105x10252x12305x10252x122305x11145x11x11145x1131x11145x154131x11515x11x11515x1531x11515x15531x11515x1135531x11551x153x11551x1153x11551x153153x11551x1153153x12012x11x12012x1031x12012x123031x12012x1223031x12015x105x12015x11305x12015x121305x15012x15312x15012x105312x15012x11x15012x151x15012x1051x15012x123051x100001x103x100001x1003x100001x11003x100001x101003x100001x1001003x100125x11x100125x1531x100125x10531x100125x100531x100125x1200531x100152x10352x100152x110352x100152x1010352x101045x11x101045x1031x101045x10031x101045x1540031x101112x103112x101112x1103112x101215x11x101215x1531x101215x10531x101215x110531x101215x1210531x101352x1152x101352x104152x101425x11x101425x151x101425x1051x101425x1243051x101442x104442x101442x1104442x101501x153x101501x1053x101501x11053x101501x111053x101501x1011053x101505x10x101505x150x101505x1050x101505x11050x101505x151050x102421x10x102421x12430x102421x112430x102421x1212430x104021x10x104021x120x104021x1120x104021x104120x105015x11x105015x1531x105015x10531x105015x150531x105015x1050531x110015x11x110015x1031x110015x10031x110015x110031x110015x1510031x110145x105x110145x1105x110145x1144105x114015x105x114015x11305x114015x1141305x120152x10352x120152x110352x120152x1210352x120421x10x120421x1230x120421x114230x120421x1214230x120512x122x120512x1522x120512x11522x120512x1031522x122112x11312x122112x121312x122112x1221312x125152x1552x125152x11552x125152x1241552x150145x155x150145x10355x150145x110355x151015x105x151015x1105x151015x15105x151015x115105x154021x10x154021x120x154021x1520x154021x113520x155145x155x155145x11355x155145x1541355x1true55145x155x154021x1520x154021x120x125152x11552x114015x105x105015x11x110145x1105x110145x105x104021x1120x110015x11x11515x11x11145x11x104021x120x125152x1552x154021x10x104021x10x102421x10x101505x151050x151015x115105x151015x15105x151015x1105x151015x105x101505x11050x101505x1050x101505x150x150145x155x15012x1051x15012x151x15012x11x101505x10x101425x1051x101425x151x101425x11x101352x1152x101215x11x101045x11x100125x11x10252x105x10252x15x10212x11x10155x1055x10152x1052x10152x1105x10152x105x10152x15x10125x11x10122x112x10121x1012413x1012x11x10112x111x10112x11x120512x11522x120512x1522x120512x122x120421x10x12015x105x12012x11x1true12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810951021011001051041031001011021051121111101151141131101111121101505x151050x15012x1051x15012x151x101425x1051x101425x151x10252x105x10252x15x10121x1012413x1012x123031x10002x1300302x10022x1230032x10112x1230311x10121x1012413x10122x1230312x10125x120531x10151x1103531x10152x1241035x10152x1243105x10152x1313052x10155x113055x10212x1223031x10252x122305x11145x154131x11515x1135531x11551x1153153x12012x1223031x12015x121305x15012x1305312x15012x1423051x100001x1001003x100125x1200531x100152x1010352x101045x1540031x101112x1103112x101215x1210531x101352x1304152x101425x1243051x101442x1104442x101501x1011053x101505x1351050x102421x1212430x104021x1304120x105015x1050531x110015x1510031x110145x1144105x114015x1141305x120152x1210352x120421x1214230x120512x1031522x122112x1221312x125152x1241552x150145x1410355x151015x1315105x154021x1413520x155145x1541355x10252x105x1false0252x15x1false560121x1012413x1false01425x1051x1false01425x151x1false01505x151050x1false5012x1051x1false5012x151x1false2012x1031x1false2012x123031x1false2012x1223031x1false2015x11305x1false2015x121305x1false20152x10352x1false20152x110352x1false20152x1210352x1false20421x1230x1false20421x114230x1false20421x1214230x1false20512x1031522x1false22112x11312x1false22112x121312x1false22112x1221312x1false0002x10302x1false0002x100302x1false0022x1032x1false0022x10032x1false0022x1230032x1false0112x10311x1false0112x1230311x1false0121x113x1false0121x12413x1false0121x112413x1false012x1031x1false012x123031x1false0122x10312x1false0122x1230312x1false0125x1531x1false0125x10531x1false0125x120531x1false0151x1531x1false0151x103531x1false0151x1103531x1false0152x1035x1false0152x11035x1false0152x1241035x1false0152x1243105x1false0152x113052x1false0155x113055x1false0212x1031x1false0212x123031x1false0212x1223031x1false0252x12305x1false0252x122305x1false00001x103x1false00001x1003x1false00001x11003x1false00001x101003x1false00001x1001003x1false00125x1531x1false00125x10531x1false00125x100531x1false00125x1200531x1false00152x10352x1false00152x110352x1false00152x1010352x1false01045x1031x1false01045x10031x1false01045x1540031x1false01112x103112x1false01112x1103112x1false01215x1531x1false01215x10531x1false01215x110531x1false01215x1210531x1false01352x104152x1false01425x1243051x1false01442x104442x1false01442x1104442x1false01501x153x1false01501x1053x1false01501x11053x1false01501x111053x1false01501x1011053x1false5012x15312x1false5012x105312x1false5012x123051x1false50145x10355x1false50145x110355x1false02421x12430x1false02421x112430x1false02421x1212430x1false1145x1131x1false1145x154131x1false1515x1531x1false1515x15531x1false1515x1135531x1false1551x153x1false1551x1153x1false1551x153153x1false1551x1153153x1false10015x1031x1false10015x10031x1false10015x110031x1false10015x1510031x1false04021x104120x1false10145x1144105x1false05015x1531x1false05015x10531x1false05015x150531x1false05015x1050531x1false14015x11305x1false14015x1141305x1false25152x1241552x1false54021x113520x1false55145x11355x1false55145x1541355x1falsettt2ttt2 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])))