aqua-f3v results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240105.59
CounterFactual251272452679.98
Model_instances126211631914.31
Q_2_2_310059980.48
Q_2_3971937271.49
Q_3_310059982.54
Q_3_3_310059984.94
RobotsD2362148703.5
RobotsD3302264272.17
RobotsD43515153002.32
RobotsD53313172194.17
Strategic_Companies16283852609.34