QELL_unit results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6015143676.36
CounterFactual93181012.45
Model_instances10796300
PositionalGames_gttt6457600
PositionalGames_hex49143200.02
Q_2_2_310090000
Q_2_394772045.22
Q_3_310090000
Q_3_3_310090000
RobotsD21027790.26
Selection-hard2018000
Strategic_Companies1011369499.02
wgrowing3430600