rareqs results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240166.53
CounterFactual271211985408.69
Model_instances212211362333.6
Q_2_2_315089958.9
Q_2_3188988186.11
Q_3_315089967.33
Q_3_3_314989359.72
RobotsD2362641645.34
RobotsD330237138.16
RobotsD435151590.13
RobotsD533131774.14
Strategic_Companies18384458651.51