QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion9140231.55
CounterFactual260342689694.67
q2k3k32707426205289.48
RobotsD27022323621.6
RobotsD37021815927.35
RobotsD474201016136.24
RobotsD57121913942.87
Strategic_Companies8032335591.93