xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1421122453.52
CounterFactual113199014.07
Model_instances181181116384.57
PositionalGames_gttt117397215.03
PositionalGames_hex11510382489.83
Q_2_2_3150135000
Q_2_3176158400
Q_3_3150135000
Q_3_3_3149134100
RobotsD21026288.24
Selection-hard43134231.35
Strategic_Companies1223106312.06
wgrowing76458453.35