qsts results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62401094.16
CounterFactual2711414112273.71
Model_instances2122125996.66
Q_2_2_315089957.79
Q_2_318810293696.79
Q_3_315089959.65
Q_3_3_314989358.01
RobotsD2362345623.94
RobotsD330237801.28
RobotsD4351515441.74
RobotsD533131755.65
Strategic_Companies18383273218.34