hiqqer1 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240340.19
CounterFactual251272354565.69
Model_instances12641066768.08
Q_2_2_310059977.42
Q_2_397157793.54
Q_3_310059975
Q_3_3_310059976.2
RobotsD2362146801
RobotsD330237760.76
RobotsD435151576.06
RobotsD533131763.14
Strategic_Companies16283955637.78