HQSpre_solver results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6054000
CounterFactual9383700
Model_instances10796300
PositionalGames_gttt64454001.13
PositionalGames_hex49242302.75
Q_2_2_310090000
Q_2_394182800.02
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard20116203.22
Strategic_Companies10189723.96
wgrowing34129700.12