prefix-opt-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence1792158674.6
CounterFactual1131101111.61
Model_instances211189900
PositionalGames_gttt1172863244.09
PositionalGames_hex1156385322.7
Q_2_2_3150135000
Q_2_317613102542.1
Q_3_3150135000
Q_3_3_3149134100
RobotsD2109000
Selection-hard4843200
Strategic_Companies122109800
wgrowing85172900.44