xb-bid-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62139653.26
CounterFactual251272649775.6
Model_instances126301032697.11
Q_2_2_310059971.16
Q_2_3972333665.13
Q_3_31001246279.92
Q_3_3_3100455419.02
RobotsD2362345103.69
RobotsD330237587.46
RobotsD4351614293.69
RobotsD5331416236.48
Strategic_Companies16283955261.7