Project

General

Profile

Download (4.72 KB) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/misc/durationThm_3_e1_36.xml @ 8aaf9f57

1 8aaf9f57 bourbouh 
<?xml version="1.0"?>
2 
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 
     <Property name="top">
4 
      <Date>2016-11-19 19:12</Date>
5 
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 
      <Parse unit="sec">0.00</Parse>
7 
      <Query unit="sec">0.30</Query>
8 
      <Answer>CEX</Answer>
9 
      <Counterexample>
10 
         <Node name ="Sofar">
11 
            <Stream name="Sofar" type="bool">
12 
                <Value instant="0">1</Value>
13 
                <Value instant="1">1</Value>
14 
                <Value instant="2">1</Value>
15 
           </Stream>
16 
            <Stream name="X" type="bool">
17 
                <Value instant="0">1</Value>
18 
                <Value instant="1">1</Value>
19 
                <Value instant="2">1</Value>
20 
           </Stream>
21 
            <Stream name="X" type="bool">
22 
                <Value instant="0">1</Value>
23 
                <Value instant="1">1</Value>
24 
                <Value instant="2">1</Value>
25 
           </Stream>
26 
         </Node>
27 
 <Node name ="Age">
28 
            <Stream name="p" type="bool">
29 
                <Value instant="0">1</Value>
30 
                <Value instant="1">1</Value>
31 
                <Value instant="2">1</Value>
32 
                <Value instant="3">1</Value>
33 
                <Value instant="4">1</Value>
34 
                <Value instant="5">1</Value>
35 
           </Stream>
36 
            <Stream name="p" type="bool">
37 
                <Value instant="0">1</Value>
38 
                <Value instant="1">1</Value>
39 
                <Value instant="2">1</Value>
40 
                <Value instant="3">1</Value>
41 
                <Value instant="4">1</Value>
42 
                <Value instant="5">1</Value>
43 
           </Stream>
44 
            <Stream name="p" type="bool">
45 
                <Value instant="0">1</Value>
46 
                <Value instant="1">1</Value>
47 
                <Value instant="2">1</Value>
48 
                <Value instant="3">1</Value>
49 
                <Value instant="4">1</Value>
50 
                <Value instant="5">1</Value>
51 
           </Stream>
52 
            <Stream name="age_of_p" type="int">
53 
                <Value instant="0">0</Value>
54 
                <Value instant="1">0</Value>
55 
                <Value instant="2">2</Value>
56 
                <Value instant="3">0</Value>
57 
                <Value instant="4">4</Value>
58 
                <Value instant="5">2</Value>
59 
           </Stream>
60 
         </Node>
61 
 <Node name ="top">
62 
            <Stream name="Sofar" type="bool">
63 
                <Value instant="0">1</Value>
64 
                <Value instant="1">1</Value>
65 
                <Value instant="2">1</Value>
66 
           </Stream>
67 
            <Stream name="age_of_p" type="int">
68 
                <Value instant="0">0</Value>
69 
                <Value instant="1">0</Value>
70 
                <Value instant="2">2</Value>
71 
           </Stream>
72 
            <Stream name="age_of_p" type="int">
73 
                <Value instant="0">0</Value>
74 
                <Value instant="1">0</Value>
75 
                <Value instant="2">2</Value>
76 
           </Stream>
77 
            <Stream name="age_of_p" type="int">
78 
                <Value instant="0">0</Value>
79 
                <Value instant="1">0</Value>
80 
                <Value instant="2">2</Value>
81 
           </Stream>
82 
            <Stream name="OK" type="bool">
83 
                <Value instant="0">1</Value>
84 
                <Value instant="1">1</Value>
85 
                <Value instant="2">1</Value>
86 
           </Stream>
87 
            <Stream name="k" type="int">
88 
                <Value instant="0">1</Value>
89 
                <Value instant="1">1</Value>
90 
                <Value instant="2">1</Value>
91 
           </Stream>
92 
            <Stream name="m" type="int">
93 
                <Value instant="0">2</Value>
94 
                <Value instant="1">2</Value>
95 
                <Value instant="2">2</Value>
96 
           </Stream>
97 
            <Stream name="q" type="bool">
98 
                <Value instant="0">1</Value>
99 
                <Value instant="1">1</Value>
100 
                <Value instant="2">1</Value>
101 
           </Stream>
102 
            <Stream name="p" type="bool">
103 
                <Value instant="0">1</Value>
104 
                <Value instant="1">1</Value>
105 
                <Value instant="2">1</Value>
106 
           </Stream>
107 
            <Stream name="k0" type="int">
108 
                <Value instant="0">1</Value>
109 
                <Value instant="1">0</Value>
110 
                <Value instant="2">0</Value>
111 
           </Stream>
112 
            <Stream name="m0" type="int">
113 
                <Value instant="0">2</Value>
114 
                <Value instant="1">0</Value>
115 
                <Value instant="2">0</Value>
116 
           </Stream>
117 
            <Stream name="m0" type="int">
118 
                <Value instant="0">2</Value>
119 
                <Value instant="1">0</Value>
120 
                <Value instant="2">0</Value>
121 
           </Stream>
122 
         </Node>
123 

      

      

        124
        
        
        
        
        
      </Counterexample>


      

      

        125
        
        
        
        
        
     </Property>


      

      

        126
        
        
        
        
        
   </Results>