HQSpre_solver results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence179161100
CounterFactual113101700
Model_instances211189900
PositionalGames_gttt117494503.39
PositionalGames_hex115299902.77
Q_2_2_3150135000
Q_2_31761153900.05
Q_3_3150135000
Q_3_3_3149134100
RobotsD2109000
Selection-hard48137809.66
Strategic_Companies122108623.96
wgrowing85172900.48