xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62139653.26
CounterFactual271272660159.69
Model_instances248301068621.39
Q_2_2_315089956.74
Q_2_31882364853.36
Q_3_31501269419.88
Q_3_3_3149483102.61
RobotsD2362345103.69
RobotsD330237587.46
RobotsD4351614293.69
RobotsD5331416236.48
Strategic_Companies18383967855.58