CUED1919_NL results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6094.72
CounterFactual936886.47
Model_instances10796300
PositionalGames_gttt641020.05
PositionalGames_hex49263.42
Q_2_2_310039516.84
Q_2_39484600
Q_3_310090000
Q_3_3_310036619.44
RobotsD2105715.94
Selection-hard2018000
Strategic_Companies10163936.18
wgrowing3430600