caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1421561658.71
CounterFactual113199648.93
Model_instances18119108566
PositionalGames_gttt117105300
PositionalGames_hex1159286303.69
Q_2_2_3150135000
Q_2_31767127266.65
Q_3_3150135000
Q_3_3_3149134100
RobotsD21027206.12
Selection-hard43517374.65
Strategic_Companies122109800
wgrowing76655893.87