depqbf-v1 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion624079.33
CounterFactual251262162884.45
Model_instances1264964170.1
Q_2_2_310059333.4
Q_2_3971641700.83
Q_3_310059355.66
Q_3_3_310059325.94
RobotsD2361848934.43
RobotsD3302035500
RobotsD43515151002.57
RobotsD5331317356.01
Strategic_Companies16282866272.89