squeezebf+struqs results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion620037182.62
CounterFactual27164144610.57
Model_instances24800148735.04
Q_2_2_31500089958.6
Q_2_318800112747.38
Q_3_31500089956.5
Q_3_3_31490089357.69
RobotsD2364019038.82
RobotsD3305016058.9
RobotsD4356018611.71
RobotsD5336017274.64
Strategic_Companies183010103793.42