qestos results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6240191.88
CounterFactual251252164526.11
Model_instances1264171561.05
Q_2_2_310059973.26
Q_2_39758182.59
Q_3_310059982.66
Q_3_3_310059636.14
RobotsD2361947182.38
RobotsD3302342181.46
RobotsD4351515540.32
RobotsD5331317119.03
Strategic_Companies16283747593.83