depqbf-v3 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62384391.49
CounterFactual271262074540.31
Model_instances248410127997.22
Q_2_2_315089961.6
Q_2_31881572497.01
Q_3_315089960.16
Q_3_3_314989361.79
RobotsD2362039525.59
RobotsD3302271815.82
RobotsD4351515615.55
RobotsD5331317504.78
Strategic_Companies18382482432.73