Qute_random results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60152202.54
CounterFactual93472939.06
Model_instances10717452502.25
PositionalGames_gttt64454000.88
PositionalGames_hex49440574.84
Q_2_2_310090000
Q_2_394772190.3
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20411906.9
Strategic_Companies10190900
wgrowing34626146.61