sKizzo-0.10-std results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78813470
blackbox-01X-QBF1024203351270.67
blackbox_design13172741.11
Blocks5015493.46
BMC343485729928.43
C4323118600
C4992115406.05
C53153212264.68
C6288106000
C880106000
Chain2222.17
conformant_planning1227444034.53
Connect442400
Counter14383.57
Debug1452135039.45
evader-pursuer-4x4-logarithmic2812055.44
evader-pursuer-8x8-logarithmic10124.12
FPGA_PLB_FIT_SLOW10138.72
jmc_quant1718337.18
k_branch_n9136.54
k_branch_p19232.4
k_d4_n395533.1
k_d4_p3655.8
k_dum_n3254.93
k_dum_p3844.42
k_grz_n2942099.03
k_grz_p26419.3
k_lin_n1331382.44
k_path_n335315.75
k_path_p335318.31
k_poly_n42666.14
k_t4p_n39652.48
k_t4p_p51611.44
MutexP4843.44
Qshifter44476.14
s272125.02
s298172134.9
s3868124
s499112673.88
s510414.11
s713101322.06
s82081209.9
Sorting_networks25315791082.77
SzymanskiP5523052.98
term1208843.94
tipdiam203431153547.87
tipfixpoint4861017249446.26
Toilet1224.32