hiqqer1ldsq results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240338.96
CounterFactual251272354418.66
Model_instances12641066687.37
Q_2_2_310059978.82
Q_2_397157785.58
Q_3_310059975.8
Q_3_3_310059976
RobotsD2362146805.03
RobotsD330237745.04
RobotsD435151575.27
RobotsD533131763
Strategic_Companies16083955290.24