depqbf-v2 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240494.27
CounterFactual251272058376.57
Model_instances12671259164.62
Q_2_2_310059347.54
Q_2_3971542697.93
Q_3_310059337.1
Q_3_3_310059330.26
RobotsD2362147147.67
RobotsD3302271546.8
RobotsD4351515679.08
RobotsD5331317616.64
Strategic_Companies16284450230.99