1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>Kanban2-test001.FALSE-1</id>
6
<description>Kanban2-test001.FALSE-1</description>
15
<integer-constant>1</integer-constant>
21
<integer-constant>1</integer-constant>
27
<integer-constant>0</integer-constant>
33
<integer-constant>1</integer-constant>
39
<integer-constant>0</integer-constant>
45
<integer-constant>2</integer-constant>
51
<integer-constant>0</integer-constant>
57
<integer-constant>1</integer-constant>
63
<integer-constant>0</integer-constant>
69
<integer-constant>1</integer-constant>
75
<integer-constant>1</integer-constant>
81
<integer-constant>0</integer-constant>
87
<integer-constant>1</integer-constant>
93
<integer-constant>1</integer-constant>
99
<integer-constant>3</integer-constant>
103
<place>Pback4</place>
105
<integer-constant>1</integer-constant>
113
<id>Kanban2-test001.FALSE-2</id>
114
<description>Kanban2-test001.FALSE-2</description>
123
<integer-constant>1</integer-constant>
129
<integer-constant>0</integer-constant>
135
<integer-constant>0</integer-constant>
141
<integer-constant>1</integer-constant>
147
<integer-constant>0</integer-constant>
153
<integer-constant>1</integer-constant>
159
<integer-constant>2</integer-constant>
165
<integer-constant>1</integer-constant>
171
<integer-constant>1</integer-constant>
177
<integer-constant>1</integer-constant>
183
<integer-constant>1</integer-constant>
189
<integer-constant>1</integer-constant>
193
<place>Pback1</place>
195
<integer-constant>0</integer-constant>
199
<place>Pback2</place>
201
<integer-constant>1</integer-constant>
205
<place>Pback3</place>
207
<integer-constant>0</integer-constant>
211
<place>Pback4</place>
213
<integer-constant>1</integer-constant>
221
<id>Kanban2-test001.TRUE-3</id>
222
<description>Kanban2-test001.TRUE-3</description>
231
<integer-constant>1</integer-constant>
237
<integer-constant>0</integer-constant>
243
<integer-constant>0</integer-constant>
249
<integer-constant>0</integer-constant>
255
<integer-constant>0</integer-constant>
261
<integer-constant>1</integer-constant>
267
<integer-constant>1</integer-constant>
273
<integer-constant>1</integer-constant>
279
<integer-constant>1</integer-constant>
285
<integer-constant>1</integer-constant>
291
<integer-constant>1</integer-constant>
297
<integer-constant>1</integer-constant>
301
<place>Pback1</place>
303
<integer-constant>0</integer-constant>
307
<place>Pback2</place>
309
<integer-constant>0</integer-constant>
313
<place>Pback3</place>
315
<integer-constant>0</integer-constant>
319
<place>Pback4</place>
321
<integer-constant>0</integer-constant>
329
<id>Kanban2-test001.FALSE-4</id>
330
<description>Kanban2-test001.FALSE-4</description>
339
<integer-constant>1</integer-constant>
345
<integer-constant>0</integer-constant>
351
<integer-constant>0</integer-constant>
357
<integer-constant>0</integer-constant>
363
<integer-constant>0</integer-constant>
369
<integer-constant>1</integer-constant>
375
<integer-constant>1</integer-constant>
381
<integer-constant>1</integer-constant>
387
<integer-constant>1</integer-constant>
393
<integer-constant>1</integer-constant>
399
<integer-constant>1</integer-constant>
405
<integer-constant>1</integer-constant>
409
<place>Pback1</place>
411
<integer-constant>0</integer-constant>
415
<place>Pback2</place>
417
<integer-constant>1</integer-constant>
421
<place>Pback3</place>
423
<integer-constant>0</integer-constant>
427
<place>Pback4</place>
429
<integer-constant>0</integer-constant>