rareqs results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1421562141.12
CounterFactual113199174.21
Model_instances18119389522.95
PositionalGames_gttt117299901.68
PositionalGames_hex115497522.7
Q_2_2_3150135000
Q_2_31766131940.7
Q_3_3150135000
Q_3_3_3149134100
RobotsD21051550.1
Selection-hard43230520.5
Strategic_Companies1221385824.44
wgrowing76459830.08