caqe-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6239554.49
CounterFactual271272958851.22
Model_instances212201371325.53
Q_2_2_315089963.01
Q_2_31881084916.87
Q_3_315089971.29
Q_3_3_314989377.66
RobotsD2362246767.65
RobotsD3302371046.71
RobotsD4351515338.39
RobotsD5331317258.03
Strategic_Companies18383669183.51