SOTA views
QBFEVAL'18 - Hard Instances Track

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
Abduction3000 -
amba3113250.451
BMC7000 -
C53153000 -
C62884000 -
circuits11000 -
conformant_planning2000 -
Connect31000 -
Connect47000 -
Connect61000 -
Connect72000 -
Counter2000 -
CounterFactual20000 -
Debug7000 -
disjunctive_decomposition11140.611
evader-pursuer-6x6-logarithmic2111802.251
evader-pursuer-6x6-standard6221980.332
evader-pursuer-8x8-logarithmic2000 -
formula_add3000 -
genbuf5000 -
HardwareFixpoint15000 -
ITC991000 -
jmc_quant1000 -
jmc_quant_squaring2000 -
k_ph_p5000 -
LinearBitvectorRankingFunction14000 -
ltl2aig-comp5000 -
LTL2DBA3000 -
Model_instances188811643.7444
mult-matrix1000 -
PositionalGames_gttt2322152.872
PositionalGames_hex36445990.0431
Q_2_2_350000 -
Q_2_33110101306.5110
Q_3_350000 -
Q_3_3_349000 -
Reduction-finding12112411.51
s12691000 -
s33301000 -
Selection-hard5441488.294
sketch4112886.51
Sorting_networks32115630.612
Strategic_Companies216610090.576
tipfixpoint1000 -
wgrowing2716169956.39115