xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240601.21
CounterFactual271272660318.41
Model_instances212231369061.39
Q_2_2_315089956.35
Q_2_31881110682.14
Q_3_315089958.6
Q_3_3_314989357.3
RobotsD2362344996.11
RobotsD330237522.69
RobotsD4351515267.49
RobotsD5331317211.56
Strategic_Companies18383967834.85