/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 0010020343205403x10034502345143103x10010020343205403x10210221554133434x10010020343205403x11414530151514015x10010020343205403x11544040430144245x10010020343205403x13454125334141505x10010020343205403x15031434050541534x10034502345143103x11544040430144245x10202343025401345x11414530151514015x10202343025401345x11544040430144245x10202343025401345x13454125334141505x10301021121012324x10034502345143103x10301021121012324x10202343025401345x10301021121012324x10210221554133434x10301021121012324x10341122345251025x10301021121012324x11024100514412134x10301021121012324x11322342140455304x10301021121012324x11403404540200301x10301021121012324x11414530151514015x10301021121012324x11544040430144245x10301021121012324x12145104312233404x10301021121012324x13004355355424111x10301021121012324x13454125334141505x10301021121012324x13541432143124214x10301021121012324x14420140521110401x10301021121012324x14532043043103344x10301021121012324x15045151050511341x10301021121012324x15432550345103145x10341122345251025x11414530151514015x10341122345251025x11544040430144245x10341122345251025x13454125334141505x11000243121122045x11024100514412134x11000243121122045x11403404540200301x11000243121122045x11414530151514015x11000243121122045x11544040430144245x11000243121122045x13454125334141505x11000243121122045x14331544500141515x11000243121122045x15031434050541534x11000243121122045x15432550345103145x11052242015255400x10034502345143103x11052242015255400x10210221554133434x11052242015255400x11024100514412134x11052242015255400x11322342140455304x11052242015255400x11403404540200301x11052242015255400x11414530151514015x11052242015255400x11544040430144245x11052242015255400x12145104312233404x11052242015255400x13454125334141505x11052242015255400x14331544500141515x11052242015255400x14420140521110401x11052242015255400x15031434050541534x11052242015255400x15045151050511341x11052242015255400x15432550345103145x11255511213453252x10210221554133434x11255511213453252x11024100514412134x11255511213453252x11322342140455304x11255511213453252x11403404540200301x11255511213453252x11414530151514015x11255511213453252x11544040430144245x11255511213453252x12145104312233404x11255511213453252x13454125334141505x11255511213453252x15031434050541534x11322342140455304x11544040430144245x11322342140455304x15031434050541534x11403404540200301x15031434050541534x11414530151514015x11544040430144245x12145104312233404x11544040430144245x12145104312233404x15031434050541534x12432025234214332x10034502345143103x12432025234214332x10210221554133434x12432025234214332x11024100514412134x12432025234214332x11255511213453252x12432025234214332x11322342140455304x12432025234214332x11403404540200301x12432025234214332x11414530151514015x12432025234214332x11544040430144245x12432025234214332x12145104312233404x12432025234214332x13454125334141505x12432025234214332x13454431055312342x12432025234214332x13541432143124214x12432025234214332x14331544500141515x12432025234214332x14420140521110401x12432025234214332x14532043043103344x12432025234214332x15031434050541534x12432025234214332x15045151050511341x12432025234214332x15431242230311544x12432025234214332x15432550345103145x13004355355424111x13454125334141505x13015504431320513x10034502345143103x13015504431320513x11414530151514015x13015504431320513x11544040430144245x13015504431320513x13454125334141505x13015504431320513x14420140521110401x13054102532314212x10210221554133434x13054102532314212x11024100514412134x13054102532314212x11322342140455304x13054102532314212x11403404540200301x13054102532314212x11414530151514015x13054102532314212x11544040430144245x13054102532314212x12145104312233404x13054102532314212x13004355355424111x13054102532314212x13454125334141505x13054102532314212x13454431055312342x13054102532314212x13541432143124214x13054102532314212x14251142543333202x13054102532314212x14331544500141515x13054102532314212x14420140521110401x13054102532314212x14532043043103344x13054102532314212x15031434050541534x13124532500003115x10202343025401345x13124532500003115x10210221554133434x13124532500003115x10341122345251025x13124532500003115x11024100514412134x13124532500003115x11322342140455304x13124532500003115x11403404540200301x13124532500003115x11414530151514015x13124532500003115x11544040430144245x13124532500003115x12145104312233404x13124532500003115x13004355355424111x13124532500003115x13454125334141505x13124532500003115x13541432143124214x13124532500003115x14331544500141515x13124532500003115x14420140521110401x13124532500003115x14532043043103344x13124532500003115x15031434050541534x13124532500003115x15432550345103145x13454431055312342x13454125334141505x13541432143124214x13454125334141505x14251142543333202x11544040430144245x14251142543333202x13454125334141505x14251142543333202x14532043043103344x14331544500141515x13454125334141505x14500354425201203x11544040430144245x14500354425201203x13454125334141505x15045151050511341x10210221554133434x15045151050511341x15031434050541534x15151255055511324x10210221554133434x15151255055511324x11024100514412134x15151255055511324x11322342140455304x15151255055511324x11403404540200301x15151255055511324x11414530151514015x15151255055511324x11544040430144245x15151255055511324x12145104312233404x15151255055511324x13454125334141505x15151255055511324x13454431055312342x15151255055511324x13541432143124214x15151255055511324x14331544500141515x15151255055511324x14420140521110401x15151255055511324x14532043043103344x15151255055511324x15031434050541534x15151255055511324x15045151050511341x15151255055511324x15431242230311544x15151255055511324x15432550345103145x15214323113550555x10034502345143103x15214323113550555x10202343025401345x15214323113550555x10210221554133434x15214323113550555x10341122345251025x15214323113550555x11000243121122045x15214323113550555x11024100514412134x15214323113550555x11322342140455304x15214323113550555x11403404540200301x15214323113550555x11414530151514015x15214323113550555x11544040430144245x15214323113550555x12145104312233404x15214323113550555x13004355355424111x15214323113550555x13454125334141505x15214323113550555x13454431055312342x15214323113550555x13541432143124214x15214323113550555x14331544500141515x15214323113550555x14420140521110401x15214323113550555x14532043043103344x15214323113550555x15031434050541534x15214323113550555x15045151050511341x15214323113550555x15431242230311544x15214323113550555x15432550345103145x15431242230311544x11414530151514015x15431242230311544x11544040430144245x15431242230311544x13454125334141505x15432550345103145x11414530151514015x15432550345103145x11544040430144245x15432550345103145x13454125334141505x12.10010020343205403x10034502345143103x10010020343205403x10210221554133434x10010020343205403x11414530151514015x10010020343205403x11544040430144245x10010020343205403x13454125334141505x10010020343205403x15031434050541534x10034502345143103x11544040430144245x10202343025401345x11414530151514015x10202343025401345x11544040430144245x10202343025401345x13454125334141505x10301021121012324x10034502345143103x10301021121012324x10202343025401345x10301021121012324x10210221554133434x10301021121012324x10341122345251025x10301021121012324x11024100514412134x10301021121012324x11322342140455304x10301021121012324x11403404540200301x10301021121012324x11414530151514015x10301021121012324x11544040430144245x10301021121012324x12145104312233404x10301021121012324x13004355355424111x10301021121012324x13454125334141505x10301021121012324x13541432143124214x10301021121012324x14420140521110401x10301021121012324x14532043043103344x10301021121012324x15045151050511341x10301021121012324x15432550345103145x10341122345251025x11414530151514015x10341122345251025x11544040430144245x10341122345251025x13454125334141505x11000243121122045x11024100514412134x11000243121122045x11403404540200301x11000243121122045x11414530151514015x11000243121122045x11544040430144245x11000243121122045x13454125334141505x11000243121122045x14331544500141515x11000243121122045x15031434050541534x11000243121122045x15432550345103145x11052242015255400x10034502345143103x11052242015255400x10210221554133434x11052242015255400x11024100514412134x11052242015255400x11322342140455304x11052242015255400x11403404540200301x11052242015255400x11414530151514015x11052242015255400x11544040430144245x11052242015255400x12145104312233404x11052242015255400x13454125334141505x11052242015255400x14331544500141515x11052242015255400x14420140521110401x11052242015255400x15031434050541534x11052242015255400x15045151050511341x11052242015255400x15432550345103145x11255511213453252x10210221554133434x11255511213453252x11024100514412134x11255511213453252x11322342140455304x11255511213453252x11403404540200301x11255511213453252x11414530151514015x11255511213453252x11544040430144245x11255511213453252x12145104312233404x11255511213453252x13454125334141505x11255511213453252x15031434050541534x11322342140455304x11544040430144245x11322342140455304x15031434050541534x11403404540200301x15031434050541534x11414530151514015x11544040430144245x12145104312233404x11544040430144245x12145104312233404x15031434050541534x12432025234214332x10034502345143103x12432025234214332x10210221554133434x12432025234214332x11024100514412134x12432025234214332x11255511213453252x12432025234214332x11322342140455304x12432025234214332x11403404540200301x12432025234214332x11414530151514015x12432025234214332x11544040430144245x12432025234214332x12145104312233404x12432025234214332x13454125334141505x12432025234214332x13454431055312342x12432025234214332x13541432143124214x12432025234214332x14331544500141515x12432025234214332x14420140521110401x12432025234214332x14532043043103344x12432025234214332x15031434050541534x12432025234214332x15045151050511341x12432025234214332x15431242230311544x12432025234214332x15432550345103145x13004355355424111x13454125334141505x13015504431320513x10034502345143103x13015504431320513x11414530151514015x13015504431320513x11544040430144245x13015504431320513x13454125334141505x13015504431320513x14420140521110401x13054102532314212x10210221554133434x13054102532314212x11024100514412134x13054102532314212x11322342140455304x13054102532314212x11403404540200301x13054102532314212x11414530151514015x13054102532314212x11544040430144245x13054102532314212x12145104312233404x13054102532314212x13004355355424111x13054102532314212x13454125334141505x13054102532314212x13454431055312342x13054102532314212x13541432143124214x13054102532314212x14251142543333202x13054102532314212x14331544500141515x13054102532314212x14420140521110401x13054102532314212x14532043043103344x13054102532314212x15031434050541534x13124532500003115x10202343025401345x13124532500003115x10210221554133434x13124532500003115x10341122345251025x13124532500003115x11024100514412134x13124532500003115x11322342140455304x13124532500003115x11403404540200301x13124532500003115x11414530151514015x13124532500003115x11544040430144245x13124532500003115x12145104312233404x13124532500003115x13004355355424111x13124532500003115x13454125334141505x13124532500003115x13541432143124214x13124532500003115x14331544500141515x13124532500003115x14420140521110401x13124532500003115x14532043043103344x13124532500003115x15031434050541534x13124532500003115x15432550345103145x13454431055312342x13454125334141505x13541432143124214x13454125334141505x14251142543333202x11544040430144245x14251142543333202x13454125334141505x14251142543333202x14532043043103344x14331544500141515x13454125334141505x14500354425201203x11544040430144245x14500354425201203x13454125334141505x15045151050511341x10210221554133434x15045151050511341x15031434050541534x15151255055511324x10210221554133434x15151255055511324x11024100514412134x15151255055511324x11322342140455304x15151255055511324x11403404540200301x15151255055511324x11414530151514015x15151255055511324x11544040430144245x15151255055511324x12145104312233404x15151255055511324x13454125334141505x15151255055511324x13454431055312342x15151255055511324x13541432143124214x15151255055511324x14331544500141515x15151255055511324x14420140521110401x15151255055511324x14532043043103344x15151255055511324x15031434050541534x15151255055511324x15045151050511341x15151255055511324x15431242230311544x15151255055511324x15432550345103145x15214323113550555x10034502345143103x15214323113550555x10202343025401345x15214323113550555x10210221554133434x15214323113550555x10341122345251025x15214323113550555x11000243121122045x15214323113550555x11024100514412134x15214323113550555x11322342140455304x15214323113550555x11403404540200301x15214323113550555x11414530151514015x15214323113550555x11544040430144245x15214323113550555x12145104312233404x15214323113550555x13004355355424111x15214323113550555x13454125334141505x15214323113550555x13454431055312342x15214323113550555x13541432143124214x15214323113550555x14331544500141515x15214323113550555x14420140521110401x15214323113550555x14532043043103344x15214323113550555x15031434050541534x15214323113550555x15045151050511341x15214323113550555x15431242230311544x15214323113550555x15432550345103145x15431242230311544x11414530151514015x15431242230311544x11544040430144245x15431242230311544x13454125334141505x15432550345103145x11414530151514015x15432550345103145x11544040430144245x15432550345103145x13454125334141505x1ttt2ttt2 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])))