EBDDRES results solving families - 2007

Family# Total# Sat# UnsatTime
Adder7821665.88
blackbox-01X-QBF1024628289.26
blackbox_design1313655.64
Blocks501503.32
BMC34315067.25
C43231785.3
C49921535.38
C531532791.1
C628810329.26
C88010331.46
Chain22538.35
conformant_planning12228977.62
Connect44131.13
Counter14404.42
Debug14560231.19
evader-pursuer-4x4-logarithmic28935.83
evader-pursuer-8x8-logarithmic10247.17
FPGA_PLB_FIT_SLOW10267.26
jmc_quant17429.98
k_branch_n9209.46
k_branch_p19593.19
k_d4_n39918.77
k_d4_p36542.96
k_dum_n3255.49
k_dum_p38413.49
k_grz_n29717.38
k_grz_p26714.94
k_lin_n13408.21
k_path_n33514.65
k_path_p33514.98
k_poly_n4211169.05
k_t4p_n39675.21
k_t4p_p51653.93
MutexP484487.1
Qshifter4442007.83
s2721211.05
s29817392.49
s3868190.22
s49911264.5
s510498.23
s71310249.33
s8208210.74
Sorting_networks2537654.69
SzymanskiP5513126.51
term1201319.31
tipdiam203184838.85
tipfixpoint48613563.03
Toilet12332.56