openQbf results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135141.45
Blocks66152444.63
C432732149760.62
C49976254979.28
C53158072080.18
C62887769377.28
C8807870278.6
Chain62624919.27
comp28414614.39
Connect285323.45
Connect3871003.56
Connect487907.27
Connect5871040.86
Connect6843608.72
Connect787910.77
Connect8852710.82
Connect932904.24
Counter1225417.49
DFlipFlop60869.83
Impl618385.9
jmc_quant3632436.3
jmc_quant_squaring7769377.66
k_branch_n34128833.63
k_branch_p4540545.15
k_d4_n4641446.42
k_d4_p39133919.17
k_dum_n42131706.96
k_dum_p43136944.91
k_grz_n3228832.15
k_grz_p4540545.37
k_lin_n39231975.07
k_lin_p32127031.93
k_path_n42230755.08
k_path_p38226134.81
k_ph_n50327873.67
k_ph_p42228841.73
k_poly_n32127031.24
k_poly_p41812.98
k_t4p_n4237842.09
k_t4p_p56148730.69
Logn29217121.6
mA-t2-2qbf-5cnf-100var-1000cl21802.01
mA-t2-2qbf-5cnf-100var-1200cl211073.85
mA-t2-2qbf-5cnf-100var-1400cl21802.02
mA-t2-2qbf-5cnf-100var-1600cl21901.48
mA-t2-2qbf-5cnf-100var-1800cl220.86
mA-t2-2qbf-5cnf-100var-200cl21802.02
mA-t2-2qbf-5cnf-100var-400cl21802.01
mA-t2-2qbf-5cnf-100var-600cl21802.02
mA-t2-2qbf-5cnf-100var-800cl21802.02
mA-t2-2qbf-5cnf-150var-1200cl21802.01
mA-t2-2qbf-5cnf-150var-1500cl21802.02
mA-t2-2qbf-5cnf-150var-1800cl21802.01
mA-t2-2qbf-5cnf-150var-2100cl21802.01
mA-t2-2qbf-5cnf-150var-2400cl222.92
mA-t2-2qbf-5cnf-150var-2700cl221.24
mA-t2-2qbf-5cnf-150var-300cl21802.02
mA-t2-2qbf-5cnf-150var-600cl21802.02
mA-t2-2qbf-5cnf-150var-900cl21802.02
mA-t2-2qbf-5cnf-50var-100cl221.93
mA-t2-2qbf-5cnf-50var-200cl21802.02
mA-t2-2qbf-5cnf-50var-300cl21802.01
mA-t2-2qbf-5cnf-50var-400cl21802.02
mA-t2-2qbf-5cnf-50var-500cl211208.99
mA-t2-2qbf-5cnf-50var-600cl2285.5
mA-t2-2qbf-5cnf-50var-700cl2215.46
mA-t2-2qbf-5cnf-50var-800cl220.61
mA-t2-2qbf-5cnf-50var-900cl220.66
mA-t2-3qbf-5cnf-100var-1000cl21802
mA-t2-3qbf-5cnf-100var-1200cl21802.01
mA-t2-3qbf-5cnf-100var-1400cl21802
mA-t2-3qbf-5cnf-100var-1600cl21802.01
mA-t2-3qbf-5cnf-100var-1800cl21802.02
mA-t2-3qbf-5cnf-100var-200cl220.41
mA-t2-3qbf-5cnf-100var-400cl220.89
mA-t2-3qbf-5cnf-100var-600cl21802
mA-t2-3qbf-5cnf-100var-800cl21802.01
mA-t2-3qbf-5cnf-150var-1200cl21802.01
mA-t2-3qbf-5cnf-150var-1500cl21802.02
mA-t2-3qbf-5cnf-150var-1800cl21802
mA-t2-3qbf-5cnf-150var-2100cl21802.02
mA-t2-3qbf-5cnf-150var-2400cl21802.01
mA-t2-3qbf-5cnf-150var-2700cl21802.01
mA-t2-3qbf-5cnf-150var-300cl220.44
mA-t2-3qbf-5cnf-150var-600cl220.58
mA-t2-3qbf-5cnf-150var-900cl21802.02
mA-t2-3qbf-5cnf-50var-100cl220.36
mA-t2-3qbf-5cnf-50var-200cl220.38
mA-t2-3qbf-5cnf-50var-300cl226.13
mA-t2-3qbf-5cnf-50var-400cl21802
mA-t2-3qbf-5cnf-50var-500cl21802.01
mA-t2-3qbf-5cnf-50var-600cl21802.01
mA-t2-3qbf-5cnf-50var-700cl21802
mA-t2-3qbf-5cnf-50var-800cl22534.03
mA-t2-3qbf-5cnf-50var-900cl22153.11
mA-t2-4qbf-5cnf-100var-1000cl21802
mA-t2-4qbf-5cnf-100var-1200cl21802
mA-t2-4qbf-5cnf-100var-1400cl21802.02
mA-t2-4qbf-5cnf-100var-1600cl21802.01
mA-t2-4qbf-5cnf-100var-1800cl21802.01
mA-t2-4qbf-5cnf-100var-200cl220.41
mA-t2-4qbf-5cnf-100var-400cl21802
mA-t2-4qbf-5cnf-100var-600cl21802.02
mA-t2-4qbf-5cnf-100var-800cl21802.02
mA-t2-4qbf-5cnf-150var-1200cl21802.01
mA-t2-4qbf-5cnf-150var-1500cl21802.02
mA-t2-4qbf-5cnf-150var-1800cl21802.02
mA-t2-4qbf-5cnf-150var-2100cl21802.02
mA-t2-4qbf-5cnf-150var-2400cl21802.02
mA-t2-4qbf-5cnf-150var-2700cl21802
mA-t2-4qbf-5cnf-150var-300cl220.46
mA-t2-4qbf-5cnf-150var-600cl21802.01
mA-t2-4qbf-5cnf-150var-900cl21802.01
mA-t2-4qbf-5cnf-50var-100cl220.38
mA-t2-4qbf-5cnf-50var-200cl22166.6
mA-t2-4qbf-5cnf-50var-300cl21802
mA-t2-4qbf-5cnf-50var-400cl21802.02
mA-t2-4qbf-5cnf-50var-500cl21927.39
mA-t2-4qbf-5cnf-50var-600cl21932.59
mA-t2-4qbf-5cnf-50var-700cl211224.42
mA-t2-4qbf-5cnf-50var-800cl211018.06
mA-t2-4qbf-5cnf-50var-900cl221135.44
mA-t2-5qbf-5cnf-100var-1000cl21802.01
mA-t2-5qbf-5cnf-100var-1200cl21802.02
mA-t2-5qbf-5cnf-100var-1400cl21802.02
mA-t2-5qbf-5cnf-100var-1600cl21802.01
mA-t2-5qbf-5cnf-100var-1800cl21802
mA-t2-5qbf-5cnf-100var-200cl220.35
mA-t2-5qbf-5cnf-100var-400cl220.41
mA-t2-5qbf-5cnf-100var-600cl220.65
mA-t2-5qbf-5cnf-100var-800cl21802.02
mA-t2-5qbf-5cnf-150var-1200cl21802
mA-t2-5qbf-5cnf-150var-1500cl21802.01
mA-t2-5qbf-5cnf-150var-1800cl21802.01
mA-t2-5qbf-5cnf-150var-2100cl21802.01
mA-t2-5qbf-5cnf-150var-2400cl21802
mA-t2-5qbf-5cnf-150var-2700cl21802.01
mA-t2-5qbf-5cnf-150var-300cl220.46
mA-t2-5qbf-5cnf-150var-600cl220.57
mA-t2-5qbf-5cnf-150var-900cl220.59
mA-t2-5qbf-5cnf-50var-100cl220.4
mA-t2-5qbf-5cnf-50var-200cl220.39
mA-t2-5qbf-5cnf-50var-300cl220.42
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
mA-t2-5qbf-5cnf-50var-900cl21802.01
mB-t2-2qbf-5cnf-100var-1000cl220.67
mB-t2-2qbf-5cnf-100var-1200cl220.71
mB-t2-2qbf-5cnf-100var-1400cl220.75
mB-t2-2qbf-5cnf-100var-1600cl220.78
mB-t2-2qbf-5cnf-100var-1800cl220.88
mB-t2-2qbf-5cnf-100var-200cl211151.81
mB-t2-2qbf-5cnf-100var-400cl221.42
mB-t2-2qbf-5cnf-100var-600cl221.6
mB-t2-2qbf-5cnf-100var-800cl220.74
mB-t2-2qbf-5cnf-150var-1200cl221.37
mB-t2-2qbf-5cnf-150var-1500cl220.86
mB-t2-2qbf-5cnf-150var-1800cl220.95
mB-t2-2qbf-5cnf-150var-2100cl221.08
mB-t2-2qbf-5cnf-150var-2400cl221.11
mB-t2-2qbf-5cnf-150var-2700cl221.22
mB-t2-2qbf-5cnf-150var-300cl221.78
mB-t2-2qbf-5cnf-150var-600cl220.64
mB-t2-2qbf-5cnf-150var-900cl220.72
mB-t2-2qbf-5cnf-50var-100cl2110.64
mB-t2-2qbf-5cnf-50var-200cl222.48
mB-t2-2qbf-5cnf-50var-300cl220.46
mB-t2-2qbf-5cnf-50var-400cl220.5
mB-t2-2qbf-5cnf-50var-500cl220.54
mB-t2-2qbf-5cnf-50var-600cl220.52
mB-t2-2qbf-5cnf-50var-700cl220.63
mB-t2-2qbf-5cnf-50var-800cl220.61
mB-t2-2qbf-5cnf-50var-900cl220.63
mB-t2-3qbf-5cnf-100var-1000cl220.49
mB-t2-3qbf-5cnf-100var-1200cl220.58
mB-t2-3qbf-5cnf-100var-1400cl220.62
mB-t2-3qbf-5cnf-100var-1600cl220.65
mB-t2-3qbf-5cnf-100var-1800cl220.57
mB-t2-3qbf-5cnf-100var-200cl220.36
mB-t2-3qbf-5cnf-100var-400cl2214.89
mB-t2-3qbf-5cnf-100var-600cl220.51
mB-t2-3qbf-5cnf-100var-800cl220.48
mB-t2-3qbf-5cnf-150var-1200cl220.53
mB-t2-3qbf-5cnf-150var-1500cl220.58
mB-t2-3qbf-5cnf-150var-1800cl220.68
mB-t2-3qbf-5cnf-150var-2100cl220.63
mB-t2-3qbf-5cnf-150var-2400cl220.68
mB-t2-3qbf-5cnf-150var-2700cl220.73
mB-t2-3qbf-5cnf-150var-300cl220.4
mB-t2-3qbf-5cnf-150var-600cl211754.41
mB-t2-3qbf-5cnf-150var-900cl220.59
mB-t2-3qbf-5cnf-50var-100cl220.35
mB-t2-3qbf-5cnf-50var-200cl220.54
mB-t2-3qbf-5cnf-50var-300cl220.37
mB-t2-3qbf-5cnf-50var-400cl220.44
mB-t2-3qbf-5cnf-50var-500cl220.44
mB-t2-3qbf-5cnf-50var-600cl220.44
mB-t2-3qbf-5cnf-50var-700cl220.46
mB-t2-3qbf-5cnf-50var-800cl220.51
mB-t2-3qbf-5cnf-50var-900cl220.46
mB-t2-4qbf-5cnf-100var-1000cl223.32
mB-t2-4qbf-5cnf-100var-1200cl220.8
mB-t2-4qbf-5cnf-100var-1400cl220.79
mB-t2-4qbf-5cnf-100var-1600cl220.8
mB-t2-4qbf-5cnf-100var-1800cl220.79
mB-t2-4qbf-5cnf-100var-200cl220.43
mB-t2-4qbf-5cnf-100var-400cl220.6
mB-t2-4qbf-5cnf-100var-600cl220.59
mB-t2-4qbf-5cnf-100var-800cl220.67
mB-t2-4qbf-5cnf-150var-1200cl220.91
mB-t2-4qbf-5cnf-150var-1500cl221.07
mB-t2-4qbf-5cnf-150var-1800cl22358.53
mB-t2-4qbf-5cnf-150var-2100cl221.13
mB-t2-4qbf-5cnf-150var-2400cl221.48
mB-t2-4qbf-5cnf-150var-2700cl221.48
mB-t2-4qbf-5cnf-150var-300cl220.41
mB-t2-4qbf-5cnf-150var-600cl220.53
mB-t2-4qbf-5cnf-150var-900cl220.78
mB-t2-4qbf-5cnf-50var-100cl220.38
mB-t2-4qbf-5cnf-50var-200cl221.15
mB-t2-4qbf-5cnf-50var-300cl220.46
mB-t2-4qbf-5cnf-50var-400cl220.48
mB-t2-4qbf-5cnf-50var-500cl220.61
mB-t2-4qbf-5cnf-50var-600cl220.7
mB-t2-4qbf-5cnf-50var-700cl220.59
mB-t2-4qbf-5cnf-50var-800cl220.52
mB-t2-4qbf-5cnf-50var-900cl220.53
mB-t2-5qbf-5cnf-100var-1000cl220.53
mB-t2-5qbf-5cnf-100var-1200cl220.58
mB-t2-5qbf-5cnf-100var-1400cl220.58
mB-t2-5qbf-5cnf-100var-1600cl220.64
mB-t2-5qbf-5cnf-100var-1800cl220.59
mB-t2-5qbf-5cnf-100var-200cl220.45
mB-t2-5qbf-5cnf-100var-400cl220.6
mB-t2-5qbf-5cnf-100var-600cl22896.77
mB-t2-5qbf-5cnf-100var-800cl21802
mB-t2-5qbf-5cnf-150var-1200cl21802.02
mB-t2-5qbf-5cnf-150var-1500cl21901.35
mB-t2-5qbf-5cnf-150var-1800cl220.68
mB-t2-5qbf-5cnf-150var-2100cl220.64
mB-t2-5qbf-5cnf-150var-2400cl220.7
mB-t2-5qbf-5cnf-150var-2700cl220.7
mB-t2-5qbf-5cnf-150var-300cl220.42
mB-t2-5qbf-5cnf-150var-600cl228.45
mB-t2-5qbf-5cnf-150var-900cl21802
mB-t2-5qbf-5cnf-50var-100cl220.36
mB-t2-5qbf-5cnf-50var-200cl220.4
mB-t2-5qbf-5cnf-50var-300cl229.43
mB-t2-5qbf-5cnf-50var-400cl2269.27
mB-t2-5qbf-5cnf-50var-500cl221.18
mB-t2-5qbf-5cnf-50var-600cl220.43
mB-t2-5qbf-5cnf-50var-700cl220.5
mB-t2-5qbf-5cnf-50var-800cl220.47
mB-t2-5qbf-5cnf-50var-900cl220.46
MutexP78344003.16
RobotsD2944013.03
RobotsD3835207.02
RobotsD41344815.2
RobotsD5834519.06
s11964439644.38
s12694944149.39
s2736126131.28
s2983935139.24
s327183.08
s33305347753.25
s3865347753.37
s4993733337.13
s5102421624.16
s6414913.04
s7136154961.28
s8204742347.17
SzymanskiP6584162.24
term169247786.28
Toilet332219363.03
ToiletA15162397.76
ToiletC1035761.06
ToiletG4379.25
Tree532415195.79
uclid3027030.08
VonNeumann567169.71
z4ml614414.58