ssolve+ut results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10311586644.51
ASP_Program_Inclusion9140854.85
blackbox_design131786034.38
Blocks8826138070.12
C432411286683.33
C499301157759.89
C5315412138007.4
C628810162.3
C880182227.24
Chain39410.98
comp821207.44
Connect43813700.42
Counter21299556.51
CounterFactual920198153738309.33
evader-pursuer-4x4-logarithmic37479320.59
evader-pursuer-6x6-logarithmic16222545.48
evader-pursuer-8x8-logarithmic36374179.68
FPGA_PLB_FIT_FAST242183.52
FPGA_PLB_FIT_SLOW25124809
jmc_quant21267743.43
jmc_quant_squaring28167961.5
k_branch_n18154077.67
k_branch_p231116465.15
k_d4_n42629000.7
k_d4_p365448.98
k_dum_n325104.25
k_dum_p384249.01
k_grz_n361175568.17
k_grz_p372156781.49
k_lin_n2763915.13
k_lin_p28424033.62
k_path_n335240.71
k_path_p335272.36
k_ph_n20122807.97
k_ph_p411039.32
k_poly_n426172.42
k_poly_p11335.54
k_t4p_n3968164.78
k_t4p_p5162993.13
Logn192179.29
mA-t2-1qbf-5cnf-160var-2560cl201077.18
mA-t2-1qbf-5cnf-80var-2560cl20101191.34
mA-t2-2qbf-5cnf-160var-2560cl20104.32
mA-t2-2qbf-5cnf-160var-320cl20103.56
mA-t2-2qbf-5cnf-160var-5120cl20105.06
mA-t2-2qbf-5cnf-40var-160cl20644.94
mA-t2-2qbf-5cnf-40var-320cl20103.76
mA-t2-2qbf-5cnf-40var-640cl20103.5
mA-t2-2qbf-5cnf-80var-1280cl20103.72
mA-t2-2qbf-5cnf-80var-320cl204610540.46
mA-t2-2qbf-5cnf-80var-640cl20107.68
mA-t2-3qbf-5cnf-160var-2560cl201084.1
mA-t2-3qbf-5cnf-160var-640cl20103.84
mA-t2-3qbf-5cnf-20var-160cl20103.94
mA-t2-3qbf-5cnf-20var-320cl20105.94
mA-t2-3qbf-5cnf-40var-320cl20915.74
mA-t2-3qbf-5cnf-40var-640cl201087.76
mA-t2-3qbf-5cnf-80var-1280cl201088.02
mA-t2-3qbf-5cnf-80var-2560cl20104.02
mA-t2-3qbf-5cnf-80var-320cl20103.72
mA-t2-4qbf-5cnf-160var-2560cl201032.52
mA-t2-4qbf-5cnf-160var-5120cl20107.06
mA-t2-4qbf-5cnf-160var-640cl20103.68
mA-t2-4qbf-5cnf-20var-160cl20286.94
mA-t2-4qbf-5cnf-20var-320cl20103.8
mA-t2-4qbf-5cnf-20var-640cl20103.62
mA-t2-4qbf-5cnf-40var-1280cl20103.58
mA-t2-4qbf-5cnf-40var-320cl2010142.56
mA-t2-4qbf-5cnf-40var-640cl20106.14
mA-t2-4qbf-5cnf-80var-1280cl201020.52
mA-t2-4qbf-5cnf-80var-2560cl20103.98
mA-t2-4qbf-5cnf-80var-320cl20103.66
mA-t2-5qbf-5cnf-160var-2560cl2010109.38
mA-t2-5qbf-5cnf-160var-5120cl201084.84
mA-t2-5qbf-5cnf-160var-640cl20103.58
mA-t2-5qbf-5cnf-20var-320cl201010.84
mA-t2-5qbf-5cnf-20var-640cl20105.32
mA-t2-5qbf-5cnf-40var-1280cl201047.22
mA-t2-5qbf-5cnf-40var-320cl20103.72
mA-t2-5qbf-5cnf-40var-640cl201099.44
mA-t2-5qbf-5cnf-80var-1280cl2010100.14
mA-t2-5qbf-5cnf-80var-2560cl201071.52
mA-t2-5qbf-5cnf-80var-640cl20108.88
mA-t2-6qbf-5cnf-160var-2560cl201040.84
mA-t2-6qbf-5cnf-160var-5120cl20107.68
mA-t2-6qbf-5cnf-160var-640cl20103.34
mA-t2-6qbf-5cnf-20var-160cl20913.96
mA-t2-6qbf-5cnf-20var-320cl201017.92
mA-t2-6qbf-5cnf-20var-640cl20103.9
mA-t2-6qbf-5cnf-40var-1280cl20103.76
mA-t2-6qbf-5cnf-40var-320cl20811226.24
mA-t2-6qbf-5cnf-40var-640cl201040.44
mA-t2-6qbf-5cnf-80var-1280cl201043.9
mA-t2-6qbf-5cnf-80var-2560cl20104.52
mA-t2-6qbf-5cnf-80var-640cl20823541.42
MutexP4849.16
Qq2k1k4v40v40m1610551.81
Qq2k1k4v40v40m210101.93
Qq2k1k4v40v40m3210101.77
Qq2k1k4v40v40m410911.73
Qq2k1k4v40v40m810821.8
Qq2k1k4v80v80m1610731.99
Qq2k1k4v80v80m210101.66
Qq2k1k4v80v80m3210281.59
Qq2k1k4v80v80m410101.97
Qq2k1k4v80v80m810101.86
Qq2k2k3v40v40m1610101.6
Qq2k2k3v40v40m210101.77
Qq2k2k3v40v40m3210101.78
Qq2k2k3v40v40m410101.76
Qq2k2k3v40v40m810101.92
Qq2k2k3v80v80m1610101.73
Qq2k2k3v80v80m210101.6
Qq2k2k3v80v80m3210101.86
Qq2k2k3v80v80m410101.58
Qq2k2k3v80v80m810101.72
Qq2k3k2v40v40m1610101.52
Qq2k3k2v40v40m210101.67
Qq2k3k2v40v40m3210101.91
Qq2k3k2v40v40m410101.8
Qq2k3k2v40v40m810102.01
Qq2k3k2v80v80m1610101.85
Qq2k3k2v80v80m210101.92
Qq2k3k2v80v80m3210101.69
Qq2k3k2v80v80m410101.67
Qq2k3k2v80v80m810101.56
Qq3k1k1k3v40v40v40m1610101.88
Qq3k1k1k3v40v40v40m210101.64
Qq3k1k1k3v40v40v40m3210101.99
Qq3k1k1k3v40v40v40m410101.9
Qq3k1k1k3v40v40v40m810101.87
Qq3k1k1k3v80v80v80m1610101.69
Qq3k1k1k3v80v80v80m210101.77
Qq3k1k1k3v80v80v80m3210101.8
Qq3k1k1k3v80v80v80m410101.95
Qq3k1k1k3v80v80v80m810101.82
Qq3k1k2k2v40v40v40m1610101.88
Qq3k1k2k2v40v40v40m210101.64
Qq3k1k2k2v40v40v40m3210101.76
Qq3k1k2k2v40v40v40m410101.62
Qq3k1k2k2v40v40v40m810101.8
Qq3k1k2k2v80v80v80m1610101.94
Qq3k1k2k2v80v80v80m210101.84
Qq3k1k2k2v80v80v80m3210101.81
Qq3k1k2k2v80v80v80m410101.73
Qq3k1k2k2v80v80v80m810102
Qq3k1k3k1v40v40v40m1610101.77
Qq3k1k3k1v40v40v40m210102.07
Qq3k1k3k1v40v40v40m3210101.95
Qq3k1k3k1v40v40v40m410101.8
Qq3k1k3k1v40v40v40m810101.78
Qq3k1k3k1v80v80v80m1610101.94
Qq3k1k3k1v80v80v80m210101.71
Qq3k1k3k1v80v80v80m3210101.54
Qq3k1k3k1v80v80v80m410101.76
Qq3k1k3k1v80v80v80m810101.79
Qq3k2k1k2v40v40v40m1610101.73
Qq3k2k1k2v40v40v40m210101.59
Qq3k2k1k2v40v40v40m3210101.72
Qq3k2k1k2v40v40v40m410101.86
Qq3k2k1k2v40v40v40m810101.78
Qq3k2k1k2v80v80v80m1610101.93
Qq3k2k1k2v80v80v80m210101.88
Qq3k2k1k2v80v80v80m3210101.73
Qq3k2k1k2v80v80v80m410101.82
Qq3k2k1k2v80v80v80m810101.66
Qq3k2k2k1v40v40v40m1610101.87
Qq3k2k2k1v40v40v40m210101.65
Qq3k2k2k1v40v40v40m3210101.65
Qq3k2k2k1v40v40v40m410101.93
Qq3k2k2k1v40v40v40m810101.83
Qq3k2k2k1v80v80v80m1610101.86
Qq3k2k2k1v80v80v80m210101.75
Qq3k2k2k1v80v80v80m3210101.83
Qq3k2k2k1v80v80v80m410101.73
Qq3k2k2k1v80v80v80m810101.85
Qq3k3k1k1v40v40v40m1610101.94
Qq3k3k1k1v40v40v40m210101.59
Qq3k3k1k1v40v40v40m3210101.53
Qq3k3k1k1v40v40v40m410101.82
Qq3k3k1k1v40v40v40m810101.78
Qq3k3k1k1v80v80v80m1610101.91
Qq3k3k1k1v80v80v80m210101.83
Qq3k3k1k1v80v80v80m3210101.81
Qq3k3k1k1v80v80v80m410101.69
Qq3k3k1k1v80v80v80m810101.83
Qshifter444334
RobotsD23010927.36
RobotsD330101482.27
RobotsD432101406.64
RobotsD531101368.24
s272931792.35
s2981753387
s38684799.2
s4991138986.63
s510423989.4
s713105999.7
s820847982.56
Sorting_networks371991943289.02
Strategic_Companies63326772819537.14
SzymanskiP8196791.8
term138368678.92
tipdiam653022.01
tipfixpoint206129797378.12
Toilet172157.22
ToiletA41120.38
ToiletC311.74
Tree711.68