caqe_2017_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601527198.26
CounterFactual9383700
Model_instances1071959570.58
PositionalGames_gttt64454000.84
PositionalGames_hex498138208.2
Q_2_2_310090000
Q_2_394772145.92
Q_3_310090000
Q_3_3_310090000
RobotsD21027217.76
Selection-hard2059474.12
Strategic_Companies10190900
wgrowing34626439.06