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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
|
Running with cal file : ./example.cal
Formula t3 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
Running with cal file : examples/c1355.cal
Formula t383 is a tautology!
Formula t394 is a tautology!
Formula t504 is a tautology!
Formula t515 is a tautology!
Formula t530 is a tautology!
Formula t541 is a tautology!
Formula t552 is a tautology!
Formula t563 is a tautology!
Formula t597 is a tautology!
Formula t608 is a tautology!
Formula t619 is a tautology!
Formula t630 is a tautology!
Formula t405 is a tautology!
Formula t644 is a tautology!
Formula t655 is a tautology!
Formula t666 is a tautology!
Formula t677 is a tautology!
Formula t692 is a tautology!
Formula t703 is a tautology!
Formula t714 is a tautology!
Formula t725 is a tautology!
Formula t739 is a tautology!
Formula t750 is a tautology!
Formula t416 is a tautology!
Formula t761 is a tautology!
Formula t772 is a tautology!
Formula t432 is a tautology!
Formula t443 is a tautology!
Formula t454 is a tautology!
Formula t465 is a tautology!
Formula t482 is a tautology!
Formula t493 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
Running with cal file : examples/c1908.cal
Formula t476 is a tautology!
Formula t498 is a tautology!
Formula t515 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
Running with cal file : examples/c2670.cal
Formula t26 is a tautology!
Formula t44 is a tautology!
Formula t68 is a tautology!
Formula t117 is a tautology!
Formula t548 is a tautology!
Formula t551 is a tautology!
Formula t632 is a tautology!
Formula t717 is a tautology!
Formula t717 is a tautology!
Formula t748 is a tautology!
Formula t1018 is a tautology!
Formula t1196 is a tautology!
Formula t1199 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
Running with cal file : examples/c3540.cal
Formula t1034 is a tautology!
Formula t1148 is a tautology!
Formula t1328 is a tautology!
Formula t1419 is a tautology!
Formula t1497 is a tautology!
Formula t1633 is a tautology!
Formula t1738 is a tautology!
Formula t1809 is a tautology!
Formula t1830 is a tautology!
Formula t1843 is a tautology!
Formula t59 is a tautology!
Formula t1943 is a tautology!
Formula t1972 is a tautology!
Formula t101 is a tautology!
Formula t149 is a tautology!
Formula t633 is a tautology!
Formula t694 is a tautology!
Formula t739 is a tautology!
Formula t792 is a tautology!
Formula t937 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
Running with cal file : examples/c432.cal
Formula t229 is a tautology!
Formula t245 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
Running with cal file : examples/c499.cal
Formula t161 is a tautology!
Formula t166 is a tautology!
Formula t222 is a tautology!
Formula t227 is a tautology!
Formula t236 is a tautology!
Formula t241 is a tautology!
Formula t246 is a tautology!
Formula t251 is a tautology!
Formula t279 is a tautology!
Formula t284 is a tautology!
Formula t289 is a tautology!
Formula t294 is a tautology!
Formula t171 is a tautology!
Formula t302 is a tautology!
Formula t307 is a tautology!
Formula t312 is a tautology!
Formula t317 is a tautology!
Formula t326 is a tautology!
Formula t331 is a tautology!
Formula t336 is a tautology!
Formula t341 is a tautology!
Formula t349 is a tautology!
Formula t354 is a tautology!
Formula t176 is a tautology!
Formula t359 is a tautology!
Formula t364 is a tautology!
Formula t186 is a tautology!
Formula t191 is a tautology!
Formula t196 is a tautology!
Formula t201 is a tautology!
Formula t212 is a tautology!
Formula t217 is a tautology!
Cache statistics
----------------
Unique Access: 0
Unique Chain: 0
Unique Hit: 0
Unique Miss: 0
=> Hit rate = 0.00
Operator Hits: 0
Operator Miss: 0
=> Hit rate = 0.00
Swap count = 0
|
