aqua-s2v results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240103.38
CounterFactual251272157386.24
Model_instances126211532947.73
Q_2_2_310059981.48
Q_2_3972036355.69
Q_3_3100158789.94
Q_3_3_310059984.56
RobotsD2362148710.56
RobotsD3302263779.38
RobotsD43515152964.34
RobotsD53313172216.02
Strategic_Companies16284049657.33