/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES activeandtrueXmarkXactiveandfalseYmarkfalseactiveiftrueXYmarkXactiveiffalseXYmarkYactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivefromXmarkconsXfromsXactiveandX1X2andactiveX1X2activeifX1X2X3ifactiveX1X2X3activeaddX1X2addactiveX1X2activefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2andmarkX1X2markandX1X2ifmarkX1X2X3markifX1X2X3addmarkX1X2markaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2properandX1X2andproperX1properX2propertrueoktrueproperfalseokfalseproperifX1X2X3ifproperX1properX2properX3properaddX1X2addproperX1properX2proper0ok0propersXsproperXproperfirstX1X2firstproperX1properX2properniloknilproperconsX1X2consproperX1properX2properfromXfromproperXandokX1okX2okandX1X2ifokX1okX2okX3okifX1X2X3addokX1okX2okaddX1X2sokXoksXfirstokX1okX2okfirstX1X2consokX1okX2okconsX1X2fromokXokfromXtopmarkXtopproperXtopokXtopactiveX2.1311top11001100001001000000ok11010101001000000000proper11000100011000000000from11010001001010000000cons210000000111000000012000000000nil0000000000first210001000111000100012010000000s11000000011000000000add21000100011100010001201000000000000000000if3100010001110001000121000100013010000000false0000000000mark11000100001010000000active11010101011000000000and210001000111000100012010000000true0000000000activeandtrueXmarkXactiveandfalseYmarkfalseactiveiftrueXYmarkXactiveiffalseXYmarkYactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivefromXmarkconsXfromsXactiveandX1X2andactiveX1X2activeifX1X2X3ifactiveX1X2X3activeaddX1X2addactiveX1X2activefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2andmarkX1X2markandX1X2ifmarkX1X2X3markifX1X2X3addmarkX1X2markaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2properandX1X2andproperX1properX2propertrueoktrueproperfalseokfalseproperifX1X2X3ifproperX1properX2properX3properaddX1X2addproperX1properX2proper0ok0propersXsproperXproperfirstX1X2firstproperX1properX2properniloknilproperconsX1X2consproperX1properX2properfromXfromproperXandokX1okX2okandX1X2ifokX1okX2okX3okifX1X2X3addokX1okX2okaddX1X2sokXoksXfirstokX1okX2okfirstX1X2consokX1okX2okconsX1X2fromokXokfromXtopokXtopactiveXactiveaddsXYaddXYactiveaddsXYsaddXYactivefirstsXconsYZfirstXZactivefirstsXconsYZconsYfirstXZactivefromXsXactivefromXfromsXactivefromXconsXfromsXactiveandX1X2activeX1activeandX1X2andactiveX1X2activeifX1X2X3activeX1activeifX1X2X3ifactiveX1X2X3activeaddX1X2activeX1activeaddX1X2addactiveX1X2activefirstX1X2activeX1activefirstX1X2firstactiveX1X2activefirstX1X2activeX2activefirstX1X2firstX1activeX2andmarkX1X2andX1X2ifmarkX1X2X3ifX1X2X3addmarkX1X2addX1X2firstmarkX1X2firstX1X2firstX1markX2firstX1X2properandX1X2properX2properandX1X2properX1properandX1X2andproperX1properX2properifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properifX1X2X3ifproperX1properX2properX3properaddX1X2properX2properaddX1X2properX1properaddX1X2addproperX1properX2propersXproperXpropersXsproperXproperfirstX1X2properX2properfirstX1X2properX1properfirstX1X2firstproperX1properX2properconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properfromXproperXproperfromXfromproperXandokX1okX2andX1X2ifokX1okX2okX3ifX1X2X3addokX1okX2addX1X2sokXsXfirstokX1okX2firstX1X2consokX1okX2consX1X2fromokXfromXtopokXactiveXtopokXtopactiveXtrueproperfromXproperXproperandX1X2properX2properandX1X2properX1properifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properaddX1X2properX2properaddX1X2properX1propersXproperXproperfirstX1X2properX2properfirstX1X2properX1properconsX1X2properX2properconsX1X2properX1true1234567proper11properfromXfromproperXfalse19properconsX1X2consproperX1properX2false21properfirstX1X2firstproperX1properX2false22propersXsproperXfalse23properaddX1X2addproperX1properX2false24properifX1X2X3ifproperX1properX2properX3false9properandX1X2andproperX1properX2false10topokXtopactiveXtrue1top10ok10from11cons20nil00first29s11add22001if31false00mark10active10and21true08top11ok11from1cons2nil0first22s1add2100if32false0mark1active11and21true0activeandtrueXmarkXactiveandfalseYmarkfalseactiveiftrueXYmarkXactiveiffalseXYmarkYactiveadd0XmarkXactiveaddsXYmarksaddXYactivefirst0XmarknilactivefirstsXconsYZmarkconsYfirstXZactivefromXmarkconsXfromsXactiveandX1X2andactiveX1X2activeifX1X2X3ifactiveX1X2X3activeaddX1X2addactiveX1X2activefirstX1X2firstactiveX1X2activefirstX1X2firstX1activeX2addmarkX1X2markaddX1X2addokX1okX2okaddX1X2firstmarkX1X2markfirstX1X2firstX1markX2markfirstX1X2firstokX1okX2okfirstX1X2andmarkX1X2markandX1X2andokX1okX2okandX1X2ifmarkX1X2X3markifX1X2X3ifokX1okX2okX3okifX1X2X3topokXactiveXfalse1234579101213151719activeandX1X2activeX1activeifX1X2X3activeX1activeaddX1X2activeX1activefirstX1X2activeX1activefirstX1X2activeX2true12346891112141618activeandX1X2activeX11true1activeifX1X2X3activeX11true1activeaddX1X2activeX11true1activefirstX1X2activeX11true1activefirstX1X2activeX21true1activefirstX1X2firstX1activeX2false14activefirstX1X2firstactiveX1X2false13activeaddX1X2addactiveX1X2false16activeifX1X2X3ifactiveX1X2X3false1ifmarkX1X2X3ifX1X2X3ifokX1okX2okX3ifX1X2X3trueifmarkX1X2X3ifX1X2X33false32false21true1ifokX1okX2okX3ifX1X2X33true32true21true1activeandX1X2andactiveX1X2false1andmarkX1X2andX1X2andokX1okX2andX1X2trueandmarkX1X2andX1X22false21true1andokX1okX2andX1X22true21true1activefromXconsXfromsXfalse5activefromXfromsXfalse1fromokXfromXtruefromokXfromX1true1activefromXsXfalse6activefirstsXconsYZconsYfirstXZfalse1consokX1okX2consX1X2trueconsokX1okX2consX1X22true21true1activefirstsXconsYZfirstXZfalse1firstmarkX1X2firstX1X2firstX1markX2firstX1X2firstokX1okX2firstX1X2truefirstmarkX1X2firstX1X22false21true1firstX1markX2firstX1X22true21false1firstokX1okX2firstX1X22true21true1activeaddsXYsaddXYfalse1sokXsXtruesokXsX1true1activeaddsXYaddXYfalse1addmarkX1X2addX1X2addokX1okX2addX1X2trueaddmarkX1X2addX1X22false21true1addokX1okX2addX1X22true21true1ttt2ttt2 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])))