lustrec / bench / distrib / misc / stalmark_e8_64 / conds / stalmark_e8_64.conds @ 43a2cae9
History | View | Annotate | Download (7.65 KB)
1 |
V4_a and (OK != (((((((not (not V4_a)) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
---|---|
2 |
(not V4_a) and (OK != (((((((not (not V4_a)) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
3 |
V5_b and (OK != (((((((not V4_a) and (not (not V5_b))) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
4 |
(not V5_b) and (OK != (((((((not V4_a) and (not (not V5_b))) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
5 |
V6_c and (OK != (((((((not V4_a) and (not V5_b)) and (not V6_c)) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
6 |
(not V6_c) and (OK != (((((((not V4_a) and (not V5_b)) and (not V6_c)) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
7 |
V4_a and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not (not V4_a)) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
8 |
(not V4_a) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not (not V4_a)) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
9 |
V5_b and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and (not V5_b)) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
10 |
(not V5_b) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and (not V5_b)) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
11 |
V6_c and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not (not V6_c)))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
12 |
(not V6_c) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not (not V6_c)))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
13 |
V4_a and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or (((not V4_a) and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
14 |
(not V4_a) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or (((not V4_a) and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
15 |
V5_b and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not (not V5_b))) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
16 |
(not V5_b) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not (not V5_b))) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
17 |
V6_c and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not (not V6_c)))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
18 |
(not V6_c) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not (not V6_c)))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
19 |
V4_a and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or (((not V4_a) and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
20 |
(not V4_a) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or (((not V4_a) and V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
21 |
V5_b and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and (not V5_b)) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
22 |
(not V5_b) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and (not V5_b)) and V6_c)) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
23 |
V6_c and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and (not V6_c))) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
24 |
(not V6_c) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and (not V6_c))) and (not ((V4_a and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
25 |
V4_a and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not (((not V4_a) and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
26 |
(not V4_a) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not (((not V4_a) and V5_b) and V6_c)))) and (x or not x) and (OK or not OK) |
27 |
V5_b and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and (not V5_b)) and V6_c)))) and (x or not x) and (OK or not OK) |
28 |
(not V5_b) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and (not V5_b)) and V6_c)))) and (x or not x) and (OK or not OK) |
29 |
V6_c and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and (not V6_c))))) and (x or not x) and (OK or not OK) |
30 |
(not V6_c) and (OK != (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and V5_b) and V6_c)) and (not ((V4_a and V5_b) and (not V6_c))))) and (x or not x) and (OK or not OK) |