1 QA output created by 319
10 false_1F_and_nU: false
13 false_1T_and_1F: false
14 false_1T_and_nF: false
15 false_1U_and_1F: false
16 false_1U_and_nF: false
17 false_nF_and_1F: false
18 false_nF_and_1T: false
19 false_nF_and_1U: false
20 false_nF_and_nF: false
21 false_nF_and_nT: false
22 false_nF_and_nU: false
25 false_nT_and_1F: false
26 false_nT_and_nF: false
27 false_nU_and_nF: false
29 true_1F_or_1T: OK should always be true
31 true_1F_or_nT: OK should always be true
33 true_1T_and_1T: OK should always be true
35 true_1T_and_nT: OK should always be true
37 true_1T_or_1F: OK should always be true
39 true_1T_or_1T: OK should always be true
41 true_1T_or_1U: OK should always be true
43 true_1T_or_nF: OK should always be true
45 true_1T_or_nT: OK should always be true
47 true_1T_or_nU: OK should always be true
49 true_1U_or_1T: OK should always be true
51 true_1U_or_nT: OK should always be true
53 true_nF_or_1T: OK should always be true
55 true_nF_or_nT: OK should always be true
57 true_nT_and_1T: OK should always be true
59 true_nT_and_nT: OK should always be true
61 true_nT_or_1F: OK should always be true
63 true_nT_or_1T: OK should always be true
65 true_nT_or_1U: OK should always be true
67 true_nT_or_nF: OK should always be true
69 true_nT_or_nT: OK should always be true
71 true_nT_or_nU: OK should always be true
73 true_nU_or_nT: OK should always be true
75 unknown_1F_or_1U: unknown
76 unknown_1F_or_nU: unknown
77 unknown_1T_and_1U: unknown
78 unknown_1T_and_nU: unknown
79 unknown_1U_and_1T: unknown
80 unknown_1U_and_1U: unknown
81 unknown_1U_and_nT: unknown
82 unknown_1U_and_nU: unknown
83 unknown_1U_or_1F: unknown
84 unknown_1U_or_1U: unknown
85 unknown_1U_or_nF: unknown
86 unknown_1U_or_nU: unknown
87 unknown_nF_or_1U: unknown
88 unknown_nF_or_nU: unknown
89 unknown_nT_and_1U: unknown
90 unknown_nT_and_nU: unknown
91 unknown_nU_and_1F: unknown
92 unknown_nU_and_1T: unknown
93 unknown_nU_and_1U: unknown
94 unknown_nU_and_nT: unknown
95 unknown_nU_and_nU: unknown
96 unknown_nU_or_1F: unknown
97 unknown_nU_or_1T: unknown
98 unknown_nU_or_1U: unknown
99 unknown_nU_or_nF: unknown
100 unknown_nU_or_nU: unknown