dynQBF-bloqqer-hqspre results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6054000
CounterFactual9383700
Model_instances10796300
PositionalGames_gttt64454006.23
PositionalGames_hex49242310.14
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD2108954.84
Selection-hard20116215.04
Strategic_Companies10190900
wgrowing34129701.61