struqs-10 results solving families - 2010

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion91109207.2
CounterFactual2602305523.1
q2k3k32707426208519.29
RobotsD27084005.8
RobotsD37084005.85
RobotsD474583909.78
RobotsD571778931.44
Strategic_Companies80392244.67