/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 0012331x10013231x10332022x10323202x13124533x13154233x14341244x14414324x103121204x103012214x111124451x111151442x1144342300x1143043240x11002225233x10123005543x11225112420x12415434130x13521205424x13521250424x14222244413x14550350251x15015122141x15011522141x100045524513x13135425111x100510054341x12140154342x101520533022x14153030204x103134441252x11432211134x103140120350x11540253434x104525543510x15345533544x110022350204x12113522544x110232330320x13223551401x111251425524x10222531104x112455324115x13415311403x113015533533x15213025520x113020500114x15240053030x113420520444x13013010235x113450332143x14510334234x114201545431x12325555004x114245231014x14010344110x114410425032x13353230312x114442413502x13052412025x115242001050x11123401541x121433105251x11345540021x125353450002x10513101142x130120020525x10413453104x131041133234x11153521235x131354405100x14351220125x131515051342x15434034003x132054250421x13235255514x132232030214x15422435305x133123121012x10304025135x134033551453x11503204413x141035443345x15300145520x141400445300x11455545330x142210445045x13552045255x143550101101x12052011551x144123220425x10414224535x144201552005x13320345154x145523451105x10301233423x150051343513x13135224330x151005330434x13052001115x151405523500x15331430234x152405140515x14334444501x153000032521x12415524310x154402431305x14253353040x1001535240534x11250121344x1100341041204x13000222230x1214504010120x1214504001120x1520450551010x11144312242x1530504104411x12150203233x1531250533453x12442242032x110105522510054x110105522150054x125120051504254x125210551040254x131404102003045x131401402003045x1353325002204145x1353325002240145x1503415500034411x1340014355510041x11140341011203204x11101440131003224x11332422215205545x11332422215250545x105042401132105031x105042401132100531x1005153425515102041x1005153425515100241x10120000023444515555x10401524300045555210x103545534412122012424x103545354411221202424x112203232301500553053x112203232301505053053x1255203123453423314114x1255203124353423314114x1344512104401344352111x1344521014440143311521x10114323355453341203040x10114323355453314203040x14210201331401444355045x14210021331401444355045x124433303132532031333132x124343303352123031333132x150410103110334552503102x150140103110335452503102x1301221215413542403331351x1301221215413452403331351x13304433130354101052341341x13304433133054101052341341x14555421421215100005413451x14555421421215100005414351x142402001444210045424211113x142402001444210045244211113x1010005454522405522242304530x1010005454522405522422304530x1520013053144053552343500433x1520013053144055352343500433x12520031141034443505403534423x12520031134104443505430354423x12542532334552151310235402515x12554323545232515142112533005x15344340453342452222020121320x15344340543342452222020121320x142411131054130302022502121203x142411312140313520000502221123x145255055412105312302500113401x145255055412105132302500113401x150003555400552024000415041554x150003555400552204000415401554x12.10012331x10013231x10332022x10323202x13124533x13154233x14341244x14414324x103121204x103012214x111124451x111151442x1144342300x1143043240x11002225233x10123005543x11225112420x12415434130x13521205424x13521250424x14222244413x14550350251x15015122141x15011522141x100045524513x13135425111x100510054341x12140154342x101520533022x14153030204x103134441252x11432211134x103140120350x11540253434x104525543510x15345533544x110022350204x12113522544x110232330320x13223551401x111251425524x10222531104x112455324115x13415311403x113015533533x15213025520x113020500114x15240053030x113420520444x13013010235x113450332143x14510334234x114201545431x12325555004x114245231014x14010344110x114410425032x13353230312x114442413502x13052412025x115242001050x11123401541x121433105251x11345540021x125353450002x10513101142x130120020525x10413453104x131041133234x11153521235x131354405100x14351220125x131515051342x15434034003x132054250421x13235255514x132232030214x15422435305x133123121012x10304025135x134033551453x11503204413x141035443345x15300145520x141400445300x11455545330x142210445045x13552045255x143550101101x12052011551x144123220425x10414224535x144201552005x13320345154x145523451105x10301233423x150051343513x13135224330x151005330434x13052001115x151405523500x15331430234x152405140515x14334444501x153000032521x12415524310x154402431305x14253353040x1001535240534x11250121344x1100341041204x13000222230x1214504010120x1214504001120x1520450551010x11144312242x1530504104411x12150203233x1531250533453x12442242032x110105522510054x110105522150054x125120051504254x125210551040254x131404102003045x131401402003045x1353325002204145x1353325002240145x1503415500034411x1340014355510041x11140341011203204x11101440131003224x11332422215205545x11332422215250545x105042401132105031x105042401132100531x1005153425515102041x1005153425515100241x10120000023444515555x10401524300045555210x103545534412122012424x103545354411221202424x112203232301500553053x112203232301505053053x1255203123453423314114x1255203124353423314114x1344512104401344352111x1344521014440143311521x10114323355453341203040x10114323355453314203040x14210201331401444355045x14210021331401444355045x124433303132532031333132x124343303352123031333132x150410103110334552503102x150140103110335452503102x1301221215413542403331351x1301221215413452403331351x13304433130354101052341341x13304433133054101052341341x14555421421215100005413451x14555421421215100005414351x142402001444210045424211113x142402001444210045244211113x1010005454522405522242304530x1010005454522405522422304530x1520013053144053552343500433x1520013053144055352343500433x12520031141034443505403534423x12520031134104443505430354423x12542532334552151310235402515x12554323545232515142112533005x15344340453342452222020121320x15344340543342452222020121320x142411131054130302022502121203x142411312140313520000502221123x145255055412105312302500113401x145255055412105132302500113401x150003555400552024000415041554x150003555400552204000415401554x1ttt2ttt2 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])))