qesto results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence17916141688.9
CounterFactual113199909.51
Model_instances211183125903.77
PositionalGames_gttt117494663.89
PositionalGames_hex1155193254.96
Q_2_2_3150135000
Q_2_3176158400
Q_3_3150135000
Q_3_3_3149134100
RobotsD21036379.06
Selection-hard48138190.54
Strategic_Companies1221290574.81
wgrowing85367114.44