CUED1919_NNL results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence6014.44
CounterFactual931035.03
Model_instances10796300
PositionalGames_gttt64181.38
PositionalGames_hex49244.39
Q_2_2_310017416.24
Q_2_39484600
Q_3_310090000
Q_3_3_310029675.04
RobotsD2109000
Selection-hard2018000
Strategic_Companies10190900
wgrowing3430600