caqe-minisat results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion62319792.51
CounterFactual251231376817.12
Model_instances12610960046.22
Q_2_2_310059972.08
Q_2_3971048321.01
Q_3_310059974.62
Q_3_3_310059972.86
RobotsD2362345917.34
RobotsD3302361452.89
RobotsD4351515265.92
RobotsD5331317239.4
Strategic_Companies16297155.29