depqbf-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion624079.33
CounterFactual271262174735.94
Model_instances21249108694.48
Q_2_2_315089000.1
Q_2_31881669237.83
Q_3_315089033.49
Q_3_3_314988395.09
RobotsD2361848934.43
RobotsD3302035500
RobotsD43515151002.57
RobotsD5331317356.01
Strategic_Companies18382878712.21