SOTA views
QBFEVAL'10 - Competitive Track.

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
Abduction52513219203.7314361
Adder151596568.79123
blackbox-01X-QBF595656387.72848
blackbox_design2221.682
Blocks552316.0514
BMC181771064.16314
C43244130.5213
C4992220.92
C531573123.812
C628842216.8811
C8801110.181
Chain1110.021
circuits3331812
comp2220.032
conformant_planning1510461042.31271
Connect41199118.9663
Counter444937.3631
Debug544462.594
evader-pursuer-4x4-logarithmic3222.862
evader-pursuer-4x4-standard777586.6616
evader-pursuer-6x6-logarithmic433540.9521
evader-pursuer-6x6-standard222892.652
evader-pursuer-8x8-logarithmic64440.124
FPGA_PLB_FIT_FAST22110.0511
FPGA_PLB_FIT_SLOW1111.611
Impl11101
jmc_quant22111.152
jmc_quant_squaring1110.11
k_branch_n444870.0631
k_branch_p777379.857
k_d4_n10101015.6310
k_d4_p5551.6314
k_dum_n2220.042
k_dum_p4440.744
k_grz_n4444.8622
k_grz_p3333.1612
k_lin_n5559.025
k_lin_p4440.422
k_path_n3330.123
k_path_p4440.144
k_ph_n6667.86
k_ph_p444642.5922
k_poly_n4440.094
k_poly_p2220.062
k_t4p_n4445.624
k_t4p_p5553.015
Logn1111.121
mqm13613666707953.78136
s1196111275.131
s126911163.181
s271110.021
s298444158.034
s33302000 -
s386111715.711
s499222148.242
s510322403.962
s713222166.692
s820222854.352
Sorting_networks664251.6524
SzymanskiP22260.72
term133120.3412
tipdiam141412219.95113
tipfixpoint2422139973.084171
Toilet44310.4913
ToiletA1010550.7273
ToiletC23231581.32221
ToiletG4440.014
VonNeumann2225.9211
z4ml11101