qesto results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence14216113121.27
CounterFactual113199909.51
Model_instances181183108437.35
PositionalGames_gttt117494663.89
PositionalGames_hex1155193254.96
Q_2_2_3150135000
Q_2_3176158400
Q_3_3150135000
Q_3_3_3149134100
RobotsD21036379.06
Selection-hard43134525.45
Strategic_Companies1221290574.81
wgrowing76361360.83