depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion91405197.85
CounterFactual26044358366.94
q2k3k32707426204721.59
RobotsD27023312323.99
RobotsD3702185565.45
RobotsD47420710652.45
RobotsD57121711206.66
Strategic_Companies8031067050.61