ghostq-cegar results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6015128664.92
CounterFactual9383700
Model_instances107196193.83
PositionalGames_gttt64156743.53
PositionalGames_hex49143200.3
Q_2_2_310090000
Q_2_394184350.76
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20117855.94
Strategic_Companies10190900
wgrowing3430600