qesto results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240199.98
CounterFactual251272261247.02
Model_instances126221143257.38
Q_2_2_310059971.62
Q_2_39758173.27
Q_3_310059971.82
Q_3_3_310059971.62
RobotsD2362344894.32
RobotsD330237362.18
RobotsD4351515115.94
RobotsD533131780.19
Strategic_Companies16284450512.43