/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0112x1010312x10231x103201x10231x110342x10231x140321x10231x1003214x13011x1034110x13012x1034124x13012x1034412x13021x103210x13021x103214x13021x1034210x101012x1002113x101142x1103142x101231x1103122x101231x1140312x101231x1210321x101531x1031541x102321x1032412x102431x1034120x102431x1100342x103312x1301032x103321x1032314x105231x1032154x105231x1050321x105431x1034145x114012x1214031x130102x1032041x130231x1300312x130251x1032501x130251x1035214x130251x1540321x130451x1500341x133014x1300314x133111x1031311x133112x1132143x133114x1443131x134321x1303241x135021x1032051x135021x1035241x140114x1103441x145321x1031524x150114x1031514x150231x1503210x153011x1031150x153021x1034215x153021x1035124x153112x1312145x153114x1341521x154341x1034415x12.12110x1213010x11320x110230x11320x124301x11320x112304x11320x1412300x11103x1011430x12103x1421430x12103x1214430x11203x101230x11203x141230x11203x1012430x121010x1311200x124110x1241301x113210x1221301x113210x1213041x113210x1123012x113510x1145130x112320x1214230x113420x1021430x113420x1243001x121330x1230103x112330x1413230x113250x1451230x113250x1123050x113450x1541430x121041x1130412x120103x1140230x113203x1213003x115203x1105230x115203x1412530x115203x1123045x115403x1143005x141033x1413003x111133x1113130x121133x1341231x141133x1131344x112343x1142303x112053x1150230x112053x1142530x141104x1144301x112354x1425130x141105x1415130x113205x1012305x111035x1051130x112035x1512430x112035x1421530x121135x1541213x141135x1125143x114345x1514430x12110x113010x12110x1213010x11320x1230x11320x110230x11320x11x11320x14301x11320x124301x11320x14x11320x12304x11320x112304x11320x12300x11320x112300x11320x1412300x11103x1430x11103x11430x11103x111430x12103x1430x12103x11430x12103x121430x12103x1421430x12103x14430x12103x114430x12103x1214430x11203x1230x11203x11230x11203x141230x11203x1430x11203x12430x11203x112430x121010x1200x121010x11200x121010x111200x124110x11x124110x11301x124110x141301x124110x1241301x113210x11x113210x11301x113210x121301x113210x1221301x113210x141x113210x113041x113210x1213041x113210x12x113210x112x113210x123012x113210x1123012x113510x1130x113510x145130x113510x1145130x112320x1230x112320x14230x112320x114230x112320x1214230x113420x1430x113420x11430x113420x121430x113420x11x113420x143001x113420x1243001x121330x1103x121330x1230103x112330x1230x112330x113230x112330x1413230x113250x1230x113250x11230x113250x1451230x113250x123050x113250x1123050x113450x1430x113450x11430x113450x141430x121041x12x121041x112x121041x1412x121041x1130412x120103x1230x120103x140230x120103x1140230x113203x113003x113203x1213003x115203x1230x115203x1105230x115203x12530x115203x112530x115203x1412530x115203x145x115203x123045x115203x1123045x115403x143005x115403x1143005x141033x113003x141033x1413003x111133x1130x111133x113130x111133x1113130x121133x11x121133x1231x121133x11231x121133x141231x141133x14x141133x144x141133x11344x141133x1131344x112343x12303x112343x142303x112343x1142303x112053x1230x112053x1150230x112053x12530x112053x142530x112053x1142530x141104x11x141104x14301x141104x144301x141104x1144301x112354x1130x112354x125130x112354x1425130x141105x1130x141105x115130x141105x1415130x113205x12305x113205x112305x111035x1130x111035x11130x112035x1430x112035x12430x112035x112430x112035x11530x112035x121530x112035x1421530x121135x113x121135x1213x121135x11213x121135x141213x141135x143x141135x1143x141135x125143x141135x1125143x114345x1430x114345x14430x114345x114430x1true41133x144x141104x11x113420x11x113210x112x113210x12x121135x141213x141133x1131344x113210x141x141133x11344x113210x11x11320x14x141133x14x11320x11x121135x11213x121135x1213x121135x113x121133x141231x121133x11x121041x1412x121041x112x121041x12x124110x11x1true12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112241011021151041031001011221041111121151141131101111121113420x11x11320x11x12110x1213010x11320x110230x11320x124301x11320x112304x11320x1412300x11103x1011430x12103x1421430x12103x1214430x11203x101230x11203x141230x11203x1012430x121010x1311200x124110x1241301x113210x1221301x113210x1213041x113210x1123012x113510x1145130x112320x1214230x113420x1021430x113420x1243001x121330x1230103x112330x1413230x113250x1451230x113250x1123050x113450x1541430x121041x1130412x120103x1140230x113203x1213003x115203x1105230x115203x1412530x115203x1123045x115403x1143005x141033x1413003x111133x1113130x121133x1341231x141133x1131344x112343x1142303x112053x1150230x112053x1142530x141104x1144301x112354x1425130x141105x1415130x113205x1012305x111035x1051130x112035x1512430x112035x1421530x121135x1541213x141135x1125143x114345x1514430x113420x11x11true11320x11x11true12110x113010x1false2110x1213010x1false2103x1430x1false2103x11430x1false2103x121430x1false2103x1421430x1false2103x14430x1false2103x114430x1false2103x1214430x1false21010x1200x1false21010x11200x1false21010x111200x1false24110x11301x1false24110x141301x1false24110x1241301x1false21330x1103x1false21330x1230103x1false21041x1130412x1false20103x1230x1false20103x140230x1false20103x1140230x1false21133x1231x1false21133x11231x1false293031323839406465667273741320x1230x1false1320x110230x1false1320x14301x1false1320x124301x1false1320x12304x1false1320x112304x1false1320x12300x1false1320x112300x1false1320x1412300x1false1103x1430x1false1103x11430x1false1103x111430x1false1203x1230x1false1203x11230x1false1203x141230x1false1203x1430x1false1203x12430x1false1203x112430x1false13210x11301x1false13210x121301x1false13210x1221301x1false13210x113041x1false13210x1213041x1false13210x123012x1false13210x1123012x1false13510x1130x1false13510x145130x1false13510x1145130x1false12320x1230x1false12320x14230x1false12320x114230x1false12320x1214230x1false13420x1430x1false13420x11430x1false13420x121430x1false13420x143001x1false13420x1243001x1false12330x1230x1false12330x113230x1false12330x1413230x1false13250x1230x1false13250x11230x1false13250x1451230x1false13250x123050x1false13250x1123050x1false13450x1430x1false13450x11430x1false13450x141430x1false13203x113003x1false13203x1213003x1false15203x1230x1false15203x1105230x1false15203x12530x1false15203x112530x1false15203x1412530x1false15203x145x1false15203x123045x1false15203x1123045x1false15403x143005x1false15403x1143005x1false11133x1130x1false11133x113130x1false11133x1113130x1false12343x12303x1false12343x142303x1false12343x1142303x1false12053x1230x1false12053x1150230x1false12053x12530x1false12053x142530x1false12053x1142530x1false12354x1130x1false12354x125130x1false12354x1425130x1false13205x12305x1false13205x112305x1false11035x1130x1false11035x11130x1false12035x1430x1false12035x12430x1false12035x112430x1false12035x11530x1false12035x121530x1false12035x1421530x1false41104x14301x1false41104x144301x1false41104x1144301x1false41105x1130x1false41105x115130x1false41105x1415130x1false41135x125143x1false41135x1125143x1false41135x1143x1false12314345x1430x1false14345x14430x1false14345x114430x1false41135x143x1false41033x113003x1false41033x1413003x1falsettt2ttt2 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])))