<b>Our paper Designing Samplers is Easy: The Boon of Testers has been accepted to <a href="https://fmcad.org/FMCAD21/">FMCAD 2021</a>.</b> <br> Our Sampler not only passes the tests of Barbarik but also leads to significant performance improvements for real-world instances. <br> Joint work with: Mate Soos, Sourav Chakraborty, Kuldeep S. Meel<br>