GhostQ-PG_cegar results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6015128642.2
CounterFactual9383700
Model_instances107196185.28
PositionalGames_gttt64453822.86
PositionalGames_hex49242325.45
Q_2_2_310090000
Q_2_394184297.48
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20117841.38
Strategic_Companies101583632.88
wgrowing3430600