sKizzo-0.10-qck results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78814067.75
blackbox-01X-QBF1024209338790.57
blackbox_design13156516.36
Blocks5015159.4
BMC343495628827.09
C4323118600
C4992115405.86
C53153212263.69
C6288101605.68
C880106000
Chain2222.17
conformant_planning1227444812.59
Connect442400
Counter14375.82
Debug1452232432.99
evader-pursuer-4x4-logarithmic2816800
evader-pursuer-8x8-logarithmic10124.6
FPGA_PLB_FIT_SLOW10139.2
jmc_quant1710200
k_branch_n9189
k_branch_p19284.9
k_d4_n395183.27
k_d4_p3655.73
k_dum_n3254.89
k_dum_p3844.42
k_grz_n2941159.2
k_grz_p26419.29
k_lin_n133383.75
k_path_n33595.91
k_path_p33588.75
k_poly_n42666.74
k_t4p_n39651.89
k_t4p_p51611.36
MutexP4843.67
Qshifter44476.86
s272125.03
s298172169.56
s3868118.98
s499112140.49
s510414.32
s713101127.93
s82081259.31
Sorting_networks25315888005.96
SzymanskiP5523486.88
term12012000
tipdiam203441053624.39
tipfixpoint4861016249452.95
Toilet1224.3