preQuel_sKizzo-0.10 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder86813581.46
blackbox-01X-QBF106410465420414.1
blackbox_design131174746.24
Blocks5015465.25
BMC370371699326.34
C4323118313.43
C4992112600
C53153219200
C6288106000
C880106000
Chain2221.64
conformant_planning1247446041.29
Connect44754.24
Counter14371.56
Debug1721674053.47
evader-pursuer-4x4-logarithmic2916155.31
evader-pursuer-8x8-logarithmic101103.37
FPGA_PLB_FIT_SLOW10134.12
jmc_quant1710200
k_branch_n91130.15
k_branch_p212426.17
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
Qshifter45491.44
s272124.94
s2981714802.16
s38684800
s4991113600.58
s510414.27
s713101286.58
s82081205.23
Sorting_networks27614799631.11
SzymanskiP5934287.94
term12012000
tipdiam216141111822.71
tipfixpoint50233249239.02
Toilet1226.26