rev_qfun0.1 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence179131322914.59
CounterFactual113101700
Model_instances211189900
PositionalGames_gttt1172100433.01
PositionalGames_hex115299900.23
Q_2_2_3150135000
Q_2_3176158400
Q_3_3150135000
Q_3_3_3149134100
RobotsD2109000
Selection-hard4843200
Strategic_Companies1223105386.64
wgrowing8576500