hiqqer1 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240340.19
CounterFactual271272366561.49
Model_instances212410111964.26
Q_2_2_315089966.13
Q_2_31881111226.23
Q_3_315089962.5
Q_3_3_314989364.59
RobotsD2362146801
RobotsD330237760.76
RobotsD435151576.06
RobotsD533131763.14
Strategic_Companies18383968230.2