1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>query-test002.TRUE-1</id>
6
<description>query-test002.TRUE-1</description>
15
<integer-constant>1</integer-constant>
21
<integer-constant>1</integer-constant>
27
<integer-constant>1</integer-constant>
33
<integer-constant>1</integer-constant>
41
<id>query-test002.FALSE-2</id>
42
<description>query-test002.FALSE-2</description>
51
<integer-constant>1</integer-constant>
57
<integer-constant>2</integer-constant>
63
<integer-constant>3</integer-constant>
69
<integer-constant>4</integer-constant>
77
<id>query-test002.TRUE-3</id>
78
<description>query-test002.TRUE-3</description>
87
<integer-constant>2</integer-constant>
94
<integer-constant>1</integer-constant>
100
<integer-constant>1</integer-constant>
106
<integer-constant>1</integer-constant>
115
<id>query-test002.FALSE-4</id>
116
<description>query-test002.FALSE-4</description>
126
<integer-constant>4</integer-constant>
133
<integer-constant>4</integer-constant>
141
<id>query-test002.TRUE-5</id>
142
<description>query-test002.TRUE-5</description>
151
<integer-constant>0</integer-constant>
157
<integer-constant>0</integer-constant>
165
<id>query-test002.FALSE-6</id>
166
<description>query-test002.FALSE-6</description>
175
<integer-constant>1</integer-constant>
181
<integer-constant>1</integer-constant>
189
<id>query-test002.TRUE-7</id>
190
<description>query-test002.TRUE-7</description>
199
<integer-constant>1</integer-constant>
205
<integer-constant>1</integer-constant>
211
<integer-constant>1</integer-constant>
219
<id>query-test002.TRUE-8</id>
220
<description>query-test002.TRUE-8</description>
229
<integer-constant>1</integer-constant>
237
<integer-constant>1</integer-constant>
244
<integer-constant>1</integer-constant>
253
<integer-constant>1</integer-constant>
259
<integer-constant>2</integer-constant>
269
<id>query-test002.TRUE-9</id>
270
<description>query-test002.TRUE-9</description>
281
<integer-constant>1</integer-constant>
290
<integer-constant>3</integer-constant>
296
<integer-constant>3</integer-constant>