iprover-QBF-bloqqer results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6221527.13
CounterFactual25115168063.82
Model_instances12633665.66
Q_2_2_310034255.2
Q_2_39733263.22
Q_3_310028752.5
Q_3_3_310024485.28
RobotsD236815829.72
RobotsD3301010631.62
RobotsD435139847.33
RobotsD533128120.57
Strategic_Companies16273117.47