depqbf-v3 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62384391.49
CounterFactual251262062544.5
Model_instances12641064720.44
Q_2_2_310059974.4
Q_2_3971543152.34
Q_3_310059973.44
Q_3_3_310059974.4
RobotsD2362039525.59
RobotsD3302271815.82
RobotsD4351515615.55
RobotsD5331317504.78
Strategic_Companies16282469838.02