QSAT results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135139.03
Blocks662636.9
C432732237697.85
C49976162172.78
C53158072080.8
C62887769377.46
C8807870278.1
Chain6282823.7
comp28336344.38
Connect2853177.99
Connect3831742.23
Connect4852.19
Connect585903.13
Connect6832705.08
Connect785904.64
Connect881906.09
Connect932.36
Counter1234540.69
DFlipFlop6082441.06
Impl61615901.86
jmc_quant3632436.15
jmc_quant_squaring7769377.38
k_branch_n34128832.25
k_branch_p458538.9
k_d4_n4641446.23
k_d4_p3980.41
k_dum_n42516010.07
k_dum_p43231472.65
k_grz_n32220958.62
k_grz_p4540545.26
k_lin_n39516923.02
k_lin_p3282.76
k_path_n42420207.5
k_path_p3882.22
k_ph_n50612997.53
k_ph_p42513057.22
k_poly_n32220690.62
k_poly_p4170.61
k_t4p_n42132461.61
k_t4p_p56148658.18
Logn2943.17
mA-t2-2qbf-5cnf-100var-1000cl21901.02
mA-t2-2qbf-5cnf-100var-1200cl220.12
mA-t2-2qbf-5cnf-100var-1400cl220.03
mA-t2-2qbf-5cnf-100var-1600cl220.03
mA-t2-2qbf-5cnf-100var-1800cl220.04
mA-t2-2qbf-5cnf-100var-200cl21802
mA-t2-2qbf-5cnf-100var-400cl21802
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802.01
mA-t2-2qbf-5cnf-150var-1200cl211109.12
mA-t2-2qbf-5cnf-150var-1500cl22102.8
mA-t2-2qbf-5cnf-150var-1800cl220.04
mA-t2-2qbf-5cnf-150var-2100cl220.05
mA-t2-2qbf-5cnf-150var-2400cl220.04
mA-t2-2qbf-5cnf-150var-2700cl220.06
mA-t2-2qbf-5cnf-150var-300cl21802.02
mA-t2-2qbf-5cnf-150var-600cl21802.01
mA-t2-2qbf-5cnf-150var-900cl21802.01
mA-t2-2qbf-5cnf-50var-100cl21802.01
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802.01
mA-t2-2qbf-5cnf-50var-400cl21963
mA-t2-2qbf-5cnf-50var-500cl2219.42
mA-t2-2qbf-5cnf-50var-600cl220.32
mA-t2-2qbf-5cnf-50var-700cl220.02
mA-t2-2qbf-5cnf-50var-800cl220.02
mA-t2-2qbf-5cnf-50var-900cl220.01
mA-t2-3qbf-5cnf-100var-1000cl21802.01
mA-t2-3qbf-5cnf-100var-1200cl22369.72
mA-t2-3qbf-5cnf-100var-1400cl227.75
mA-t2-3qbf-5cnf-100var-1600cl223.58
mA-t2-3qbf-5cnf-100var-1800cl221
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl220.04
mA-t2-3qbf-5cnf-100var-600cl21802.01
mA-t2-3qbf-5cnf-100var-800cl21802
mA-t2-3qbf-5cnf-150var-1200cl21802.01
mA-t2-3qbf-5cnf-150var-1500cl21802
mA-t2-3qbf-5cnf-150var-1800cl21802.02
mA-t2-3qbf-5cnf-150var-2100cl2255.53
mA-t2-3qbf-5cnf-150var-2400cl228.29
mA-t2-3qbf-5cnf-150var-2700cl2211.15
mA-t2-3qbf-5cnf-150var-300cl220.02
mA-t2-3qbf-5cnf-150var-600cl220.24
mA-t2-3qbf-5cnf-150var-900cl211149.87
mA-t2-3qbf-5cnf-50var-100cl220.02
mA-t2-3qbf-5cnf-50var-200cl220.02
mA-t2-3qbf-5cnf-50var-300cl220.09
mA-t2-3qbf-5cnf-50var-400cl211080.93
mA-t2-3qbf-5cnf-50var-500cl21802.01
mA-t2-3qbf-5cnf-50var-600cl226.83
mA-t2-3qbf-5cnf-50var-700cl222.54
mA-t2-3qbf-5cnf-50var-800cl220.45
mA-t2-3qbf-5cnf-50var-900cl220.44
mA-t2-4qbf-5cnf-100var-1000cl21802.02
mA-t2-4qbf-5cnf-100var-1200cl21802.01
mA-t2-4qbf-5cnf-100var-1400cl2211.78
mA-t2-4qbf-5cnf-100var-1600cl220.95
mA-t2-4qbf-5cnf-100var-1800cl221.73
mA-t2-4qbf-5cnf-100var-200cl220.02
mA-t2-4qbf-5cnf-100var-400cl21802.02
mA-t2-4qbf-5cnf-100var-600cl21802
mA-t2-4qbf-5cnf-100var-800cl21802.01
mA-t2-4qbf-5cnf-150var-1200cl21802.01
mA-t2-4qbf-5cnf-150var-1500cl21802.01
mA-t2-4qbf-5cnf-150var-1800cl2266.54
mA-t2-4qbf-5cnf-150var-2100cl2221.76
mA-t2-4qbf-5cnf-150var-2400cl224.45
mA-t2-4qbf-5cnf-150var-2700cl222.47
mA-t2-4qbf-5cnf-150var-300cl220.02
mA-t2-4qbf-5cnf-150var-600cl21802.01
mA-t2-4qbf-5cnf-150var-900cl21802.02
mA-t2-4qbf-5cnf-50var-100cl220.01
mA-t2-4qbf-5cnf-50var-200cl21802.01
mA-t2-4qbf-5cnf-50var-300cl21802.02
mA-t2-4qbf-5cnf-50var-400cl21802.01
mA-t2-4qbf-5cnf-50var-500cl21802.02
mA-t2-4qbf-5cnf-50var-600cl220.32
mA-t2-4qbf-5cnf-50var-700cl221.36
mA-t2-4qbf-5cnf-50var-800cl220.16
mA-t2-4qbf-5cnf-50var-900cl220.07
mA-t2-5qbf-5cnf-100var-1000cl21802.01
mA-t2-5qbf-5cnf-100var-1200cl21802.01
mA-t2-5qbf-5cnf-100var-1400cl21802.01
mA-t2-5qbf-5cnf-100var-1600cl21802.02
mA-t2-5qbf-5cnf-100var-1800cl21802.01
mA-t2-5qbf-5cnf-100var-200cl220
mA-t2-5qbf-5cnf-100var-400cl220.02
mA-t2-5qbf-5cnf-100var-600cl220.27
mA-t2-5qbf-5cnf-100var-800cl21802.01
mA-t2-5qbf-5cnf-150var-1200cl21802.01
mA-t2-5qbf-5cnf-150var-1500cl21802
mA-t2-5qbf-5cnf-150var-1800cl21802.01
mA-t2-5qbf-5cnf-150var-2100cl21802
mA-t2-5qbf-5cnf-150var-2400cl21802
mA-t2-5qbf-5cnf-150var-2700cl21802.01
mA-t2-5qbf-5cnf-150var-300cl220.01
mA-t2-5qbf-5cnf-150var-600cl220.02
mA-t2-5qbf-5cnf-150var-900cl2220.02
mA-t2-5qbf-5cnf-50var-100cl220.01
mA-t2-5qbf-5cnf-50var-200cl220.02
mA-t2-5qbf-5cnf-50var-300cl220.22
mA-t2-5qbf-5cnf-50var-400cl21802.01
mA-t2-5qbf-5cnf-50var-500cl21802.01
mA-t2-5qbf-5cnf-50var-600cl21802.01
mA-t2-5qbf-5cnf-50var-700cl21802.01
mA-t2-5qbf-5cnf-50var-800cl21802.02
mA-t2-5qbf-5cnf-50var-900cl21947.29
mB-t2-2qbf-5cnf-100var-1000cl220.01
mB-t2-2qbf-5cnf-100var-1200cl220.03
mB-t2-2qbf-5cnf-100var-1400cl220.07
mB-t2-2qbf-5cnf-100var-1600cl220.06
mB-t2-2qbf-5cnf-100var-1800cl220.05
mB-t2-2qbf-5cnf-100var-200cl21802
mB-t2-2qbf-5cnf-100var-400cl21802.01
mB-t2-2qbf-5cnf-100var-600cl22457.64
mB-t2-2qbf-5cnf-100var-800cl220.03
mB-t2-2qbf-5cnf-150var-1200cl221.85
mB-t2-2qbf-5cnf-150var-1500cl220.04
mB-t2-2qbf-5cnf-150var-1800cl220.06
mB-t2-2qbf-5cnf-150var-2100cl220.06
mB-t2-2qbf-5cnf-150var-2400cl220.05
mB-t2-2qbf-5cnf-150var-2700cl220.07
mB-t2-2qbf-5cnf-150var-300cl21901.05
mB-t2-2qbf-5cnf-150var-600cl211403.27
mB-t2-2qbf-5cnf-150var-900cl220.15
mB-t2-2qbf-5cnf-50var-100cl21901.01
mB-t2-2qbf-5cnf-50var-200cl2218.17
mB-t2-2qbf-5cnf-50var-300cl2212.75
mB-t2-2qbf-5cnf-50var-400cl220.01
mB-t2-2qbf-5cnf-50var-500cl220.02
mB-t2-2qbf-5cnf-50var-600cl220.01
mB-t2-2qbf-5cnf-50var-700cl220.02
mB-t2-2qbf-5cnf-50var-800cl220.01
mB-t2-2qbf-5cnf-50var-900cl220.02
mB-t2-3qbf-5cnf-100var-1000cl220.66
mB-t2-3qbf-5cnf-100var-1200cl220.75
mB-t2-3qbf-5cnf-100var-1400cl220.84
mB-t2-3qbf-5cnf-100var-1600cl220.91
mB-t2-3qbf-5cnf-100var-1800cl221.02
mB-t2-3qbf-5cnf-100var-200cl220.02
mB-t2-3qbf-5cnf-100var-400cl220.58
mB-t2-3qbf-5cnf-100var-600cl220.35
mB-t2-3qbf-5cnf-100var-800cl220.53
mB-t2-3qbf-5cnf-150var-1200cl221.74
mB-t2-3qbf-5cnf-150var-1500cl222.21
mB-t2-3qbf-5cnf-150var-1800cl222.56
mB-t2-3qbf-5cnf-150var-2100cl222.79
mB-t2-3qbf-5cnf-150var-2400cl223
mB-t2-3qbf-5cnf-150var-2700cl223.34
mB-t2-3qbf-5cnf-150var-300cl220.01
mB-t2-3qbf-5cnf-150var-600cl220.84
mB-t2-3qbf-5cnf-150var-900cl221.36
mB-t2-3qbf-5cnf-50var-100cl220.01
mB-t2-3qbf-5cnf-50var-200cl220.08
mB-t2-3qbf-5cnf-50var-300cl220.07
mB-t2-3qbf-5cnf-50var-400cl220.12
mB-t2-3qbf-5cnf-50var-500cl220.1
mB-t2-3qbf-5cnf-50var-600cl220.12
mB-t2-3qbf-5cnf-50var-700cl220.14
mB-t2-3qbf-5cnf-50var-800cl220.13
mB-t2-3qbf-5cnf-50var-900cl220.14
mB-t2-4qbf-5cnf-100var-1000cl220.24
mB-t2-4qbf-5cnf-100var-1200cl220.4
mB-t2-4qbf-5cnf-100var-1400cl220.54
mB-t2-4qbf-5cnf-100var-1600cl220.42
mB-t2-4qbf-5cnf-100var-1800cl220.33
mB-t2-4qbf-5cnf-100var-200cl220.02
mB-t2-4qbf-5cnf-100var-400cl220.28
mB-t2-4qbf-5cnf-100var-600cl220.04
mB-t2-4qbf-5cnf-100var-800cl220.15
mB-t2-4qbf-5cnf-150var-1200cl220.33
mB-t2-4qbf-5cnf-150var-1500cl220.86
mB-t2-4qbf-5cnf-150var-1800cl221.38
mB-t2-4qbf-5cnf-150var-2100cl220.54
mB-t2-4qbf-5cnf-150var-2400cl221.42
mB-t2-4qbf-5cnf-150var-2700cl221.96
mB-t2-4qbf-5cnf-150var-300cl220
mB-t2-4qbf-5cnf-150var-600cl21802.01
mB-t2-4qbf-5cnf-150var-900cl220.09
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.06
mB-t2-4qbf-5cnf-50var-300cl220.03
mB-t2-4qbf-5cnf-50var-400cl220.02
mB-t2-4qbf-5cnf-50var-500cl220.05
mB-t2-4qbf-5cnf-50var-600cl220.06
mB-t2-4qbf-5cnf-50var-700cl220.04
mB-t2-4qbf-5cnf-50var-800cl220.05
mB-t2-4qbf-5cnf-50var-900cl220.09
mB-t2-5qbf-5cnf-100var-1000cl226.88
mB-t2-5qbf-5cnf-100var-1200cl2234.05
mB-t2-5qbf-5cnf-100var-1400cl2295.8
mB-t2-5qbf-5cnf-100var-1600cl22225.73
mB-t2-5qbf-5cnf-100var-1800cl220.62
mB-t2-5qbf-5cnf-100var-200cl220
mB-t2-5qbf-5cnf-100var-400cl220.04
mB-t2-5qbf-5cnf-100var-600cl221.41
mB-t2-5qbf-5cnf-100var-800cl221.82
mB-t2-5qbf-5cnf-150var-1200cl227.1
mB-t2-5qbf-5cnf-150var-1500cl223.5
mB-t2-5qbf-5cnf-150var-1800cl22476.94
mB-t2-5qbf-5cnf-150var-2100cl2211.99
mB-t2-5qbf-5cnf-150var-2400cl21906.12
mB-t2-5qbf-5cnf-150var-2700cl21903.38
mB-t2-5qbf-5cnf-150var-300cl220.02
mB-t2-5qbf-5cnf-150var-600cl220.66
mB-t2-5qbf-5cnf-150var-900cl2268.52
mB-t2-5qbf-5cnf-50var-100cl220.01
mB-t2-5qbf-5cnf-50var-200cl220.02
mB-t2-5qbf-5cnf-50var-300cl2236.07
mB-t2-5qbf-5cnf-50var-400cl229.28
mB-t2-5qbf-5cnf-50var-500cl221.68
mB-t2-5qbf-5cnf-50var-600cl220.56
mB-t2-5qbf-5cnf-50var-700cl221.04
mB-t2-5qbf-5cnf-50var-800cl220.86
mB-t2-5qbf-5cnf-50var-900cl223.63
MutexP78251383.82
RobotsD2934507.49
RobotsD3816335.93
RobotsD41337250.72
RobotsD5834687.33
s11964439644.16
s12694944149.33
s27361119842.92
s2983935139.19
s3271822461.35
s33305341555.26
s3865347753.21
s4993733337.11
s5102419853.21
s6414944149.22
s7136154961.4
s8204742347.33
SzymanskiP6558565.19
term169435717.58
Toilet335395.79
ToiletA15146356.42
ToiletC10251850.29
ToiletG4370.44
Tree531520163.46
uclid3027030.19
VonNeumann56432837.34
z4ml61440.45