AIGSolve results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1425772303.57
CounterFactual113101700
Model_instances181154835.71
PositionalGames_gttt117485288.84
PositionalGames_hex115299907.71
Q_2_2_3150135000
Q_2_3176148414.8
Q_3_3150121633.05
Q_3_3_31491132941.82
RobotsD2108899.98
Selection-hard4337847.58
Strategic_Companies122109800
wgrowing7665843.67