caqe_2017_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601527283.7
CounterFactual93181649.38
Model_instances1071860037.75
PositionalGames_gttt6457600
PositionalGames_hex499237760.39
Q_2_2_310090000
Q_2_394674348.94
Q_3_310090000
Q_3_3_310090000
RobotsD21026545.8
Selection-hard20411550.22
Strategic_Companies10190900
wgrowing34924951.4