nenofex-qbfeval10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction172231943531.5
Adder1078523085.96
blackbox-01X-QBF1951126939.96
blackbox_design132923.78
Blocks4423673.17
BMC805729479.78
C432391317786.35
C49921264.62
C5315741210632.63
C6288419444.44
C88010451.23
Chain1211.73
circuits1137240.4
comp824.66
conformant_planning924432432.33
Connect434613830.98
Counter173708.8
Debug2921713.22
evader-pursuer-4x4-logarithmic2530004.25
evader-pursuer-4x4-standard6556893.28
evader-pursuer-6x6-logarithmic3434385.87
evader-pursuer-6x6-standard1619202.96
evader-pursuer-8x8-logarithmic5833033.78
FPGA_PLB_FIT_FAST1611172.71
FPGA_PLB_FIT_SLOW10190.93
Impl810.1
jmc_quant1212232.5
jmc_quant_squaring123140.4
k_branch_n3115079.63
k_branch_p59112447.05
k_d4_n5525688.63
k_d4_p2836412.96
k_dum_n11222.93
k_dum_p25471.79
k_grz_n224987.97
k_grz_p213771.24
k_lin_n2218257.94
k_lin_p2542167.53
k_path_n1232383.43
k_path_p2943497.5
k_ph_n2962499.09
k_ph_p24222070.14
k_poly_n26126477.64
k_poly_p1113199.92
k_t4p_n2624596.77
k_t4p_p41311523.9
Logn101226.45
mqm473410824.07
s1196910801.44
s126989599.68
s271114.14
s2981627286.28
s3330207008.76
s38689601.36
s49913114853.35
s510149915.56
s7131315602.08
s82089601.28
Sorting_networks2242350.93
SzymanskiP2114416.75
term130114769.07
tipdiam35213814.88
tipfixpoint72430061.48
Toilet2131276.89
ToiletA1755148.49
ToiletC391588.98
ToiletG2740.27
VonNeumann151124.5
z4ml810.67