../

BPS summary

BPS generated around 900 assertions from just program00.vcd

Out of these around 200 were trivially true and were removed.

Below is all the assertions that were ranked high by BPS

bps_program00_high

Out of these 22.3 % are formally proven.