qbfrelay-limited-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60348566.24
CounterFactual93377681.55
Model_instances1072488681.99
PositionalGames_gttt643926533.01
PositionalGames_hex496138416.52
Q_2_2_310088901.02
Q_2_3941262565.94
Q_3_310088939.54
Q_3_3_310088896.16
RobotsD21018772.2
Selection-hard20214740.96
Strategic_Companies101880006.24
wgrowing34129338.79