1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<property-set xmlns="http://tapaal.net/">
5
<id>lightcross-text001.FALSE-1</id>
6
<description>lightcross-text001.FALSE-1</description>
16
<integer-constant>1</integer-constant>
22
<integer-constant>1</integer-constant>
31
<id>lightcross-text001.FALSE-2</id>
32
<description>lightcross-text001.FALSE-2</description>
43
<integer-constant>1</integer-constant>
49
<integer-constant>1</integer-constant>
59
<id>lightcross-text001.TRUE-3</id>
60
<description>lightcross-text001.TRUE-3</description>
70
<integer-constant>1</integer-constant>
76
<integer-constant>1</integer-constant>