QUANTOR results solving families - 2004

Family# Total# Sat# UnsatTime
Adder471112349.05
Blocks66261052.62
C432732430102.24
C4997622783.79
C531580222189.66
C6288771019.65
C880781807.18
Chain6281.96
comp28441.45
Connect281372.06
Connect38627.13
Connect48712.98
Connect58629.95
Connect68478.79
Connect78719.67
Connect88564.3
Connect93235.2
Counter1242716.42
DFlipFlop60813.61
Impl6180.38
jmc_quant366047.78
jmc_quant_squaring7710659.17
k_branch_n341516.84
k_branch_p451682.34
k_d4_n46917.11
k_d4_p393430.93
k_dum_n4281.79
k_dum_p436448.98
k_grz_n327596.71
k_grz_p457979.12
k_lin_n39515360.19
k_lin_p3286.08
k_path_n4280.65
k_path_p3881.06
k_ph_n50610819.16
k_ph_p42327032.81
k_poly_n3280.8
k_poly_p4180.48
k_t4p_n4221327.53
k_t4p_p5641221.16
Logn294254.58
mA-t2-2qbf-5cnf-100var-1000cl222.2
mA-t2-2qbf-5cnf-100var-1200cl223.77
mA-t2-2qbf-5cnf-100var-1400cl221.68
mA-t2-2qbf-5cnf-100var-1600cl223.02
mA-t2-2qbf-5cnf-100var-1800cl224.58
mA-t2-2qbf-5cnf-100var-200cl220.28
mA-t2-2qbf-5cnf-100var-400cl223.79
mA-t2-2qbf-5cnf-100var-600cl224.55
mA-t2-2qbf-5cnf-100var-800cl220.8
mA-t2-2qbf-5cnf-150var-1200cl219.59
mA-t2-2qbf-5cnf-150var-1500cl220.86
mA-t2-2qbf-5cnf-150var-1800cl222.38
mA-t2-2qbf-5cnf-150var-2100cl224.36
mA-t2-2qbf-5cnf-150var-2400cl226.5
mA-t2-2qbf-5cnf-150var-2700cl224.01
mA-t2-2qbf-5cnf-150var-300cl220.17
mA-t2-2qbf-5cnf-150var-600cl221.55
mA-t2-2qbf-5cnf-150var-900cl220.77
mA-t2-2qbf-5cnf-50var-100cl220.02
mA-t2-2qbf-5cnf-50var-200cl250.03
mA-t2-2qbf-5cnf-50var-300cl224.75
mA-t2-2qbf-5cnf-50var-400cl222.15
mA-t2-2qbf-5cnf-50var-500cl222.96
mA-t2-2qbf-5cnf-50var-600cl224.51
mA-t2-2qbf-5cnf-50var-700cl226.26
mA-t2-2qbf-5cnf-50var-800cl228.48
mA-t2-2qbf-5cnf-50var-900cl224.75
mA-t2-3qbf-5cnf-100var-1000cl222.79
mA-t2-3qbf-5cnf-100var-1200cl224.99
mA-t2-3qbf-5cnf-100var-1400cl224.18
mA-t2-3qbf-5cnf-100var-1600cl223.09
mA-t2-3qbf-5cnf-100var-1800cl224.53
mA-t2-3qbf-5cnf-100var-200cl220
mA-t2-3qbf-5cnf-100var-400cl283
mA-t2-3qbf-5cnf-100var-600cl231
mA-t2-3qbf-5cnf-100var-800cl222.58
mA-t2-3qbf-5cnf-150var-1200cl225.5
mA-t2-3qbf-5cnf-150var-1500cl221.46
mA-t2-3qbf-5cnf-150var-1800cl222.9
mA-t2-3qbf-5cnf-150var-2100cl224.8
mA-t2-3qbf-5cnf-150var-2400cl227
mA-t2-3qbf-5cnf-150var-2700cl229.58
mA-t2-3qbf-5cnf-150var-300cl220
mA-t2-3qbf-5cnf-150var-600cl236.18
mA-t2-3qbf-5cnf-150var-900cl226.56
mA-t2-3qbf-5cnf-50var-100cl220
mA-t2-3qbf-5cnf-50var-200cl21509.3
mA-t2-3qbf-5cnf-50var-300cl2150.05
mA-t2-3qbf-5cnf-50var-400cl260.51
mA-t2-3qbf-5cnf-50var-500cl238.15
mA-t2-3qbf-5cnf-50var-600cl224.68
mA-t2-3qbf-5cnf-50var-700cl225.95
mA-t2-3qbf-5cnf-50var-800cl227.86
mA-t2-3qbf-5cnf-50var-900cl224.34
mA-t2-4qbf-5cnf-100var-1000cl222.63
mA-t2-4qbf-5cnf-100var-1200cl228.08
mA-t2-4qbf-5cnf-100var-1400cl225.93
mA-t2-4qbf-5cnf-100var-1600cl222.62
mA-t2-4qbf-5cnf-100var-1800cl223.87
mA-t2-4qbf-5cnf-100var-200cl220.03
mA-t2-4qbf-5cnf-100var-400cl2194.04
mA-t2-4qbf-5cnf-100var-600cl243.51
mA-t2-4qbf-5cnf-100var-800cl222.35
mA-t2-4qbf-5cnf-150var-1200cl245.5
mA-t2-4qbf-5cnf-150var-1500cl221.7
mA-t2-4qbf-5cnf-150var-1800cl223.05
mA-t2-4qbf-5cnf-150var-2100cl224.64
mA-t2-4qbf-5cnf-150var-2400cl226.46
mA-t2-4qbf-5cnf-150var-2700cl228.71
mA-t2-4qbf-5cnf-150var-300cl220.01
mA-t2-4qbf-5cnf-150var-600cl2123.83
mA-t2-4qbf-5cnf-150var-900cl239.09
mA-t2-4qbf-5cnf-50var-100cl220.02
mA-t2-4qbf-5cnf-50var-200cl2256.75
mA-t2-4qbf-5cnf-50var-300cl230.93
mA-t2-4qbf-5cnf-50var-400cl239.53
mA-t2-4qbf-5cnf-50var-500cl235.07
mA-t2-4qbf-5cnf-50var-600cl227.22
mA-t2-4qbf-5cnf-50var-700cl226.72
mA-t2-4qbf-5cnf-50var-800cl227.42
mA-t2-4qbf-5cnf-50var-900cl223.42
mA-t2-5qbf-5cnf-100var-1000cl239.71
mA-t2-5qbf-5cnf-100var-1200cl229.11
mA-t2-5qbf-5cnf-100var-1400cl227.21
mA-t2-5qbf-5cnf-100var-1600cl227.1
mA-t2-5qbf-5cnf-100var-1800cl223.09
mA-t2-5qbf-5cnf-100var-200cl220.02
mA-t2-5qbf-5cnf-100var-400cl220.02
mA-t2-5qbf-5cnf-100var-600cl282.88
mA-t2-5qbf-5cnf-100var-800cl250.55
mA-t2-5qbf-5cnf-150var-1200cl237.75
mA-t2-5qbf-5cnf-150var-1500cl246.72
mA-t2-5qbf-5cnf-150var-1800cl224.12
mA-t2-5qbf-5cnf-150var-2100cl223.91
mA-t2-5qbf-5cnf-150var-2400cl225.39
mA-t2-5qbf-5cnf-150var-2700cl227.53
mA-t2-5qbf-5cnf-150var-300cl220.01
mA-t2-5qbf-5cnf-150var-600cl220.02
mA-t2-5qbf-5cnf-150var-900cl255.44
mA-t2-5qbf-5cnf-50var-100cl220.01
mA-t2-5qbf-5cnf-50var-200cl220
mA-t2-5qbf-5cnf-50var-300cl2306.82
mA-t2-5qbf-5cnf-50var-400cl2188.46
mA-t2-5qbf-5cnf-50var-500cl233.26
mA-t2-5qbf-5cnf-50var-600cl232.22
mA-t2-5qbf-5cnf-50var-700cl230.61
mA-t2-5qbf-5cnf-50var-800cl225.89
mA-t2-5qbf-5cnf-50var-900cl227.47
mB-t2-2qbf-5cnf-100var-1000cl221.84
mB-t2-2qbf-5cnf-100var-1200cl222.98
mB-t2-2qbf-5cnf-100var-1400cl224.97
mB-t2-2qbf-5cnf-100var-1600cl221.56
mB-t2-2qbf-5cnf-100var-1800cl222.63
mB-t2-2qbf-5cnf-100var-200cl2110.07
mB-t2-2qbf-5cnf-100var-400cl227.29
mB-t2-2qbf-5cnf-100var-600cl227
mB-t2-2qbf-5cnf-100var-800cl221.94
mB-t2-2qbf-5cnf-150var-1200cl223.47
mB-t2-2qbf-5cnf-150var-1500cl220.16
mB-t2-2qbf-5cnf-150var-1800cl221.34
mB-t2-2qbf-5cnf-150var-2100cl222.66
mB-t2-2qbf-5cnf-150var-2400cl223.99
mB-t2-2qbf-5cnf-150var-2700cl221.93
mB-t2-2qbf-5cnf-150var-300cl221.7
mB-t2-2qbf-5cnf-150var-600cl228.5
mB-t2-2qbf-5cnf-150var-900cl223.29
mB-t2-2qbf-5cnf-50var-100cl2110.01
mB-t2-2qbf-5cnf-50var-200cl222.74
mB-t2-2qbf-5cnf-50var-300cl232.67
mB-t2-2qbf-5cnf-50var-400cl232.92
mB-t2-2qbf-5cnf-50var-500cl223.67
mB-t2-2qbf-5cnf-50var-600cl224.32
mB-t2-2qbf-5cnf-50var-700cl225.88
mB-t2-2qbf-5cnf-50var-800cl227.43
mB-t2-2qbf-5cnf-50var-900cl228.04
mB-t2-3qbf-5cnf-100var-1000cl227.37
mB-t2-3qbf-5cnf-100var-1200cl2212.89
mB-t2-3qbf-5cnf-100var-1400cl2162.99
mB-t2-3qbf-5cnf-100var-1600cl2143.51
mB-t2-3qbf-5cnf-100var-1800cl228.91
mB-t2-3qbf-5cnf-100var-200cl220.02
mB-t2-3qbf-5cnf-100var-400cl220.02
mB-t2-3qbf-5cnf-100var-600cl220.02
mB-t2-3qbf-5cnf-100var-800cl222.05
mB-t2-3qbf-5cnf-150var-1200cl2140.06
mB-t2-3qbf-5cnf-150var-1500cl2185.96
mB-t2-3qbf-5cnf-150var-1800cl239.34
mB-t2-3qbf-5cnf-150var-2100cl237.97
mB-t2-3qbf-5cnf-150var-2400cl2114.18
mB-t2-3qbf-5cnf-150var-2700cl2116.65
mB-t2-3qbf-5cnf-150var-300cl220.02
mB-t2-3qbf-5cnf-150var-600cl220.02
mB-t2-3qbf-5cnf-150var-900cl2229.87
mB-t2-3qbf-5cnf-50var-100cl220.01
mB-t2-3qbf-5cnf-50var-200cl220
mB-t2-3qbf-5cnf-50var-300cl220.02
mB-t2-3qbf-5cnf-50var-400cl220
mB-t2-3qbf-5cnf-50var-500cl220.03
mB-t2-3qbf-5cnf-50var-600cl220.07
mB-t2-3qbf-5cnf-50var-700cl220.11
mB-t2-3qbf-5cnf-50var-800cl220.06
mB-t2-3qbf-5cnf-50var-900cl220.2
mB-t2-4qbf-5cnf-100var-1000cl233.11
mB-t2-4qbf-5cnf-100var-1200cl256.74
mB-t2-4qbf-5cnf-100var-1400cl239.71
mB-t2-4qbf-5cnf-100var-1600cl243.48
mB-t2-4qbf-5cnf-100var-1800cl222.42
mB-t2-4qbf-5cnf-100var-200cl220.01
mB-t2-4qbf-5cnf-100var-400cl21561.43
mB-t2-4qbf-5cnf-100var-600cl2186.09
mB-t2-4qbf-5cnf-100var-800cl2139.67
mB-t2-4qbf-5cnf-150var-1200cl254.56
mB-t2-4qbf-5cnf-150var-1500cl2101.73
mB-t2-4qbf-5cnf-150var-1800cl229.66
mB-t2-4qbf-5cnf-150var-2100cl225.11
mB-t2-4qbf-5cnf-150var-2400cl230.56
mB-t2-4qbf-5cnf-150var-2700cl226.48
mB-t2-4qbf-5cnf-150var-300cl220.02
mB-t2-4qbf-5cnf-150var-600cl2447.81
mB-t2-4qbf-5cnf-150var-900cl2113.15
mB-t2-4qbf-5cnf-50var-100cl220.01
mB-t2-4qbf-5cnf-50var-200cl220.08
mB-t2-4qbf-5cnf-50var-300cl2875.62
mB-t2-4qbf-5cnf-50var-400cl2699.57
mB-t2-4qbf-5cnf-50var-500cl2316.2
mB-t2-4qbf-5cnf-50var-600cl2176.25
mB-t2-4qbf-5cnf-50var-700cl288.41
mB-t2-4qbf-5cnf-50var-800cl2119.01
mB-t2-4qbf-5cnf-50var-900cl282.61
mB-t2-5qbf-5cnf-100var-1000cl2270.74
mB-t2-5qbf-5cnf-100var-1200cl2107.96
mB-t2-5qbf-5cnf-100var-1400cl2145.15
mB-t2-5qbf-5cnf-100var-1600cl243.63
mB-t2-5qbf-5cnf-100var-1800cl259.59
mB-t2-5qbf-5cnf-100var-200cl220.01
mB-t2-5qbf-5cnf-100var-400cl220.02
mB-t2-5qbf-5cnf-100var-600cl220.04
mB-t2-5qbf-5cnf-100var-800cl21566.16
mB-t2-5qbf-5cnf-150var-1200cl2333.49
mB-t2-5qbf-5cnf-150var-1500cl2174.83
mB-t2-5qbf-5cnf-150var-1800cl249.32
mB-t2-5qbf-5cnf-150var-2100cl294.92
mB-t2-5qbf-5cnf-150var-2400cl240.75
mB-t2-5qbf-5cnf-150var-2700cl230.29
mB-t2-5qbf-5cnf-150var-300cl220.02
mB-t2-5qbf-5cnf-150var-600cl220.02
mB-t2-5qbf-5cnf-150var-900cl221.79
mB-t2-5qbf-5cnf-50var-100cl220
mB-t2-5qbf-5cnf-50var-200cl220.02
mB-t2-5qbf-5cnf-50var-300cl220.17
mB-t2-5qbf-5cnf-50var-400cl221.27
mB-t2-5qbf-5cnf-50var-500cl21685.82
mB-t2-5qbf-5cnf-50var-600cl21184.86
mB-t2-5qbf-5cnf-50var-700cl223.74
mB-t2-5qbf-5cnf-50var-800cl2175.05
mB-t2-5qbf-5cnf-50var-900cl2169.21
MutexP783635.32
RobotsD293177.66
RobotsD381188.4
RobotsD4133361.37
RobotsD583213.42
s11964439644.3
s12694942750.2
s27361333.01
s29839133794.97
s327180.21
s333053141784.16
s3865344184.72
s49937322000.83
s5102421624.1
s64149140297.93
s71361148822.81
s8204742347.22
SzymanskiP652679.2
term1694218559.64
Toilet33531565.97
ToiletA151652.1
ToiletC10352.74
ToiletG4370.31
Tree53260.08
uclid30380.01
VonNeumann56899.4
z4ml61440.74