ssolve-ut results solving families - 2006

Family# Total# Sat# UnsatTime
Adder10311606805.02
ASP_Program_Inclusion9140405.17
blackbox_design131786040.45
Blocks8821366242.67
C432411283795.27
C499301156739.02
C5315412138013.75
C628810123.1
C880182224.92
Chain3949.86
comp821202.16
Connect43813567.19
Counter21299566.01
CounterFactual920194135679629.53
evader-pursuer-4x4-logarithmic37480142.52
evader-pursuer-6x6-logarithmic16222517.27
evader-pursuer-8x8-logarithmic36374757.9
FPGA_PLB_FIT_FAST242134.88
FPGA_PLB_FIT_SLOW25124810.66
jmc_quant21246046.67
jmc_quant_squaring28168008.88
k_branch_n18154072.36
k_branch_p231116493.71
k_d4_n42628542.05
k_d4_p365414.3
k_dum_n32581.3
k_dum_p384226.62
k_grz_n361175608.11
k_grz_p372156769.15
k_lin_n2763871
k_lin_p28266014.4
k_path_n335223.15
k_path_p335257.15
k_ph_n20166010
k_ph_p411051.84
k_poly_n426139.38
k_poly_p11335.7
k_t4p_n3968270.36
k_t4p_p5164009.73
Logn192176.18
mA-t2-1qbf-5cnf-160var-2560cl201027.68
mA-t2-1qbf-5cnf-80var-2560cl2010797.28
mA-t2-2qbf-5cnf-160var-2560cl20104.06
mA-t2-2qbf-5cnf-160var-320cl20103.6
mA-t2-2qbf-5cnf-160var-5120cl20104.64
mA-t2-2qbf-5cnf-40var-160cl20644.08
mA-t2-2qbf-5cnf-40var-320cl20104.48
mA-t2-2qbf-5cnf-40var-640cl20103.66
mA-t2-2qbf-5cnf-80var-1280cl20103.62
mA-t2-2qbf-5cnf-80var-320cl204610291.84
mA-t2-2qbf-5cnf-80var-640cl20108.02
mA-t2-3qbf-5cnf-160var-2560cl20103.72
mA-t2-3qbf-5cnf-160var-640cl20103.82
mA-t2-3qbf-5cnf-20var-160cl20103.2
mA-t2-3qbf-5cnf-20var-320cl20103.74
mA-t2-3qbf-5cnf-40var-320cl20916.08
mA-t2-3qbf-5cnf-40var-640cl20103.72
mA-t2-3qbf-5cnf-80var-1280cl20104.14
mA-t2-3qbf-5cnf-80var-2560cl20103.58
mA-t2-3qbf-5cnf-80var-320cl20103.3
mA-t2-4qbf-5cnf-160var-2560cl20104.54
mA-t2-4qbf-5cnf-160var-5120cl20106.28
mA-t2-4qbf-5cnf-160var-640cl20103.94
mA-t2-4qbf-5cnf-20var-160cl20283.1
mA-t2-4qbf-5cnf-20var-320cl20103.46
mA-t2-4qbf-5cnf-20var-640cl20103.34
mA-t2-4qbf-5cnf-40var-1280cl20104.06
mA-t2-4qbf-5cnf-40var-320cl201012.98
mA-t2-4qbf-5cnf-40var-640cl20103.58
mA-t2-4qbf-5cnf-80var-1280cl20103.74
mA-t2-4qbf-5cnf-80var-2560cl20104.04
mA-t2-4qbf-5cnf-80var-320cl20103.42
mA-t2-5qbf-5cnf-160var-2560cl20104.52
mA-t2-5qbf-5cnf-160var-5120cl20104.1
mA-t2-5qbf-5cnf-160var-640cl20103.56
mA-t2-5qbf-5cnf-20var-320cl20103.78
mA-t2-5qbf-5cnf-20var-640cl20103.64
mA-t2-5qbf-5cnf-40var-1280cl20103.86
mA-t2-5qbf-5cnf-40var-320cl20104.08
mA-t2-5qbf-5cnf-40var-640cl20103.68
mA-t2-5qbf-5cnf-80var-1280cl20103.68
mA-t2-5qbf-5cnf-80var-2560cl20103.9
mA-t2-5qbf-5cnf-80var-640cl20108.72
mA-t2-6qbf-5cnf-160var-2560cl20104.52
mA-t2-6qbf-5cnf-160var-5120cl20106.06
mA-t2-6qbf-5cnf-160var-640cl20103.64
mA-t2-6qbf-5cnf-20var-160cl20913.88
mA-t2-6qbf-5cnf-20var-320cl20104.06
mA-t2-6qbf-5cnf-20var-640cl20103.7
mA-t2-6qbf-5cnf-40var-1280cl20103.14
mA-t2-6qbf-5cnf-40var-320cl20911341.36
mA-t2-6qbf-5cnf-40var-640cl20103.92
mA-t2-6qbf-5cnf-80var-1280cl20103.34
mA-t2-6qbf-5cnf-80var-2560cl20104.02
mA-t2-6qbf-5cnf-80var-640cl20721205.72
MutexP4849.76
Qq2k1k4v40v40m1610551.74
Qq2k1k4v40v40m210101.8
Qq2k1k4v40v40m3210101.85
Qq2k1k4v40v40m410911.65
Qq2k1k4v40v40m810821.83
Qq2k1k4v80v80m1610731.93
Qq2k1k4v80v80m210101.65
Qq2k1k4v80v80m3210281.8
Qq2k1k4v80v80m410101.79
Qq2k1k4v80v80m810101.75
Qq2k2k3v40v40m1610101.93
Qq2k2k3v40v40m210101.77
Qq2k2k3v40v40m3210102.04
Qq2k2k3v40v40m410101.74
Qq2k2k3v40v40m810101.74
Qq2k2k3v80v80m1610101.9
Qq2k2k3v80v80m210101.63
Qq2k2k3v80v80m3210101.43
Qq2k2k3v80v80m410101.79
Qq2k2k3v80v80m810101.92
Qq2k3k2v40v40m1610101.95
Qq2k3k2v40v40m210101.79
Qq2k3k2v40v40m3210101.74
Qq2k3k2v40v40m410101.82
Qq2k3k2v40v40m810101.82
Qq2k3k2v80v80m1610101.8
Qq2k3k2v80v80m210101.9
Qq2k3k2v80v80m3210101.65
Qq2k3k2v80v80m410101.71
Qq2k3k2v80v80m810101.66
Qq3k1k1k3v40v40v40m1610101.96
Qq3k1k1k3v40v40v40m210101.65
Qq3k1k1k3v40v40v40m3210101.54
Qq3k1k1k3v40v40v40m410101.61
Qq3k1k1k3v40v40v40m810101.65
Qq3k1k1k3v80v80v80m1610101.91
Qq3k1k1k3v80v80v80m210101.89
Qq3k1k1k3v80v80v80m3210101.77
Qq3k1k1k3v80v80v80m410101.61
Qq3k1k1k3v80v80v80m810101.82
Qq3k1k2k2v40v40v40m1610101.85
Qq3k1k2k2v40v40v40m210101.77
Qq3k1k2k2v40v40v40m3210101.94
Qq3k1k2k2v40v40v40m410101.78
Qq3k1k2k2v40v40v40m810101.6
Qq3k1k2k2v80v80v80m1610101.69
Qq3k1k2k2v80v80v80m210101.54
Qq3k1k2k2v80v80v80m3210101.83
Qq3k1k2k2v80v80v80m410101.69
Qq3k1k2k2v80v80v80m810101.89
Qq3k1k3k1v40v40v40m1610101.69
Qq3k1k3k1v40v40v40m210101.89
Qq3k1k3k1v40v40v40m3210101.87
Qq3k1k3k1v40v40v40m410101.71
Qq3k1k3k1v40v40v40m810101.74
Qq3k1k3k1v80v80v80m1610101.82
Qq3k1k3k1v80v80v80m210101.62
Qq3k1k3k1v80v80v80m3210101.77
Qq3k1k3k1v80v80v80m410101.83
Qq3k1k3k1v80v80v80m810101.88
Qq3k2k1k2v40v40v40m1610101.79
Qq3k2k1k2v40v40v40m210102.01
Qq3k2k1k2v40v40v40m3210101.72
Qq3k2k1k2v40v40v40m410101.73
Qq3k2k1k2v40v40v40m810101.98
Qq3k2k1k2v80v80v80m1610101.95
Qq3k2k1k2v80v80v80m210101.78
Qq3k2k1k2v80v80v80m3210101.81
Qq3k2k1k2v80v80v80m410101.85
Qq3k2k1k2v80v80v80m810101.57
Qq3k2k2k1v40v40v40m1610101.81
Qq3k2k2k1v40v40v40m210101.63
Qq3k2k2k1v40v40v40m3210101.61
Qq3k2k2k1v40v40v40m410101.49
Qq3k2k2k1v40v40v40m810101.65
Qq3k2k2k1v80v80v80m1610101.82
Qq3k2k2k1v80v80v80m210101.64
Qq3k2k2k1v80v80v80m3210101.94
Qq3k2k2k1v80v80v80m410101.92
Qq3k2k2k1v80v80v80m810101.72
Qq3k3k1k1v40v40v40m1610101.76
Qq3k3k1k1v40v40v40m210101.91
Qq3k3k1k1v40v40v40m3210101.8
Qq3k3k1k1v40v40v40m410101.82
Qq3k3k1k1v40v40v40m810101.63
Qq3k3k1k1v80v80v80m1610101.8
Qq3k3k1k1v80v80v80m210101.81
Qq3k3k1k1v80v80v80m3210101.87
Qq3k3k1k1v80v80v80m410101.71
Qq3k3k1k1v80v80v80m810101.89
Qshifter444146.64
RobotsD23010551.07
RobotsD33010955.8
RobotsD43210859.01
RobotsD53110905.28
s272931619.82
s29817102006.07
s386848002.32
s4991166003.95
s510424001.28
s7131060003.1
s820848002.64
Sorting_networks371991964563.05
Strategic_Companies63324712292176.56
SzymanskiP8195868.64
term138367962.51
tipdiam653017.36
tipfixpoint206123978082.48
Toilet172156.53
ToiletA4112015.5
ToiletC311.77
Tree711.33