caqe_2017_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1791575450.35
CounterFactual113199649.38
Model_instances21118126341.57
PositionalGames_gttt117105300
PositionalGames_hex1159286280.77
Q_2_2_3150135000
Q_2_31766132772.35
Q_3_3150135000
Q_3_3_3149134100
RobotsD21026545.8
Selection-hard48423850.66
Strategic_Companies122109800
wgrowing85953905.6