/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES termsNconsrecipsqrNn__termssNsqr00sqrsXsn__addsqractivateXdblactivateXdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXX2.1termsNsNtermsNsqrNsqrsXdblactivateXsqrsXactivateXsqrsXsqractivateXsqrsXsn__addsqractivateXdblactivateXdblsXactivateXdblsXsn__sn__dblactivateXaddsXYactivateXaddsXYsn__addactivateXYfirstsXconsYZactivateZfirstsXconsYZactivateXactivaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2truefirstsXconsYZactivateZactivaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXactivaten__addX1X2addX1X2addsXYactivateXactivaten__dblXdblXactivaten__firstX1X2firstX1X2firstsXconsYZactivateXsqrsXactivateXsqrsXsqractivateXtrue123451first201020add201120activate1010dbl1010sqr1010terms1010n__first221124nil00first221124add201123n__s101n__dbl1112n__add201123dbl1112activate1010003cons2102n__terms111s101recip1210sqr1212terms111firstsXconsYZactivateZactivaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXactivaten__addX1X2addX1X2addsXYactivateXfirstsXconsYZactivateXsqrsXactivateXsqrsXsqractivateXtermsNconsrecipsqrNn__termssNdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXXfirstsXconsYZactivateXfalse2firstsXconsYZactivateZfalse1activaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXactivaten__addX1X2addX1X2addsXYactivateXsqrsXactivateXsqrsXsqractivateXtrue1add25102activate101dbl1010sqr101terms101n__first20102nil00first20102add251027n__s101n__dbl101n__add251027dbl101activate1010000cons2102n__terms1014s1010recip1010sqr1012terms1014activaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXactivaten__addX1X2addX1X2sqrsXactivateXsqrsXsqractivateXtermsNconsrecipsqrNn__termssNdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXXactivaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXsqrsXactivateXsqrsXsqractivateXtrue11activate101-16dbl111-16sqr1110terms1310n__first21220nil00first21220add21420n__s101n__dbl101n__add21420dbl101-1activate101-1000cons2-21020n__terms1310s101recip110sqr101-12terms1310activaten__termsXtermsXtermsNsqrNsqrsXdblactivateXdblsXactivateXsqrsXsqractivateXtermsNconsrecipsqrNn__termssNdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXX1activate101-16dbl1010sqr131terms141n__first201-820nil01first201-820add20102n__s1012n__dbl101n__add20102dbl101activate1010002cons21020n__terms1416s1012recip111sqr1414terms1416activaten__termsXtermsXdblsXactivateXsqrsXsqractivateXtermsNconsrecipsqrNn__termssNdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXXsqrsXsqractivateXtrue1sqr1110n__first251023nil03first251023add241220n__s1111n__dbl1210n__add241220dbl1210activate1110000cons201020n__terms1010s1111recip1010sqr1410terms1010termsNconsrecipsqrNn__termssNdbl00dblsXsn__sn__dblactivateXadd0XXaddsXYsn__addactivateXYfirst0XnilfirstsXconsYZconsYn__firstactivateXactivateZtermsXn__termsXaddX1X2n__addX1X2sXn__sXdblXn__dblXfirstX1X2n__firstX1X2activaten__termsXtermsXactivaten__addX1X2addX1X2activaten__sXsXactivaten__dblXdblXactivaten__firstX1X2firstX1X2activateXXdblsXactivateXfalse1activaten__termsXtermsXfalseactivaten__addX1X2addX1X2falsesqrsXsn__addsqractivateXdblactivateXfalseaddsXYsn__addactivateXYfalsedblsXsn__sn__dblactivateXfalseactivaten__sXsXfalsetermsNsNfalsettt2ttt2 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])))