rareqs results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240166.53
CounterFactual251211973716.78
Model_instances126211336769.11
Q_2_2_310059972.6
Q_2_397949416.47
Q_3_310059978.22
Q_3_3_310059973.02
RobotsD2362641645.34
RobotsD330237138.16
RobotsD435151590.13
RobotsD533131774.14
Strategic_Companies16284446057.3