qsts results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62401094.16
CounterFactual2511414100329.92
Model_instances126274695.06
Q_2_2_310059971.86
Q_2_39710246619.18
Q_3_310059973.1
Q_3_3_310059971.82
RobotsD2362345623.94
RobotsD330237801.28
RobotsD4351515441.74
RobotsD533131755.65
Strategic_Companies16283260624.35