Qute_rrs results solving families - 2020

Family# Total# Sat# UnsatTime
CombinationalEquivalence141126900
crafted_202013212110189.71
Model_instances471410630.38
Selection-hard3047294.98
wgrowing3689894.2