caqe-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6239554.49
CounterFactual251272947241.49
Model_instances126201340475.27
Q_2_2_310059975.34
Q_2_3971048095.69
Q_3_310059980.86
Q_3_3_310059985.04
RobotsD2362246767.65
RobotsD3302371046.71
RobotsD4351515338.39
RobotsD5331317258.03
Strategic_Companies16283656588.89