qbfrelay results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence179572371.15
CounterFactual11315738.62
Model_instances2116036.59
PositionalGames_gttt11742833.23
PositionalGames_hex115255856.88
Q_2_2_315015504.48
Q_2_31761609.44
Q_3_3150563.58
Q_3_3_31495591.69
RobotsD2108968.78
Selection-hard4811490.17
Strategic_Companies12292686.86
wgrowing8511932.93