xb-qsts_xbqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60152218.12
CounterFactual93181016.38
Model_instances10718166376.6
PositionalGames_gttt64454007.73
PositionalGames_hex4910336495.63
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD21026364.28
Selection-hard20116215.22
Strategic_Companies101387816.04
wgrowing34427288.05