Caqe-hqspre results solving families - 2020

Family# Total# Sat# UnsatTime
CombinationalEquivalence14121051051.51
crafted_202013210821692.79
Model_instances47136928.8
Selection-hard3051767.84
wgrowing36418434.08