QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6015152861.56
CounterFactual93181256.44
Model_instances10796300
PositionalGames_gttt6457600
PositionalGames_hex49143200.02
Q_2_2_310090000
Q_2_394871486.16
Q_3_310090000
Q_3_3_310090000
RobotsD21027796.84
Selection-hard2018000
Strategic_Companies1011172458.08
wgrowing3430600