ijtihad_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1421562570.32
CounterFactual11388967.84
Model_instances181162900
PositionalGames_gttt1174191840.17
PositionalGames_hex115399688.1
Q_2_2_3150135000
Q_2_31766137187.55
Q_3_3150135000
Q_3_3_3149134100
RobotsD2109000
Selection-hard4338700
Strategic_Companies1224104282.85
wgrowing7668400