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
