nenofex-qbfeval10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction171231942331.34
Adder978519830.65
blackbox-01X-QBF1831124579.3
blackbox_design132923.78
Blocks4423673.17
BMC705723701.15
C432391317786.35
C49921264.62
C531571129812.68
C6288398952.24
C88010451.23
Chain1211.73
circuits1137240.4
comp824.66
conformant_planning914431232.1
Connect432612274.37
Counter173708.8
Debug2720503.05
evader-pursuer-4x4-logarithmic2530004.25
evader-pursuer-4x4-standard6456263.14
evader-pursuer-6x6-logarithmic3333185.62
evader-pursuer-6x6-standard1619202.96
evader-pursuer-8x8-logarithmic5631594.75
FPGA_PLB_FIT_FAST1611172.71
FPGA_PLB_FIT_SLOW10190.93
Impl810.1
jmc_quant1212232.5
jmc_quant_squaring102617
k_branch_n2914747.29
k_branch_p51110264.59
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_p19216069.23
k_poly_n26126477.64
k_poly_p1113199.92
k_t4p_n2624596.77
k_t4p_p41311523.9
Logn101226.45
mqm453393768.3
s1196910801.44
s126989599.68
s271114.14
s2981627286.28
s3330196573.92
s38689601.36
s49913114853.35
s510149915.56
s7131315602.08
s82089601.28
Sorting_networks2242350.93
SzymanskiP1913814.3
term130114769.07
tipdiam35213814.88
tipfixpoint68427037.81
Toilet2131276.89
ToiletA1755148.49
ToiletC391588.98
ToiletG2740.27
VonNeumann151124.5
z4ml810.67