struqs-10 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6237182.32
CounterFactual25164132611.78
Model_instances12675564.72
Q_2_2_310059970.82
Q_2_39758172.07
Q_3_310059971.42
Q_3_3_310059971.4
RobotsD236319221.75
RobotsD330316219.53
RobotsD435419117.53
RobotsD533517809.56
Strategic_Companies1621091167.52