AIGSolve results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence605733924.56
CounterFactual9383700
Model_instances10791383.84
PositionalGames_gttt64449379.43
PositionalGames_hex49242307.63
Q_2_2_310090000
Q_2_39478691.08
Q_3_310081088.7
Q_3_3_3100188841.82
RobotsD2108899.98
Selection-hard2017577.96
Strategic_Companies10190900
wgrowing3429452.66