aqua-s2v results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240103.38
CounterFactual271272169384.25
Model_instances248211564075.56
Q_2_2_315089972.22
Q_2_31882054905.37
Q_3_3150188184.91
Q_3_3_314989376.92
RobotsD2362148710.56
RobotsD3302263779.38
RobotsD43515152964.34
RobotsD53313172216.02
Strategic_Companies18384061332.83