sKizzo-0.9-abs results solving families - 2006

Family# Total# Sat# UnsatTime
Adder103944203.32
ASP_Program_Inclusion912845748.86
blackbox_design13147602.94
Blocks8847497.78
C43241131993.66
C4993025030.79
C53154122263.35
C62881014518
C8801815502.94
Chain3942.8
comp820.36
Connect4381021202.62
Counter21536.98
CounterFactual9201151102177430.42
evader-pursuer-4x4-logarithmic3711046.08
evader-pursuer-6x6-logarithmic1614603.57
evader-pursuer-8x8-logarithmic36451.76
FPGA_PLB_FIT_FAST24371.36
FPGA_PLB_FIT_SLOW2512147.32
jmc_quant21126012.14
jmc_quant_squaring2813329.92
k_branch_n1814170.42
k_branch_p23333.22
k_d4_n426663.87
k_d4_p3655.21
k_dum_n3254.1
k_dum_p3844.16
k_grz_n3652256.43
k_grz_p37631.27
k_lin_n2734361.15
k_lin_p2852.33
k_path_n335304.92
k_path_p335296.2
k_ph_n2031037.12
k_ph_p4147.72
k_poly_n42665.24
k_poly_p11319.43
k_t4p_n39648.76
k_t4p_p51610.72
Logn19222.46
mA-t2-1qbf-5cnf-160var-2560cl20103500.92
mA-t2-1qbf-5cnf-80var-2560cl20101347.26
mA-t2-2qbf-5cnf-160var-2560cl20118168.08
mA-t2-2qbf-5cnf-160var-320cl20648060.98
mA-t2-2qbf-5cnf-160var-5120cl20114809.64
mA-t2-2qbf-5cnf-40var-160cl202283908.7
mA-t2-2qbf-5cnf-40var-320cl20119797.24
mA-t2-2qbf-5cnf-40var-640cl20120012.2
mA-t2-2qbf-5cnf-80var-1280cl20115699.38
mA-t2-2qbf-5cnf-80var-320cl2046556.54
mA-t2-2qbf-5cnf-80var-640cl2084558.68
mA-t2-3qbf-5cnf-160var-2560cl2010194.16
mA-t2-3qbf-5cnf-160var-640cl20120013.46
mA-t2-3qbf-5cnf-20var-160cl20820154.12
mA-t2-3qbf-5cnf-20var-320cl20104365.18
mA-t2-3qbf-5cnf-40var-320cl20192848.58
mA-t2-3qbf-5cnf-40var-640cl2010117.96
mA-t2-3qbf-5cnf-80var-1280cl2010237.7
mA-t2-3qbf-5cnf-80var-2560cl201089.8
mA-t2-3qbf-5cnf-80var-320cl201108043.84
mA-t2-4qbf-5cnf-160var-2560cl2010287.62
mA-t2-4qbf-5cnf-160var-5120cl2010352.22
mA-t2-4qbf-5cnf-160var-640cl20118709.68
mA-t2-4qbf-5cnf-20var-160cl20651705.3
mA-t2-4qbf-5cnf-20var-320cl2010259.82
mA-t2-4qbf-5cnf-20var-640cl2010110.8
mA-t2-4qbf-5cnf-40var-1280cl2010362.34
mA-t2-4qbf-5cnf-40var-320cl20824691
mA-t2-4qbf-5cnf-40var-640cl2010341.96
mA-t2-4qbf-5cnf-80var-1280cl2010793.42
mA-t2-4qbf-5cnf-80var-2560cl2010498
mA-t2-4qbf-5cnf-80var-320cl20298348.88
mA-t2-5qbf-5cnf-160var-2560cl2010380.86
mA-t2-5qbf-5cnf-160var-5120cl2010247.42
mA-t2-5qbf-5cnf-160var-640cl20100.2
mA-t2-5qbf-5cnf-20var-320cl20919498.96
mA-t2-5qbf-5cnf-20var-640cl20104
mA-t2-5qbf-5cnf-40var-1280cl201097.56
mA-t2-5qbf-5cnf-40var-320cl20120011
mA-t2-5qbf-5cnf-40var-640cl20912397.78
mA-t2-5qbf-5cnf-80var-1280cl2010506.4
mA-t2-5qbf-5cnf-80var-2560cl2010205.78
mA-t2-5qbf-5cnf-80var-640cl20120014.02
mA-t2-6qbf-5cnf-160var-2560cl2010481.18
mA-t2-6qbf-5cnf-160var-5120cl2010368.14
mA-t2-6qbf-5cnf-160var-640cl20100.16
mA-t2-6qbf-5cnf-20var-160cl20112641.48
mA-t2-6qbf-5cnf-20var-320cl2010907.42
mA-t2-6qbf-5cnf-20var-640cl2010303
mA-t2-6qbf-5cnf-40var-1280cl2010513.84
mA-t2-6qbf-5cnf-40var-320cl201108075.72
mA-t2-6qbf-5cnf-40var-640cl20101027.68
mA-t2-6qbf-5cnf-80var-1280cl2010299.68
mA-t2-6qbf-5cnf-80var-2560cl2010357.78
mA-t2-6qbf-5cnf-80var-640cl20296496.98
MutexP4843.19
Qq2k1k4v40v40m1610550.03
Qq2k1k4v40v40m210100.02
Qq2k1k4v40v40m3210100.04
Qq2k1k4v40v40m410910.06
Qq2k1k4v40v40m810820.01
Qq2k1k4v80v80m1610730.01
Qq2k1k4v80v80m210100.02
Qq2k1k4v80v80m3210280.03
Qq2k1k4v80v80m410100.02
Qq2k1k4v80v80m810100.02
Qq2k2k3v40v40m1610100
Qq2k2k3v40v40m210100.01
Qq2k2k3v40v40m3210100.02
Qq2k2k3v40v40m410100.04
Qq2k2k3v40v40m810100.01
Qq2k2k3v80v80m1610100.02
Qq2k2k3v80v80m210100.03
Qq2k2k3v80v80m3210100.05
Qq2k2k3v80v80m410100.03
Qq2k2k3v80v80m810100.03
Qq2k3k2v40v40m1610100.02
Qq2k3k2v40v40m210100.01
Qq2k3k2v40v40m3210100.02
Qq2k3k2v40v40m410100.02
Qq2k3k2v40v40m810100.07
Qq2k3k2v80v80m1610100.04
Qq2k3k2v80v80m210100
Qq2k3k2v80v80m3210100.03
Qq2k3k2v80v80m410100
Qq2k3k2v80v80m810100.02
Qq3k1k1k3v40v40v40m1610100.01
Qq3k1k1k3v40v40v40m210100.03
Qq3k1k1k3v40v40v40m3210100.04
Qq3k1k1k3v40v40v40m410100
Qq3k1k1k3v40v40v40m810100.04
Qq3k1k1k3v80v80v80m1610100.01
Qq3k1k1k3v80v80v80m210100.04
Qq3k1k1k3v80v80v80m3210100
Qq3k1k1k3v80v80v80m410100.03
Qq3k1k1k3v80v80v80m810100.01
Qq3k1k2k2v40v40v40m1610100.03
Qq3k1k2k2v40v40v40m210100.04
Qq3k1k2k2v40v40v40m3210100.02
Qq3k1k2k2v40v40v40m410100.01
Qq3k1k2k2v40v40v40m810100.03
Qq3k1k2k2v80v80v80m1610100
Qq3k1k2k2v80v80v80m210100.04
Qq3k1k2k2v80v80v80m3210100.02
Qq3k1k2k2v80v80v80m410100.01
Qq3k1k2k2v80v80v80m810100.02
Qq3k1k3k1v40v40v40m1610100.04
Qq3k1k3k1v40v40v40m210100.03
Qq3k1k3k1v40v40v40m3210100.03
Qq3k1k3k1v40v40v40m410100.01
Qq3k1k3k1v40v40v40m810100.03
Qq3k1k3k1v80v80v80m1610100.03
Qq3k1k3k1v80v80v80m210100.02
Qq3k1k3k1v80v80v80m3210100.01
Qq3k1k3k1v80v80v80m410100.05
Qq3k1k3k1v80v80v80m810100.05
Qq3k2k1k2v40v40v40m1610100.01
Qq3k2k1k2v40v40v40m210100.02
Qq3k2k1k2v40v40v40m3210100.01
Qq3k2k1k2v40v40v40m410100.03
Qq3k2k1k2v40v40v40m810100.05
Qq3k2k1k2v80v80v80m1610100.03
Qq3k2k1k2v80v80v80m210100.04
Qq3k2k1k2v80v80v80m3210100.01
Qq3k2k1k2v80v80v80m410100.02
Qq3k2k1k2v80v80v80m810100.01
Qq3k2k2k1v40v40v40m1610100.02
Qq3k2k2k1v40v40v40m210100.01
Qq3k2k2k1v40v40v40m3210100.01
Qq3k2k2k1v40v40v40m410100.03
Qq3k2k2k1v40v40v40m810100.04
Qq3k2k2k1v80v80v80m1610100.04
Qq3k2k2k1v80v80v80m210100.01
Qq3k2k2k1v80v80v80m3210100.05
Qq3k2k2k1v80v80v80m410100.05
Qq3k2k2k1v80v80v80m810100.01
Qq3k3k1k1v40v40v40m1610100.01
Qq3k3k1k1v40v40v40m210100.02
Qq3k3k1k1v40v40v40m3210100.04
Qq3k3k1k1v40v40v40m410100.01
Qq3k3k1k1v40v40v40m810100.02
Qq3k3k1k1v80v80v80m1610100.02
Qq3k3k1k1v80v80v80m210100.03
Qq3k3k1k1v80v80v80m3210100.05
Qq3k3k1k1v80v80v80m410100.03
Qq3k3k1k1v80v80v80m810100.06
Qshifter44466.62
RobotsD2301058.62
RobotsD3301068.07
RobotsD4321055.43
RobotsD5311052.2
s272935.19
s298172133.66
s3868123.76
s499112585.57
s510414.04
s713101321.5
s82081201.36
Sorting_networks37122131228764.15
Strategic_Companies63324542786109.51
SzymanskiP812142866.1
term138319508.83
tipdiam65307136.63
tipfixpoint20689743413.33
Toilet17214.51
ToiletA411118.64
ToiletC310.12
Tree710