/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 0010123442330110x10014043000330251x10010123442330110x10220430414155250x10010123442330110x10452334355353023x10010123442330110x12145242051354244x10010123442330110x12534255205135324x10010123442330110x12544415533124320x10010123442330110x14311402421541234x10010123442330110x14350255254252515x10014043000330251x10220430414155250x10014043000330251x10254132240151521x10014043000330251x10452334355353023x10014043000330251x12145242051354244x10014043000330251x12544415533124320x10014043000330251x14350255254252515x10401010502503024x10220430414155250x11140531300231535x11251533444543453x11140531300231535x12145242051354244x11140531300231535x12152334115453445x11140531300231535x12544415533124320x11140531300231535x14350255254252515x11140531300231535x14550042131154445x11140531300231535x15045345444524151x11145123112501232x12145242051354244x11145123112501232x12534255205135324x11145123112501232x12544415533124320x11145123112501232x14001252114454334x11145123112501232x14040135430110414x11145123112501232x14311402421541234x11145123112501232x14350255254252515x11231222320423303x10452334355353023x11231222320423303x11251533444543453x11231222320423303x12145242051354244x11315051500401125x10220430414155250x11315051500401125x10254132240151521x11315051500401125x10452334355353023x11315051500401125x11251533444543453x11315051500401125x11343155320215451x11315051500401125x11534253430201531x11315051500401125x12145242051354244x11315051500401125x12152334115453445x11315051500401125x12544415533124320x11315051500401125x14350255254252515x11315051500401125x14550042131154445x11315051500401125x15045345444524151x11315051500401125x15550553323512325x11343155320215451x10220430414155250x11343155320215451x10254132240151521x11343155320215451x11251533444543453x11343155320215451x12145242051354244x11343155320215451x12544415533124320x11343155320215451x14350255254252515x11350523315040110x10220430414155250x11350523315040110x10254132240151521x11350523315040110x11251533444543453x11350523315040110x11343155320215451x11350523315040110x11534253430201531x11350523315040110x12145242051354244x11350523315040110x12152334115453445x11350523315040110x12230445104450410x11350523315040110x12324225350003220x11350523315040110x12334143045201550x11350523315040110x12534255205135324x11350523315040110x12544415533124320x11350523315040110x13211200141243304x11350523315040110x14001252114454334x11350523315040110x14040135430110414x11350523315040110x14311402421541234x11350523315040110x14350255254252515x11350523315040110x14550042131154445x11350523315040110x15045345444524151x11445331531410012x12145242051354244x11445331531410012x12544415533124320x11445331531410012x14311402421541234x11534253430201531x10220430414155250x11534253430201531x12544415533124320x12230445104450410x10220430414155250x12230445104450410x10254132240151521x12230445104450410x12145242051354244x12230445104450410x12334143045201550x12230445104450410x12534255205135324x12230445104450410x12544415533124320x12230445104450410x14311402421541234x12230445104450410x14350255254252515x12324225350003220x10220430414155250x12324225350003220x12145242051354244x12324225350003220x12334143045201550x12324225350003220x12534255205135324x12324225350003220x12544415533124320x12324225350003220x14311402421541234x12324225350003220x14350255254252515x12334143045201550x10220430414155250x12334143045201550x12145242051354244x12334143045201550x12544415533124320x12334143045201550x14311402421541234x12334143045201550x14350255254252515x12340055050530012x10220430414155250x12340055050530012x12145242051354244x12340055050530012x12534255205135324x12340055050530012x12544415533124320x12340055050530012x14001252114454334x12340055050530012x14040135430110414x12340055050530012x14311402421541234x12450051105531030x10014043000330251x12450051105531030x10220430414155250x12450051105531030x10452334355353023x12450051105531030x11251533444543453x12450051105531030x11343155320215451x12450051105531030x12145242051354244x12450051105531030x12152334115453445x12450051105531030x12230445104450410x12450051105531030x12324225350003220x12450051105531030x12534255205135324x12450051105531030x12544415533124320x12450051105531030x13211200141243304x12450051105531030x14001252114454334x12450051105531030x14040135430110414x12450051105531030x14215233220004430x12450051105531030x14303432331410535x12450051105531030x14311402421541234x12450051105531030x14350255254252515x12450051105531030x14550042131154445x12450051105531030x15045345444524151x12450051105531030x15230250553043042x12500051200224053x10452334355353023x12500051200224053x11251533444543453x12500051200224053x12145242051354244x12500051200224053x12534255205135324x12500051200224053x12544415533124320x12500051200224053x14001252114454334x12500051200224053x14311402421541234x12500051200224053x14350255254252515x13151113042043142x12145242051354244x13151113042043142x12544415533124320x13151113042043142x14311402421541234x13151113042043142x14350255254252515x13151113042043142x15045345444524151x13151113042043142x15230250553043042x13211200141243304x12145242051354244x13211200141243304x12534255205135324x13211200141243304x14001252114454334x13211200141243304x14040135430110414x13211200141243304x14311402421541234x14001252114454334x14311402421541234x14040135430110414x14311402421541234x14100114231230525x14311402421541234x14100114231230525x14350255254252515x14100114231230525x14550042131154445x14100114231230525x15045345444524151x14215233220004430x14001252114454334x14215233220004430x14040135430110414x14215233220004430x14311402421541234x14215233220004430x14350255254252515x14215233220004430x14550042131154445x14303432331410535x14350255254252515x14303432331410535x14550042131154445x14303503431023503x11251533444543453x14303503431023503x14001252114454334x14303503431023503x14040135430110414x14303503431023503x14311402421541234x14303503431023503x14350255254252515x14303503431023503x14550042131154445x14503233123012212x12145242051354244x14503233123012212x14001252114454334x14503233123012212x14040135430110414x14503233123012212x14311402421541234x14503233123012212x14350255254252515x14550042131154445x14350255254252515x15121553113350444x12145242051354244x15121553113350444x15045345444524151x15222014044230511x14350255254252515x15222014044230511x15045345444524151x15330213342531230x12145242051354244x15330213342531230x14350255254252515x15330213342531230x15045345444524151x15330213342531230x15222014044230511x15330213342531230x15230250553043042x15330213342531230x15550553323512325x15532131111004400x12145242051354244x15532131111004400x15045345444524151x15532131111004400x15230250553043042x12.10010123442330110x10014043000330251x10010123442330110x10220430414155250x10010123442330110x10452334355353023x10010123442330110x12145242051354244x10010123442330110x12534255205135324x10010123442330110x12544415533124320x10010123442330110x14311402421541234x10010123442330110x14350255254252515x10014043000330251x10220430414155250x10014043000330251x10254132240151521x10014043000330251x10452334355353023x10014043000330251x12145242051354244x10014043000330251x12544415533124320x10014043000330251x14350255254252515x10401010502503024x10220430414155250x11140531300231535x11251533444543453x11140531300231535x12145242051354244x11140531300231535x12152334115453445x11140531300231535x12544415533124320x11140531300231535x14350255254252515x11140531300231535x14550042131154445x11140531300231535x15045345444524151x11145123112501232x12145242051354244x11145123112501232x12534255205135324x11145123112501232x12544415533124320x11145123112501232x14001252114454334x11145123112501232x14040135430110414x11145123112501232x14311402421541234x11145123112501232x14350255254252515x11231222320423303x10452334355353023x11231222320423303x11251533444543453x11231222320423303x12145242051354244x11315051500401125x10220430414155250x11315051500401125x10254132240151521x11315051500401125x10452334355353023x11315051500401125x11251533444543453x11315051500401125x11343155320215451x11315051500401125x11534253430201531x11315051500401125x12145242051354244x11315051500401125x12152334115453445x11315051500401125x12544415533124320x11315051500401125x14350255254252515x11315051500401125x14550042131154445x11315051500401125x15045345444524151x11315051500401125x15550553323512325x11343155320215451x10220430414155250x11343155320215451x10254132240151521x11343155320215451x11251533444543453x11343155320215451x12145242051354244x11343155320215451x12544415533124320x11343155320215451x14350255254252515x11350523315040110x10220430414155250x11350523315040110x10254132240151521x11350523315040110x11251533444543453x11350523315040110x11343155320215451x11350523315040110x11534253430201531x11350523315040110x12145242051354244x11350523315040110x12152334115453445x11350523315040110x12230445104450410x11350523315040110x12324225350003220x11350523315040110x12334143045201550x11350523315040110x12534255205135324x11350523315040110x12544415533124320x11350523315040110x13211200141243304x11350523315040110x14001252114454334x11350523315040110x14040135430110414x11350523315040110x14311402421541234x11350523315040110x14350255254252515x11350523315040110x14550042131154445x11350523315040110x15045345444524151x11445331531410012x12145242051354244x11445331531410012x12544415533124320x11445331531410012x14311402421541234x11534253430201531x10220430414155250x11534253430201531x12544415533124320x12230445104450410x10220430414155250x12230445104450410x10254132240151521x12230445104450410x12145242051354244x12230445104450410x12334143045201550x12230445104450410x12534255205135324x12230445104450410x12544415533124320x12230445104450410x14311402421541234x12230445104450410x14350255254252515x12324225350003220x10220430414155250x12324225350003220x12145242051354244x12324225350003220x12334143045201550x12324225350003220x12534255205135324x12324225350003220x12544415533124320x12324225350003220x14311402421541234x12324225350003220x14350255254252515x12334143045201550x10220430414155250x12334143045201550x12145242051354244x12334143045201550x12544415533124320x12334143045201550x14311402421541234x12334143045201550x14350255254252515x12340055050530012x10220430414155250x12340055050530012x12145242051354244x12340055050530012x12534255205135324x12340055050530012x12544415533124320x12340055050530012x14001252114454334x12340055050530012x14040135430110414x12340055050530012x14311402421541234x12450051105531030x10014043000330251x12450051105531030x10220430414155250x12450051105531030x10452334355353023x12450051105531030x11251533444543453x12450051105531030x11343155320215451x12450051105531030x12145242051354244x12450051105531030x12152334115453445x12450051105531030x12230445104450410x12450051105531030x12324225350003220x12450051105531030x12534255205135324x12450051105531030x12544415533124320x12450051105531030x13211200141243304x12450051105531030x14001252114454334x12450051105531030x14040135430110414x12450051105531030x14215233220004430x12450051105531030x14303432331410535x12450051105531030x14311402421541234x12450051105531030x14350255254252515x12450051105531030x14550042131154445x12450051105531030x15045345444524151x12450051105531030x15230250553043042x12500051200224053x10452334355353023x12500051200224053x11251533444543453x12500051200224053x12145242051354244x12500051200224053x12534255205135324x12500051200224053x12544415533124320x12500051200224053x14001252114454334x12500051200224053x14311402421541234x12500051200224053x14350255254252515x13151113042043142x12145242051354244x13151113042043142x12544415533124320x13151113042043142x14311402421541234x13151113042043142x14350255254252515x13151113042043142x15045345444524151x13151113042043142x15230250553043042x13211200141243304x12145242051354244x13211200141243304x12534255205135324x13211200141243304x14001252114454334x13211200141243304x14040135430110414x13211200141243304x14311402421541234x14001252114454334x14311402421541234x14040135430110414x14311402421541234x14100114231230525x14311402421541234x14100114231230525x14350255254252515x14100114231230525x14550042131154445x14100114231230525x15045345444524151x14215233220004430x14001252114454334x14215233220004430x14040135430110414x14215233220004430x14311402421541234x14215233220004430x14350255254252515x14215233220004430x14550042131154445x14303432331410535x14350255254252515x14303432331410535x14550042131154445x14303503431023503x11251533444543453x14303503431023503x14001252114454334x14303503431023503x14040135430110414x14303503431023503x14311402421541234x14303503431023503x14350255254252515x14303503431023503x14550042131154445x14503233123012212x12145242051354244x14503233123012212x14001252114454334x14503233123012212x14040135430110414x14503233123012212x14311402421541234x14503233123012212x14350255254252515x14550042131154445x14350255254252515x15121553113350444x12145242051354244x15121553113350444x15045345444524151x15222014044230511x14350255254252515x15222014044230511x15045345444524151x15330213342531230x12145242051354244x15330213342531230x14350255254252515x15330213342531230x15045345444524151x15330213342531230x15222014044230511x15330213342531230x15230250553043042x15330213342531230x15550553323512325x15532131111004400x12145242051354244x15532131111004400x15045345444524151x15532131111004400x15230250553043042x1ttt2ttt2 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])))