/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 012203451x1012230451x1134534511x1153441531x10311103413x12222524402x10443300035x10434300035x11025142510x12421032254x11145100521x12434024153x11223301541x11024312423x11245103144x11245130144x11245110102x12241012152x11342045013x11240105343x11544434305x12512424025x13012125001x13012152001x14004511515x14250243444x100054233310x15250033235x100100320415x13523343551x101053512121x11350515520x101345213504x11445103535x101412145021x12434105334x102220231511x11503444313x102330424301x13450204015x105121121210x11212130443x110041155440x14040251035x110251513400x110255113400x110514535445x115554304145x112551455101x10355230425x113220335531x12353125154x114355104320x13243240354x114552253545x15020522200x121521035015x13043025233x122105003052x11022245344x123413241400x15222214420x125243524231x11542110542x130214532450x14051151223x131210233430x13002454453x131452355422x13450003230x132132440534x10355444401x133305324532x10342413403x134312325220x11140155514x135121510052x10530320020x140412502332x13145215301x141423214340x11125514053x144133112453x11205401411x145034432043x11011523532x145400550252x13450215014x145402021013x15321014400x152553055524x10433231152x153212515251x11031541525x154232150401x11402130025x154455025014x10515540232x154543455511x10203130454x1002455234102x15150325143x1052105044034x11105113323x1054245214344x13420135323x1145504515521x13130344101x1245432140240x13350104303x1310020554034x11544300335x1423232205334x15200031530x11041043400420x11041043040420x12322504332014x12322504323014x14440335051050x14440330551050x14441114154444x13035404150x124440351521255x124404351521255x1455012030334344x1455012033043344x1521003153213004x1521003152330104x13253100541312321x13251305041312321x14425230533013051x14452230533013051x130425353542451054x130425533542451054x1033534031103102340x1033534031103012340x1523444021132003302x1523444021123003302x132334550431413142531x132343550431413142531x1031241554003504201340x1031241554003540201340x1115040155505225041321x1115040155055225041321x1143342043350141302502x1142433043350431105220x1441152222300042225224x1441152222300024225224x12340511053104253403511x12304150135104350425311x15555152525114120315450x15555152255111423015504x121240440315203200030010x121240440315202300030010x1244345254453533305232512x1244435254453533305232512x11135041254354403002313334x11135041254354043002313334x14240453341014200045343002x14244053341014200045343002x14550040340324400202542203x14550040340342400202542203x115454155353103303503431021x115454155353130303503431021x125401102102131422425434332x120541120012112344225443332x143454321054501533433220553x143445231054501533433220553x145113340032525413142333102x145113340032255413142333102x1534505204453552224513450353x1534505204453552224531450353x14102222101411434504323213022x14102222101411344504323213022x15023031124233120005150121231x15023031124233120001550121231x144024012534242213053050404215x144024012534242231053050404215x1123202530114201210200240241454x1123202153012041210204200244154x1242540010344452543324344544344x1245402300412445544332354444344x1341111321152031440101505152504x1341111321152031440101055152504x1515433432532310201550300105522x1515433423532310201550300105522x12.1012203451x1012230451x1134534511x1153441531x10311103413x12222524402x10443300035x10434300035x11025142510x12421032254x11145100521x12434024153x11223301541x11024312423x11245103144x11245130144x11245110102x12241012152x11342045013x11240105343x11544434305x12512424025x13012125001x13012152001x14004511515x14250243444x100054233310x15250033235x100100320415x13523343551x101053512121x11350515520x101345213504x11445103535x101412145021x12434105334x102220231511x11503444313x102330424301x13450204015x105121121210x11212130443x110041155440x14040251035x110251513400x110255113400x110514535445x115554304145x112551455101x10355230425x113220335531x12353125154x114355104320x13243240354x114552253545x15020522200x121521035015x13043025233x122105003052x11022245344x123413241400x15222214420x125243524231x11542110542x130214532450x14051151223x131210233430x13002454453x131452355422x13450003230x132132440534x10355444401x133305324532x10342413403x134312325220x11140155514x135121510052x10530320020x140412502332x13145215301x141423214340x11125514053x144133112453x11205401411x145034432043x11011523532x145400550252x13450215014x145402021013x15321014400x152553055524x10433231152x153212515251x11031541525x154232150401x11402130025x154455025014x10515540232x154543455511x10203130454x1002455234102x15150325143x1052105044034x11105113323x1054245214344x13420135323x1145504515521x13130344101x1245432140240x13350104303x1310020554034x11544300335x1423232205334x15200031530x11041043400420x11041043040420x12322504332014x12322504323014x14440335051050x14440330551050x14441114154444x13035404150x124440351521255x124404351521255x1455012030334344x1455012033043344x1521003153213004x1521003152330104x13253100541312321x13251305041312321x14425230533013051x14452230533013051x130425353542451054x130425533542451054x1033534031103102340x1033534031103012340x1523444021132003302x1523444021123003302x132334550431413142531x132343550431413142531x1031241554003504201340x1031241554003540201340x1115040155505225041321x1115040155055225041321x1143342043350141302502x1142433043350431105220x1441152222300042225224x1441152222300024225224x12340511053104253403511x12304150135104350425311x15555152525114120315450x15555152255111423015504x121240440315203200030010x121240440315202300030010x1244345254453533305232512x1244435254453533305232512x11135041254354403002313334x11135041254354043002313334x14240453341014200045343002x14244053341014200045343002x14550040340324400202542203x14550040340342400202542203x115454155353103303503431021x115454155353130303503431021x125401102102131422425434332x120541120012112344225443332x143454321054501533433220553x143445231054501533433220553x145113340032525413142333102x145113340032255413142333102x1534505204453552224513450353x1534505204453552224531450353x14102222101411434504323213022x14102222101411344504323213022x15023031124233120005150121231x15023031124233120001550121231x144024012534242213053050404215x144024012534242231053050404215x1123202530114201210200240241454x1123202153012041210204200244154x1242540010344452543324344544344x1245402300412445544332354444344x1341111321152031440101505152504x1341111321152031440101055152504x1515433432532310201550300105522x1515433423532310201550300105522x1ttt2ttt2 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])))