iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6216806.29
CounterFactual2514102838.38
Model_instances12644728.1
Q_2_2_310034804.2
Q_2_39731935.45
Q_3_310030001.66
Q_3_3_310027910.34
RobotsD236317321.53
RobotsD330614502.43
RobotsD435617204.85
RobotsD533615990.68
Strategic_Companies16263226.55