GhostQ-PG_cegar results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence179151220735.57
CounterFactual113101700
Model_instances2111189670.56
PositionalGames_gttt117494452.86
PositionalGames_hex115299925.97
Q_2_2_3150135000
Q_2_31761157643.7
Q_3_3150135000
Q_3_3_3149134100
RobotsD2109000
Selection-hard48142724.14
Strategic_Companies1225102532.88
wgrowing8576500