/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 0101x100211x10101x1001212x10101x1001331x10101x1002141x10101x1003411x10101x1113400x10151x101135x10151x101351x10151x111350x10151x113501x10151x150113x10151x1011352x10151x1012251x10151x1013351x10151x1013501x10151x1013513x10151x1021135x10151x1031135x10151x1112035x10151x1113350x10151x1113450x10151x1113503x10151x1114450x10151x1121350x10151x1122501x10151x1131350x10151x1143501x10151x1201135x10151x1211350x10151x1401351x10151x1501122x10151x1501133x10151x1501341x10151x1502113x10151x1512021x10301x100123x10301x100213x10301x100341x10301x101340x10301x102013x10301x103401x10301x110340x10301x140013x10301x1001213x10301x1001333x10301x1001343x10301x1001344x10301x1001433x10301x1002113x10301x1002313x10301x1003121x10301x1003123x10301x1003134x10301x1003212x10301x1003321x10301x1003421x10301x1012033x10301x1013440x10301x1020231x10301x1021023x10301x1021033x10301x1021340x10301x1031220x10301x1034104x10301x1034201x10301x1034401x10301x1102340x10301x1103220x10301x1103403x10301x1120340x10301x1134002x10301x1134004x10301x1201340x10301x1210340x10301x1340201x10301x1400133x10301x1400134x10301x1401340x100051x1350001x100301x1134000x100531x1013540x100531x1035014x100531x1113500x100531x1203501x101051x1005121x101051x1015014x101051x1050121x101251x1015421x101251x1112150x101251x1150201x101251x1152401x101251x1251021x101251x1501221x101251x1510213x101251x1531021x101301x1003121x101531x1011350x101531x1041351x101531x1120135x101531x1311350x101531x1350121x101531x1350131x101531x1413501x101531x1501131x101531x1503121x101541x1013541x101541x1501421x103011x1002131x103031x1003321x103031x1400331x103041x1001341x103041x1002134x103041x1013401x103041x1013402x103041x1143400x103041x1340201x103041x1400134x103051x1001235x103051x1013503x103051x1035014x103051x1050313x103051x1135002x103101x1013120x103101x1020113x103101x1113400x103151x1003511x103151x1011353x103151x1013531x103151x1015341x103151x1034115x103151x1101350x103151x1101353x103151x1135140x103151x1140135x103151x1210351x103151x1213501x103151x1435011x103251x1005213x103251x1010352x103251x1013522x103251x1013542x103251x1015233x103251x1020513x103251x1021503x103251x1034251x103251x1045213x103251x1052123x103251x1113520x103251x1130235x103251x1135220x103251x1152013x103251x1201352x103251x1204135x103251x1215034x103251x1251302x103251x1310452x103251x1345201x103251x1354021x103251x1401352x103251x1403521x103251x1412350x103251x1420135x103251x1503123x103251x1520321x103251x1520351x103251x1523021x104151x1011435x104151x1121540x104151x1150421x105101x1001351x105101x1050112x105101x1050113x105101x1050211x105151x1051351x105151x1113505x105151x1515021x105301x1003521x105301x1040351x105301x1103520x105301x1210350x12.10101x100211x10101x1001212x10101x1001331x10101x1002141x10101x1003411x10101x1113400x10151x101135x10151x101351x10151x111350x10151x113501x10151x150113x10151x1011352x10151x1012251x10151x1013351x10151x1013501x10151x1013513x10151x1021135x10151x1031135x10151x1112035x10151x1113350x10151x1113450x10151x1113503x10151x1114450x10151x1121350x10151x1122501x10151x1131350x10151x1143501x10151x1201135x10151x1211350x10151x1401351x10151x1501122x10151x1501133x10151x1501341x10151x1502113x10151x1512021x10301x100123x10301x100213x10301x100341x10301x101340x10301x102013x10301x103401x10301x110340x10301x140013x10301x1001213x10301x1001333x10301x1001343x10301x1001344x10301x1001433x10301x1002113x10301x1002313x10301x1003121x10301x1003123x10301x1003134x10301x1003212x10301x1003321x10301x1003421x10301x1012033x10301x1013440x10301x1020231x10301x1021023x10301x1021033x10301x1021340x10301x1031220x10301x1034104x10301x1034201x10301x1034401x10301x1102340x10301x1103220x10301x1103403x10301x1120340x10301x1134002x10301x1134004x10301x1201340x10301x1210340x10301x1340201x10301x1400133x10301x1400134x10301x1401340x100051x1350001x100301x1134000x100531x1013540x100531x1035014x100531x1113500x100531x1203501x101051x1005121x101051x1015014x101051x1050121x101251x1015421x101251x1112150x101251x1150201x101251x1152401x101251x1251021x101251x1501221x101251x1510213x101251x1531021x101301x1003121x101531x1011350x101531x1041351x101531x1120135x101531x1311350x101531x1350121x101531x1350131x101531x1413501x101531x1501131x101531x1503121x101541x1013541x101541x1501421x103011x1002131x103031x1003321x103031x1400331x103041x1001341x103041x1002134x103041x1013401x103041x1013402x103041x1143400x103041x1340201x103041x1400134x103051x1001235x103051x1013503x103051x1035014x103051x1050313x103051x1135002x103101x1013120x103101x1020113x103101x1113400x103151x1003511x103151x1011353x103151x1013531x103151x1015341x103151x1034115x103151x1101350x103151x1101353x103151x1135140x103151x1140135x103151x1210351x103151x1213501x103151x1435011x103251x1005213x103251x1010352x103251x1013522x103251x1013542x103251x1015233x103251x1020513x103251x1021503x103251x1034251x103251x1045213x103251x1052123x103251x1113520x103251x1130235x103251x1135220x103251x1152013x103251x1201352x103251x1204135x103251x1215034x103251x1251302x103251x1310452x103251x1345201x103251x1354021x103251x1401352x103251x1403521x103251x1412350x103251x1420135x103251x1503123x103251x1520321x103251x1520351x103251x1523021x104151x1011435x104151x1121540x104151x1150421x105101x1001351x105101x1050112x105101x1050113x105101x1050211x105151x1051351x105151x1113505x105151x1515021x105301x1003521x105301x1040351x105301x1103520x105301x1210350x1ttt2ttt2 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])))