SOTA views
QBFEVAL'17 - Random QBFs Track

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
CombinationalEquivalence3030151598.7430
CounterFactual3111112532.765
Model_instances46282353006.88271
PositionalGames_gttt64413922558.152912
PositionalGames_hex49131032656.7513
Q_2_2_350000 -
Q_2_3471616644.61142
Q_3_350000 -
Q_3_3_35011320.911
RobotsD2555775.0532
Selection-hard1055171.635
Strategic_Companies4019193965.5145
wgrowing3399757.259