/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 active____XYZmark__X__YZactive__XnilmarkXactive__nilXmarkXactiveandttXmarkXactiveisListVmarkisNeListVactiveisListnilmarkttactiveisList__V1V2markandisListV1isListV2activeisNeListVmarkisQidVactiveisNeList__V1V2markandisListV1isNeListV2activeisNeList__V1V2markandisNeListV1isListV2activeisNePalVmarkisQidVactiveisNePal__I__PImarkandisQidIisPalPactiveisPalVmarkisNePalVactiveisPalnilmarkttactiveisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttmark__X1X2active__markX1markX2marknilactivenilmarkandX1X2activeandmarkX1X2markttactivettmarkisListXactiveisListXmarkisNeListXactiveisNeListXmarkisQidXactiveisQidXmarkisNePalXactiveisNePalXmarkisPalXactiveisPalXmarkaactiveamarkeactiveemarkiactiveimarkoactiveomarkuactiveu__markX1X2__X1X2__X1markX2__X1X2__activeX1X2__X1X2__X1activeX2__X1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isListmarkXisListXisListactiveXisListXisNeListmarkXisNeListXisNeListactiveXisNeListXisQidmarkXisQidXisQidactiveXisQidXisNePalmarkXisNePalXisNePalactiveXisNePalXisPalmarkXisPalXisPalactiveXisPalX2.1311u0000000000o0000000000i0000000000e0000000000a0000000000isPal11000000001000000000isNePal11000000001000000000isQid11000000001000000000isNeList11000000001010000000isList11000000001000000000and211000000011010000002000000000tt0000000000nil0100000000mark11000000001000000000active11000000001000000000__210000000011000000002000000000active____XYZmark__X__YZactiveandttXmarkXactiveisListVmarkisNeListVactiveisList__V1V2markandisListV1isListV2activeisNeListVmarkisQidVactiveisNeList__V1V2markandisListV1isNeListV2activeisNeList__V1V2markandisNeListV1isListV2activeisNePalVmarkisQidVactiveisNePal__I__PImarkandisQidIisPalPactiveisPalVmarkisNePalVactiveisQidamarkttactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttmark__X1X2active__markX1markX2marknilactivenilmarkandX1X2activeandmarkX1X2markttactivettmarkisListXactiveisListXmarkisNeListXactiveisNeListXmarkisQidXactiveisQidXmarkisNePalXactiveisNePalXmarkisPalXactiveisPalXmarkaactiveamarkeactiveemarkiactiveimarkoactiveomarkuactiveu__markX1X2__X1X2__X1markX2__X1X2__activeX1X2__X1X2__X1activeX2__X1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isListmarkXisListXisListactiveXisListXisNeListmarkXisNeListXisNeListactiveXisNeListXisQidmarkXisQidXisQidactiveXisQidXisNePalmarkXisNePalXisNePalactiveXisNePalXisPalmarkXisPalXisPalactiveXisPalX311u0000000000o0000000000i0000000000e0000000000a0100000000isPal11010000001000000000isNePal11000000001000000000isQid11000000001000000000isNeList11000000001000000000isList11100000001000000000and210000000011000000002000000000tt0000000000nil0000000000mark11000000001000000000active11000000001000000000__210000000011000000002000000000active____XYZmark__X__YZactiveandttXmarkXactiveisListVmarkisNeListVactiveisList__V1V2markandisListV1isListV2activeisNeListVmarkisQidVactiveisNeList__V1V2markandisListV1isNeListV2activeisNeList__V1V2markandisNeListV1isListV2activeisNePalVmarkisQidVactiveisNePal__I__PImarkandisQidIisPalPactiveisPalVmarkisNePalVactiveisQidemarkttactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttmark__X1X2active__markX1markX2marknilactivenilmarkandX1X2activeandmarkX1X2markttactivettmarkisListXactiveisListXmarkisNeListXactiveisNeListXmarkisQidXactiveisQidXmarkisNePalXactiveisNePalXmarkisPalXactiveisPalXmarkaactiveamarkeactiveemarkiactiveimarkoactiveomarkuactiveu__markX1X2__X1X2__X1markX2__X1X2__activeX1X2__X1X2__X1activeX2__X1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isListmarkXisListXisListactiveXisListXisNeListmarkXisNeListXisNeListactiveXisNeListXisQidmarkXisQidXisQidactiveXisQidXisNePalmarkXisNePalXisNePalactiveXisNePalXisPalmarkXisPalXisPalactiveXisPalX311u0000000000o0000000000i0000000000e0100000000a0000000000isPal11000000001000000000isNePal11000000001000000000isQid11000000001000000000isNeList11000000001000000000isList11000000001100000000and210000000011000000002000000000tt0000000000nil0000000000mark11000000001000000000active11000000001000000000__210000000011000000002100000000active____XYZmark__X__YZactiveandttXmarkXactiveisList__V1V2markandisListV1isListV2activeisNeListVmarkisQidVactiveisNeList__V1V2markandisListV1isNeListV2activeisNeList__V1V2markandisNeListV1isListV2activeisNePalVmarkisQidVactiveisPalVmarkisNePalVactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttmark__X1X2active__markX1markX2marknilactivenilmarkandX1X2activeandmarkX1X2markttactivettmarkisListXactiveisListXmarkisNeListXactiveisNeListXmarkisQidXactiveisQidXmarkisNePalXactiveisNePalXmarkisPalXactiveisPalXmarkaactiveamarkeactiveemarkiactiveimarkoactiveomarkuactiveu__markX1X2__X1X2__X1markX2__X1X2__activeX1X2__X1X2__X1activeX2__X1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isListmarkXisListXisListactiveXisListXisNeListmarkXisNeListXisNeListactiveXisNeListXisQidmarkXisQidXisQidactiveXisQidXisNePalmarkXisNePalXisNePalactiveXisNePalXisPalmarkXisPalXisPalactiveXisPalXactive____XYZ__YZactive____XYZ__X__YZactive____XYZmark__X__YZactiveandttXmarkXactiveisList__V1V2isListV2activeisList__V1V2isListV1activeisList__V1V2andisListV1isListV2activeisList__V1V2markandisListV1isListV2activeisNeListVisQidVactiveisNeListVmarkisQidVactiveisNeList__V1V2isNeListV2activeisNeList__V1V2isListV1activeisNeList__V1V2andisListV1isNeListV2activeisNeList__V1V2markandisListV1isNeListV2activeisNeList__V1V2isListV2activeisNeList__V1V2isNeListV1activeisNeList__V1V2andisNeListV1isListV2activeisNeList__V1V2markandisNeListV1isListV2activeisNePalVisQidVactiveisNePalVmarkisQidVactiveisPalVisNePalVactiveisPalVmarkisNePalVactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttmark__X1X2markX2mark__X1X2markX1mark__X1X2__markX1markX2mark__X1X2active__markX1markX2marknilactivenilmarkandX1X2markX1markandX1X2andmarkX1X2markandX1X2activeandmarkX1X2markttactivettmarkisListXactiveisListXmarkisNeListXactiveisNeListXmarkisQidXactiveisQidXmarkisNePalXactiveisNePalXmarkisPalXactiveisPalXmarkaactiveamarkeactiveemarkiactiveimarkoactiveomarkuactiveu__markX1X2__X1X2__X1markX2__X1X2__activeX1X2__X1X2__X1activeX2__X1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isListmarkXisListXisListactiveXisListXisNeListmarkXisNeListXisNeListactiveXisNeListXisQidmarkXisQidXisQidactiveXisQidXisNePalmarkXisNePalXisNePalactiveXisNePalXisPalmarkXisPalXisPalactiveXisPalXtruemarkisNeListXactiveisNeListXactiveisNeList__V1V2markandisNeListV1isListV2markandX1X2activeandmarkX1X2activeandttXmarkXmarkisListXactiveisListXactiveisList__V1V2markandisListV1isListV2markandX1X2markX1mark__X1X2active__markX1markX2active____XYZmark__X__YZmark__X1X2markX1mark__X1X2markX2activeisNeList__V1V2markandisListV1isNeListV2true12345678910111213141617182124282930313233mark10active10u00o00i00e00a00isPal13isNePal12isQid11isNeList12isList11and20tt00nil00mark10active10__29mark11active11u0o0i0e0a0isPal1isNePal1isQid1isNeList11isList11and212tt0nil0mark11active11__212markisNeListXactiveisNeListXmarkandX1X2activeandmarkX1X2markisListXactiveisListXmark__X1X2active__markX1markX2active____XYZmark__X__YZactiveandttXmarkXactiveisList__V1V2markandisListV1isListV2activeisNeListVmarkisQidVactiveisNeList__V1V2markandisListV1isNeListV2activeisNeList__V1V2markandisNeListV1isListV2activeisNePalVmarkisQidVactiveisPalVmarkisNePalVactiveisQidimarkttactiveisQidomarkttactiveisQidumarkttmark__X1X2active__markX1markX2marknilactivenilmarkandX1X2activeandmarkX1X2markttactivettmarkisListXactiveisListXmarkisNeListXactiveisNeListXmarkisQidXactiveisQidXmarkisNePalXactiveisNePalXmarkisPalXactiveisPalXmarkaactiveamarkeactiveemarkiactiveimarkoactiveomarkuactiveu__markX1X2__X1X2__X1markX2__X1X2__activeX1X2__X1X2__X1activeX2__X1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2isListmarkXisListXisListactiveXisListXisNeListmarkXisNeListXisNeListactiveXisNeListXisQidmarkXisQidXisQidactiveXisQidXisNePalmarkXisNePalXisNePalactiveXisNePalXisPalmarkXisPalXisPalactiveXisPalXmark__X1X2active__markX1markX2falsemarkandX1X2activeandmarkX1X2falsemarkisListXactiveisListXfalsemarkisNeListXactiveisNeListXfalseactiveisNeListVisQidVfalse35activeisNeListVmarkisQidVfalse22activeisNeList__V1V2isNeListV2false34activeisNeList__V1V2isListV1false30activeisNeList__V1V2andisListV1isNeListV2falseactiveisNeList__V1V2isListV2false28activeisNeList__V1V2isNeListV1false30activeisNeList__V1V2andisNeListV1isListV2falseactiveisList__V1V2isListV2false25activeisList__V1V2isListV1false24activeisList__V1V2andisListV1isListV2falseactive____XYZ__YZfalse3active____XYZ__X__YZfalse2mark__X1X2__markX1markX2false1__X1activeX2__X1X2__activeX1X2__X1X2__X1markX2__X1X2__markX1X2__X1X2true__X1activeX2__X1X22true21false1__activeX1X2__X1X22false21true1__X1markX2__X1X22true21false1__markX1X2__X1X22false21true1marknilactivenilfalsemarkandX1X2andmarkX1X2false18markisPalXactiveisPalXfalse12activeisPalVisNePalVfalse19activeisPalVmarkisNePalVfalse1markisNePalXactiveisNePalXfalse12activeisNePalVisQidVfalse14activeisNePalVmarkisQidVfalse1markisQidXactiveisQidXfalse123activeisQidimarkttfalse3activeisQidomarkttfalse2activeisQidumarkttfalse1markttactivettfalsemarkaactiveafalsemarkeactiveefalsemarkiactiveifalsemarkoactiveofalsemarkuactiveufalseisListmarkXisListXisListactiveXisListXtrueisListmarkXisListX1true1isListactiveXisListX1true1andmarkX1X2andX1X2andX1activeX2andX1X2andactiveX1X2andX1X2andX1markX2andX1X2trueandmarkX1X2andX1X22false21true1andX1activeX2andX1X22true21false1andactiveX1X2andX1X22false21true1andX1markX2andX1X22true21false1isQidmarkXisQidXisQidactiveXisQidXtrueisQidmarkXisQidX1true1isQidactiveXisQidX1true1isNeListmarkXisNeListXisNeListactiveXisNeListXtrueisNeListmarkXisNeListX1true1isNeListactiveXisNeListX1true1isNePalmarkXisNePalXisNePalactiveXisNePalXtrueisNePalmarkXisNePalX1true1isNePalactiveXisNePalX1true1isPalmarkXisPalXisPalactiveXisPalXtrueisPalmarkXisPalX1true1isPalactiveXisPalX1true1ttt2ttt2 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])))