xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240601.21
CounterFactual251272649889.12
Model_instances126231338397.99
Q_2_2_310059970.9
Q_2_397157656.84
Q_3_310059972.4
Q_3_3_310059971.34
RobotsD2362344996.11
RobotsD330237522.69
RobotsD4351515267.49
RobotsD5331317211.56
Strategic_Companies16283955241.08