Qute_default results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6054000
CounterFactual9383700
Model_instances10717550121.12
PositionalGames_gttt64454000.88
PositionalGames_hex494140354.15
Q_2_2_310090000
Q_2_3941165413.38
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20411402.16
Strategic_Companies10190900
wgrowing34327951.95