Qute_opt500 results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60152202.52
CounterFactual93472938.97
Model_instances10717452488.5
PositionalGames_gttt64454000.89
PositionalGames_hex49440574.91
Q_2_2_310090000
Q_2_394772189.76
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20411907.66
Strategic_Companies10190900
wgrowing34626143.2