GRL results solving families - 2004

Family# Total# Sat# UnsatTime
Adder53140545.27
Blocks66152296.19
C43273345579.87
C49976254962.79
C531586261270.38
C62888677486.42
C88078254484.5
Chain62438394.77
comp28429773.54
Connect28537.44
Connect387924.34
Connect487904.27
Connect587907.53
Connect6852929.95
Connect787907.26
Connect8852709.36
Connect932903.8
Counter1243609.62
DFlipFlop60826.71
Impl6180.61
jmc_quant4237842.36
jmc_quant_squaring9484694.78
k_branch_n37131535.45
k_branch_p55147761.92
k_d4_n4641446.53
k_d4_p39133338.51
k_dum_n42516412.21
k_dum_p43328117.87
k_grz_n32319565.93
k_grz_p45330266.11
k_lin_n39515782.65
k_lin_p328457.26
k_path_n42420830.87
k_path_p38325131.01
k_ph_n52612650
k_ph_p53337009
k_poly_n32226080.87
k_poly_p41131544.1
k_t4p_n42133683.82
k_t4p_p56148655.99
Logn292679.09
mA-t2-2qbf-5cnf-100var-1000cl21802.03
mA-t2-2qbf-5cnf-100var-1200cl21802.03
mA-t2-2qbf-5cnf-100var-1400cl2241.32
mA-t2-2qbf-5cnf-100var-1600cl220.39
mA-t2-2qbf-5cnf-100var-1800cl220.28
mA-t2-2qbf-5cnf-100var-200cl211432.27
mA-t2-2qbf-5cnf-100var-400cl21802.02
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802
mA-t2-2qbf-5cnf-150var-1200cl21802.01
mA-t2-2qbf-5cnf-150var-1500cl21802.03
mA-t2-2qbf-5cnf-150var-1800cl21802.02
mA-t2-2qbf-5cnf-150var-2100cl211103.62
mA-t2-2qbf-5cnf-150var-2400cl21911.12
mA-t2-2qbf-5cnf-150var-2700cl220.16
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-100cl220.04
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802.02
mA-t2-2qbf-5cnf-50var-400cl21802.01
mA-t2-2qbf-5cnf-50var-500cl21901.66
mA-t2-2qbf-5cnf-50var-600cl2224.24
mA-t2-2qbf-5cnf-50var-700cl221.11
mA-t2-2qbf-5cnf-50var-800cl220.05
mA-t2-2qbf-5cnf-50var-900cl220.07
mA-t2-3qbf-5cnf-100var-1000cl21802.01
mA-t2-3qbf-5cnf-100var-1200cl21802.01
mA-t2-3qbf-5cnf-100var-1400cl21802.01
mA-t2-3qbf-5cnf-100var-1600cl22733.32
mA-t2-3qbf-5cnf-100var-1800cl22105.89
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl220.02
mA-t2-3qbf-5cnf-100var-600cl220.09
mA-t2-3qbf-5cnf-100var-800cl21802
mA-t2-3qbf-5cnf-150var-1200cl21802.01
mA-t2-3qbf-5cnf-150var-1500cl21802.01
mA-t2-3qbf-5cnf-150var-1800cl21802.02
mA-t2-3qbf-5cnf-150var-2100cl21802
mA-t2-3qbf-5cnf-150var-2400cl21802
mA-t2-3qbf-5cnf-150var-2700cl22542.34
mA-t2-3qbf-5cnf-150var-300cl220.02
mA-t2-3qbf-5cnf-150var-600cl220.03
mA-t2-3qbf-5cnf-150var-900cl228.64
mA-t2-3qbf-5cnf-50var-100cl220.02
mA-t2-3qbf-5cnf-50var-200cl220.02
mA-t2-3qbf-5cnf-50var-300cl220.05
mA-t2-3qbf-5cnf-50var-400cl2217.58
mA-t2-3qbf-5cnf-50var-500cl21802.02
mA-t2-3qbf-5cnf-50var-600cl21987.62
mA-t2-3qbf-5cnf-50var-700cl22832.35
mA-t2-3qbf-5cnf-50var-800cl220.62
mA-t2-3qbf-5cnf-50var-900cl220.13
mA-t2-4qbf-5cnf-100var-1000cl21966.24
mA-t2-4qbf-5cnf-100var-1200cl22159.62
mA-t2-4qbf-5cnf-100var-1400cl222.45
mA-t2-4qbf-5cnf-100var-1600cl220.17
mA-t2-4qbf-5cnf-100var-1800cl220.42
mA-t2-4qbf-5cnf-100var-200cl220
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802.02
mA-t2-4qbf-5cnf-100var-800cl21802
mA-t2-4qbf-5cnf-150var-1200cl21802.01
mA-t2-4qbf-5cnf-150var-1500cl211010.52
mA-t2-4qbf-5cnf-150var-1800cl22790.8
mA-t2-4qbf-5cnf-150var-2100cl2221.67
mA-t2-4qbf-5cnf-150var-2400cl222.92
mA-t2-4qbf-5cnf-150var-2700cl227.42
mA-t2-4qbf-5cnf-150var-300cl220.02
mA-t2-4qbf-5cnf-150var-600cl21802.01
mA-t2-4qbf-5cnf-150var-900cl21802
mA-t2-4qbf-5cnf-50var-100cl220.02
mA-t2-4qbf-5cnf-50var-200cl2254.68
mA-t2-4qbf-5cnf-50var-300cl21802.01
mA-t2-4qbf-5cnf-50var-400cl21907
mA-t2-4qbf-5cnf-50var-500cl21901.79
mA-t2-4qbf-5cnf-50var-600cl220.22
mA-t2-4qbf-5cnf-50var-700cl220.23
mA-t2-4qbf-5cnf-50var-800cl220.09
mA-t2-4qbf-5cnf-50var-900cl220.16
mA-t2-5qbf-5cnf-100var-1000cl21802
mA-t2-5qbf-5cnf-100var-1200cl21802.02
mA-t2-5qbf-5cnf-100var-1400cl21802
mA-t2-5qbf-5cnf-100var-1600cl21802.02
mA-t2-5qbf-5cnf-100var-1800cl211000.42
mA-t2-5qbf-5cnf-100var-200cl220
mA-t2-5qbf-5cnf-100var-400cl220.03
mA-t2-5qbf-5cnf-100var-600cl220.03
mA-t2-5qbf-5cnf-100var-800cl21802.01
mA-t2-5qbf-5cnf-150var-1200cl21802.02
mA-t2-5qbf-5cnf-150var-1500cl21802.01
mA-t2-5qbf-5cnf-150var-1800cl21802.01
mA-t2-5qbf-5cnf-150var-2100cl21802
mA-t2-5qbf-5cnf-150var-2400cl21802.01
mA-t2-5qbf-5cnf-150var-2700cl211296.87
mA-t2-5qbf-5cnf-150var-300cl220.03
mA-t2-5qbf-5cnf-150var-600cl220.04
mA-t2-5qbf-5cnf-150var-900cl220.05
mA-t2-5qbf-5cnf-50var-100cl220.01
mA-t2-5qbf-5cnf-50var-200cl220.03
mA-t2-5qbf-5cnf-50var-300cl220.01
mA-t2-5qbf-5cnf-50var-400cl2213.31
mA-t2-5qbf-5cnf-50var-500cl211487.97
mA-t2-5qbf-5cnf-50var-600cl211154.67
mA-t2-5qbf-5cnf-50var-700cl22144.12
mA-t2-5qbf-5cnf-50var-800cl21903.29
mA-t2-5qbf-5cnf-50var-900cl2291.87
mB-t2-2qbf-5cnf-100var-1000cl220.06
mB-t2-2qbf-5cnf-100var-1200cl220.06
mB-t2-2qbf-5cnf-100var-1400cl220.06
mB-t2-2qbf-5cnf-100var-1600cl220.07
mB-t2-2qbf-5cnf-100var-1800cl220.07
mB-t2-2qbf-5cnf-100var-200cl21911.6
mB-t2-2qbf-5cnf-100var-400cl227.22
mB-t2-2qbf-5cnf-100var-600cl220.06
mB-t2-2qbf-5cnf-100var-800cl220.07
mB-t2-2qbf-5cnf-150var-1200cl220.29
mB-t2-2qbf-5cnf-150var-1500cl220.09
mB-t2-2qbf-5cnf-150var-1800cl220.08
mB-t2-2qbf-5cnf-150var-2100cl220.08
mB-t2-2qbf-5cnf-150var-2400cl220.09
mB-t2-2qbf-5cnf-150var-2700cl220.1
mB-t2-2qbf-5cnf-150var-300cl220.23
mB-t2-2qbf-5cnf-150var-600cl220.22
mB-t2-2qbf-5cnf-150var-900cl220.28
mB-t2-2qbf-5cnf-50var-100cl2110.05
mB-t2-2qbf-5cnf-50var-200cl220.5
mB-t2-2qbf-5cnf-50var-300cl220.04
mB-t2-2qbf-5cnf-50var-400cl220.02
mB-t2-2qbf-5cnf-50var-500cl220.04
mB-t2-2qbf-5cnf-50var-600cl220.04
mB-t2-2qbf-5cnf-50var-700cl220.05
mB-t2-2qbf-5cnf-50var-800cl220.06
mB-t2-2qbf-5cnf-50var-900cl220.06
mB-t2-3qbf-5cnf-100var-1000cl220.04
mB-t2-3qbf-5cnf-100var-1200cl220.06
mB-t2-3qbf-5cnf-100var-1400cl220.06
mB-t2-3qbf-5cnf-100var-1600cl220.06
mB-t2-3qbf-5cnf-100var-1800cl220.08
mB-t2-3qbf-5cnf-100var-200cl220.03
mB-t2-3qbf-5cnf-100var-400cl220.05
mB-t2-3qbf-5cnf-100var-600cl220.03
mB-t2-3qbf-5cnf-100var-800cl220.04
mB-t2-3qbf-5cnf-150var-1200cl220.06
mB-t2-3qbf-5cnf-150var-1500cl220.06
mB-t2-3qbf-5cnf-150var-1800cl220.08
mB-t2-3qbf-5cnf-150var-2100cl220.08
mB-t2-3qbf-5cnf-150var-2400cl220.09
mB-t2-3qbf-5cnf-150var-2700cl220.09
mB-t2-3qbf-5cnf-150var-300cl220.02
mB-t2-3qbf-5cnf-150var-600cl220.07
mB-t2-3qbf-5cnf-150var-900cl220.04
mB-t2-3qbf-5cnf-50var-100cl220.02
mB-t2-3qbf-5cnf-50var-200cl220
mB-t2-3qbf-5cnf-50var-300cl220
mB-t2-3qbf-5cnf-50var-400cl220.02
mB-t2-3qbf-5cnf-50var-500cl220
mB-t2-3qbf-5cnf-50var-600cl220
mB-t2-3qbf-5cnf-50var-700cl220.01
mB-t2-3qbf-5cnf-50var-800cl220.03
mB-t2-3qbf-5cnf-50var-900cl220.03
mB-t2-4qbf-5cnf-100var-1000cl220.05
mB-t2-4qbf-5cnf-100var-1200cl220.07
mB-t2-4qbf-5cnf-100var-1400cl220.06
mB-t2-4qbf-5cnf-100var-1600cl220.07
mB-t2-4qbf-5cnf-100var-1800cl220.08
mB-t2-4qbf-5cnf-100var-200cl220.02
mB-t2-4qbf-5cnf-100var-400cl220.02
mB-t2-4qbf-5cnf-100var-600cl220.03
mB-t2-4qbf-5cnf-100var-800cl220.05
mB-t2-4qbf-5cnf-150var-1200cl220.07
mB-t2-4qbf-5cnf-150var-1500cl220.09
mB-t2-4qbf-5cnf-150var-1800cl220.08
mB-t2-4qbf-5cnf-150var-2100cl220.09
mB-t2-4qbf-5cnf-150var-2400cl220.12
mB-t2-4qbf-5cnf-150var-2700cl220.13
mB-t2-4qbf-5cnf-150var-300cl220.03
mB-t2-4qbf-5cnf-150var-600cl220.06
mB-t2-4qbf-5cnf-150var-900cl220.07
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.05
mB-t2-4qbf-5cnf-50var-300cl220.03
mB-t2-4qbf-5cnf-50var-400cl220.04
mB-t2-4qbf-5cnf-50var-500cl220.04
mB-t2-4qbf-5cnf-50var-600cl220.04
mB-t2-4qbf-5cnf-50var-700cl220.05
mB-t2-4qbf-5cnf-50var-800cl220.04
mB-t2-4qbf-5cnf-50var-900cl220.04
mB-t2-5qbf-5cnf-100var-1000cl220.04
mB-t2-5qbf-5cnf-100var-1200cl220.06
mB-t2-5qbf-5cnf-100var-1400cl220.06
mB-t2-5qbf-5cnf-100var-1600cl220.08
mB-t2-5qbf-5cnf-100var-1800cl220.08
mB-t2-5qbf-5cnf-100var-200cl220.02
mB-t2-5qbf-5cnf-100var-400cl220.03
mB-t2-5qbf-5cnf-100var-600cl220.06
mB-t2-5qbf-5cnf-100var-800cl220.1
mB-t2-5qbf-5cnf-150var-1200cl220.08
mB-t2-5qbf-5cnf-150var-1500cl220.08
mB-t2-5qbf-5cnf-150var-1800cl220.08
mB-t2-5qbf-5cnf-150var-2100cl220.08
mB-t2-5qbf-5cnf-150var-2400cl220.1
mB-t2-5qbf-5cnf-150var-2700cl220.12
mB-t2-5qbf-5cnf-150var-300cl220.04
mB-t2-5qbf-5cnf-150var-600cl220.07
mB-t2-5qbf-5cnf-150var-900cl220.13
mB-t2-5qbf-5cnf-50var-100cl220.01
mB-t2-5qbf-5cnf-50var-200cl220.03
mB-t2-5qbf-5cnf-50var-300cl220.05
mB-t2-5qbf-5cnf-50var-400cl220.04
mB-t2-5qbf-5cnf-50var-500cl220.04
mB-t2-5qbf-5cnf-50var-600cl220.03
mB-t2-5qbf-5cnf-50var-700cl220.04
mB-t2-5qbf-5cnf-50var-800cl220.03
mB-t2-5qbf-5cnf-50var-900cl220.04
MutexP78343539.26
RobotsD29621448.99
RobotsD3844450.22
RobotsD413522397.31
RobotsD58441812.98
s11964439644.75
s12695246722.43
s2736126131.25
s2983935139.75
s327181.18
s33305549555.63
s3865347754.4
s4993733337.54
s5102421624.31
s6414944150
s7136154962.18
s8204843248.74
SzymanskiP658949.72
term1694317837.02
Toilet3353614.04
ToiletA151715.17
ToiletC10350.36
ToiletG4370.19
Tree53610812.15
uclid3026681.12
VonNeumann567119.68
z4ml61440.38