SOTA views
QBFEVAL'16 - Random QBFs Track.

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
ASP_Program_Inclusion40404026.5940
CounterFactual806127341116.173517
Model_instances60432716828.23394
Q_2_2_350000 -
Q_2_350402020726.552317
Q_3_35013121354.5213
Q_3_3_35044122.634
RobotsD23030264853.833243
RobotsD33030237116.66327
RobotsD43030151548.89426
RobotsD53030131732.87525
Strategic_Companies80608522707.23582