xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60152217.84
CounterFactual93181014.07
Model_instances10718166384.8
PositionalGames_gttt64354905.01
PositionalGames_hex4910336503.37
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD21026288.24
Selection-hard20116212.54
Strategic_Companies101387412.06
wgrowing34427284.45