Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi and Kristin Y. Rozier

This webpage contains further details and artifacts for reproducibility of the experiments in "Intersection and Rotation of Assumption Literals Boosts Bug-Finding" by R. Dureja, J. Li, G. Pu, M.Y. Vardi, K.Y. Rozier

---

Results

We evaluate the heuristics in SimpleCAR against 748 challenging benchmarks from the Hardware Model Checking Competition.

Data to regenerate all plots and tables in the paper can be found here.