rev_qfun0.1 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6013138312.88
CounterFactual9383700
Model_instances10796300
PositionalGames_gttt64255977.67
PositionalGames_hex49242300.21
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard2018000
Strategic_Companies101386486.64
wgrowing3430600