preQuel_sKizzo-0.10 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78812002.43
blackbox-01X-QBF102410465396414.1
blackbox_design131174746.24
Blocks5015465.25
BMC343371691518.95
C4323118313.43
C4992112600
C53153219200
C6288106000
C880106000
Chain2221.64
conformant_planning1227444841.29
Connect44754.24
Counter14371.56
Debug1451662326.19
evader-pursuer-4x4-logarithmic2815668.46
evader-pursuer-8x8-logarithmic101103.37
FPGA_PLB_FIT_SLOW10134.12
jmc_quant1710200
k_branch_n91130.15
k_branch_p192349.39
k_d4_n39566.7
k_d4_p36510.62
k_dum_n3256.54
k_dum_p3845.48
k_grz_n29474.27
k_grz_p2649.19
k_lin_n1331318.11
k_path_n33516.78
k_path_p33512.3
k_poly_n426110.14
k_t4p_n39695.88
k_t4p_p51628.09
MutexP48122220.42
Qshifter44490.54
s272124.94
s2981714802.16
s38684800
s4991113600.58
s510414.27
s713101286.58
s82081205.23
Sorting_networks25314791666.73
SzymanskiP5532051.09
term12012000
tipdiam203141104022.71
tipfixpoint48633239639.02
Toilet1226.26