blob: 9de7542847f67c91c4d9937d95bf51fe55141ea0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
% EXPECT: invalid
x_1 : BOOLEAN;
x_2 : BOOLEAN;
x_3 : BOOLEAN;
x_4 : BOOLEAN;
x_5 : BOOLEAN;
x_6 : BOOLEAN;
x_7 : BOOLEAN;
x_8 : BOOLEAN;
x_9 : BOOLEAN;
x_10 : BOOLEAN;
x_11 : BOOLEAN;
x_12 : BOOLEAN;
x_13 : BOOLEAN;
x_14 : BOOLEAN;
x_15 : BOOLEAN;
x_16 : BOOLEAN;
x_17 : BOOLEAN;
x_18 : BOOLEAN;
x_19 : BOOLEAN;
x_20 : BOOLEAN;
ASSERT NOT x_9 OR x_3 OR NOT x_15;
ASSERT NOT x_12 OR NOT x_4 OR NOT x_15;
ASSERT x_6 OR x_14 OR NOT x_17;
ASSERT x_10 OR x_16 OR x_11;
ASSERT NOT x_15 OR x_20 OR NOT x_7;
ASSERT NOT x_1 OR x_10 OR x_16;
ASSERT x_13 OR x_17 OR NOT x_7;
ASSERT NOT x_2 OR NOT x_14 OR NOT x_13;
ASSERT x_13 OR NOT x_6 OR x_15;
ASSERT NOT x_9 OR x_3 OR x_16;
ASSERT NOT x_20 OR NOT x_13 OR x_4;
ASSERT NOT x_7 OR x_15 OR NOT x_14;
ASSERT NOT x_15 OR NOT x_16 OR x_6;
ASSERT x_5 OR NOT x_18 OR x_20;
ASSERT NOT x_16 OR NOT x_19 OR x_7;
ASSERT x_20 OR NOT x_18 OR NOT x_2;
ASSERT x_10 OR NOT x_19 OR NOT x_14;
ASSERT x_16 OR NOT x_7 OR x_12;
ASSERT x_6 OR NOT x_5 OR NOT x_1;
ASSERT NOT x_9 OR x_11 OR x_15;
ASSERT x_19 OR NOT x_6 OR x_7;
ASSERT NOT x_11 OR x_17 OR NOT x_19;
ASSERT x_9 OR NOT x_16 OR x_6;
ASSERT x_15 OR NOT x_20 OR x_10;
ASSERT x_9 OR NOT x_1 OR NOT x_11;
ASSERT NOT x_8 OR NOT x_19 OR x_5;
ASSERT NOT x_19 OR x_11 OR x_20;
ASSERT NOT x_12 OR x_13 OR NOT x_3;
ASSERT NOT x_7 OR NOT x_17 OR NOT x_19;
ASSERT x_17 OR x_6 OR NOT x_11;
ASSERT NOT x_7 OR NOT x_17 OR x_10;
ASSERT NOT x_14 OR x_9 OR x_20;
ASSERT x_1 OR NOT x_18 OR NOT x_16;
ASSERT NOT x_2 OR NOT x_15 OR x_20;
ASSERT x_14 OR x_18 OR NOT x_1;
ASSERT NOT x_8 OR NOT x_4 OR x_1;
ASSERT x_13 OR x_3 OR NOT x_9;
ASSERT x_5 OR x_7 OR x_8;
ASSERT x_9 OR x_4 OR NOT x_20;
ASSERT NOT x_18 OR NOT x_15 OR NOT x_10;
ASSERT x_10 OR x_3 OR NOT x_20;
ASSERT x_20 OR NOT x_14 OR x_16;
ASSERT x_20 OR NOT x_3 OR NOT x_11;
ASSERT NOT x_12 OR x_19 OR NOT x_16;
ASSERT NOT x_3 OR x_5 OR x_10;
ASSERT x_8 OR x_13 OR NOT x_7;
ASSERT NOT x_2 OR NOT x_15 OR x_10;
ASSERT NOT x_3 OR x_9 OR x_16;
ASSERT NOT x_12 OR NOT x_16 OR NOT x_18;
ASSERT x_3 OR x_1 OR NOT x_12;
ASSERT NOT x_18 OR x_13 OR x_5;
ASSERT x_1 OR x_3 OR NOT x_19;
ASSERT NOT x_19 OR NOT x_5 OR x_6;
ASSERT NOT x_20 OR x_8 OR NOT x_2;
ASSERT x_17 OR NOT x_8 OR NOT x_13;
ASSERT x_7 OR NOT x_11 OR NOT x_12;
ASSERT NOT x_10 OR NOT x_14 OR NOT x_20;
ASSERT NOT x_1 OR x_16 OR NOT x_12;
ASSERT x_5 OR NOT x_3 OR x_9;
ASSERT NOT x_18 OR x_8 OR x_14;
ASSERT x_1 OR x_16 OR x_12;
ASSERT x_20 OR NOT x_1 OR NOT x_16;
ASSERT x_5 OR x_10 OR NOT x_13;
ASSERT x_9 OR NOT x_10 OR x_6;
ASSERT NOT x_12 OR x_10 OR NOT x_14;
ASSERT NOT x_13 OR x_1 OR x_4;
ASSERT NOT x_20 OR NOT x_7 OR x_3;
ASSERT x_12 OR x_1 OR NOT x_10;
ASSERT NOT x_1 OR NOT x_16 OR x_7;
ASSERT x_11 OR NOT x_6 OR NOT x_4;
ASSERT x_1 OR x_16 OR NOT x_20;
ASSERT x_9 OR x_7 OR x_15;
ASSERT NOT x_6 OR x_17 OR x_10;
ASSERT x_8 OR x_9 OR x_17;
ASSERT x_18 OR x_11 OR x_10;
ASSERT x_7 OR x_1 OR NOT x_8;
ASSERT NOT x_5 OR NOT x_12 OR x_18;
ASSERT NOT x_6 OR x_2 OR x_15;
ASSERT x_2 OR x_18 OR x_1;
ASSERT NOT x_7 OR NOT x_13 OR x_16;
ASSERT x_18 OR x_19 OR x_9;
ASSERT x_9 OR NOT x_14 OR x_18;
ASSERT x_14 OR x_12 OR NOT x_5;
ASSERT NOT x_13 OR NOT x_7 OR NOT x_14;
ASSERT NOT x_1 OR x_8 OR NOT x_16;
ASSERT NOT x_11 OR x_4 OR x_7;
ASSERT NOT x_4 OR x_20 OR x_5;
ASSERT NOT x_5 OR x_2 OR x_12;
ASSERT NOT x_5 OR x_13 OR NOT x_18;
ASSERT NOT x_18 OR x_9 OR x_1;
ASSERT x_10 OR NOT x_11 OR x_16;
QUERY FALSE;
|
