/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES activeU11ttMNmarkU12ttMNactiveU12ttMNmarksplusNMactiveplusN0markNactiveplusNsMmarkU11ttMNmarkU11X1X2X3activeU11markX1X2X3markttactivettmarkU12X1X2X3activeU12markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12markX1X2X3U12X1X2X3U12X1markX2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X22.1311mark11000110101010000000U113111000000111100000021110000003110000000U123111000000111100000021110000003100000000plus211101101011110000002010000000tt000000000000100000000s11110000001100000000active11100100011000000000activeU11ttMNmarkU12ttMNactiveU12ttMNmarksplusNMactiveplusNsMmarkU11ttMNmarkU11X1X2X3activeU11markX1X2X3markttactivettmarkU12X1X2X3activeU12markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12markX1X2X3U12X1X2X3U12X1markX2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2311mark11000100011000000000U113111011001110011111121110110003100000000U123101001000110011111121110110003010000000plus211101100011001111112100000000tt011000000000010000000s11000010101011000000active11000100011000000000activeU12ttMNmarksplusNMmarkU11X1X2X3activeU11markX1X2X3markttactivettmarkU12X1X2X3activeU12markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12markX1X2X3U12X1X2X3U12X1markX2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2311mark11100010011000000000U113100000000110100000021000000003000000000U123110000000110100000021010000003010000000plus210000000011000000002000000000tt011000000000000000000s11000000001000000000active11000000101000000000markU11X1X2X3activeU11markX1X2X3markttactivettmarkU12X1X2X3activeU12markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12markX1X2X3U12X1X2X3U12X1markX2X3U12X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2311mark11011010101001000000U113100010010111000000021100000003000000000U123110110110110011011021100000003010000000plus211011011011000100102110000000tt000000000000000000000s11000100101000000000active11000010101000000000markU11X1X2X3activeU11markX1X2X3markttactivettmarkU12X1X2X3activeU12markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2X3U11X1X2X3U11X1markX2X3U11X1X2X3U11X1X2markX3U11X1X2X3U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12X1X2markX3U12X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3smarkXsXsactiveXsXplusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2311mark11111100001110000000U113100010000111111000021001000003010000000U123100010000110000000021001000003000000000plus210101100011000100002110000000tt000000000000000000000s11000100001001000000active11000100001000000000markU12X1X2X3activeU12markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3sactiveXsXplusactiveX1X2plusX1X2plusX1activeX2plusX1X2markU12X1X2X3markX1markU12X1X2X3U12markX1X2X3marksXmarkXmarksXsmarkXmarkplusX1X2markX2markplusX1X2markX1markplusX1X2plusmarkX1markX2U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3sactiveXsXplusactiveX1X2plusX1X2plusX1activeX2plusX1X2truemarksXmarkXmarkU12X1X2X3markX1markplusX1X2markX2markplusX1X2markX1true123marksXmarkX1true1markU12X1X2X3markX11true1markplusX1X2markX21true1markplusX1X2markX11true1markplusX1X2plusmarkX1markX2false5markU12X1X2X3U12markX1X2X3false2marksXsmarkXfalse2U12activeX1X2X3U12X1X2X3U12X1activeX2X3U12X1X2X3U12X1X2activeX3U12X1X2X3trueU12activeX1X2X3U12X1X2X33false32false21true1U12X1activeX2X3U12X1X2X33false32true21false1U12X1X2activeX3U12X1X2X33true32false21false1sactiveXsXtruesactiveXsX1true1plusactiveX1X2plusX1X2plusX1activeX2plusX1X2trueplusactiveX1X2plusX1X22false21true1plusX1activeX2plusX1X22true21false1U11activeX1X2X3U11X1X2X3U11X1activeX2X3U11X1X2X3U11X1X2activeX3U11X1X2X3trueU11activeX1X2X3U11X1X2X33false32false21true1U11X1activeX2X3U11X1X2X33false32true21false1U11X1X2activeX3U11X1X2X33true32false21false1ttt2ttt2 1.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))