quantor-3.1 results solving families - 2010

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion9111072.9
CounterFactual2608127189.35
q2k3k3270648811.16
RobotsD270102564.01
RobotsD370102557.51
RobotsD474103367.78
RobotsD571103231.23
Strategic_Companies80376343.52