/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 0010232450342011x10024333033413350x10325413541432101x10024333033413350x10341454143554023x10024333033413350x10341454143554023x10355325201332114x10355325201332114x10024333033413350x10431130231551454x10024333033413350x10550315355405551x10010232450342011x10550315355405551x10024333033413350x10550315355405551x10325413541432101x10550315355405551x10341454143554023x10550315355405551x10355325201332114x10550315355405551x10431130231551454x10550315355405551x11430301234513551x10550315355405551x13200235033303033x10550315355405551x13331413341230100x10550315355405551x13504033400344551x10550315355405551x14051150332153341x10550315355405551x14201035135225041x10555320500304555x10010232450342011x10555320500304555x10024333033413350x10555320500304555x10325413541432101x10555320500304555x10341454143554023x10555320500304555x10355325201332114x10555320500304555x10431130231551454x10555320500304555x11334521444020424x10555320500304555x11530350550133354x10555320500304555x12453431321210444x10555320500304555x12530343003412444x10555320500304555x13200235033303033x10555320500304555x13331413341230100x10555320500304555x14051150332153341x10555320500304555x14132450243404400x10555320500304555x15154101320330435x10555320500304555x15543324304451235x11032200250320353x10024333033413350x11032200250320353x11530350550133354x11032200250320353x11553300341205043x11032200250320353x13200235033303033x11045502152442015x10024333033413350x11045502152442015x10355325201332114x11045502152442015x11032200250320353x11045502152442015x11154534403340524x11045502152442015x11334521444020424x11045502152442015x11345504151205344x11045502152442015x11530350550133354x11045502152442015x11553300341205043x11045502152442015x13200235033303033x11045502152442015x13331413341230100x11045502152442015x13414313421405232x11045502152442015x15134421013323254x11045502152442015x15154101320330435x11045502152442015x15543324304451235x11053053241003042x10024333033413350x11053053241003042x11250104521302232x11053053241003042x13202124502410352x11053053241003042x13331413341230100x11053053241003042x13414313421405232x11053053241003042x15154101320330435x11142055204404040x10024333033413350x11142055204404040x10355325201332114x11142055204404040x11154534403340524x11142055204404040x11334521444020424x11142055204404040x11530350550133354x11142055204404040x11553300341205043x11142055204404040x13200235033303033x11142055204404040x13331413341230100x11154534403340524x11334521444020424x11154534403340524x11530350550133354x11250104521302232x10024333033413350x11250104521302232x13202124502410352x11250104521302232x13331413341230100x11250104521302232x13414313421405232x11250104521302232x15154101320330435x11345504151205344x10024333033413350x11345504151205344x10355325201332114x11345504151205344x11334521444020424x11345504151205344x11530350550133354x11345504151205344x11553300341205043x11345504151205344x13200235033303033x11355255500104022x10024333033413350x11355255500104022x10355325201332114x11355255500104022x11053053241003042x11355255500104022x11250104521302232x11355255500104022x11334521444020424x11355255500104022x11521500142252435x11355255500104022x11530350550133354x11355255500104022x11553300341205043x11355255500104022x13045532212314542x11355255500104022x13200235033303033x11355255500104022x13202124502410352x11355255500104022x13331413341230100x11355255500104022x13414313421405232x11355255500104022x15002034225144522x11355255500104022x15154101320330435x11355255500104022x15543324304451235x11401245302342214x10024333033413350x11401245302342214x11334521444020424x11401245302342214x11530350550133354x11401245302342214x11553300341205043x11401245302342214x13200235033303033x11430301234513551x10024333033413350x11521500142252435x10024333033413350x11521500142252435x11334521444020424x11521500142252435x11530350550133354x11521500142252435x13200235033303033x11521500142252435x13331413341230100x11521500142252435x15154101320330435x11521500142252435x15543324304451235x11553300341205043x11530350550133354x11553300341205043x13200235033303033x12530343003412444x10024333033413350x12530343003412444x11530350550133354x12530343003412444x12453431321210444x12530343003412444x13200235033303033x12551332005531410x10024333033413350x12551332005531410x13200235033303033x12551332005531410x13331413341230100x12551332005531410x14051150332153341x13003054501215115x10024333033413350x13003054501215115x13200235033303033x13003054501215115x13331413341230100x13003054501215115x13414313421405232x13003054501215115x15134421013323254x13003054501215115x15154101320330435x13040234312421014x13200235033303033x13045532212314542x10024333033413350x13045532212314542x13331413341230100x13045532212314542x13414313421405232x13045532212314542x15154101320330435x13202124502410352x13414313421405232x13402022250455250x10024333033413350x13402022250455250x11334521444020424x13402022250455250x11530350550133354x13402022250455250x13040234312421014x13402022250455250x13200235033303033x13402022250455250x13331413341230100x13402022250455250x13504033400344551x13402022250455250x15134421013323254x13402022250455250x15154101320330435x13504033400344551x13331413341230100x14025242425140101x10024333033413350x14025242425140101x10325413541432101x14025242425140101x14051150332153341x14025242425140101x14201035135225041x14130552554130254x10024333033413350x14130552554130254x10355325201332114x14130552554130254x10431130231551454x14130552554130254x11032200250320353x14130552554130254x11154534403340524x14130552554130254x11334521444020424x14130552554130254x11345504151205344x14130552554130254x11401245302342214x14130552554130254x11530350550133354x14130552554130254x11553300341205043x14130552554130254x12453431321210444x14130552554130254x12530343003412444x14130552554130254x13200235033303033x14130552554130254x13331413341230100x14130552554130254x14051150332153341x14130552554130254x14130141102131243x14130552554130254x14132450243404400x14130552554130254x15134421013323254x14132450243404400x10024333033413350x14201035135225041x14051150332153341x15002034225144522x13331413341230100x15002034225144522x13414313421405232x15002034225144522x15154101320330435x15002034225144522x15543324304451235x15134421013323254x13200235033303033x15401105424314543x13200235033303033x15401105424314543x15134421013323254x15401105424314543x15154101320330435x15513142053555415x10024333033413350x15513142053555415x13200235033303033x15513142053555415x13331413341230100x15513142053555415x13414313421405232x15513142053555415x15134421013323254x15513142053555415x15154101320330435x15513142053555415x15543324304451235x15543324304451235x15154101320330435x12.10010232450342011x10024333033413350x10325413541432101x10024333033413350x10341454143554023x10024333033413350x10341454143554023x10355325201332114x10355325201332114x10024333033413350x10431130231551454x10024333033413350x10550315355405551x10010232450342011x10550315355405551x10024333033413350x10550315355405551x10325413541432101x10550315355405551x10341454143554023x10550315355405551x10355325201332114x10550315355405551x10431130231551454x10550315355405551x11430301234513551x10550315355405551x13200235033303033x10550315355405551x13331413341230100x10550315355405551x13504033400344551x10550315355405551x14051150332153341x10550315355405551x14201035135225041x10555320500304555x10010232450342011x10555320500304555x10024333033413350x10555320500304555x10325413541432101x10555320500304555x10341454143554023x10555320500304555x10355325201332114x10555320500304555x10431130231551454x10555320500304555x11334521444020424x10555320500304555x11530350550133354x10555320500304555x12453431321210444x10555320500304555x12530343003412444x10555320500304555x13200235033303033x10555320500304555x13331413341230100x10555320500304555x14051150332153341x10555320500304555x14132450243404400x10555320500304555x15154101320330435x10555320500304555x15543324304451235x11032200250320353x10024333033413350x11032200250320353x11530350550133354x11032200250320353x11553300341205043x11032200250320353x13200235033303033x11045502152442015x10024333033413350x11045502152442015x10355325201332114x11045502152442015x11032200250320353x11045502152442015x11154534403340524x11045502152442015x11334521444020424x11045502152442015x11345504151205344x11045502152442015x11530350550133354x11045502152442015x11553300341205043x11045502152442015x13200235033303033x11045502152442015x13331413341230100x11045502152442015x13414313421405232x11045502152442015x15134421013323254x11045502152442015x15154101320330435x11045502152442015x15543324304451235x11053053241003042x10024333033413350x11053053241003042x11250104521302232x11053053241003042x13202124502410352x11053053241003042x13331413341230100x11053053241003042x13414313421405232x11053053241003042x15154101320330435x11142055204404040x10024333033413350x11142055204404040x10355325201332114x11142055204404040x11154534403340524x11142055204404040x11334521444020424x11142055204404040x11530350550133354x11142055204404040x11553300341205043x11142055204404040x13200235033303033x11142055204404040x13331413341230100x11154534403340524x11334521444020424x11154534403340524x11530350550133354x11250104521302232x10024333033413350x11250104521302232x13202124502410352x11250104521302232x13331413341230100x11250104521302232x13414313421405232x11250104521302232x15154101320330435x11345504151205344x10024333033413350x11345504151205344x10355325201332114x11345504151205344x11334521444020424x11345504151205344x11530350550133354x11345504151205344x11553300341205043x11345504151205344x13200235033303033x11355255500104022x10024333033413350x11355255500104022x10355325201332114x11355255500104022x11053053241003042x11355255500104022x11250104521302232x11355255500104022x11334521444020424x11355255500104022x11521500142252435x11355255500104022x11530350550133354x11355255500104022x11553300341205043x11355255500104022x13045532212314542x11355255500104022x13200235033303033x11355255500104022x13202124502410352x11355255500104022x13331413341230100x11355255500104022x13414313421405232x11355255500104022x15002034225144522x11355255500104022x15154101320330435x11355255500104022x15543324304451235x11401245302342214x10024333033413350x11401245302342214x11334521444020424x11401245302342214x11530350550133354x11401245302342214x11553300341205043x11401245302342214x13200235033303033x11430301234513551x10024333033413350x11521500142252435x10024333033413350x11521500142252435x11334521444020424x11521500142252435x11530350550133354x11521500142252435x13200235033303033x11521500142252435x13331413341230100x11521500142252435x15154101320330435x11521500142252435x15543324304451235x11553300341205043x11530350550133354x11553300341205043x13200235033303033x12530343003412444x10024333033413350x12530343003412444x11530350550133354x12530343003412444x12453431321210444x12530343003412444x13200235033303033x12551332005531410x10024333033413350x12551332005531410x13200235033303033x12551332005531410x13331413341230100x12551332005531410x14051150332153341x13003054501215115x10024333033413350x13003054501215115x13200235033303033x13003054501215115x13331413341230100x13003054501215115x13414313421405232x13003054501215115x15134421013323254x13003054501215115x15154101320330435x13040234312421014x13200235033303033x13045532212314542x10024333033413350x13045532212314542x13331413341230100x13045532212314542x13414313421405232x13045532212314542x15154101320330435x13202124502410352x13414313421405232x13402022250455250x10024333033413350x13402022250455250x11334521444020424x13402022250455250x11530350550133354x13402022250455250x13040234312421014x13402022250455250x13200235033303033x13402022250455250x13331413341230100x13402022250455250x13504033400344551x13402022250455250x15134421013323254x13402022250455250x15154101320330435x13504033400344551x13331413341230100x14025242425140101x10024333033413350x14025242425140101x10325413541432101x14025242425140101x14051150332153341x14025242425140101x14201035135225041x14130552554130254x10024333033413350x14130552554130254x10355325201332114x14130552554130254x10431130231551454x14130552554130254x11032200250320353x14130552554130254x11154534403340524x14130552554130254x11334521444020424x14130552554130254x11345504151205344x14130552554130254x11401245302342214x14130552554130254x11530350550133354x14130552554130254x11553300341205043x14130552554130254x12453431321210444x14130552554130254x12530343003412444x14130552554130254x13200235033303033x14130552554130254x13331413341230100x14130552554130254x14051150332153341x14130552554130254x14130141102131243x14130552554130254x14132450243404400x14130552554130254x15134421013323254x14132450243404400x10024333033413350x14201035135225041x14051150332153341x15002034225144522x13331413341230100x15002034225144522x13414313421405232x15002034225144522x15154101320330435x15002034225144522x15543324304451235x15134421013323254x13200235033303033x15401105424314543x13200235033303033x15401105424314543x15134421013323254x15401105424314543x15154101320330435x15513142053555415x10024333033413350x15513142053555415x13200235033303033x15513142053555415x13331413341230100x15513142053555415x13414313421405232x15513142053555415x15134421013323254x15513142053555415x15154101320330435x15513142053555415x15543324304451235x15543324304451235x15154101320330435x1ttt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))