hiqqer3 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240628.68
CounterFactual251272354706.75
Model_instances12641066758.99
Q_2_2_310059979.6
Q_2_397157786.64
Q_3_310059975.4
Q_3_3_310059977.2
RobotsD2362146585.35
RobotsD330237488.49
RobotsD435151581.6
RobotsD533131773.79
Strategic_Companies16283360253.27