sSolve results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10311606725.92
ASP_Program_Inclusion9140452.34
blackbox_design131786038.63
Blocks8826138267.22
C432411283767.75
C499301156605.4
C5315412138004.85
C628810134.8
C880182225.98
Chain39411.56
comp821201.8
Connect43813643.28
Counter21299556.7
CounterFactual920201154811920.8
evader-pursuer-4x4-logarithmic37479388.94
evader-pursuer-6x6-logarithmic16222269.29
evader-pursuer-8x8-logarithmic36373842.58
FPGA_PLB_FIT_FAST242183.28
FPGA_PLB_FIT_SLOW25124808.91
jmc_quant21267731.78
jmc_quant_squaring28167988.56
k_branch_n18154072.9
k_branch_p231116506.13
k_d4_n42628354.5
k_d4_p365418.7
k_dum_n32581.34
k_dum_p384222.33
k_grz_n361175609.71
k_grz_p372156767.35
k_lin_n2763881.28
k_lin_p28266014.13
k_path_n335222.53
k_path_p335253.34
k_ph_n20166008.81
k_ph_p411016.8
k_poly_n426140.02
k_poly_p11336.08
k_t4p_n3968339.2
k_t4p_p5164040.26
Logn192175.78
mA-t2-1qbf-5cnf-160var-2560cl201026.34
mA-t2-1qbf-5cnf-80var-2560cl2010800.72
mA-t2-2qbf-5cnf-160var-2560cl20104.2
mA-t2-2qbf-5cnf-160var-320cl20103.5
mA-t2-2qbf-5cnf-160var-5120cl20104.64
mA-t2-2qbf-5cnf-40var-160cl20644.1
mA-t2-2qbf-5cnf-40var-320cl20104.22
mA-t2-2qbf-5cnf-40var-640cl20103.24
mA-t2-2qbf-5cnf-80var-1280cl20103.78
mA-t2-2qbf-5cnf-80var-320cl204610423.4
mA-t2-2qbf-5cnf-80var-640cl20108.28
mA-t2-3qbf-5cnf-160var-2560cl201024
mA-t2-3qbf-5cnf-160var-640cl20103.82
mA-t2-3qbf-5cnf-20var-160cl20103.74
mA-t2-3qbf-5cnf-20var-320cl20105.9
mA-t2-3qbf-5cnf-40var-320cl20915.92
mA-t2-3qbf-5cnf-40var-640cl201023.7
mA-t2-3qbf-5cnf-80var-1280cl201023.52
mA-t2-3qbf-5cnf-80var-2560cl20104.98
mA-t2-3qbf-5cnf-80var-320cl20103.92
mA-t2-4qbf-5cnf-160var-2560cl20103.84
mA-t2-4qbf-5cnf-160var-5120cl20105.86
mA-t2-4qbf-5cnf-160var-640cl20103.8
mA-t2-4qbf-5cnf-20var-160cl20286.34
mA-t2-4qbf-5cnf-20var-320cl20103.28
mA-t2-4qbf-5cnf-20var-640cl20103.76
mA-t2-4qbf-5cnf-40var-1280cl20103.48
mA-t2-4qbf-5cnf-40var-320cl201032.84
mA-t2-4qbf-5cnf-40var-640cl20103.52
mA-t2-4qbf-5cnf-80var-1280cl20103.78
mA-t2-4qbf-5cnf-80var-2560cl20104.34
mA-t2-4qbf-5cnf-80var-320cl20103.34
mA-t2-5qbf-5cnf-160var-2560cl201025.48
mA-t2-5qbf-5cnf-160var-5120cl201024.68
mA-t2-5qbf-5cnf-160var-640cl20103.74
mA-t2-5qbf-5cnf-20var-320cl201010.42
mA-t2-5qbf-5cnf-20var-640cl20105.44
mA-t2-5qbf-5cnf-40var-1280cl201017.3
mA-t2-5qbf-5cnf-40var-320cl20103.3
mA-t2-5qbf-5cnf-40var-640cl201035.82
mA-t2-5qbf-5cnf-80var-1280cl201023.94
mA-t2-5qbf-5cnf-80var-2560cl201022.08
mA-t2-5qbf-5cnf-80var-640cl20108.04
mA-t2-6qbf-5cnf-160var-2560cl20104.08
mA-t2-6qbf-5cnf-160var-5120cl20106.6
mA-t2-6qbf-5cnf-160var-640cl20103.72
mA-t2-6qbf-5cnf-20var-160cl20913.66
mA-t2-6qbf-5cnf-20var-320cl20104.3
mA-t2-6qbf-5cnf-20var-640cl20104.26
mA-t2-6qbf-5cnf-40var-1280cl20103.88
mA-t2-6qbf-5cnf-40var-320cl20911338
mA-t2-6qbf-5cnf-40var-640cl20103.7
mA-t2-6qbf-5cnf-80var-1280cl20104.22
mA-t2-6qbf-5cnf-80var-2560cl20104.6
mA-t2-6qbf-5cnf-80var-640cl20823540.02
MutexP4849.77
Qq2k1k4v40v40m1610551.89
Qq2k1k4v40v40m210101.88
Qq2k1k4v40v40m3210101.61
Qq2k1k4v40v40m410911.93
Qq2k1k4v40v40m810821.74
Qq2k1k4v80v80m1610731.62
Qq2k1k4v80v80m210101.83
Qq2k1k4v80v80m3210281.7
Qq2k1k4v80v80m410101.79
Qq2k1k4v80v80m810101.79
Qq2k2k3v40v40m1610101.66
Qq2k2k3v40v40m210101.82
Qq2k2k3v40v40m3210101.82
Qq2k2k3v40v40m410101.7
Qq2k2k3v40v40m810101.66
Qq2k2k3v80v80m1610101.79
Qq2k2k3v80v80m210102
Qq2k2k3v80v80m3210101.69
Qq2k2k3v80v80m410101.76
Qq2k2k3v80v80m810101.56
Qq2k3k2v40v40m1610101.69
Qq2k3k2v40v40m210101.89
Qq2k3k2v40v40m3210101.91
Qq2k3k2v40v40m410101.62
Qq2k3k2v40v40m810101.8
Qq2k3k2v80v80m1610101.71
Qq2k3k2v80v80m210101.66
Qq2k3k2v80v80m3210101.68
Qq2k3k2v80v80m410101.79
Qq2k3k2v80v80m810101.95
Qq3k1k1k3v40v40v40m1610101.61
Qq3k1k1k3v40v40v40m210101.81
Qq3k1k1k3v40v40v40m3210101.8
Qq3k1k1k3v40v40v40m410101.7
Qq3k1k1k3v40v40v40m810101.65
Qq3k1k1k3v80v80v80m1610101.77
Qq3k1k1k3v80v80v80m210101.77
Qq3k1k1k3v80v80v80m3210101.95
Qq3k1k1k3v80v80v80m410101.72
Qq3k1k1k3v80v80v80m810101.49
Qq3k1k2k2v40v40v40m1610101.79
Qq3k1k2k2v40v40v40m210101.81
Qq3k1k2k2v40v40v40m3210101.65
Qq3k1k2k2v40v40v40m410101.63
Qq3k1k2k2v40v40v40m810101.74
Qq3k1k2k2v80v80v80m1610101.76
Qq3k1k2k2v80v80v80m210101.78
Qq3k1k2k2v80v80v80m3210101.97
Qq3k1k2k2v80v80v80m410101.81
Qq3k1k2k2v80v80v80m810101.97
Qq3k1k3k1v40v40v40m1610101.8
Qq3k1k3k1v40v40v40m210101.72
Qq3k1k3k1v40v40v40m3210101.78
Qq3k1k3k1v40v40v40m410101.87
Qq3k1k3k1v40v40v40m810101.76
Qq3k1k3k1v80v80v80m1610101.71
Qq3k1k3k1v80v80v80m210101.66
Qq3k1k3k1v80v80v80m3210101.71
Qq3k1k3k1v80v80v80m410101.65
Qq3k1k3k1v80v80v80m810101.77
Qq3k2k1k2v40v40v40m1610101.92
Qq3k2k1k2v40v40v40m210101.78
Qq3k2k1k2v40v40v40m3210101.69
Qq3k2k1k2v40v40v40m410101.73
Qq3k2k1k2v40v40v40m810102
Qq3k2k1k2v80v80v80m1610101.79
Qq3k2k1k2v80v80v80m210101.68
Qq3k2k1k2v80v80v80m3210101.94
Qq3k2k1k2v80v80v80m410101.85
Qq3k2k1k2v80v80v80m810101.84
Qq3k2k2k1v40v40v40m1610101.55
Qq3k2k2k1v40v40v40m210101.96
Qq3k2k2k1v40v40v40m3210101.66
Qq3k2k2k1v40v40v40m410101.81
Qq3k2k2k1v40v40v40m810101.78
Qq3k2k2k1v80v80v80m1610101.65
Qq3k2k2k1v80v80v80m210101.77
Qq3k2k2k1v80v80v80m3210101.62
Qq3k2k2k1v80v80v80m410101.95
Qq3k2k2k1v80v80v80m810101.8
Qq3k3k1k1v40v40v40m1610101.85
Qq3k3k1k1v40v40v40m210101.8
Qq3k3k1k1v40v40v40m3210101.85
Qq3k3k1k1v40v40v40m410101.82
Qq3k3k1k1v40v40v40m810101.66
Qq3k3k1k1v80v80v80m1610101.81
Qq3k3k1k1v80v80v80m210101.78
Qq3k3k1k1v80v80v80m3210101.95
Qq3k3k1k1v80v80v80m410101.87
Qq3k3k1k1v80v80v80m810101.61
Qshifter444145.86
RobotsD23010551.22
RobotsD33010955.77
RobotsD43210860.39
RobotsD53110908.96
s272931792.57
s2981753388.14
s38684799.76
s4991138986.69
s510423988.56
s713105998.8
s820847982.8
Sorting_networks371991964784.19
Strategic_Companies63326783070456.1
SzymanskiP8196340.59
term138368120.37
tipdiam653019.91
tipfixpoint206129823983.43
Toilet172157.31
ToiletA41194.42
ToiletC311.59
Tree711.05