sKizzo-0.9-grn results solving families - 2006

Family# Total# Sat# UnsatTime
Adder1035272318.02
ASP_Program_Inclusion912449629.49
blackbox_design13111751.75
Blocks884764.63
C432412127793.15
C49930254031.35
C53154122349.94
C62881016.4
C8801814521.78
Chain3943.02
comp820.24
Connect438111693.52
Counter21539.74
CounterFactual92090942305797.32
evader-pursuer-4x4-logarithmic37753.26
evader-pursuer-6x6-logarithmic162133.78
evader-pursuer-8x8-logarithmic36451.62
FPGA_PLB_FIT_FAST2439.04
FPGA_PLB_FIT_SLOW251257.3
jmc_quant21126010.37
jmc_quant_squaring2874875.8
k_branch_n1812453.76
k_branch_p23333.44
k_d4_n4217949.76
k_d4_p3655.26
k_dum_n32118024.65
k_dum_p3821858.56
k_grz_n36155645.7
k_grz_p3734682.9
k_lin_n2731083.11
k_lin_p2852.45
k_path_n3353858.23
k_path_p33528054.06
k_ph_n203547.16
k_ph_p4111.64
k_poly_n4213059.25
k_poly_p11319.71
k_t4p_n3915637.37
k_t4p_p51611.09
Logn19222.27
mA-t2-1qbf-5cnf-160var-2560cl20103414.9
mA-t2-1qbf-5cnf-80var-2560cl20101374.64
mA-t2-2qbf-5cnf-160var-2560cl2010639.52
mA-t2-2qbf-5cnf-160var-320cl20120014.68
mA-t2-2qbf-5cnf-160var-5120cl2010290.18
mA-t2-2qbf-5cnf-40var-160cl20296097.14
mA-t2-2qbf-5cnf-40var-320cl2010322.86
mA-t2-2qbf-5cnf-40var-640cl2010247.56
mA-t2-2qbf-5cnf-80var-1280cl2010440.84
mA-t2-2qbf-5cnf-80var-320cl20652950.76
mA-t2-2qbf-5cnf-80var-640cl2010901.56
mA-t2-3qbf-5cnf-160var-2560cl2010169.1
mA-t2-3qbf-5cnf-160var-640cl20120013.06
mA-t2-3qbf-5cnf-20var-160cl2011416.34
mA-t2-3qbf-5cnf-20var-320cl20100.76
mA-t2-3qbf-5cnf-40var-320cl20152351.38
mA-t2-3qbf-5cnf-40var-640cl20102.28
mA-t2-3qbf-5cnf-80var-1280cl2010138.48
mA-t2-3qbf-5cnf-80var-2560cl201034.68
mA-t2-3qbf-5cnf-80var-320cl20109190.86
mA-t2-4qbf-5cnf-160var-2560cl2010246.36
mA-t2-4qbf-5cnf-160var-5120cl2010247.78
mA-t2-4qbf-5cnf-160var-640cl20120015.42
mA-t2-4qbf-5cnf-20var-160cl20649087.06
mA-t2-4qbf-5cnf-20var-320cl2010259.86
mA-t2-4qbf-5cnf-20var-640cl201088.54
mA-t2-4qbf-5cnf-40var-1280cl2010362.06
mA-t2-4qbf-5cnf-40var-320cl20829007.02
mA-t2-4qbf-5cnf-40var-640cl2010342.14
mA-t2-4qbf-5cnf-80var-1280cl2010681.04
mA-t2-4qbf-5cnf-80var-2560cl2010495.64
mA-t2-4qbf-5cnf-80var-320cl20120014.32
mA-t2-5qbf-5cnf-160var-2560cl2010249.42
mA-t2-5qbf-5cnf-160var-5120cl2010223.48
mA-t2-5qbf-5cnf-160var-640cl20100.08
mA-t2-5qbf-5cnf-20var-320cl2010234.58
mA-t2-5qbf-5cnf-20var-640cl20104.04
mA-t2-5qbf-5cnf-40var-1280cl201064.78
mA-t2-5qbf-5cnf-40var-320cl20120012.48
mA-t2-5qbf-5cnf-40var-640cl201011262.72
mA-t2-5qbf-5cnf-80var-1280cl2010357.08
mA-t2-5qbf-5cnf-80var-2560cl2010206.66
mA-t2-5qbf-5cnf-80var-640cl20120014.88
mA-t2-6qbf-5cnf-160var-2560cl2010327.98
mA-t2-6qbf-5cnf-160var-5120cl2010335.74
mA-t2-6qbf-5cnf-160var-640cl20100.24
mA-t2-6qbf-5cnf-20var-160cl20119546.24
mA-t2-6qbf-5cnf-20var-320cl20101660.26
mA-t2-6qbf-5cnf-20var-640cl2010303.02
mA-t2-6qbf-5cnf-40var-1280cl2010456.36
mA-t2-6qbf-5cnf-40var-320cl201101710.6
mA-t2-6qbf-5cnf-40var-640cl2010531.38
mA-t2-6qbf-5cnf-80var-1280cl2010265.98
mA-t2-6qbf-5cnf-80var-2560cl2010214.84
mA-t2-6qbf-5cnf-80var-640cl20285278.92
MutexP4843.17
Qq2k1k4v40v40m1610550.03
Qq2k1k4v40v40m210100.04
Qq2k1k4v40v40m3210100.03
Qq2k1k4v40v40m410910.01
Qq2k1k4v40v40m810820.04
Qq2k1k4v80v80m1610730.02
Qq2k1k4v80v80m210100.02
Qq2k1k4v80v80m3210280.01
Qq2k1k4v80v80m410100.02
Qq2k1k4v80v80m810100.03
Qq2k2k3v40v40m1610100
Qq2k2k3v40v40m210100.02
Qq2k2k3v40v40m3210100.03
Qq2k2k3v40v40m410100.02
Qq2k2k3v40v40m810100.02
Qq2k2k3v80v80m1610100.03
Qq2k2k3v80v80m210100.02
Qq2k2k3v80v80m3210100.04
Qq2k2k3v80v80m410100.02
Qq2k2k3v80v80m810100.03
Qq2k3k2v40v40m1610100.01
Qq2k3k2v40v40m210100.03
Qq2k3k2v40v40m3210100.03
Qq2k3k2v40v40m410100.08
Qq2k3k2v40v40m810100.02
Qq2k3k2v80v80m1610100.01
Qq2k3k2v80v80m210100
Qq2k3k2v80v80m3210100.03
Qq2k3k2v80v80m410100.03
Qq2k3k2v80v80m810100.05
Qq3k1k1k3v40v40v40m1610100.01
Qq3k1k1k3v40v40v40m210100.03
Qq3k1k1k3v40v40v40m3210100.03
Qq3k1k1k3v40v40v40m410100.04
Qq3k1k1k3v40v40v40m810100.01
Qq3k1k1k3v80v80v80m1610100.03
Qq3k1k1k3v80v80v80m210100.05
Qq3k1k1k3v80v80v80m3210100.02
Qq3k1k1k3v80v80v80m410100.01
Qq3k1k1k3v80v80v80m810100
Qq3k1k2k2v40v40v40m1610100.01
Qq3k1k2k2v40v40v40m210100.03
Qq3k1k2k2v40v40v40m3210100.01
Qq3k1k2k2v40v40v40m410100.02
Qq3k1k2k2v40v40v40m810100.02
Qq3k1k2k2v80v80v80m1610100.05
Qq3k1k2k2v80v80v80m210100
Qq3k1k2k2v80v80v80m3210100.05
Qq3k1k2k2v80v80v80m410100.05
Qq3k1k2k2v80v80v80m810100.04
Qq3k1k3k1v40v40v40m1610100.03
Qq3k1k3k1v40v40v40m210100.03
Qq3k1k3k1v40v40v40m3210100.05
Qq3k1k3k1v40v40v40m410100.06
Qq3k1k3k1v40v40v40m810100.04
Qq3k1k3k1v80v80v80m1610100.01
Qq3k1k3k1v80v80v80m210100.02
Qq3k1k3k1v80v80v80m3210100.04
Qq3k1k3k1v80v80v80m410100.05
Qq3k1k3k1v80v80v80m810100.02
Qq3k2k1k2v40v40v40m1610100
Qq3k2k1k2v40v40v40m210100.03
Qq3k2k1k2v40v40v40m3210100.02
Qq3k2k1k2v40v40v40m410100.04
Qq3k2k1k2v40v40v40m810100.02
Qq3k2k1k2v80v80v80m1610100.04
Qq3k2k1k2v80v80v80m210100.02
Qq3k2k1k2v80v80v80m3210100.04
Qq3k2k1k2v80v80v80m410100.04
Qq3k2k1k2v80v80v80m810100.03
Qq3k2k2k1v40v40v40m1610100.03
Qq3k2k2k1v40v40v40m210100.03
Qq3k2k2k1v40v40v40m3210100.05
Qq3k2k2k1v40v40v40m410100.02
Qq3k2k2k1v40v40v40m810100.04
Qq3k2k2k1v80v80v80m1610100.02
Qq3k2k2k1v80v80v80m210100.03
Qq3k2k2k1v80v80v80m3210100.04
Qq3k2k2k1v80v80v80m410100.01
Qq3k2k2k1v80v80v80m810100.02
Qq3k3k1k1v40v40v40m1610100.03
Qq3k3k1k1v40v40v40m210100.02
Qq3k3k1k1v40v40v40m3210100.05
Qq3k3k1k1v40v40v40m410100.04
Qq3k3k1k1v40v40v40m810100.04
Qq3k3k1k1v80v80v80m1610100.01
Qq3k3k1k1v80v80v80m210100.01
Qq3k3k1k1v80v80v80m3210100.03
Qq3k3k1k1v80v80v80m410100.02
Qq3k3k1k1v80v80v80m810100.04
Qshifter44468.86
RobotsD23017927.97
RobotsD33017977.92
RobotsD43219162.12
RobotsD53118563.57
s272935.31
s298172132.46
s3868124
s4991121544.84
s510413.96
s713101363.1
s82081214.32
Sorting_networks3712615107745.17
Strategic_Companies63313273465105.91
SzymanskiP81219606.48
term138360433.63
tipdiam65302523.81
tipfixpoint20686821417.58
Toilet172111.79
ToiletA41124.22
ToiletC310.15
Tree710