QuBE7-c results solving families - 2010

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion9140215.72
CounterFactual260352786420.5
q2k3k32707426205067.67
RobotsD27021324114.11
RobotsD37021816119.58
RobotsD474201016242.48
RobotsD57121913853.36
Strategic_Companies8032140133.9