GhostQ___cegar_pcnf_2019 results solving families - 2020

Family# Total# Sat# UnsatTime
CombinationalEquivalence14110107644.32
crafted_202013211416578.34
Model_instances4742300
Selection-hard30126463.6
wgrowing3632400