source: vis_dev/vis-2.1/examples/restruct/check_result @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis

File size: 400 bytes
Line 
1** restr info: Number of Equivalence Classes = 5
2** synth info: Total number of literals = 21
3Networks are sequentially equivalent.
4** restr info: Number of Equivalence Classes = 254
5** synth info: Total number of literals = 71
6Networks are sequentially equivalent.
7** restr info: Number of Equivalence Classes = 45
8** synth info: Total number of literals = 288
9Networks are sequentially equivalent.
Note: See TracBrowser for help on using the repository browser.