heretiq results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601528212.12
CounterFactual93479460.25
Model_instances1072486857.27
PositionalGames_gttt644252285.03
PositionalGames_hex496336988.1
Q_2_2_310090000
Q_2_3941362497.58
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard2018000
Strategic_Companies101484398.18
wgrowing34129731.32