aqua-s3o results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion624096.67
CounterFactual271272268314.6
Model_instances248211565035.81
Q_2_2_315089971.38
Q_2_31881375844.48
Q_3_315089978.1
Q_3_3_314989377.73
RobotsD2362148565.24
RobotsD3302272779.02
RobotsD43515152486.72
RobotsD53313172153.27
Strategic_Companies18384061341.3