xb-qsts_xbqsts1.0 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60152217.88
CounterFactual93181016.53
Model_instances10718166382.94
PositionalGames_gttt64454007.78
PositionalGames_hex4910336495.28
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD21026358.4
Selection-hard20116215.24
Strategic_Companies101387802.83
wgrowing34427289.01