iProver-qbf-bloqqer-2017-07-27-v3 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6054000
CounterFactual9383700
Model_instances107391312.78
PositionalGames_gttt64454109.54
PositionalGames_hex49242310.28
Q_2_2_310090000
Q_2_39484600
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20116236.92
Strategic_Companies10190900
wgrowing34129711.13