caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601527197.92
CounterFactual93181648.93
Model_instances1071959566.49
PositionalGames_gttt6457600
PositionalGames_hex499237768.11
Q_2_2_310090000
Q_2_394772146.66
Q_3_310090000
Q_3_3_310090000
RobotsD21027206.12
Selection-hard2059469.86
Strategic_Companies10190900
wgrowing34626431.29