Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / durationThm_1_e7_217 / tests / durationThm_1_e7_217.test_suite_new @ 43a2cae9

History | View | Annotate | Download (29 KB)

1
<testTrace>        <Value name="ik" step="1" type="input">0</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">0</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">0</Value>        <Value name="V14_k" step="2" type="local">0</Value>        <Value name="V15_m" step="1" type="local">0</Value>        <Value name="V15_m" step="2" type="local">0</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
2
<testTrace>        <Value name="ik" step="1" type="input">0</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">0</Value>        <Value name="V14_k" step="2" type="local">0</Value>        <Value name="V15_m" step="1" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
3
<testTrace>        <Value name="ik" step="1" type="input">1</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">0</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">1</Value>        <Value name="V14_k" step="2" type="local">1</Value>        <Value name="V15_m" step="1" type="local">0</Value>        <Value name="V15_m" step="2" type="local">0</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
4
<testTrace>        <Value name="ik" step="1" type="input">-1</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">-1</Value>        <Value name="V14_k" step="2" type="local">-1</Value>        <Value name="V15_m" step="1" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
5
<testTrace>        <Value name="ik" step="1" type="input">1</Value>        <Value name="ik" step="2" type="input">2</Value>        <Value name="im" step="1" type="input">-1</Value>        <Value name="im" step="2" type="input">3</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">1</Value>        <Value name="V14_k" step="2" type="local">1</Value>        <Value name="V15_m" step="1" type="local">-1</Value>        <Value name="V15_m" step="2" type="local">-1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
6
<testTrace>        <Value name="ik" step="1" type="input">1</Value>        <Value name="ik" step="2" type="input">3</Value>        <Value name="im" step="1" type="input">1</Value>        <Value name="im" step="2" type="input">4</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">0</Value>        <Value name="OK" step="2" type="output">0</Value>        <Value name="V14_k" step="1" type="local">1</Value>        <Value name="V14_k" step="2" type="local">1</Value>        <Value name="V15_m" step="1" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">1</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">1</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">1</Value>    </testTrace>
7
<testTrace>        <Value name="ik" step="1" type="input">2</Value>        <Value name="ik" step="2" type="input">3</Value>        <Value name="im" step="1" type="input">-1</Value>        <Value name="im" step="2" type="input">4</Value>        <Value name="p" step="1" type="input">0</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="q" step="1" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="r" step="1" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="OK" step="1" type="output">1</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="V14_k" step="1" type="local">2</Value>        <Value name="V14_k" step="2" type="local">2</Value>        <Value name="V15_m" step="1" type="local">-1</Value>        <Value name="V15_m" step="2" type="local">-1</Value>        <Value name="V16_env" step="1" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="1" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="1" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V55_X" step="1" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="1" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>    </testTrace>
8
<testTrace>        <Value name="ik" step="2" type="input">0</Value>        <Value name="ik" step="3" type="input">5</Value>        <Value name="ik" step="4" type="input">3</Value>        <Value name="im" step="2" type="input">0</Value>        <Value name="im" step="3" type="input">6</Value>        <Value name="im" step="4" type="input">4</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="OK" step="3" type="output">1</Value>        <Value name="OK" step="4" type="output">1</Value>        <Value name="V14_k" step="2" type="local">0</Value>        <Value name="V14_k" step="3" type="local">0</Value>        <Value name="V14_k" step="4" type="local">0</Value>        <Value name="V15_m" step="2" type="local">0</Value>        <Value name="V15_m" step="3" type="local">0</Value>        <Value name="V15_m" step="4" type="local">0</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">0</Value>    </testTrace>
9
<testTrace>        <Value name="ik" step="2" type="input">0</Value>        <Value name="ik" step="3" type="input">5</Value>        <Value name="ik" step="4" type="input">3</Value>        <Value name="im" step="2" type="input">2</Value>        <Value name="im" step="3" type="input">6</Value>        <Value name="im" step="4" type="input">4</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="OK" step="3" type="output">1</Value>        <Value name="OK" step="4" type="output">1</Value>        <Value name="V14_k" step="2" type="local">0</Value>        <Value name="V14_k" step="3" type="local">0</Value>        <Value name="V14_k" step="4" type="local">0</Value>        <Value name="V15_m" step="2" type="local">2</Value>        <Value name="V15_m" step="3" type="local">2</Value>        <Value name="V15_m" step="4" type="local">2</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">0</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">0</Value>    </testTrace>
10
<testTrace>        <Value name="ik" step="2" type="input">1</Value>        <Value name="ik" step="3" type="input">5</Value>        <Value name="ik" step="4" type="input">3</Value>        <Value name="im" step="2" type="input">1</Value>        <Value name="im" step="3" type="input">6</Value>        <Value name="im" step="4" type="input">4</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="OK" step="2" type="output">0</Value>        <Value name="OK" step="3" type="output">0</Value>        <Value name="OK" step="4" type="output">0</Value>        <Value name="V14_k" step="2" type="local">1</Value>        <Value name="V14_k" step="3" type="local">1</Value>        <Value name="V14_k" step="4" type="local">1</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V15_m" step="3" type="local">1</Value>        <Value name="V15_m" step="4" type="local">1</Value>        <Value name="V16_env" step="2" type="local">0</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">1</Value>        <Value name="V45_age_of_p" step="4" type="local">2</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="3" type="local">1</Value>        <Value name="V52_age_of_p" step="4" type="local">2</Value>        <Value name="V55_X" step="2" type="local">0</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">1</Value>        <Value name="V68_age_of_p" step="4" type="local">2</Value>    </testTrace>
11
<testTrace>        <Value name="ik" step="2" type="input">3</Value>        <Value name="ik" step="3" type="input">7</Value>        <Value name="ik" step="4" type="input">5</Value>        <Value name="im" step="2" type="input">1</Value>        <Value name="im" step="3" type="input">8</Value>        <Value name="im" step="4" type="input">6</Value>        <Value name="p" step="2" type="input">0</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="q" step="2" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="r" step="2" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="OK" step="2" type="output">1</Value>        <Value name="OK" step="3" type="output">1</Value>        <Value name="OK" step="4" type="output">1</Value>        <Value name="V14_k" step="2" type="local">3</Value>        <Value name="V14_k" step="3" type="local">3</Value>        <Value name="V14_k" step="4" type="local">3</Value>        <Value name="V15_m" step="2" type="local">1</Value>        <Value name="V15_m" step="3" type="local">1</Value>        <Value name="V15_m" step="4" type="local">1</Value>        <Value name="V16_env" step="2" type="local">1</Value>        <Value name="V16_env" step="3" type="local">1</Value>        <Value name="V16_env" step="4" type="local">1</Value>        <Value name="V45_age_of_p" step="2" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">0</Value>        <Value name="V52_age_of_p" step="2" type="local">0</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">0</Value>        <Value name="V55_X" step="2" type="local">1</Value>        <Value name="V55_X" step="3" type="local">1</Value>        <Value name="V55_X" step="4" type="local">1</Value>        <Value name="V68_age_of_p" step="2" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">0</Value>    </testTrace>
12
<testTrace>        <Value name="ik" step="3" type="input">1</Value>        <Value name="ik" step="4" type="input">8</Value>        <Value name="ik" step="5" type="input">6</Value>        <Value name="ik" step="6" type="input">4</Value>        <Value name="im" step="3" type="input">1</Value>        <Value name="im" step="4" type="input">9</Value>        <Value name="im" step="5" type="input">7</Value>        <Value name="im" step="6" type="input">5</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="p" step="5" type="input">0</Value>        <Value name="p" step="6" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="q" step="5" type="input">0</Value>        <Value name="q" step="6" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="r" step="5" type="input">0</Value>        <Value name="r" step="6" type="input">0</Value>        <Value name="OK" step="3" type="output">0</Value>        <Value name="OK" step="4" type="output">0</Value>        <Value name="OK" step="5" type="output">0</Value>        <Value name="OK" step="6" type="output">0</Value>        <Value name="V14_k" step="3" type="local">1</Value>        <Value name="V14_k" step="4" type="local">1</Value>        <Value name="V14_k" step="5" type="local">1</Value>        <Value name="V14_k" step="6" type="local">1</Value>        <Value name="V15_m" step="3" type="local">1</Value>        <Value name="V15_m" step="4" type="local">1</Value>        <Value name="V15_m" step="5" type="local">1</Value>        <Value name="V15_m" step="6" type="local">1</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V16_env" step="5" type="local">0</Value>        <Value name="V16_env" step="6" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">1</Value>        <Value name="V45_age_of_p" step="5" type="local">2</Value>        <Value name="V45_age_of_p" step="6" type="local">3</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">1</Value>        <Value name="V52_age_of_p" step="5" type="local">2</Value>        <Value name="V52_age_of_p" step="6" type="local">3</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V55_X" step="5" type="local">0</Value>        <Value name="V55_X" step="6" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">1</Value>        <Value name="V68_age_of_p" step="5" type="local">2</Value>        <Value name="V68_age_of_p" step="6" type="local">3</Value>    </testTrace>
13
<testTrace>        <Value name="ik" step="3" type="input">1</Value>        <Value name="ik" step="4" type="input">8</Value>        <Value name="ik" step="5" type="input">6</Value>        <Value name="ik" step="6" type="input">4</Value>        <Value name="im" step="3" type="input">2</Value>        <Value name="im" step="4" type="input">9</Value>        <Value name="im" step="5" type="input">7</Value>        <Value name="im" step="6" type="input">5</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="p" step="5" type="input">0</Value>        <Value name="p" step="6" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="q" step="5" type="input">0</Value>        <Value name="q" step="6" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="r" step="5" type="input">0</Value>        <Value name="r" step="6" type="input">0</Value>        <Value name="OK" step="3" type="output">0</Value>        <Value name="OK" step="4" type="output">0</Value>        <Value name="OK" step="5" type="output">0</Value>        <Value name="OK" step="6" type="output">0</Value>        <Value name="V14_k" step="3" type="local">1</Value>        <Value name="V14_k" step="4" type="local">1</Value>        <Value name="V14_k" step="5" type="local">1</Value>        <Value name="V14_k" step="6" type="local">1</Value>        <Value name="V15_m" step="3" type="local">2</Value>        <Value name="V15_m" step="4" type="local">2</Value>        <Value name="V15_m" step="5" type="local">2</Value>        <Value name="V15_m" step="6" type="local">2</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V16_env" step="5" type="local">0</Value>        <Value name="V16_env" step="6" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">1</Value>        <Value name="V45_age_of_p" step="5" type="local">2</Value>        <Value name="V45_age_of_p" step="6" type="local">3</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">1</Value>        <Value name="V52_age_of_p" step="5" type="local">2</Value>        <Value name="V52_age_of_p" step="6" type="local">3</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V55_X" step="5" type="local">0</Value>        <Value name="V55_X" step="6" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">1</Value>        <Value name="V68_age_of_p" step="5" type="local">2</Value>        <Value name="V68_age_of_p" step="6" type="local">3</Value>    </testTrace>
14
    <testTrace>        <Value name="ik" step="3" type="input">2</Value>        <Value name="ik" step="4" type="input">8</Value>        <Value name="ik" step="5" type="input">6</Value>        <Value name="ik" step="6" type="input">4</Value>        <Value name="im" step="3" type="input">1</Value>        <Value name="im" step="4" type="input">9</Value>        <Value name="im" step="5" type="input">7</Value>        <Value name="im" step="6" type="input">5</Value>        <Value name="p" step="3" type="input">0</Value>        <Value name="p" step="4" type="input">0</Value>        <Value name="p" step="5" type="input">0</Value>        <Value name="p" step="6" type="input">0</Value>        <Value name="q" step="3" type="input">0</Value>        <Value name="q" step="4" type="input">0</Value>        <Value name="q" step="5" type="input">0</Value>        <Value name="q" step="6" type="input">0</Value>        <Value name="r" step="3" type="input">0</Value>        <Value name="r" step="4" type="input">0</Value>        <Value name="r" step="5" type="input">0</Value>        <Value name="r" step="6" type="input">0</Value>        <Value name="OK" step="3" type="output">0</Value>        <Value name="OK" step="4" type="output">0</Value>        <Value name="OK" step="5" type="output">0</Value>        <Value name="OK" step="6" type="output">0</Value>        <Value name="V14_k" step="3" type="local">2</Value>        <Value name="V14_k" step="4" type="local">2</Value>        <Value name="V14_k" step="5" type="local">2</Value>        <Value name="V14_k" step="6" type="local">2</Value>        <Value name="V15_m" step="3" type="local">1</Value>        <Value name="V15_m" step="4" type="local">1</Value>        <Value name="V15_m" step="5" type="local">1</Value>        <Value name="V15_m" step="6" type="local">1</Value>        <Value name="V16_env" step="3" type="local">0</Value>        <Value name="V16_env" step="4" type="local">0</Value>        <Value name="V16_env" step="5" type="local">0</Value>        <Value name="V16_env" step="6" type="local">0</Value>        <Value name="V45_age_of_p" step="3" type="local">0</Value>        <Value name="V45_age_of_p" step="4" type="local">1</Value>        <Value name="V45_age_of_p" step="5" type="local">2</Value>        <Value name="V45_age_of_p" step="6" type="local">3</Value>        <Value name="V52_age_of_p" step="3" type="local">0</Value>        <Value name="V52_age_of_p" step="4" type="local">1</Value>        <Value name="V52_age_of_p" step="5" type="local">2</Value>        <Value name="V52_age_of_p" step="6" type="local">3</Value>        <Value name="V55_X" step="3" type="local">0</Value>        <Value name="V55_X" step="4" type="local">0</Value>        <Value name="V55_X" step="5" type="local">0</Value>        <Value name="V55_X" step="6" type="local">0</Value>        <Value name="V68_age_of_p" step="3" type="local">0</Value>        <Value name="V68_age_of_p" step="4" type="local">1</Value>        <Value name="V68_age_of_p" step="5" type="local">2</Value>        <Value name="V68_age_of_p" step="6" type="local">3</Value>    </testTrace>