ijtihad_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence601527655.82
CounterFactual9373478.64
Model_instances10796300
PositionalGames_gttt644153113.39
PositionalGames_hex49342229.5
Q_2_2_310090000
Q_2_394676115.02
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard2018000
Strategic_Companies101485382.85
wgrowing3430600