QUBE-BJ results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135148.8
Blocks662135258.32
C432732143813.38
C49976254994.12
C531580163983.12
C62887769379.49
C88078163089.72
Chain62624038.35
comp28427275.2
Connect284217.4
Connect38291.38
Connect48516.51
Connect586501.71
Connect6832714.96
Connect785915.3
Connect881924.79
Connect9311
Counter1243659.98
DFlipFlop60871.39
Impl6185696.76
jmc_quant3632437.21
jmc_quant_squaring7769379.49
k_branch_n34128834.9
k_branch_p45138747.39
k_d4_n4641447.47
k_d4_p3977401.54
k_dum_n42515860.82
k_dum_p43427205.02
k_grz_n32710357.77
k_grz_p45620040.97
k_lin_n39418999.97
k_lin_p32835.02
k_path_n42515108.94
k_path_p38324421.78
k_ph_n50610852.53
k_ph_p42228842.92
k_poly_n32225659.28
k_poly_p41840.63
k_t4p_n42131966.32
k_t4p_p56241983.55
Logn29312184.68
mA-t2-2qbf-5cnf-100var-1000cl21913.52
mA-t2-2qbf-5cnf-100var-1200cl2211.53
mA-t2-2qbf-5cnf-100var-1400cl224.15
mA-t2-2qbf-5cnf-100var-1600cl222
mA-t2-2qbf-5cnf-100var-1800cl222.05
mA-t2-2qbf-5cnf-100var-200cl2113.23
mA-t2-2qbf-5cnf-100var-400cl222.16
mA-t2-2qbf-5cnf-100var-600cl2249.53
mA-t2-2qbf-5cnf-100var-800cl211047.89
mA-t2-2qbf-5cnf-150var-1200cl21802.06
mA-t2-2qbf-5cnf-150var-1500cl21802.07
mA-t2-2qbf-5cnf-150var-1800cl21919.33
mA-t2-2qbf-5cnf-150var-2100cl2212.51
mA-t2-2qbf-5cnf-150var-2400cl228.4
mA-t2-2qbf-5cnf-150var-2700cl222.03
mA-t2-2qbf-5cnf-150var-300cl222.21
mA-t2-2qbf-5cnf-150var-600cl222.04
mA-t2-2qbf-5cnf-150var-900cl21802.07
mA-t2-2qbf-5cnf-50var-100cl221.95
mA-t2-2qbf-5cnf-50var-200cl222.4
mA-t2-2qbf-5cnf-50var-300cl2231.61
mA-t2-2qbf-5cnf-50var-400cl2218.75
mA-t2-2qbf-5cnf-50var-500cl221.96
mA-t2-2qbf-5cnf-50var-600cl222
mA-t2-2qbf-5cnf-50var-700cl221.98
mA-t2-2qbf-5cnf-50var-800cl221.96
mA-t2-2qbf-5cnf-50var-900cl221.96
mA-t2-3qbf-5cnf-100var-1000cl222.62
mA-t2-3qbf-5cnf-100var-1200cl225.84
mA-t2-3qbf-5cnf-100var-1400cl2230.5
mA-t2-3qbf-5cnf-100var-1600cl2216.5
mA-t2-3qbf-5cnf-100var-1800cl2223.2
mA-t2-3qbf-5cnf-100var-200cl221.95
mA-t2-3qbf-5cnf-100var-400cl221.94
mA-t2-3qbf-5cnf-100var-600cl221.95
mA-t2-3qbf-5cnf-100var-800cl2114.05
mA-t2-3qbf-5cnf-150var-1200cl2210.24
mA-t2-3qbf-5cnf-150var-1500cl2212.14
mA-t2-3qbf-5cnf-150var-1800cl2276.13
mA-t2-3qbf-5cnf-150var-2100cl22348.55
mA-t2-3qbf-5cnf-150var-2400cl22766.32
mA-t2-3qbf-5cnf-150var-2700cl22173.09
mA-t2-3qbf-5cnf-150var-300cl221.96
mA-t2-3qbf-5cnf-150var-600cl222.01
mA-t2-3qbf-5cnf-150var-900cl222.04
mA-t2-3qbf-5cnf-50var-100cl221.98
mA-t2-3qbf-5cnf-50var-200cl221.95
mA-t2-3qbf-5cnf-50var-300cl221.96
mA-t2-3qbf-5cnf-50var-400cl2112.49
mA-t2-3qbf-5cnf-50var-500cl224.07
mA-t2-3qbf-5cnf-50var-600cl213.47
mA-t2-3qbf-5cnf-50var-700cl224.36
mA-t2-3qbf-5cnf-50var-800cl222.2
mA-t2-3qbf-5cnf-50var-900cl222.35
mA-t2-4qbf-5cnf-100var-1000cl2213.67
mA-t2-4qbf-5cnf-100var-1200cl227.81
mA-t2-4qbf-5cnf-100var-1400cl222.38
mA-t2-4qbf-5cnf-100var-1600cl222.15
mA-t2-4qbf-5cnf-100var-1800cl222.13
mA-t2-4qbf-5cnf-100var-200cl221.98
mA-t2-4qbf-5cnf-100var-400cl223.83
mA-t2-4qbf-5cnf-100var-600cl22182.07
mA-t2-4qbf-5cnf-100var-800cl222.65
mA-t2-4qbf-5cnf-150var-1200cl2198.18
mA-t2-4qbf-5cnf-150var-1500cl21942.54
mA-t2-4qbf-5cnf-150var-1800cl226.93
mA-t2-4qbf-5cnf-150var-2100cl224.91
mA-t2-4qbf-5cnf-150var-2400cl223.98
mA-t2-4qbf-5cnf-150var-2700cl224.67
mA-t2-4qbf-5cnf-150var-300cl221.99
mA-t2-4qbf-5cnf-150var-600cl222.88
mA-t2-4qbf-5cnf-150var-900cl22154.37
mA-t2-4qbf-5cnf-50var-100cl221.94
mA-t2-4qbf-5cnf-50var-200cl222.05
mA-t2-4qbf-5cnf-50var-300cl223.53
mA-t2-4qbf-5cnf-50var-400cl222.34
mA-t2-4qbf-5cnf-50var-500cl223.68
mA-t2-4qbf-5cnf-50var-600cl222.11
mA-t2-4qbf-5cnf-50var-700cl221.99
mA-t2-4qbf-5cnf-50var-800cl222.14
mA-t2-4qbf-5cnf-50var-900cl221.99
mA-t2-5qbf-5cnf-100var-1000cl224.01
mA-t2-5qbf-5cnf-100var-1200cl2212.19
mA-t2-5qbf-5cnf-100var-1400cl22141.09
mA-t2-5qbf-5cnf-100var-1600cl22694.59
mA-t2-5qbf-5cnf-100var-1800cl2212.42
mA-t2-5qbf-5cnf-100var-200cl221.95
mA-t2-5qbf-5cnf-100var-400cl221.95
mA-t2-5qbf-5cnf-100var-600cl221.96
mA-t2-5qbf-5cnf-100var-800cl2117.89
mA-t2-5qbf-5cnf-150var-1200cl222.46
mA-t2-5qbf-5cnf-150var-1500cl225.41
mA-t2-5qbf-5cnf-150var-1800cl2280.25
mA-t2-5qbf-5cnf-150var-2100cl21946.86
mA-t2-5qbf-5cnf-150var-2400cl211146.65
mA-t2-5qbf-5cnf-150var-2700cl22485.86
mA-t2-5qbf-5cnf-150var-300cl221.96
mA-t2-5qbf-5cnf-150var-600cl221.95
mA-t2-5qbf-5cnf-150var-900cl221.95
mA-t2-5qbf-5cnf-50var-100cl221.98
mA-t2-5qbf-5cnf-50var-200cl221.96
mA-t2-5qbf-5cnf-50var-300cl221.98
mA-t2-5qbf-5cnf-50var-400cl221.97
mA-t2-5qbf-5cnf-50var-500cl223.52
mA-t2-5qbf-5cnf-50var-600cl222.77
mA-t2-5qbf-5cnf-50var-700cl227.02
mA-t2-5qbf-5cnf-50var-800cl225.67
mA-t2-5qbf-5cnf-50var-900cl222.08
mB-t2-2qbf-5cnf-100var-1000cl221.96
mB-t2-2qbf-5cnf-100var-1200cl221.95
mB-t2-2qbf-5cnf-100var-1400cl221.95
mB-t2-2qbf-5cnf-100var-1600cl222.01
mB-t2-2qbf-5cnf-100var-1800cl222.11
mB-t2-2qbf-5cnf-100var-200cl2117.69
mB-t2-2qbf-5cnf-100var-400cl221.96
mB-t2-2qbf-5cnf-100var-600cl221.96
mB-t2-2qbf-5cnf-100var-800cl221.96
mB-t2-2qbf-5cnf-150var-1200cl222.03
mB-t2-2qbf-5cnf-150var-1500cl221.99
mB-t2-2qbf-5cnf-150var-1800cl221.96
mB-t2-2qbf-5cnf-150var-2100cl221.96
mB-t2-2qbf-5cnf-150var-2400cl221.96
mB-t2-2qbf-5cnf-150var-2700cl221.96
mB-t2-2qbf-5cnf-150var-300cl221.95
mB-t2-2qbf-5cnf-150var-600cl221.95
mB-t2-2qbf-5cnf-150var-900cl221.95
mB-t2-2qbf-5cnf-50var-100cl2111.99
mB-t2-2qbf-5cnf-50var-200cl221.96
mB-t2-2qbf-5cnf-50var-300cl221.99
mB-t2-2qbf-5cnf-50var-400cl221.98
mB-t2-2qbf-5cnf-50var-500cl222.01
mB-t2-2qbf-5cnf-50var-600cl221.95
mB-t2-2qbf-5cnf-50var-700cl221.95
mB-t2-2qbf-5cnf-50var-800cl221.94
mB-t2-2qbf-5cnf-50var-900cl221.95
mB-t2-3qbf-5cnf-100var-1000cl221.95
mB-t2-3qbf-5cnf-100var-1200cl222.02
mB-t2-3qbf-5cnf-100var-1400cl221.95
mB-t2-3qbf-5cnf-100var-1600cl221.99
mB-t2-3qbf-5cnf-100var-1800cl221.95
mB-t2-3qbf-5cnf-100var-200cl221.96
mB-t2-3qbf-5cnf-100var-400cl221.94
mB-t2-3qbf-5cnf-100var-600cl222.01
mB-t2-3qbf-5cnf-100var-800cl222.01
mB-t2-3qbf-5cnf-150var-1200cl221.94
mB-t2-3qbf-5cnf-150var-1500cl221.96
mB-t2-3qbf-5cnf-150var-1800cl221.95
mB-t2-3qbf-5cnf-150var-2100cl221.96
mB-t2-3qbf-5cnf-150var-2400cl221.99
mB-t2-3qbf-5cnf-150var-2700cl221.96
mB-t2-3qbf-5cnf-150var-300cl221.95
mB-t2-3qbf-5cnf-150var-600cl221.96
mB-t2-3qbf-5cnf-150var-900cl221.94
mB-t2-3qbf-5cnf-50var-100cl221.94
mB-t2-3qbf-5cnf-50var-200cl221.94
mB-t2-3qbf-5cnf-50var-300cl221.95
mB-t2-3qbf-5cnf-50var-400cl221.94
mB-t2-3qbf-5cnf-50var-500cl222
mB-t2-3qbf-5cnf-50var-600cl221.96
mB-t2-3qbf-5cnf-50var-700cl221.94
mB-t2-3qbf-5cnf-50var-800cl221.96
mB-t2-3qbf-5cnf-50var-900cl221.95
mB-t2-4qbf-5cnf-100var-1000cl221.94
mB-t2-4qbf-5cnf-100var-1200cl221.97
mB-t2-4qbf-5cnf-100var-1400cl221.96
mB-t2-4qbf-5cnf-100var-1600cl221.96
mB-t2-4qbf-5cnf-100var-1800cl221.96
mB-t2-4qbf-5cnf-100var-200cl221.94
mB-t2-4qbf-5cnf-100var-400cl221.94
mB-t2-4qbf-5cnf-100var-600cl221.97
mB-t2-4qbf-5cnf-100var-800cl221.94
mB-t2-4qbf-5cnf-150var-1200cl221.97
mB-t2-4qbf-5cnf-150var-1500cl221.96
mB-t2-4qbf-5cnf-150var-1800cl221.96
mB-t2-4qbf-5cnf-150var-2100cl222.01
mB-t2-4qbf-5cnf-150var-2400cl221.96
mB-t2-4qbf-5cnf-150var-2700cl221.96
mB-t2-4qbf-5cnf-150var-300cl221.94
mB-t2-4qbf-5cnf-150var-600cl221.94
mB-t2-4qbf-5cnf-150var-900cl221.95
mB-t2-4qbf-5cnf-50var-100cl221.95
mB-t2-4qbf-5cnf-50var-200cl221.97
mB-t2-4qbf-5cnf-50var-300cl221.94
mB-t2-4qbf-5cnf-50var-400cl221.94
mB-t2-4qbf-5cnf-50var-500cl222
mB-t2-4qbf-5cnf-50var-600cl221.93
mB-t2-4qbf-5cnf-50var-700cl221.97
mB-t2-4qbf-5cnf-50var-800cl221.94
mB-t2-4qbf-5cnf-50var-900cl221.95
mB-t2-5qbf-5cnf-100var-1000cl221.95
mB-t2-5qbf-5cnf-100var-1200cl221.94
mB-t2-5qbf-5cnf-100var-1400cl221.99
mB-t2-5qbf-5cnf-100var-1600cl221.95
mB-t2-5qbf-5cnf-100var-1800cl221.95
mB-t2-5qbf-5cnf-100var-200cl221.96
mB-t2-5qbf-5cnf-100var-400cl221.96
mB-t2-5qbf-5cnf-100var-600cl221.99
mB-t2-5qbf-5cnf-100var-800cl221.95
mB-t2-5qbf-5cnf-150var-1200cl221.96
mB-t2-5qbf-5cnf-150var-1500cl221.97
mB-t2-5qbf-5cnf-150var-1800cl221.95
mB-t2-5qbf-5cnf-150var-2100cl221.98
mB-t2-5qbf-5cnf-150var-2400cl221.96
mB-t2-5qbf-5cnf-150var-2700cl221.96
mB-t2-5qbf-5cnf-150var-300cl221.95
mB-t2-5qbf-5cnf-150var-600cl221.95
mB-t2-5qbf-5cnf-150var-900cl221.96
mB-t2-5qbf-5cnf-50var-100cl221.94
mB-t2-5qbf-5cnf-50var-200cl221.95
mB-t2-5qbf-5cnf-50var-300cl221.95
mB-t2-5qbf-5cnf-50var-400cl221.96
mB-t2-5qbf-5cnf-50var-500cl221.96
mB-t2-5qbf-5cnf-50var-600cl221.94
mB-t2-5qbf-5cnf-50var-700cl221.95
mB-t2-5qbf-5cnf-50var-800cl221.95
mB-t2-5qbf-5cnf-50var-900cl221.96
MutexP78343294.25
RobotsD29611470.99
RobotsD38323440.92
RobotsD413521339.58
RobotsD584476.75
s11964439645.32
s12694944150.63
s2736126136.94
s2983935140.19
s32718323.66
s33305345955.58
s3865347754.67
s4993733338.49
s5102411755.39
s6414944150.6
s7136154963.01
s8204742348.43
SzymanskiP658532.8
term1694127493.97
Toilet332219431.48
ToiletA15161906.72
ToiletC1035194.68
ToiletG43741.59
Tree532654.57
uclid3027031.01
VonNeumann564144.98
z4ml614459.46