sKizzo-0.10-std results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86815347.53
blackbox-01X-QBF1064203375270.67
blackbox_design13172741.11
Blocks5015493.46
BMC370485736356.36
C4323118600
C4992115406.05
C53153212264.68
C6288106000
C880106000
Chain2222.17
conformant_planning1247445234.53
Connect442400
Counter14383.57
Debug1722141619.75
evader-pursuer-4x4-logarithmic2912525.68
evader-pursuer-8x8-logarithmic10124.12
FPGA_PLB_FIT_SLOW10138.72
jmc_quant1718337.18
k_branch_n9136.54
k_branch_p21238.72
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
Qshifter45476.83
s272125.02
s298172134.9
s3868124
s499112673.88
s510414.11
s713101322.06
s82081209.9
Sorting_networks27615799047.27
SzymanskiP5925071.07
term1208843.94
tipdiam216431159347.23
tipfixpoint5021017259046.26
Toilet1224.32