QMRes results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47246048.67
Blocks66152565.59
C4327365773.34
C49976167354.73
C53158072080.9
C62887769377.66
C8807870278
Chain62860.32
comp28443.95
Connect2825410.26
Connect383653.71
Connect4834183.83
Connect5816187.5
Connect6815113.23
Connect782726.97
Connect881832.79
Connect9314.45
Counter1243735
DFlipFlop60223222.16
Impl6181.23
jmc_quant362115743.32
jmc_quant_squaring772133191.51
k_branch_n34128832.24
k_branch_p45138749.56
k_d4_n468219.8
k_d4_p39864.73
k_dum_n42822.49
k_dum_p43832.29
k_grz_n3284379.53
k_grz_p45856.69
k_lin_n39422958.14
k_lin_p3263625.13
k_path_n42820.58
k_path_p38864.09
k_ph_n50413112.12
k_ph_p42221851.09
k_poly_n3276605.29
k_poly_p41320035.9
k_t4p_n428385.49
k_t4p_p568154.95
Logn29217119.78
mA-t2-2qbf-5cnf-100var-1000cl21802.03
mA-t2-2qbf-5cnf-100var-1200cl21802.03
mA-t2-2qbf-5cnf-100var-1400cl21802.03
mA-t2-2qbf-5cnf-100var-1600cl21802.02
mA-t2-2qbf-5cnf-100var-1800cl21802.05
mA-t2-2qbf-5cnf-100var-200cl221.47
mA-t2-2qbf-5cnf-100var-400cl21802.04
mA-t2-2qbf-5cnf-100var-600cl21802.04
mA-t2-2qbf-5cnf-100var-800cl21802.05
mA-t2-2qbf-5cnf-150var-1200cl21802.03
mA-t2-2qbf-5cnf-150var-1500cl21802.03
mA-t2-2qbf-5cnf-150var-1800cl21802.04
mA-t2-2qbf-5cnf-150var-2100cl21802.03
mA-t2-2qbf-5cnf-150var-2400cl21802.04
mA-t2-2qbf-5cnf-150var-2700cl21802.05
mA-t2-2qbf-5cnf-150var-300cl22426.04
mA-t2-2qbf-5cnf-150var-600cl21802.06
mA-t2-2qbf-5cnf-150var-900cl21802.04
mA-t2-2qbf-5cnf-50var-100cl220.08
mA-t2-2qbf-5cnf-50var-200cl21802.03
mA-t2-2qbf-5cnf-50var-300cl21802.02
mA-t2-2qbf-5cnf-50var-400cl21802.03
mA-t2-2qbf-5cnf-50var-500cl21802.03
mA-t2-2qbf-5cnf-50var-600cl21802.03
mA-t2-2qbf-5cnf-50var-700cl21802.02
mA-t2-2qbf-5cnf-50var-800cl21802.02
mA-t2-2qbf-5cnf-50var-900cl21802.02
mA-t2-3qbf-5cnf-100var-1000cl21802.04
mA-t2-3qbf-5cnf-100var-1200cl21802.03
mA-t2-3qbf-5cnf-100var-1400cl21802.05
mA-t2-3qbf-5cnf-100var-1600cl21802.04
mA-t2-3qbf-5cnf-100var-1800cl21802.04
mA-t2-3qbf-5cnf-100var-200cl220.25
mA-t2-3qbf-5cnf-100var-400cl21802.04
mA-t2-3qbf-5cnf-100var-600cl21802.04
mA-t2-3qbf-5cnf-100var-800cl21802.04
mA-t2-3qbf-5cnf-150var-1200cl21518.51
mA-t2-3qbf-5cnf-150var-1500cl21802.07
mA-t2-3qbf-5cnf-150var-1800cl21802.04
mA-t2-3qbf-5cnf-150var-2100cl21802.29
mA-t2-3qbf-5cnf-150var-2400cl21802.06
mA-t2-3qbf-5cnf-150var-2700cl21802.04
mA-t2-3qbf-5cnf-150var-300cl2210.31
mA-t2-3qbf-5cnf-150var-600cl21802.04
mA-t2-3qbf-5cnf-150var-900cl21802.02
mA-t2-3qbf-5cnf-50var-100cl220.06
mA-t2-3qbf-5cnf-50var-200cl22916.65
mA-t2-3qbf-5cnf-50var-300cl21802.03
mA-t2-3qbf-5cnf-50var-400cl21802.04
mA-t2-3qbf-5cnf-50var-500cl21802.03
mA-t2-3qbf-5cnf-50var-600cl21802.03
mA-t2-3qbf-5cnf-50var-700cl21802.03
mA-t2-3qbf-5cnf-50var-800cl21802.03
mA-t2-3qbf-5cnf-50var-900cl21802.03
mA-t2-4qbf-5cnf-100var-1000cl21802.07
mA-t2-4qbf-5cnf-100var-1200cl21802.04
mA-t2-4qbf-5cnf-100var-1400cl21802.02
mA-t2-4qbf-5cnf-100var-1600cl21802.04
mA-t2-4qbf-5cnf-100var-1800cl21802.04
mA-t2-4qbf-5cnf-100var-200cl220.18
mA-t2-4qbf-5cnf-100var-400cl21802.04
mA-t2-4qbf-5cnf-100var-600cl21768.52
mA-t2-4qbf-5cnf-100var-800cl21802.04
mA-t2-4qbf-5cnf-150var-1200cl21802.04
mA-t2-4qbf-5cnf-150var-1500cl21802.03
mA-t2-4qbf-5cnf-150var-1800cl21802.04
mA-t2-4qbf-5cnf-150var-2100cl21802.2
mA-t2-4qbf-5cnf-150var-2400cl21802.06
mA-t2-4qbf-5cnf-150var-2700cl21732.46
mA-t2-4qbf-5cnf-150var-300cl220.65
mA-t2-4qbf-5cnf-150var-600cl21802.06
mA-t2-4qbf-5cnf-150var-900cl21638.03
mA-t2-4qbf-5cnf-50var-100cl220.06
mA-t2-4qbf-5cnf-50var-200cl211041.73
mA-t2-4qbf-5cnf-50var-300cl21802.03
mA-t2-4qbf-5cnf-50var-400cl21802.04
mA-t2-4qbf-5cnf-50var-500cl21802.04
mA-t2-4qbf-5cnf-50var-600cl21802.04
mA-t2-4qbf-5cnf-50var-700cl21802.04
mA-t2-4qbf-5cnf-50var-800cl21802.04
mA-t2-4qbf-5cnf-50var-900cl21802.04
mA-t2-5qbf-5cnf-100var-1000cl21802.04
mA-t2-5qbf-5cnf-100var-1200cl21802.04
mA-t2-5qbf-5cnf-100var-1400cl21802.04
mA-t2-5qbf-5cnf-100var-1600cl21802.05
mA-t2-5qbf-5cnf-100var-1800cl21802.05
mA-t2-5qbf-5cnf-100var-200cl220.2
mA-t2-5qbf-5cnf-100var-400cl2292.2
mA-t2-5qbf-5cnf-100var-600cl21802.05
mA-t2-5qbf-5cnf-100var-800cl21802.05
mA-t2-5qbf-5cnf-150var-1200cl21802.23
mA-t2-5qbf-5cnf-150var-1500cl21802.08
mA-t2-5qbf-5cnf-150var-1800cl21802.05
mA-t2-5qbf-5cnf-150var-2100cl21802.05
mA-t2-5qbf-5cnf-150var-2400cl21802.29
mA-t2-5qbf-5cnf-150var-2700cl21802.4
mA-t2-5qbf-5cnf-150var-300cl220.47
mA-t2-5qbf-5cnf-150var-600cl21802.05
mA-t2-5qbf-5cnf-150var-900cl21802.05
mA-t2-5qbf-5cnf-50var-100cl220.07
mA-t2-5qbf-5cnf-50var-200cl221.78
mA-t2-5qbf-5cnf-50var-300cl21802.04
mA-t2-5qbf-5cnf-50var-400cl21802.04
mA-t2-5qbf-5cnf-50var-500cl21802.04
mA-t2-5qbf-5cnf-50var-600cl21802.05
mA-t2-5qbf-5cnf-50var-700cl21802.06
mA-t2-5qbf-5cnf-50var-800cl21802.05
mA-t2-5qbf-5cnf-50var-900cl21802.04
mB-t2-2qbf-5cnf-100var-1000cl21802.05
mB-t2-2qbf-5cnf-100var-1200cl21802.04
mB-t2-2qbf-5cnf-100var-1400cl21802.04
mB-t2-2qbf-5cnf-100var-1600cl21802.05
mB-t2-2qbf-5cnf-100var-1800cl21802.05
mB-t2-2qbf-5cnf-100var-200cl2110.24
mB-t2-2qbf-5cnf-100var-400cl21802.04
mB-t2-2qbf-5cnf-100var-600cl21802.03
mB-t2-2qbf-5cnf-100var-800cl21802.03
mB-t2-2qbf-5cnf-150var-1200cl21802.03
mB-t2-2qbf-5cnf-150var-1500cl21802.04
mB-t2-2qbf-5cnf-150var-1800cl21802.04
mB-t2-2qbf-5cnf-150var-2100cl21802.03
mB-t2-2qbf-5cnf-150var-2400cl21802.06
mB-t2-2qbf-5cnf-150var-2700cl21802.04
mB-t2-2qbf-5cnf-150var-300cl2254.94
mB-t2-2qbf-5cnf-150var-600cl21802.06
mB-t2-2qbf-5cnf-150var-900cl21802.05
mB-t2-2qbf-5cnf-50var-100cl2110.05
mB-t2-2qbf-5cnf-50var-200cl22120.87
mB-t2-2qbf-5cnf-50var-300cl21802.02
mB-t2-2qbf-5cnf-50var-400cl21802.02
mB-t2-2qbf-5cnf-50var-500cl21802.02
mB-t2-2qbf-5cnf-50var-600cl21802.02
mB-t2-2qbf-5cnf-50var-700cl21802.02
mB-t2-2qbf-5cnf-50var-800cl21802.02
mB-t2-2qbf-5cnf-50var-900cl21802.02
mB-t2-3qbf-5cnf-100var-1000cl221.12
mB-t2-3qbf-5cnf-100var-1200cl21901.85
mB-t2-3qbf-5cnf-100var-1400cl21902.23
mB-t2-3qbf-5cnf-100var-1600cl21902.63
mB-t2-3qbf-5cnf-100var-1800cl222.11
mB-t2-3qbf-5cnf-100var-200cl220.19
mB-t2-3qbf-5cnf-100var-400cl220.4
mB-t2-3qbf-5cnf-100var-600cl221.06
mB-t2-3qbf-5cnf-100var-800cl2218.31
mB-t2-3qbf-5cnf-150var-1200cl223.22
mB-t2-3qbf-5cnf-150var-1500cl21904.9
mB-t2-3qbf-5cnf-150var-1800cl21802.04
mB-t2-3qbf-5cnf-150var-2100cl226.2
mB-t2-3qbf-5cnf-150var-2400cl21903.53
mB-t2-3qbf-5cnf-150var-2700cl2212.28
mB-t2-3qbf-5cnf-150var-300cl220.41
mB-t2-3qbf-5cnf-150var-600cl220.99
mB-t2-3qbf-5cnf-150var-900cl224.47
mB-t2-3qbf-5cnf-50var-100cl220.06
mB-t2-3qbf-5cnf-50var-200cl220.09
mB-t2-3qbf-5cnf-50var-300cl220.18
mB-t2-3qbf-5cnf-50var-400cl220.51
mB-t2-3qbf-5cnf-50var-500cl228.19
mB-t2-3qbf-5cnf-50var-600cl2257.06
mB-t2-3qbf-5cnf-50var-700cl22130.5
mB-t2-3qbf-5cnf-50var-800cl22572.83
mB-t2-3qbf-5cnf-50var-900cl21901.16
mB-t2-4qbf-5cnf-100var-1000cl21802.06
mB-t2-4qbf-5cnf-100var-1200cl21802.03
mB-t2-4qbf-5cnf-100var-1400cl21802.06
mB-t2-4qbf-5cnf-100var-1600cl21802.03
mB-t2-4qbf-5cnf-100var-1800cl21802.03
mB-t2-4qbf-5cnf-100var-200cl220.24
mB-t2-4qbf-5cnf-100var-400cl21802.04
mB-t2-4qbf-5cnf-100var-600cl21802.03
mB-t2-4qbf-5cnf-100var-800cl21802.06
mB-t2-4qbf-5cnf-150var-1200cl21802.03
mB-t2-4qbf-5cnf-150var-1500cl21802.04
mB-t2-4qbf-5cnf-150var-1800cl21802.04
mB-t2-4qbf-5cnf-150var-2100cl21802.06
mB-t2-4qbf-5cnf-150var-2400cl21802.05
mB-t2-4qbf-5cnf-150var-2700cl21802.03
mB-t2-4qbf-5cnf-150var-300cl220.49
mB-t2-4qbf-5cnf-150var-600cl21802.02
mB-t2-4qbf-5cnf-150var-900cl21802
mB-t2-4qbf-5cnf-50var-100cl220.06
mB-t2-4qbf-5cnf-50var-200cl221.25
mB-t2-4qbf-5cnf-50var-300cl21802
mB-t2-4qbf-5cnf-50var-400cl21802.03
mB-t2-4qbf-5cnf-50var-500cl21802.04
mB-t2-4qbf-5cnf-50var-600cl21802.06
mB-t2-4qbf-5cnf-50var-700cl21802.03
mB-t2-4qbf-5cnf-50var-800cl21802.04
mB-t2-4qbf-5cnf-50var-900cl21802.04
mB-t2-5qbf-5cnf-100var-1000cl225.27
mB-t2-5qbf-5cnf-100var-1200cl225.58
mB-t2-5qbf-5cnf-100var-1400cl22135.14
mB-t2-5qbf-5cnf-100var-1600cl22857.15
mB-t2-5qbf-5cnf-100var-1800cl21903.5
mB-t2-5qbf-5cnf-100var-200cl220.24
mB-t2-5qbf-5cnf-100var-400cl221.55
mB-t2-5qbf-5cnf-100var-600cl222.8
mB-t2-5qbf-5cnf-100var-800cl226.81
mB-t2-5qbf-5cnf-150var-1200cl2224.56
mB-t2-5qbf-5cnf-150var-1500cl2223.63
mB-t2-5qbf-5cnf-150var-1800cl22195.8
mB-t2-5qbf-5cnf-150var-2100cl21802.06
mB-t2-5qbf-5cnf-150var-2400cl21908.31
mB-t2-5qbf-5cnf-150var-2700cl21919.56
mB-t2-5qbf-5cnf-150var-300cl220.71
mB-t2-5qbf-5cnf-150var-600cl224.43
mB-t2-5qbf-5cnf-150var-900cl2210.2
mB-t2-5qbf-5cnf-50var-100cl220.08
mB-t2-5qbf-5cnf-50var-200cl220.27
mB-t2-5qbf-5cnf-50var-300cl220.69
mB-t2-5qbf-5cnf-50var-400cl220.51
mB-t2-5qbf-5cnf-50var-500cl221.37
mB-t2-5qbf-5cnf-50var-600cl2216.42
mB-t2-5qbf-5cnf-50var-700cl226.13
mB-t2-5qbf-5cnf-50var-800cl2230.73
mB-t2-5qbf-5cnf-50var-900cl22133.22
MutexP78418177.74
RobotsD2934509.82
RobotsD387208.13
RobotsD413110813.25
RobotsD5816308.04
s11964416048.78
s1269497851.79
s273613301.83
s298397340.49
s32718135.98
s3330538066.87
s3865327190.01
s49937111952.74
s51024457.73
s64149576.9
s7136123169.04
s8204711444.87
SzymanskiP65123547.35
term1693317319.31
Toilet33437200.02
ToiletA15155445.6
ToiletC10152892.38
ToiletG4370.54
Tree53260.76
uclid3027030.19
VonNeumann568000.27
z4ml61441.22