qesto results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240199.98
CounterFactual271272273241.32
Model_instances212221177838.95
Q_2_2_315089957.43
Q_2_3188112747.78
Q_3_315089957.73
Q_3_3_314989357.72
RobotsD2362344894.32
RobotsD330237362.18
RobotsD4351515115.94
RobotsD533131780.19
Strategic_Companies18384463106.74