QUBE-LRN results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135147.93
Blocks662323426.94
C432733230248.03
C499763139064.01
C5315801155688.84
C62887769379.42
C88078255592.15
Chain62528748.21
comp28442963.79
Connect284217.2
Connect382137.75
Connect48519.64
Connect586666.58
Connect683772.32
Connect785227.86
Connect881422.62
Connect939.22
Counter1243612.57
DFlipFlop60873.92
Impl61859.32
jmc_quant3631716.18
jmc_quant_squaring7761859.31
k_branch_n34117167.95
k_branch_p45124576.94
k_d4_n4641447.4
k_d4_p39133340.78
k_dum_n42418065.81
k_dum_p43328704.95
k_grz_n32319038.29
k_grz_p45330537.21
k_lin_n3984079.2
k_lin_p32832.7
k_path_n42324498.18
k_path_p38325161.66
k_ph_n5083644.44
k_ph_p42327045.42
k_poly_n32127032.98
k_poly_p41131548.65
k_t4p_n4237843.33
k_t4p_p56148658.74
Logn2943539.21
mA-t2-2qbf-5cnf-100var-1000cl22538.08
mA-t2-2qbf-5cnf-100var-1200cl223.13
mA-t2-2qbf-5cnf-100var-1400cl221.97
mA-t2-2qbf-5cnf-100var-1600cl221.96
mA-t2-2qbf-5cnf-100var-1800cl221.99
mA-t2-2qbf-5cnf-100var-200cl222.07
mA-t2-2qbf-5cnf-100var-400cl222.42
mA-t2-2qbf-5cnf-100var-600cl2287.52
mA-t2-2qbf-5cnf-100var-800cl21948.67
mA-t2-2qbf-5cnf-150var-1200cl21802.07
mA-t2-2qbf-5cnf-150var-1500cl211224.31
mA-t2-2qbf-5cnf-150var-1800cl22464.34
mA-t2-2qbf-5cnf-150var-2100cl223.56
mA-t2-2qbf-5cnf-150var-2400cl222.21
mA-t2-2qbf-5cnf-150var-2700cl221.98
mA-t2-2qbf-5cnf-150var-300cl222.13
mA-t2-2qbf-5cnf-150var-600cl223.94
mA-t2-2qbf-5cnf-150var-900cl21802.06
mA-t2-2qbf-5cnf-50var-100cl221.94
mA-t2-2qbf-5cnf-50var-200cl222
mA-t2-2qbf-5cnf-50var-300cl22421.87
mA-t2-2qbf-5cnf-50var-400cl223.7
mA-t2-2qbf-5cnf-50var-500cl221.99
mA-t2-2qbf-5cnf-50var-600cl221.95
mA-t2-2qbf-5cnf-50var-700cl221.97
mA-t2-2qbf-5cnf-50var-800cl221.96
mA-t2-2qbf-5cnf-50var-900cl221.96
mA-t2-3qbf-5cnf-100var-1000cl222.46
mA-t2-3qbf-5cnf-100var-1200cl222.18
mA-t2-3qbf-5cnf-100var-1400cl222.48
mA-t2-3qbf-5cnf-100var-1600cl222.18
mA-t2-3qbf-5cnf-100var-1800cl222.08
mA-t2-3qbf-5cnf-100var-200cl221.96
mA-t2-3qbf-5cnf-100var-400cl221.96
mA-t2-3qbf-5cnf-100var-600cl221.94
mA-t2-3qbf-5cnf-100var-800cl222.59
mA-t2-3qbf-5cnf-150var-1200cl21112.2
mA-t2-3qbf-5cnf-150var-1500cl225.86
mA-t2-3qbf-5cnf-150var-1800cl229.84
mA-t2-3qbf-5cnf-150var-2100cl225.49
mA-t2-3qbf-5cnf-150var-2400cl223.17
mA-t2-3qbf-5cnf-150var-2700cl222.66
mA-t2-3qbf-5cnf-150var-300cl221.95
mA-t2-3qbf-5cnf-150var-600cl221.96
mA-t2-3qbf-5cnf-150var-900cl221.96
mA-t2-3qbf-5cnf-50var-100cl221.97
mA-t2-3qbf-5cnf-50var-200cl221.96
mA-t2-3qbf-5cnf-50var-300cl221.97
mA-t2-3qbf-5cnf-50var-400cl221.97
mA-t2-3qbf-5cnf-50var-500cl224.72
mA-t2-3qbf-5cnf-50var-600cl222.05
mA-t2-3qbf-5cnf-50var-700cl222.04
mA-t2-3qbf-5cnf-50var-800cl221.98
mA-t2-3qbf-5cnf-50var-900cl221.98
mA-t2-4qbf-5cnf-100var-1000cl222.13
mA-t2-4qbf-5cnf-100var-1200cl222.2
mA-t2-4qbf-5cnf-100var-1400cl222.03
mA-t2-4qbf-5cnf-100var-1600cl222
mA-t2-4qbf-5cnf-100var-1800cl221.97
mA-t2-4qbf-5cnf-100var-200cl221.95
mA-t2-4qbf-5cnf-100var-400cl223.89
mA-t2-4qbf-5cnf-100var-600cl22102.61
mA-t2-4qbf-5cnf-100var-800cl223.29
mA-t2-4qbf-5cnf-150var-1200cl2269.3
mA-t2-4qbf-5cnf-150var-1500cl225.21
mA-t2-4qbf-5cnf-150var-1800cl222.11
mA-t2-4qbf-5cnf-150var-2100cl222.06
mA-t2-4qbf-5cnf-150var-2400cl222.06
mA-t2-4qbf-5cnf-150var-2700cl222.06
mA-t2-4qbf-5cnf-150var-300cl221.94
mA-t2-4qbf-5cnf-150var-600cl224.43
mA-t2-4qbf-5cnf-150var-900cl22840.16
mA-t2-4qbf-5cnf-50var-100cl221.95
mA-t2-4qbf-5cnf-50var-200cl221.99
mA-t2-4qbf-5cnf-50var-300cl2118.56
mA-t2-4qbf-5cnf-50var-400cl222.03
mA-t2-4qbf-5cnf-50var-500cl221.99
mA-t2-4qbf-5cnf-50var-600cl221.96
mA-t2-4qbf-5cnf-50var-700cl221.96
mA-t2-4qbf-5cnf-50var-800cl221.95
mA-t2-4qbf-5cnf-50var-900cl221.96
mA-t2-5qbf-5cnf-100var-1000cl226.76
mA-t2-5qbf-5cnf-100var-1200cl224.69
mA-t2-5qbf-5cnf-100var-1400cl223.75
mA-t2-5qbf-5cnf-100var-1600cl222.58
mA-t2-5qbf-5cnf-100var-1800cl222.5
mA-t2-5qbf-5cnf-100var-200cl221.95
mA-t2-5qbf-5cnf-100var-400cl221.94
mA-t2-5qbf-5cnf-100var-600cl221.95
mA-t2-5qbf-5cnf-100var-800cl2112.55
mA-t2-5qbf-5cnf-150var-1200cl221.98
mA-t2-5qbf-5cnf-150var-1500cl222.86
mA-t2-5qbf-5cnf-150var-1800cl2282.64
mA-t2-5qbf-5cnf-150var-2100cl225.2
mA-t2-5qbf-5cnf-150var-2400cl224.04
mA-t2-5qbf-5cnf-150var-2700cl222.8
mA-t2-5qbf-5cnf-150var-300cl221.95
mA-t2-5qbf-5cnf-150var-600cl221.94
mA-t2-5qbf-5cnf-150var-900cl221.96
mA-t2-5qbf-5cnf-50var-100cl221.95
mA-t2-5qbf-5cnf-50var-200cl221.95
mA-t2-5qbf-5cnf-50var-300cl221.95
mA-t2-5qbf-5cnf-50var-400cl221.96
mA-t2-5qbf-5cnf-50var-500cl222.57
mA-t2-5qbf-5cnf-50var-600cl2112.09
mA-t2-5qbf-5cnf-50var-700cl222.08
mA-t2-5qbf-5cnf-50var-800cl222.04
mA-t2-5qbf-5cnf-50var-900cl222.01
MutexP78251379.54
RobotsD296230.01
RobotsD3862534.83
RobotsD41362460.11
RobotsD5844135.66
s11964410177.55
s1269498721.66
s2736126137.29
s2983910524.28
s32718325.49
s33305311574.52
s3865319915.73
s4993715706.77
s510242325.99
s641499858.92
s7136113425.24
s8204711632.93
SzymanskiP658509.53
term1694312726.05
Toilet333314859.88
ToiletA15161818.42
ToiletC103511.71
ToiletG43742.03
Tree5326113.53
VonNeumann564156.19
z4ml614459.56