prefix-opt-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
CombinationalEquivalence60253219.66
CounterFactual93183111.61
Model_instances10796300
PositionalGames_gttt642833504.15
PositionalGames_hex496337441.48
Q_2_2_310090000
Q_2_3941362256.84
Q_3_310090000
Q_3_3_310090000
RobotsD2109000
Selection-hard2018000
Strategic_Companies10190900
wgrowing34129700.11