ghostq-cegar results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence179151220754.26
CounterFactual113101700
Model_instances2111189687.66
PositionalGames_gttt1171102730.59
PositionalGames_hex1151100800.9
Q_2_2_3150135000
Q_2_31761157776.9
Q_3_3150135000
Q_3_3_3149134100
RobotsD2109000
Selection-hard48142767.82
Strategic_Companies122109800
wgrowing8576500