qesto results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601647528.92
CounterFactual93181909.51
Model_instances10718360365.1
PositionalGames_gttt64454054.63
PositionalGames_hex495140085.12
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD21036379.06
Selection-hard20116330.18
Strategic_Companies1011271674.81
wgrowing34328253.61