Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / ex8_e8_220_e7_249 / conds / ex8_e8_220_e7_249.conds @ 53aa0cb0

History | View | Annotate | Download (4.52 KB)

1
V19_late and (OK != (true -> ((not (not V19_late)) and pre V20_early))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
2
(not V19_late) and (OK != (true -> ((not (not V19_late)) and pre V20_early))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
3
pre V20_early and (OK != (true -> ((not V19_late) and pre (not V20_early)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
4
(not pre V20_early) and (OK != (true -> ((not V19_late) and pre (not V20_early)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
5
pre V19_late and (V19_late != (false -> (if pre (not V19_late) then (V63_diff < 0) else (V63_diff <= (- 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
6
(not pre V19_late) and (V19_late != (false -> (if pre (not V19_late) then (V63_diff < 0) else (V63_diff <= (- 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
7
(V63_diff < 0) and (V19_late != (false -> (if pre V19_late then (not (V63_diff < 0)) else (V63_diff <= (- 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
8
(not (V63_diff < 0)) and (V19_late != (false -> (if pre V19_late then (not (V63_diff < 0)) else (V63_diff <= (- 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
9
(V63_diff <= (- 10)) and (V19_late != (false -> (if pre V19_late then (V63_diff < 0) else (not (V63_diff <= (- 10)))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
10
(not (V63_diff <= (- 10))) and (V19_late != (false -> (if pre V19_late then (V63_diff < 0) else (not (V63_diff <= (- 10)))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
11
pre V20_early and (V20_early != (false -> (if pre (not V20_early) then (V63_diff > 0) else (V63_diff >= 10)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
12
(not pre V20_early) and (V20_early != (false -> (if pre (not V20_early) then (V63_diff > 0) else (V63_diff >= 10)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
13
(V63_diff > 0) and (V20_early != (false -> (if pre V20_early then (not (V63_diff > 0)) else (V63_diff >= 10)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
14
(not (V63_diff > 0)) and (V20_early != (false -> (if pre V20_early then (not (V63_diff > 0)) else (V63_diff >= 10)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
15
(V63_diff >= 10) and (V20_early != (false -> (if pre V20_early then (V63_diff > 0) else (not (V63_diff >= 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
16
(not (V63_diff >= 10)) and (V20_early != (false -> (if pre V20_early then (V63_diff > 0) else (not (V63_diff >= 10))))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
17
beacon and ((beacon and second) != ((not beacon) and second)) and (beacon or not beacon) and (second or not second) and (OK or not OK)
18
(not beacon) and ((beacon and second) != ((not beacon) and second)) and (beacon or not beacon) and (second or not second) and (OK or not OK)
19
second and ((beacon and second) != (beacon and (not second))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
20
(not second) and ((beacon and second) != (beacon and (not second))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
21
beacon and ((beacon or (not second)) != ((not beacon) or (not second))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
22
(not beacon) and ((beacon or (not second)) != ((not beacon) or (not second))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
23
second and ((beacon or (not second)) != (beacon or (not (not second)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
24
(not second) and ((beacon or (not second)) != (beacon or (not (not second)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
25
second and ((second and (not beacon)) != ((not second) and (not beacon))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
26
(not second) and ((second and (not beacon)) != ((not second) and (not beacon))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
27
beacon and ((second and (not beacon)) != (second and (not (not beacon)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)
28
(not beacon) and ((second and (not beacon)) != (second and (not (not beacon)))) and (beacon or not beacon) and (second or not second) and (OK or not OK)