/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 0000122102200332x10145311105454140x10000122102200332x10324220411144450x10000122102200332x10405341412144040x10000122102200332x14140443102222444x10031150345324014x10145311105454140x10031150345324014x10324220411144450x10031150345324014x10405341412144040x10031150345324014x12444301122245220x10031150345324014x13120200522524420x10031150345324014x14140443102222444x10145311105454140x10324220411144450x10401021033310450x10031150345324014x10401021033310450x10324220411144450x10401021033310450x10405341412144040x10401021033310450x10433104323155230x10401021033310450x10535013145450240x10401021033310450x11005555221202135x10401021033310450x12252021022520241x10401021033310450x12444301122245220x10401021033310450x13120200522524420x10401021033310450x13144521410321355x10401021033310450x14135540453123034x10401021033310450x15211112053202010x10405341412144040x14140443102222444x10433104323155230x10145311105454140x10433104323155230x10324220411144450x10433104323155230x10405341412144040x10433104323155230x14140443102222444x10535013145450240x10324220411144450x10535013145450240x14140443102222444x11010431255344254x11005555221202135x11020220530024020x11005555221202135x11235533552000031x11005555221202135x11431043432413011x11005555221202135x11453332535333423x11121510335440433x12012450033512544x11005555221202135x12012450033512544x12252021022520241x12012450033512544x12444301122245220x12012450033512544x13144521410321355x12020033153411440x12252021022520241x12020033153411440x12444301122245220x12020033153411440x13120200522524420x12020033153411440x13144521410321355x12301042132252043x12112151141143253x12322304101040040x11005555221202135x12322304101040040x11010431255344254x12322304101040040x11020220530024020x12322304101040040x12020033153411440x12322304101040040x12112151141143253x12322304101040040x12252021022520241x12322304101040040x12301042132252043x12322304101040040x12444301122245220x12322304101040040x12511411005213240x12322304101040040x13120200522524420x12322304101040040x13144521410321355x12333014430341533x11121510335440433x12333014430341533x12112151141143253x12333014430341533x12252021022520241x12333014430341533x12301042132252043x12333014430341533x12402555122532253x12333014430341533x12420530444111023x12333014430341533x12444301122245220x12333014430341533x15412052224454253x12402555122532253x12420530444111023x12511411005213240x12252021022520241x12511411005213240x12444301122245220x12535131204355342x11552423313520142x13103014454034003x12112151141143253x13103014454034003x12252021022520241x13103014454034003x12301042132252043x13103014454034003x12402555122532253x13103014454034003x12420530444111023x13103014454034003x12444301122245220x13103014454034003x13120200522524420x13103014454034003x13144521410321355x13103014454034003x13503032215042003x13103014454034003x15412052224454253x13105341501151511x11005555221202135x13105341501151511x11020220530024020x13105341501151511x12112151141143253x13105341501151511x12252021022520241x13105341501151511x12301042132252043x13105341501151511x12420530444111023x13105341501151511x12444301122245220x13105341501151511x12511411005213240x13105341501151511x13120200522524420x13105341501151511x13144521410321355x13105341501151511x14140443102222444x13223040323034451x12112151141143253x13223040323034451x12252021022520241x13223040323034451x12301042132252043x13223040323034451x12444301122245220x13223040323034451x13120200522524420x13223040323034451x13144521410321355x13223040323034451x14140443102222444x13241103032300510x10324220411144450x13241103032300510x11005555221202135x13241103032300510x11010431255344254x13241103032300510x11020220530024020x13241103032300510x12020033153411440x13241103032300510x12032334211514405x13241103032300510x12112151141143253x13241103032300510x12252021022520241x13241103032300510x12301042132252043x13241103032300510x12420530444111023x13241103032300510x12444301122245220x13241103032300510x12511411005213240x13241103032300510x13120200522524420x13241103032300510x13144521410321355x13241103032300510x14140443102222444x13241103032300510x15211112053202010x13334332141430152x11005555221202135x13334332141430152x11552423313520142x13334332141430152x12252021022520241x13334332141430152x12444301122245220x13334332141430152x13120200522524420x13334332141430152x13144521410321355x13343125340235503x12112151141143253x13343125340235503x12252021022520241x13343125340235503x12301042132252043x13343125340235503x12402555122532253x13343125340235503x12420530444111023x13343125340235503x15412052224454253x13503032215042003x12112151141143253x13503032215042003x12252021022520241x13503032215042003x12301042132252043x13503032215042003x12402555122532253x13503032215042003x12420530444111023x13503032215042003x13120200522524420x13503032215042003x15412052224454253x14031544322503053x15412052224454253x14114004103400515x10324220411144450x14114004103400515x13144521410321355x14114004103400515x14140443102222444x14135540453123034x14140443102222444x14341253103032231x14140443102222444x14551335405041444x14140443102222444x15000055253435024x11005555221202135x15000055253435024x12252021022520241x15000055253435024x12444301122245220x15000055253435024x13120200522524420x15000055253435024x13144521410321355x15000055253435024x15013554433204425x15000055253435024x15211112053202010x15000055253435024x15241024013051301x15000055253435024x15253100432133504x15000055253435024x15341425522311532x15000055253435024x15412052224454253x15000055253435024x15530412105335312x15000055253435024x15551555154245124x15013554433204425x12252021022520241x15013554433204425x12444301122245220x15013554433204425x13120200522524420x15013554433204425x13144521410321355x15013554433204425x15211112053202010x15140534450413345x11005555221202135x15140534450413345x12444301122245220x15140534450413345x13144521410321355x15140534450413345x15211112053202010x15241024013051301x12252021022520241x15241024013051301x12444301122245220x15241024013051301x15211112053202010x15245353513430010x12252021022520241x15245353513430010x12444301122245220x15245353513430010x13120200522524420x15245353513430010x15211112053202010x15245353513430010x15241024013051301x15253100432133504x12252021022520241x15253100432133504x12444301122245220x15253100432133504x15211112053202010x15320300100134555x13144521410321355x15320300100134555x15211112053202010x15515231512030050x12252021022520241x15515231512030050x12444301122245220x15515231512030050x13120200522524420x15515231512030050x13144521410321355x15515231512030050x15211112053202010x15515231512030050x15412052224454253x15515231512030050x15551555154245124x15551555154245124x12252021022520241x12.10000122102200332x10145311105454140x10000122102200332x10324220411144450x10000122102200332x10405341412144040x10000122102200332x14140443102222444x10031150345324014x10145311105454140x10031150345324014x10324220411144450x10031150345324014x10405341412144040x10031150345324014x12444301122245220x10031150345324014x13120200522524420x10031150345324014x14140443102222444x10145311105454140x10324220411144450x10401021033310450x10031150345324014x10401021033310450x10324220411144450x10401021033310450x10405341412144040x10401021033310450x10433104323155230x10401021033310450x10535013145450240x10401021033310450x11005555221202135x10401021033310450x12252021022520241x10401021033310450x12444301122245220x10401021033310450x13120200522524420x10401021033310450x13144521410321355x10401021033310450x14135540453123034x10401021033310450x15211112053202010x10405341412144040x14140443102222444x10433104323155230x10145311105454140x10433104323155230x10324220411144450x10433104323155230x10405341412144040x10433104323155230x14140443102222444x10535013145450240x10324220411144450x10535013145450240x14140443102222444x11010431255344254x11005555221202135x11020220530024020x11005555221202135x11235533552000031x11005555221202135x11431043432413011x11005555221202135x11453332535333423x11121510335440433x12012450033512544x11005555221202135x12012450033512544x12252021022520241x12012450033512544x12444301122245220x12012450033512544x13144521410321355x12020033153411440x12252021022520241x12020033153411440x12444301122245220x12020033153411440x13120200522524420x12020033153411440x13144521410321355x12301042132252043x12112151141143253x12322304101040040x11005555221202135x12322304101040040x11010431255344254x12322304101040040x11020220530024020x12322304101040040x12020033153411440x12322304101040040x12112151141143253x12322304101040040x12252021022520241x12322304101040040x12301042132252043x12322304101040040x12444301122245220x12322304101040040x12511411005213240x12322304101040040x13120200522524420x12322304101040040x13144521410321355x12333014430341533x11121510335440433x12333014430341533x12112151141143253x12333014430341533x12252021022520241x12333014430341533x12301042132252043x12333014430341533x12402555122532253x12333014430341533x12420530444111023x12333014430341533x12444301122245220x12333014430341533x15412052224454253x12402555122532253x12420530444111023x12511411005213240x12252021022520241x12511411005213240x12444301122245220x12535131204355342x11552423313520142x13103014454034003x12112151141143253x13103014454034003x12252021022520241x13103014454034003x12301042132252043x13103014454034003x12402555122532253x13103014454034003x12420530444111023x13103014454034003x12444301122245220x13103014454034003x13120200522524420x13103014454034003x13144521410321355x13103014454034003x13503032215042003x13103014454034003x15412052224454253x13105341501151511x11005555221202135x13105341501151511x11020220530024020x13105341501151511x12112151141143253x13105341501151511x12252021022520241x13105341501151511x12301042132252043x13105341501151511x12420530444111023x13105341501151511x12444301122245220x13105341501151511x12511411005213240x13105341501151511x13120200522524420x13105341501151511x13144521410321355x13105341501151511x14140443102222444x13223040323034451x12112151141143253x13223040323034451x12252021022520241x13223040323034451x12301042132252043x13223040323034451x12444301122245220x13223040323034451x13120200522524420x13223040323034451x13144521410321355x13223040323034451x14140443102222444x13241103032300510x10324220411144450x13241103032300510x11005555221202135x13241103032300510x11010431255344254x13241103032300510x11020220530024020x13241103032300510x12020033153411440x13241103032300510x12032334211514405x13241103032300510x12112151141143253x13241103032300510x12252021022520241x13241103032300510x12301042132252043x13241103032300510x12420530444111023x13241103032300510x12444301122245220x13241103032300510x12511411005213240x13241103032300510x13120200522524420x13241103032300510x13144521410321355x13241103032300510x14140443102222444x13241103032300510x15211112053202010x13334332141430152x11005555221202135x13334332141430152x11552423313520142x13334332141430152x12252021022520241x13334332141430152x12444301122245220x13334332141430152x13120200522524420x13334332141430152x13144521410321355x13343125340235503x12112151141143253x13343125340235503x12252021022520241x13343125340235503x12301042132252043x13343125340235503x12402555122532253x13343125340235503x12420530444111023x13343125340235503x15412052224454253x13503032215042003x12112151141143253x13503032215042003x12252021022520241x13503032215042003x12301042132252043x13503032215042003x12402555122532253x13503032215042003x12420530444111023x13503032215042003x13120200522524420x13503032215042003x15412052224454253x14031544322503053x15412052224454253x14114004103400515x10324220411144450x14114004103400515x13144521410321355x14114004103400515x14140443102222444x14135540453123034x14140443102222444x14341253103032231x14140443102222444x14551335405041444x14140443102222444x15000055253435024x11005555221202135x15000055253435024x12252021022520241x15000055253435024x12444301122245220x15000055253435024x13120200522524420x15000055253435024x13144521410321355x15000055253435024x15013554433204425x15000055253435024x15211112053202010x15000055253435024x15241024013051301x15000055253435024x15253100432133504x15000055253435024x15341425522311532x15000055253435024x15412052224454253x15000055253435024x15530412105335312x15000055253435024x15551555154245124x15013554433204425x12252021022520241x15013554433204425x12444301122245220x15013554433204425x13120200522524420x15013554433204425x13144521410321355x15013554433204425x15211112053202010x15140534450413345x11005555221202135x15140534450413345x12444301122245220x15140534450413345x13144521410321355x15140534450413345x15211112053202010x15241024013051301x12252021022520241x15241024013051301x12444301122245220x15241024013051301x15211112053202010x15245353513430010x12252021022520241x15245353513430010x12444301122245220x15245353513430010x13120200522524420x15245353513430010x15211112053202010x15245353513430010x15241024013051301x15253100432133504x12252021022520241x15253100432133504x12444301122245220x15253100432133504x15211112053202010x15320300100134555x13144521410321355x15320300100134555x15211112053202010x15515231512030050x12252021022520241x15515231512030050x12444301122245220x15515231512030050x13120200522524420x15515231512030050x13144521410321355x15515231512030050x15211112053202010x15515231512030050x15412052224454253x15515231512030050x15551555154245124x15551555154245124x12252021022520241x1ttt2ttt2 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])))