squeezebf+struqs results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6237182.62
CounterFactual25164132615.96
Model_instances12675567.23
Q_2_2_310059972.4
Q_2_39758172.67
Q_3_310059971
Q_3_3_310059971.6
RobotsD236419038.82
RobotsD330516058.9
RobotsD435618611.71
RobotsD533617274.64
Strategic_Companies1621091199.01