EBDDRES results solving families - 2007

Family# Total# Sat# UnsatTime
Adder8621854.98
blackbox-01X-QBF1064629396.88
blackbox_design1313655.64
Blocks501503.32
BMC37016983.83
C43231785.3
C49921535.38
C531532791.1
C628810329.26
C88010331.46
Chain22538.35
conformant_planning12429603.96
Connect44131.13
Counter14404.42
Debug17270718.14
evader-pursuer-4x4-logarithmic29969.75
evader-pursuer-8x8-logarithmic10247.17
FPGA_PLB_FIT_SLOW10267.26
jmc_quant17429.98
k_branch_n9209.46
k_branch_p21655.77
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
Qshifter4542016.87
s2721211.05
s29817392.49
s3868190.22
s49911264.5
s510498.23
s71310249.33
s8208210.74
Sorting_networks2768350.9
SzymanskiP5914632.09
term1201319.31
tipdiam216185200.09
tipfixpoint50214029.95
Toilet12332.56