iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
ASP_Program_Inclusion6216806.29
CounterFactual2714108912.32
Model_instances21273930.83
Q_2_2_315052206.3
Q_2_318860918.54
Q_3_315045002.49
Q_3_3_314941563.07
RobotsD236317321.53
RobotsD330614502.43
RobotsD435617204.85
RobotsD533615990.68
Strategic_Companies18371585.58