ijtihad_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601527650.28
CounterFactual9383700
Model_instances10796300
PositionalGames_gttt644153112.85
PositionalGames_hex49242300.22
Q_2_2_310090000
Q_2_394674015.18
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard2018000
Strategic_Companies101386672.5
wgrowing3430600