xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1791153971.36
CounterFactual113199014.07
Model_instances211181134537.28
PositionalGames_gttt117397215.03
PositionalGames_hex11510382489.83
Q_2_2_3150135000
Q_2_3176158400
Q_3_3150135000
Q_3_3_3149134100
RobotsD21026288.24
Selection-hard48137837.62
Strategic_Companies1223106312.06
wgrowing85463237.8