CLearn results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135139.27
Blocks66152294.18
C43273345320.53
C49976254963.24
C531580255864.56
C62887769377.6
C88078254761.93
Chain6287284.89
comp28429770.47
Connect28535.65
Connect387917.66
Connect487903.98
Connect587905.93
Connect6852802.94
Connect787906.12
Connect8852708.25
Connect932903.3
Counter1243605.01
DFlipFlop60824.41
Impl6180.46
jmc_quant3632436.09
jmc_quant_squaring7769377.28
k_branch_n34128832.18
k_branch_p45138746.8
k_d4_n4641446.28
k_d4_p39231805.84
k_dum_n42614699.75
k_dum_p43427042.48
k_grz_n32513576.48
k_grz_p45718061.64
k_lin_n39513893.57
k_lin_p328121.95
k_path_n42514969.61
k_path_p38324395.45
k_ph_n5078508.48
k_ph_p42327040.01
k_poly_n32226034.19
k_poly_p41131563.22
k_t4p_n42131823.26
k_t4p_p56242441.13
Logn292653.92
mA-t2-2qbf-5cnf-100var-1000cl21802.02
mA-t2-2qbf-5cnf-100var-1200cl21802.02
mA-t2-2qbf-5cnf-100var-1400cl22110.26
mA-t2-2qbf-5cnf-100var-1600cl220.15
mA-t2-2qbf-5cnf-100var-1800cl220.1
mA-t2-2qbf-5cnf-100var-200cl211625.2
mA-t2-2qbf-5cnf-100var-400cl21802.01
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802.02
mA-t2-2qbf-5cnf-150var-1200cl21802
mA-t2-2qbf-5cnf-150var-1500cl21802.01
mA-t2-2qbf-5cnf-150var-1800cl21802.02
mA-t2-2qbf-5cnf-150var-2100cl211140.63
mA-t2-2qbf-5cnf-150var-2400cl21907.25
mA-t2-2qbf-5cnf-150var-2700cl220.07
mA-t2-2qbf-5cnf-150var-300cl211495.76
mA-t2-2qbf-5cnf-150var-600cl21802
mA-t2-2qbf-5cnf-150var-900cl21802.01
mA-t2-2qbf-5cnf-50var-100cl220.09
mA-t2-2qbf-5cnf-50var-200cl21802.01
mA-t2-2qbf-5cnf-50var-300cl21802
mA-t2-2qbf-5cnf-50var-400cl21802.01
mA-t2-2qbf-5cnf-50var-500cl21901.16
mA-t2-2qbf-5cnf-50var-600cl2219.21
mA-t2-2qbf-5cnf-50var-700cl220.42
mA-t2-2qbf-5cnf-50var-800cl220.01
mA-t2-2qbf-5cnf-50var-900cl220.04
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-1600cl22158.06
mA-t2-3qbf-5cnf-100var-1800cl2299.51
mA-t2-3qbf-5cnf-100var-200cl220.01
mA-t2-3qbf-5cnf-100var-400cl220
mA-t2-3qbf-5cnf-100var-600cl220.04
mA-t2-3qbf-5cnf-100var-800cl21802
mA-t2-3qbf-5cnf-150var-1200cl21802
mA-t2-3qbf-5cnf-150var-1500cl21802.01
mA-t2-3qbf-5cnf-150var-1800cl21802.02
mA-t2-3qbf-5cnf-150var-2100cl21802.01
mA-t2-3qbf-5cnf-150var-2400cl21802.02
mA-t2-3qbf-5cnf-150var-2700cl22517.48
mA-t2-3qbf-5cnf-150var-300cl220.01
mA-t2-3qbf-5cnf-150var-600cl220.01
mA-t2-3qbf-5cnf-150var-900cl223.07
mA-t2-3qbf-5cnf-50var-100cl220.02
mA-t2-3qbf-5cnf-50var-200cl220.01
mA-t2-3qbf-5cnf-50var-300cl220.03
mA-t2-3qbf-5cnf-50var-400cl226.87
mA-t2-3qbf-5cnf-50var-500cl21802
mA-t2-3qbf-5cnf-50var-600cl21948.96
mA-t2-3qbf-5cnf-50var-700cl22132.23
mA-t2-3qbf-5cnf-50var-800cl220.12
mA-t2-3qbf-5cnf-50var-900cl220.05
mA-t2-4qbf-5cnf-100var-1000cl21929.78
mA-t2-4qbf-5cnf-100var-1200cl22251.1
mA-t2-4qbf-5cnf-100var-1400cl220.81
mA-t2-4qbf-5cnf-100var-1600cl220.05
mA-t2-4qbf-5cnf-100var-1800cl220.14
mA-t2-4qbf-5cnf-100var-200cl220.02
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802.01
mA-t2-4qbf-5cnf-100var-800cl21802.01
mA-t2-4qbf-5cnf-150var-1200cl21802.01
mA-t2-4qbf-5cnf-150var-1500cl21943.35
mA-t2-4qbf-5cnf-150var-1800cl22746.18
mA-t2-4qbf-5cnf-150var-2100cl2215.86
mA-t2-4qbf-5cnf-150var-2400cl221.13
mA-t2-4qbf-5cnf-150var-2700cl224.43
mA-t2-4qbf-5cnf-150var-300cl220.01
mA-t2-4qbf-5cnf-150var-600cl21802
mA-t2-4qbf-5cnf-150var-900cl21802.01
mA-t2-4qbf-5cnf-50var-100cl220.01
mA-t2-4qbf-5cnf-50var-200cl2219.95
mA-t2-4qbf-5cnf-50var-300cl21802.01
mA-t2-4qbf-5cnf-50var-400cl21901.49
mA-t2-4qbf-5cnf-50var-500cl21901.28
mA-t2-4qbf-5cnf-50var-600cl220.07
mA-t2-4qbf-5cnf-50var-700cl220.04
mA-t2-4qbf-5cnf-50var-800cl220.06
mA-t2-4qbf-5cnf-50var-900cl220.03
mA-t2-5qbf-5cnf-100var-1000cl21802
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-1800cl21981.42
mA-t2-5qbf-5cnf-100var-200cl220
mA-t2-5qbf-5cnf-100var-400cl220
mA-t2-5qbf-5cnf-100var-600cl220.03
mA-t2-5qbf-5cnf-100var-800cl211117.08
mA-t2-5qbf-5cnf-150var-1200cl21802.02
mA-t2-5qbf-5cnf-150var-1500cl21802.01
mA-t2-5qbf-5cnf-150var-1800cl21802.02
mA-t2-5qbf-5cnf-150var-2100cl21802.01
mA-t2-5qbf-5cnf-150var-2400cl21802.02
mA-t2-5qbf-5cnf-150var-2700cl211265.26
mA-t2-5qbf-5cnf-150var-300cl220.02
mA-t2-5qbf-5cnf-150var-600cl220.03
mA-t2-5qbf-5cnf-150var-900cl220.04
mA-t2-5qbf-5cnf-50var-100cl220.02
mA-t2-5qbf-5cnf-50var-200cl220.02
mA-t2-5qbf-5cnf-50var-300cl220.02
mA-t2-5qbf-5cnf-50var-400cl225.98
mA-t2-5qbf-5cnf-50var-500cl21943.48
mA-t2-5qbf-5cnf-50var-600cl211235.9
mA-t2-5qbf-5cnf-50var-700cl2243.11
mA-t2-5qbf-5cnf-50var-800cl21901.66
mA-t2-5qbf-5cnf-50var-900cl2271.98
mB-t2-2qbf-5cnf-100var-1000cl220.02
mB-t2-2qbf-5cnf-100var-1200cl220.02
mB-t2-2qbf-5cnf-100var-1400cl220.02
mB-t2-2qbf-5cnf-100var-1600cl220.02
mB-t2-2qbf-5cnf-100var-1800cl220.01
mB-t2-2qbf-5cnf-100var-200cl211329.88
mB-t2-2qbf-5cnf-100var-400cl222.82
mB-t2-2qbf-5cnf-100var-600cl220.02
mB-t2-2qbf-5cnf-100var-800cl220.02
mB-t2-2qbf-5cnf-150var-1200cl220.06
mB-t2-2qbf-5cnf-150var-1500cl220.03
mB-t2-2qbf-5cnf-150var-1800cl220.02
mB-t2-2qbf-5cnf-150var-2100cl220.03
mB-t2-2qbf-5cnf-150var-2400cl220.04
mB-t2-2qbf-5cnf-150var-2700cl220.03
mB-t2-2qbf-5cnf-150var-300cl220.16
mB-t2-2qbf-5cnf-150var-600cl220.11
mB-t2-2qbf-5cnf-150var-900cl220.05
mB-t2-2qbf-5cnf-50var-100cl2110.05
mB-t2-2qbf-5cnf-50var-200cl220.26
mB-t2-2qbf-5cnf-50var-300cl220.01
mB-t2-2qbf-5cnf-50var-400cl220.02
mB-t2-2qbf-5cnf-50var-500cl220.02
mB-t2-2qbf-5cnf-50var-600cl220.01
mB-t2-2qbf-5cnf-50var-700cl220
mB-t2-2qbf-5cnf-50var-800cl220
mB-t2-2qbf-5cnf-50var-900cl220.01
mB-t2-3qbf-5cnf-100var-1000cl220.02
mB-t2-3qbf-5cnf-100var-1200cl220.02
mB-t2-3qbf-5cnf-100var-1400cl220.02
mB-t2-3qbf-5cnf-100var-1600cl220.03
mB-t2-3qbf-5cnf-100var-1800cl220.04
mB-t2-3qbf-5cnf-100var-200cl220.01
mB-t2-3qbf-5cnf-100var-400cl220.01
mB-t2-3qbf-5cnf-100var-600cl220.02
mB-t2-3qbf-5cnf-100var-800cl220.02
mB-t2-3qbf-5cnf-150var-1200cl220.03
mB-t2-3qbf-5cnf-150var-1500cl220.04
mB-t2-3qbf-5cnf-150var-1800cl220.04
mB-t2-3qbf-5cnf-150var-2100cl220.04
mB-t2-3qbf-5cnf-150var-2400cl220.04
mB-t2-3qbf-5cnf-150var-2700cl220.04
mB-t2-3qbf-5cnf-150var-300cl220.02
mB-t2-3qbf-5cnf-150var-600cl220.04
mB-t2-3qbf-5cnf-150var-900cl220.02
mB-t2-3qbf-5cnf-50var-100cl220.02
mB-t2-3qbf-5cnf-50var-200cl220.01
mB-t2-3qbf-5cnf-50var-300cl220.01
mB-t2-3qbf-5cnf-50var-400cl220.01
mB-t2-3qbf-5cnf-50var-500cl220.01
mB-t2-3qbf-5cnf-50var-600cl220.02
mB-t2-3qbf-5cnf-50var-700cl220.01
mB-t2-3qbf-5cnf-50var-800cl220.01
mB-t2-3qbf-5cnf-50var-900cl220.02
mB-t2-4qbf-5cnf-100var-1000cl220.03
mB-t2-4qbf-5cnf-100var-1200cl220.02
mB-t2-4qbf-5cnf-100var-1400cl220.04
mB-t2-4qbf-5cnf-100var-1600cl220.04
mB-t2-4qbf-5cnf-100var-1800cl220.03
mB-t2-4qbf-5cnf-100var-200cl220.02
mB-t2-4qbf-5cnf-100var-400cl220
mB-t2-4qbf-5cnf-100var-600cl220
mB-t2-4qbf-5cnf-100var-800cl220.01
mB-t2-4qbf-5cnf-150var-1200cl220.03
mB-t2-4qbf-5cnf-150var-1500cl220.02
mB-t2-4qbf-5cnf-150var-1800cl220.03
mB-t2-4qbf-5cnf-150var-2100cl220.04
mB-t2-4qbf-5cnf-150var-2400cl220.04
mB-t2-4qbf-5cnf-150var-2700cl220.04
mB-t2-4qbf-5cnf-150var-300cl220.01
mB-t2-4qbf-5cnf-150var-600cl220.03
mB-t2-4qbf-5cnf-150var-900cl220.04
mB-t2-4qbf-5cnf-50var-100cl220.01
mB-t2-4qbf-5cnf-50var-200cl220.02
mB-t2-4qbf-5cnf-50var-300cl220.01
mB-t2-4qbf-5cnf-50var-400cl220
mB-t2-4qbf-5cnf-50var-500cl220.01
mB-t2-4qbf-5cnf-50var-600cl220
mB-t2-4qbf-5cnf-50var-700cl220
mB-t2-4qbf-5cnf-50var-800cl220.01
mB-t2-4qbf-5cnf-50var-900cl220
mB-t2-5qbf-5cnf-100var-1000cl220.02
mB-t2-5qbf-5cnf-100var-1200cl220.02
mB-t2-5qbf-5cnf-100var-1400cl220.03
mB-t2-5qbf-5cnf-100var-1600cl220.03
mB-t2-5qbf-5cnf-100var-1800cl220.02
mB-t2-5qbf-5cnf-100var-200cl220.01
mB-t2-5qbf-5cnf-100var-400cl220.01
mB-t2-5qbf-5cnf-100var-600cl220.03
mB-t2-5qbf-5cnf-100var-800cl220.02
mB-t2-5qbf-5cnf-150var-1200cl220.04
mB-t2-5qbf-5cnf-150var-1500cl220.03
mB-t2-5qbf-5cnf-150var-1800cl220.02
mB-t2-5qbf-5cnf-150var-2100cl220.02
mB-t2-5qbf-5cnf-150var-2400cl220.03
mB-t2-5qbf-5cnf-150var-2700cl220.04
mB-t2-5qbf-5cnf-150var-300cl220.01
mB-t2-5qbf-5cnf-150var-600cl220.02
mB-t2-5qbf-5cnf-150var-900cl220.04
mB-t2-5qbf-5cnf-50var-100cl220
mB-t2-5qbf-5cnf-50var-200cl220
mB-t2-5qbf-5cnf-50var-300cl220.01
mB-t2-5qbf-5cnf-50var-400cl220.02
mB-t2-5qbf-5cnf-50var-500cl220
mB-t2-5qbf-5cnf-50var-600cl220
mB-t2-5qbf-5cnf-50var-700cl220
mB-t2-5qbf-5cnf-50var-800cl220.01
mB-t2-5qbf-5cnf-50var-900cl220.01
MutexP78343263.91
RobotsD29621241.79
RobotsD3834687.8
RobotsD413512399.91
RobotsD58432049.76
s11964439644.22
s12694944149.39
s2736219748.96
s2983935139.09
s327181.22
s33305347753.19
s3865347753.38
s4993733337.16
s5102421624.12
s6414944149.34
s7136154961.26
s8204742347.29
SzymanskiP658446.05
term1694314908.98
Toilet3353607.19
ToiletA15173.5
ToiletC10350.37
ToiletG4370.31
Tree53167729.04
uclid3027030.19
VonNeumann567121.37
z4ml61440.6