/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 0010122331141200x10254200524544500x10010122331141200x12235302044322404x10015035521123014x10254200524544500x10015035521123014x12004302152142243x10015035521123014x12235302044322404x10114114143534240x10253204053010213x10114114143534240x10254200524544500x10114114143534240x10500022445453202x10114114143534240x12004302152142243x10114114143534240x12235302044322404x10114114143534240x12244332241034233x10114114143534240x14035112434030240x10133041550511331x10254200524544500x10133041550511331x10500022445453202x10133041550511331x12004302152142243x10133041550511331x12235302044322404x10253204053010213x12004302152142243x10500213141211423x10500022445453202x10500213141211423x10511004002153403x10500213141211423x10531451240045443x10500213141211423x12004302152142243x10500213141211423x12235302044322404x10500213141211423x12244332241034233x10511004002153403x12004302152142243x10531451240045443x10511004002153403x10534255131401000x10254200524544500x10534255131401000x10500022445453202x10534255131401000x10511004002153403x10534255131401000x12004302152142243x10534255131401000x12235302044322404x10534255131401000x14035112434030240x10534425505530122x10500022445453202x10552435034412341x10500022445453202x10552435034412341x12235302044322404x11021413253343111x10254200524544500x11021413253343111x11133450305014012x11021413253343111x11244524204203510x11021413253343111x12235302044322404x11021413253343111x13450020034030315x11021413253343111x15022252413245040x11021413253343111x15503032204310041x11325403503522153x13450020034030315x12015414254223413x12004302152142243x12015414254223413x12235302044322404x12015414254223413x12244332241034233x12041321201254442x12004302152142243x12041321201254442x12235302044322404x12244332241034233x12004302152142243x12251024450521131x10500022445453202x12251024450521131x12004302152142243x12251024450521131x12235302044322404x12251024450521131x12244332241034233x12251024450521131x14035112434030240x13021104311501331x10254200524544500x13021104311501331x12235302044322404x13053323315522133x12004302152142243x13053323315522133x13241141000020533x13112342333325155x10253204053010213x13112342333325155x10500022445453202x13112342333325155x10511004002153403x13112342333325155x12004302152142243x13112342333325155x12235302044322404x13112342333325155x12244332241034233x13112342333325155x13241141000020533x13112342333325155x13424524444103024x13112342333325155x13450020034030315x13112342333325155x13505505324455555x13112342333325155x14035112434030240x13120025344112355x10253204053010213x13120025344112355x10254200524544500x13120025344112355x10500022445453202x13120025344112355x10511004002153403x13120025344112355x12004302152142243x13120025344112355x12235302044322404x13120025344112355x12244332241034233x13120025344112355x13241141000020533x13120025344112355x13424524444103024x13120025344112355x13450020034030315x13120025344112355x13505505324455555x13120025344112355x14035112434030240x13241141000020533x12004302152142243x13353053251154450x10254200524544500x13353053251154450x10500022445453202x13353053251154450x12235302044322404x13353053251154450x13450020034030315x13400555355543145x12004302152142243x13400555355543145x12235302044322404x13400555355543145x13424524444103024x13400555355543145x13450020034030315x13405224113110131x10254200524544500x13405224113110131x10500022445453202x13405224113110131x11244524204203510x13405224113110131x12004302152142243x13405224113110131x12235302044322404x13405224113110131x13241141000020533x13405224113110131x13424524444103024x13405224113110131x13450020034030315x13405224113110131x14035112434030240x13512225540045322x10500022445453202x13524314100325253x10253204053010213x13524314100325253x10500022445453202x13524314100325253x10511004002153403x13524314100325253x10531451240045443x13524314100325253x12004302152142243x13524314100325253x12235302044322404x13524314100325253x12244332241034233x13524314100325253x13241141000020533x13524314100325253x13424524444103024x13524314100325253x13450020034030315x13524314100325253x13505505324455555x13524314100325253x13530325305254515x13524314100325253x13532515305301203x13524314100325253x14514252030212323x13530325305254515x12235302044322404x13530325305254515x13450020034030315x13530325305254515x13505505324455555x13531013042431415x12235302044322404x13531013042431415x13450020034030315x13531013042431415x13505505324455555x13531013042431415x13530325305254515x13532142255332450x10500022445453202x13532142255332450x12235302044322404x13532142255332450x13450020034030315x13532515305301203x10511004002153403x13532515305301203x12004302152142243x13532515305301203x13450020034030315x14005150153113503x12004302152142243x14005150153113503x12235302044322404x14005150153113503x12244332241034233x14005150153113503x14031100232303033x14005150153113503x14035112434030240x14031100232303033x12004302152142243x14031100232303033x12244332241034233x14120334135514003x10253204053010213x14120334135514003x10511004002153403x14120334135514003x12004302152142243x14120334135514003x12235302044322404x14120334135514003x12244332241034233x14125231434344010x10254200524544500x14125231434344010x10500022445453202x14125231434344010x12004302152142243x14125231434344010x12235302044322404x14125231434344010x12244332241034233x14125231434344010x14035112434030240x14255150145211442x10500022445453202x14255150145211442x12004302152142243x14255150145211442x12041321201254442x14255150145211442x12235302044322404x14255150145211442x13424524444103024x14305345255434334x12004302152142243x14305345255434334x12235302044322404x14411322500012521x12004302152142243x14411322500012521x12235302044322404x14411322500012521x14035112434030240x14514252030212323x12004302152142243x14531123010430141x13450020034030315x15025443203543440x15022252413245040x15031251421355343x15004035500324515x15031251421355343x15022252413245040x15031251421355343x15025443203543440x15031251421355343x15204333341420313x15031251421355343x15413001053421435x15031251421355343x15420205200141133x15031251421355343x15444333401201033x15031251421355343x15455013031014555x15031251421355343x15500525452021325x15031251421355343x15503032204310041x15204333341420313x15420205200141133x15413001053421435x15022252413245040x15413001053421435x15500525452021325x15413001053421435x15503032204310041x15441100535355341x15004035500324515x15441100535355341x15022252413245040x15441100535355341x15025443203543440x15441100535355341x15500525452021325x15441100535355341x15503032204310041x15444333401201033x15420205200141133x15500525452021325x15503032204310041x15503324133423125x15500525452021325x15503324133423125x15503032204310041x12.10010122331141200x10254200524544500x10010122331141200x12235302044322404x10015035521123014x10254200524544500x10015035521123014x12004302152142243x10015035521123014x12235302044322404x10114114143534240x10253204053010213x10114114143534240x10254200524544500x10114114143534240x10500022445453202x10114114143534240x12004302152142243x10114114143534240x12235302044322404x10114114143534240x12244332241034233x10114114143534240x14035112434030240x10133041550511331x10254200524544500x10133041550511331x10500022445453202x10133041550511331x12004302152142243x10133041550511331x12235302044322404x10253204053010213x12004302152142243x10500213141211423x10500022445453202x10500213141211423x10511004002153403x10500213141211423x10531451240045443x10500213141211423x12004302152142243x10500213141211423x12235302044322404x10500213141211423x12244332241034233x10511004002153403x12004302152142243x10531451240045443x10511004002153403x10534255131401000x10254200524544500x10534255131401000x10500022445453202x10534255131401000x10511004002153403x10534255131401000x12004302152142243x10534255131401000x12235302044322404x10534255131401000x14035112434030240x10534425505530122x10500022445453202x10552435034412341x10500022445453202x10552435034412341x12235302044322404x11021413253343111x10254200524544500x11021413253343111x11133450305014012x11021413253343111x11244524204203510x11021413253343111x12235302044322404x11021413253343111x13450020034030315x11021413253343111x15022252413245040x11021413253343111x15503032204310041x11325403503522153x13450020034030315x12015414254223413x12004302152142243x12015414254223413x12235302044322404x12015414254223413x12244332241034233x12041321201254442x12004302152142243x12041321201254442x12235302044322404x12244332241034233x12004302152142243x12251024450521131x10500022445453202x12251024450521131x12004302152142243x12251024450521131x12235302044322404x12251024450521131x12244332241034233x12251024450521131x14035112434030240x13021104311501331x10254200524544500x13021104311501331x12235302044322404x13053323315522133x12004302152142243x13053323315522133x13241141000020533x13112342333325155x10253204053010213x13112342333325155x10500022445453202x13112342333325155x10511004002153403x13112342333325155x12004302152142243x13112342333325155x12235302044322404x13112342333325155x12244332241034233x13112342333325155x13241141000020533x13112342333325155x13424524444103024x13112342333325155x13450020034030315x13112342333325155x13505505324455555x13112342333325155x14035112434030240x13120025344112355x10253204053010213x13120025344112355x10254200524544500x13120025344112355x10500022445453202x13120025344112355x10511004002153403x13120025344112355x12004302152142243x13120025344112355x12235302044322404x13120025344112355x12244332241034233x13120025344112355x13241141000020533x13120025344112355x13424524444103024x13120025344112355x13450020034030315x13120025344112355x13505505324455555x13120025344112355x14035112434030240x13241141000020533x12004302152142243x13353053251154450x10254200524544500x13353053251154450x10500022445453202x13353053251154450x12235302044322404x13353053251154450x13450020034030315x13400555355543145x12004302152142243x13400555355543145x12235302044322404x13400555355543145x13424524444103024x13400555355543145x13450020034030315x13405224113110131x10254200524544500x13405224113110131x10500022445453202x13405224113110131x11244524204203510x13405224113110131x12004302152142243x13405224113110131x12235302044322404x13405224113110131x13241141000020533x13405224113110131x13424524444103024x13405224113110131x13450020034030315x13405224113110131x14035112434030240x13512225540045322x10500022445453202x13524314100325253x10253204053010213x13524314100325253x10500022445453202x13524314100325253x10511004002153403x13524314100325253x10531451240045443x13524314100325253x12004302152142243x13524314100325253x12235302044322404x13524314100325253x12244332241034233x13524314100325253x13241141000020533x13524314100325253x13424524444103024x13524314100325253x13450020034030315x13524314100325253x13505505324455555x13524314100325253x13530325305254515x13524314100325253x13532515305301203x13524314100325253x14514252030212323x13530325305254515x12235302044322404x13530325305254515x13450020034030315x13530325305254515x13505505324455555x13531013042431415x12235302044322404x13531013042431415x13450020034030315x13531013042431415x13505505324455555x13531013042431415x13530325305254515x13532142255332450x10500022445453202x13532142255332450x12235302044322404x13532142255332450x13450020034030315x13532515305301203x10511004002153403x13532515305301203x12004302152142243x13532515305301203x13450020034030315x14005150153113503x12004302152142243x14005150153113503x12235302044322404x14005150153113503x12244332241034233x14005150153113503x14031100232303033x14005150153113503x14035112434030240x14031100232303033x12004302152142243x14031100232303033x12244332241034233x14120334135514003x10253204053010213x14120334135514003x10511004002153403x14120334135514003x12004302152142243x14120334135514003x12235302044322404x14120334135514003x12244332241034233x14125231434344010x10254200524544500x14125231434344010x10500022445453202x14125231434344010x12004302152142243x14125231434344010x12235302044322404x14125231434344010x12244332241034233x14125231434344010x14035112434030240x14255150145211442x10500022445453202x14255150145211442x12004302152142243x14255150145211442x12041321201254442x14255150145211442x12235302044322404x14255150145211442x13424524444103024x14305345255434334x12004302152142243x14305345255434334x12235302044322404x14411322500012521x12004302152142243x14411322500012521x12235302044322404x14411322500012521x14035112434030240x14514252030212323x12004302152142243x14531123010430141x13450020034030315x15025443203543440x15022252413245040x15031251421355343x15004035500324515x15031251421355343x15022252413245040x15031251421355343x15025443203543440x15031251421355343x15204333341420313x15031251421355343x15413001053421435x15031251421355343x15420205200141133x15031251421355343x15444333401201033x15031251421355343x15455013031014555x15031251421355343x15500525452021325x15031251421355343x15503032204310041x15204333341420313x15420205200141133x15413001053421435x15022252413245040x15413001053421435x15500525452021325x15413001053421435x15503032204310041x15441100535355341x15004035500324515x15441100535355341x15022252413245040x15441100535355341x15025443203543440x15441100535355341x15500525452021325x15441100535355341x15503032204310041x15444333401201033x15420205200141133x15500525452021325x15503032204310041x15503324133423125x15500525452021325x15503324133423125x15503032204310041x1ttt2ttt2 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])))