aqua-f3v results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240105.59
CounterFactual271272464678.2
Model_instances212211654642.13
Q_2_2_315089970.72
Q_2_31881957194.94
Q_3_315089973.81
Q_3_3_314989377.49
RobotsD2362148703.5
RobotsD3302264272.17
RobotsD43515153002.32
RobotsD53313172194.17
Strategic_Companies18383864663.81