nanoqbf_bloqqer results solving families - 2020

Family# Total# Sat# UnsatTime
CombinationalEquivalence1411061617.17
crafted_202013211515979.98
Model_instances4742300
Selection-hard3027000
wgrowing3632400