/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 0011230420103420x13223000312432211x10244205031103153x11023353153214343x10244205031103153x13243442103115133x10244205031103153x13425422232433513x10303425013440302x13423101413422522x10303425013440302x13425422232433513x10530451515231204x10011230420103420x10530451515231204x10303425013440302x10530451515231204x11004431000102245x10530451515231204x11023353153214343x10530451515231204x11024352543551502x10530451515231204x11305115525232532x10530451515231204x11413403553534101x10530451515231204x11422101130420450x10530451515231204x12014341301425511x10530451515231204x13123523545530143x10530451515231204x13223000312432211x10530451515231204x13243442103115133x10530451515231204x13402143133550251x10530451515231204x13410130344340125x10530451515231204x13423101413422522x10530451515231204x13425422232433513x10530451515231204x13535325142155202x10530451515231204x14220010013002541x10530451515231204x14515422402413222x10530451515231204x15143400220502235x11004431000102245x11023353153214343x11004431000102245x13425422232433513x11023353153214343x13425422232433513x11024352543551502x13423101413422522x11024352543551502x13425422232433513x11045530332512212x11024352543551502x11045530332512212x13423101413422522x11045530332512212x13425422232433513x11305115525232532x10011230420103420x11305115525232532x13223000312432211x11305115525232532x13423101413422522x11305115525232532x13425422232433513x11305115525232532x14515422402413222x11325331535525313x10244205031103153x11325331535525313x11023353153214343x11325331535525313x13123523545530143x11325331535525313x13243442103115133x11325331535525313x13423101413422522x11325331535525313x13425422232433513x11413403553534101x10011230420103420x11413403553534101x13223000312432211x11413403553534101x13425422232433513x11545540342024401x10011230420103420x11545540342024401x11413403553534101x11545540342024401x11422101130420450x11545540342024401x13223000312432211x11545540342024401x13423101413422522x11545540342024401x13425422232433513x12113115305220030x12312402010300030x12151154305041202x12014341301425511x12151154305041202x12113115305220030x12151154305041202x12312402010300030x12151154305041202x13223000312432211x12151154305041202x13423101413422522x12151154305041202x13425422232433513x12151154305041202x13535325142155202x12314054422445144x13423101413422522x12413230410444052x12014341301425511x12413230410444052x13223000312432211x12413230410444052x13423101413422522x12413230410444052x13425422232433513x12413230410444052x14515422402413222x12441401040503240x12014341301425511x12441401040503240x12113115305220030x12441401040503240x12312402010300030x12441401040503240x12555443431303120x12441401040503240x13223000312432211x12441401040503240x13410130344340125x12441401040503240x13423101413422522x12441401040503240x13425422232433513x12441401040503240x14220010013002541x12555443431303120x12014341301425511x12555443431303120x13223000312432211x12555443431303120x13423101413422522x12555443431303120x13425422232433513x13035215330051554x10011230420103420x13035215330051554x10303425013440302x13035215330051554x11024352543551502x13035215330051554x12014341301425511x13035215330051554x12312402010300030x13035215330051554x12314054422445144x13035215330051554x12413230410444052x13035215330051554x12555443431303120x13035215330051554x13123523545530143x13035215330051554x13223000312432211x13035215330051554x13243442103115133x13035215330051554x13402143133550251x13035215330051554x13410130344340125x13035215330051554x13423101413422522x13035215330051554x13425422232433513x13035215330051554x13535325142155202x13035215330051554x14220010013002541x13035215330051554x14515422402413222x13120555541231155x10011230420103420x13120555541231155x12014341301425511x13120555541231155x12312402010300030x13120555541231155x13123523545530143x13120555541231155x13223000312432211x13120555541231155x13243442103115133x13120555541231155x13410130344340125x13120555541231155x13423101413422522x13120555541231155x13425422232433513x13123523545530143x13425422232433513x13243442103115133x13425422232433513x13402143133550251x12014341301425511x13402143133550251x13223000312432211x13402143133550251x13243442103115133x13402143133550251x13410130344340125x13402143133550251x13423101413422522x13402143133550251x13425422232433513x13410130344340125x13423101413422522x13410130344340125x13425422232433513x13435530105053421x10011230420103420x13435530105053421x12014341301425511x13435530105053421x12312402010300030x13435530105053421x13223000312432211x13435530105053421x13243442103115133x13435530105053421x13410130344340125x13435530105053421x13423101413422522x13435530105053421x13425422232433513x13435530105053421x14220010013002541x13441441441155530x12014341301425511x13441441441155530x12113115305220030x13441441441155530x12312402010300030x13441441441155530x13223000312432211x13441441441155530x13410130344340125x13441441441155530x13423101413422522x13441441441155530x13425422232433513x13441441441155530x13535325142155202x13441441441155530x14220010013002541x13441441441155530x14515422402413222x13503211152431453x13243442103115133x13503211152431453x13423101413422522x13503211152431453x13425422232433513x13535325142155202x13423101413422522x13535325142155202x13425422232433513x14040544021244534x10011230420103420x14040544021244534x12014341301425511x14040544021244534x13223000312432211x14040544021244534x13243442103115133x14040544021244534x13423101413422522x14040544021244534x13425422232433513x14040544021244534x14220010013002541x14040544021244534x14515422402413222x14040544021244534x15143400220502235x14040544021244534x15444431113552152x14055423341351455x10011230420103420x14055423341351455x13223000312432211x14055423341351455x13423101413422522x14055423341351455x13425422232433513x14055423341351455x14220010013002541x14055423341351455x14515422402413222x14055423341351455x15143400220502235x14320105544220533x13243442103115133x14320105544220533x13423101413422522x14320105544220533x13425422232433513x14553101530145544x10011230420103420x14553101530145544x10303425013440302x14553101530145544x11413403553534101x14553101530145544x12014341301425511x14553101530145544x13223000312432211x14553101530145544x13243442103115133x14553101530145544x13423101413422522x14553101530145544x13425422232433513x14553101530145544x14220010013002541x14553101530145544x14515422402413222x14553101530145544x15143400220502235x14553101530145544x15444431113552152x15401101340550533x13243442103115133x15401101340550533x13425422232433513x15401101340550533x14515422402413222x15444431113552152x13423101413422522x15444431113552152x14515422402413222x15444431113552152x15143400220502235x12.10011230420103420x13223000312432211x10244205031103153x11023353153214343x10244205031103153x13243442103115133x10244205031103153x13425422232433513x10303425013440302x13423101413422522x10303425013440302x13425422232433513x10530451515231204x10011230420103420x10530451515231204x10303425013440302x10530451515231204x11004431000102245x10530451515231204x11023353153214343x10530451515231204x11024352543551502x10530451515231204x11305115525232532x10530451515231204x11413403553534101x10530451515231204x11422101130420450x10530451515231204x12014341301425511x10530451515231204x13123523545530143x10530451515231204x13223000312432211x10530451515231204x13243442103115133x10530451515231204x13402143133550251x10530451515231204x13410130344340125x10530451515231204x13423101413422522x10530451515231204x13425422232433513x10530451515231204x13535325142155202x10530451515231204x14220010013002541x10530451515231204x14515422402413222x10530451515231204x15143400220502235x11004431000102245x11023353153214343x11004431000102245x13425422232433513x11023353153214343x13425422232433513x11024352543551502x13423101413422522x11024352543551502x13425422232433513x11045530332512212x11024352543551502x11045530332512212x13423101413422522x11045530332512212x13425422232433513x11305115525232532x10011230420103420x11305115525232532x13223000312432211x11305115525232532x13423101413422522x11305115525232532x13425422232433513x11305115525232532x14515422402413222x11325331535525313x10244205031103153x11325331535525313x11023353153214343x11325331535525313x13123523545530143x11325331535525313x13243442103115133x11325331535525313x13423101413422522x11325331535525313x13425422232433513x11413403553534101x10011230420103420x11413403553534101x13223000312432211x11413403553534101x13425422232433513x11545540342024401x10011230420103420x11545540342024401x11413403553534101x11545540342024401x11422101130420450x11545540342024401x13223000312432211x11545540342024401x13423101413422522x11545540342024401x13425422232433513x12113115305220030x12312402010300030x12151154305041202x12014341301425511x12151154305041202x12113115305220030x12151154305041202x12312402010300030x12151154305041202x13223000312432211x12151154305041202x13423101413422522x12151154305041202x13425422232433513x12151154305041202x13535325142155202x12314054422445144x13423101413422522x12413230410444052x12014341301425511x12413230410444052x13223000312432211x12413230410444052x13423101413422522x12413230410444052x13425422232433513x12413230410444052x14515422402413222x12441401040503240x12014341301425511x12441401040503240x12113115305220030x12441401040503240x12312402010300030x12441401040503240x12555443431303120x12441401040503240x13223000312432211x12441401040503240x13410130344340125x12441401040503240x13423101413422522x12441401040503240x13425422232433513x12441401040503240x14220010013002541x12555443431303120x12014341301425511x12555443431303120x13223000312432211x12555443431303120x13423101413422522x12555443431303120x13425422232433513x13035215330051554x10011230420103420x13035215330051554x10303425013440302x13035215330051554x11024352543551502x13035215330051554x12014341301425511x13035215330051554x12312402010300030x13035215330051554x12314054422445144x13035215330051554x12413230410444052x13035215330051554x12555443431303120x13035215330051554x13123523545530143x13035215330051554x13223000312432211x13035215330051554x13243442103115133x13035215330051554x13402143133550251x13035215330051554x13410130344340125x13035215330051554x13423101413422522x13035215330051554x13425422232433513x13035215330051554x13535325142155202x13035215330051554x14220010013002541x13035215330051554x14515422402413222x13120555541231155x10011230420103420x13120555541231155x12014341301425511x13120555541231155x12312402010300030x13120555541231155x13123523545530143x13120555541231155x13223000312432211x13120555541231155x13243442103115133x13120555541231155x13410130344340125x13120555541231155x13423101413422522x13120555541231155x13425422232433513x13123523545530143x13425422232433513x13243442103115133x13425422232433513x13402143133550251x12014341301425511x13402143133550251x13223000312432211x13402143133550251x13243442103115133x13402143133550251x13410130344340125x13402143133550251x13423101413422522x13402143133550251x13425422232433513x13410130344340125x13423101413422522x13410130344340125x13425422232433513x13435530105053421x10011230420103420x13435530105053421x12014341301425511x13435530105053421x12312402010300030x13435530105053421x13223000312432211x13435530105053421x13243442103115133x13435530105053421x13410130344340125x13435530105053421x13423101413422522x13435530105053421x13425422232433513x13435530105053421x14220010013002541x13441441441155530x12014341301425511x13441441441155530x12113115305220030x13441441441155530x12312402010300030x13441441441155530x13223000312432211x13441441441155530x13410130344340125x13441441441155530x13423101413422522x13441441441155530x13425422232433513x13441441441155530x13535325142155202x13441441441155530x14220010013002541x13441441441155530x14515422402413222x13503211152431453x13243442103115133x13503211152431453x13423101413422522x13503211152431453x13425422232433513x13535325142155202x13423101413422522x13535325142155202x13425422232433513x14040544021244534x10011230420103420x14040544021244534x12014341301425511x14040544021244534x13223000312432211x14040544021244534x13243442103115133x14040544021244534x13423101413422522x14040544021244534x13425422232433513x14040544021244534x14220010013002541x14040544021244534x14515422402413222x14040544021244534x15143400220502235x14040544021244534x15444431113552152x14055423341351455x10011230420103420x14055423341351455x13223000312432211x14055423341351455x13423101413422522x14055423341351455x13425422232433513x14055423341351455x14220010013002541x14055423341351455x14515422402413222x14055423341351455x15143400220502235x14320105544220533x13243442103115133x14320105544220533x13423101413422522x14320105544220533x13425422232433513x14553101530145544x10011230420103420x14553101530145544x10303425013440302x14553101530145544x11413403553534101x14553101530145544x12014341301425511x14553101530145544x13223000312432211x14553101530145544x13243442103115133x14553101530145544x13423101413422522x14553101530145544x13425422232433513x14553101530145544x14220010013002541x14553101530145544x14515422402413222x14553101530145544x15143400220502235x14553101530145544x15444431113552152x15401101340550533x13243442103115133x15401101340550533x13425422232433513x15401101340550533x14515422402413222x15444431113552152x13423101413422522x15444431113552152x14515422402413222x15444431113552152x15143400220502235x1ttt2ttt2 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])))