hiqqer3 results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240628.68
CounterFactual271272366702.45
Model_instances248410130493.95
Q_2_2_315089969.4
Q_2_31881111198.01
Q_3_315089963.1
Q_3_3_314989365.99
RobotsD2362146585.35
RobotsD330237488.49
RobotsD435151581.6
RobotsD533131773.79
Strategic_Companies18383372848.48