rareqs results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601527371.1
CounterFactual93181174.21
Model_instances10719352861.26
PositionalGames_gttt64255800.56
PositionalGames_hex49441507.7
Q_2_2_310090000
Q_2_394674016.28
Q_3_310090000
Q_3_3_310090000
RobotsD21051550.1
Selection-hard20214728.2
Strategic_Companies1011366924.44
wgrowing34427743.36