qbfrelay results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60520065.58
CounterFactual9312289.98
Model_instances1072934.77
PositionalGames_gttt6441648.07
PositionalGames_hex49222124.23
Q_2_2_310010336.32
Q_2_3941333.28
Q_3_3100375.72
Q_3_3_31003750.26
RobotsD2108968.78
Selection-hard201613.32
Strategic_Companies10174877.12
wgrowing341734.34