QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence14215156247.81
CounterFactual113199256.44
Model_instances181162900
PositionalGames_gttt117105300
PositionalGames_hex1151100800.06
Q_2_2_3150135000
Q_2_31768125615.4
Q_3_3150135000
Q_3_3_3149134100
RobotsD21027796.84
Selection-hard4338700
Strategic_Companies1221191358.08
wgrowing7668400