/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 012022x1021022x10312242x10321242x110011124x110111024x134033135x134033315x1300101102x1300011102x100350354552x15151331404x101215205444x15132500000x101310143055x11402305545x103105301212x12032041010x103410530152x11002300332x103433303100x11431552415x104554402433x13534143445x105033240400x15052451205x105251042323x13150533334x105353211433x12102330441x110040400444x12520513514x110055221031x11222441120x111312530210x14450422303x112414240425x12104014013x112513233054x14322303104x112535235522x14455124430x113032433452x11145324052x113240442243x11155315114x113521053034x13425050134x114131540120x11321324524x115301200455x12434121204x120140054232x15550324310x121131352444x10223023324x121531053551x10114524201x122211322405x11154341031x122524431451x10505004013x124201345451x10154413544x125403035020x11544023100x130143435102x14244513123x131135030244x11250254255x133420241233x14213053425x134302441032x10415210334x135250101425x12544504323x140304331502x11552554423x140540100544x15431215332x142005522032x12022230041x142411330240x11202152405x144231415423x15001314111x145323530145x11253013424x150312353234x15222342110x151200053254x15223125303x153115500252x12341522133x154202132404x15151432255x154512341413x12151120432x1023353334411x14252415304x1035513443310x11321514103x1113121331504x15045202341x1245325443322x10230004122x1435105322424x11040432333x1535532131455x11413553332x13504520542211x13504502542211x103444133443212x103444134343212x123503045522452x123500345522542x133234303522022x133234033522022x155403101135335x155403110135335x1002515301403401x1002515301044301x1242504052351003x1242504052315003x1420405403221544x1420450403221544x13231323203254540x13231233203254540x14400204500350354x14400024500330554x103243431334012444x103213342034314444x103315013235412144x103315013235421144x115511235505030102x115511253505030102x120512015131441004x120512105131441004x1215351354302305235x1215351354320305235x1224012533020002344x1224021533020002344x1252015304424121003x1252015304442121003x13001510523400141241x13001150523400141241x120015252023350530043x120012552023350530043x1045232453145242011532x1045232451345242011532x1400000032302512011220x1400000032032512011220x11024301123534121441103x11024301125334112441103x11054321432135351323132x10134451312255331332132x11120232452052202535225x11120232542052202535225x144141424101455315444330x144141442101455315444330x1415441503155204315315042x1415441503155203415315042x10110415150442145120000102x10110415150442154120000102x11131013031552504004203050x11131013031555204004203050x14054514142352035054145400x14054514142352035054144500x120051510312540100555243535x120055110312540100555243535x121024153035534242415005242x121024153035534224415005242x13111031102233334320452421432x13111031102233334320542421432x14045342005350012044051154155x14054342003550012044051154155x14332155550550135423345535025x14332155550550135243345535025x114433323250151025023000325301x114433323250511025023000325301x134235130354532403212445324140x134235130354532403212445321440x143543053535201032553354151533x143543053535210032553354151533x12.1012022x1021022x10312242x10321242x110011124x110111024x134033135x134033315x1300101102x1300011102x100350354552x15151331404x101215205444x15132500000x101310143055x11402305545x103105301212x12032041010x103410530152x11002300332x103433303100x11431552415x104554402433x13534143445x105033240400x15052451205x105251042323x13150533334x105353211433x12102330441x110040400444x12520513514x110055221031x11222441120x111312530210x14450422303x112414240425x12104014013x112513233054x14322303104x112535235522x14455124430x113032433452x11145324052x113240442243x11155315114x113521053034x13425050134x114131540120x11321324524x115301200455x12434121204x120140054232x15550324310x121131352444x10223023324x121531053551x10114524201x122211322405x11154341031x122524431451x10505004013x124201345451x10154413544x125403035020x11544023100x130143435102x14244513123x131135030244x11250254255x133420241233x14213053425x134302441032x10415210334x135250101425x12544504323x140304331502x11552554423x140540100544x15431215332x142005522032x12022230041x142411330240x11202152405x144231415423x15001314111x145323530145x11253013424x150312353234x15222342110x151200053254x15223125303x153115500252x12341522133x154202132404x15151432255x154512341413x12151120432x1023353334411x14252415304x1035513443310x11321514103x1113121331504x15045202341x1245325443322x10230004122x1435105322424x11040432333x1535532131455x11413553332x13504520542211x13504502542211x103444133443212x103444134343212x123503045522452x123500345522542x133234303522022x133234033522022x155403101135335x155403110135335x1002515301403401x1002515301044301x1242504052351003x1242504052315003x1420405403221544x1420450403221544x13231323203254540x13231233203254540x14400204500350354x14400024500330554x103243431334012444x103213342034314444x103315013235412144x103315013235421144x115511235505030102x115511253505030102x120512015131441004x120512105131441004x1215351354302305235x1215351354320305235x1224012533020002344x1224021533020002344x1252015304424121003x1252015304442121003x13001510523400141241x13001150523400141241x120015252023350530043x120012552023350530043x1045232453145242011532x1045232451345242011532x1400000032302512011220x1400000032032512011220x11024301123534121441103x11024301125334112441103x11054321432135351323132x10134451312255331332132x11120232452052202535225x11120232542052202535225x144141424101455315444330x144141442101455315444330x1415441503155204315315042x1415441503155203415315042x10110415150442145120000102x10110415150442154120000102x11131013031552504004203050x11131013031555204004203050x14054514142352035054145400x14054514142352035054144500x120051510312540100555243535x120055110312540100555243535x121024153035534242415005242x121024153035534224415005242x13111031102233334320452421432x13111031102233334320542421432x14045342005350012044051154155x14054342003550012044051154155x14332155550550135423345535025x14332155550550135243345535025x114433323250151025023000325301x114433323250511025023000325301x134235130354532403212445324140x134235130354532403212445321440x143543053535201032553354151533x143543053535210032553354151533x1ttt2ttt2 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])))