aqua-s3o results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion624096.67
CounterFactual251272256316.77
Model_instances126211533381.45
Q_2_2_310059980.92
Q_2_3971344492.72
Q_3_310059985.4
Q_3_3_310059985.1
RobotsD2362148565.24
RobotsD3302272779.02
RobotsD43515152486.72
RobotsD53313172153.27
Strategic_Companies16284049668.73