sSolve results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135139.3
Blocks661144150.41
C432732143698.31
C49976254961.64
C53158072080.51
C62887769377.48
C8807870278.49
Chain6281343.83
comp28439156.62
Connect28534.28
Connect387930.1
Connect487903.22
Connect587927.6
Connect6843606.13
Connect787905.31
Connect8852707.15
Connect932902.66
Counter1225406.15
DFlipFlop60813.95
Impl6179335.89
jmc_quant3632436.29
jmc_quant_squaring7769377.38
k_branch_n34128832.2
k_branch_p45138743.22
k_d4_n4641446.29
k_d4_p39133337.56
k_dum_n42614278.09
k_dum_p43329071.45
k_grz_n32318935.26
k_grz_p4540545.28
k_lin_n3974242.09
k_lin_p3271802.3
k_path_n42517530.42
k_path_p38324402.11
k_ph_n50610817.38
k_ph_p42327130.52
k_poly_n32225514.62
k_poly_p4180.41
k_t4p_n42133869.39
k_t4p_p56148655.17
Logn294149.39
mA-t2-2qbf-5cnf-100var-1000cl221.08
mA-t2-2qbf-5cnf-100var-1200cl220.02
mA-t2-2qbf-5cnf-100var-1400cl220.03
mA-t2-2qbf-5cnf-100var-1600cl220.04
mA-t2-2qbf-5cnf-100var-1800cl220.03
mA-t2-2qbf-5cnf-100var-200cl220.01
mA-t2-2qbf-5cnf-100var-400cl211283.96
mA-t2-2qbf-5cnf-100var-600cl2260.71
mA-t2-2qbf-5cnf-100var-800cl221.46
mA-t2-2qbf-5cnf-150var-1200cl21802.01
mA-t2-2qbf-5cnf-150var-1500cl220.04
mA-t2-2qbf-5cnf-150var-1800cl220.04
mA-t2-2qbf-5cnf-150var-2100cl220.05
mA-t2-2qbf-5cnf-150var-2400cl220.05
mA-t2-2qbf-5cnf-150var-2700cl220.06
mA-t2-2qbf-5cnf-150var-300cl220
mA-t2-2qbf-5cnf-150var-600cl2245.18
mA-t2-2qbf-5cnf-150var-900cl21802.01
mA-t2-2qbf-5cnf-50var-100cl220.02
mA-t2-2qbf-5cnf-50var-200cl2110.36
mA-t2-2qbf-5cnf-50var-300cl229.27
mA-t2-2qbf-5cnf-50var-400cl220.1
mA-t2-2qbf-5cnf-50var-500cl220.02
mA-t2-2qbf-5cnf-50var-600cl220
mA-t2-2qbf-5cnf-50var-700cl220.01
mA-t2-2qbf-5cnf-50var-800cl220.02
mA-t2-2qbf-5cnf-50var-900cl220.01
mA-t2-3qbf-5cnf-100var-1000cl21901.05
mA-t2-3qbf-5cnf-100var-1200cl220.08
mA-t2-3qbf-5cnf-100var-1400cl220.03
mA-t2-3qbf-5cnf-100var-1600cl220.01
mA-t2-3qbf-5cnf-100var-1800cl220.02
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl220.01
mA-t2-3qbf-5cnf-100var-600cl220
mA-t2-3qbf-5cnf-100var-800cl21926.91
mA-t2-3qbf-5cnf-150var-1200cl21802.01
mA-t2-3qbf-5cnf-150var-1500cl21802.01
mA-t2-3qbf-5cnf-150var-1800cl221.75
mA-t2-3qbf-5cnf-150var-2100cl220.08
mA-t2-3qbf-5cnf-150var-2400cl220.06
mA-t2-3qbf-5cnf-150var-2700cl220.05
mA-t2-3qbf-5cnf-150var-300cl220.02
mA-t2-3qbf-5cnf-150var-600cl220.04
mA-t2-3qbf-5cnf-150var-900cl21901.04
mA-t2-3qbf-5cnf-50var-100cl220.02
mA-t2-3qbf-5cnf-50var-200cl220.02
mA-t2-3qbf-5cnf-50var-300cl220.02
mA-t2-3qbf-5cnf-50var-400cl222.11
mA-t2-3qbf-5cnf-50var-500cl211216.93
mA-t2-3qbf-5cnf-50var-600cl220.04
mA-t2-3qbf-5cnf-50var-700cl220.02
mA-t2-3qbf-5cnf-50var-800cl220.02
mA-t2-3qbf-5cnf-50var-900cl220.02
mA-t2-4qbf-5cnf-100var-1000cl221.21
mA-t2-4qbf-5cnf-100var-1200cl220.02
mA-t2-4qbf-5cnf-100var-1400cl220.02
mA-t2-4qbf-5cnf-100var-1600cl220.02
mA-t2-4qbf-5cnf-100var-1800cl220.03
mA-t2-4qbf-5cnf-100var-200cl220
mA-t2-4qbf-5cnf-100var-400cl220.01
mA-t2-4qbf-5cnf-100var-600cl21901.08
mA-t2-4qbf-5cnf-100var-800cl21901.05
mA-t2-4qbf-5cnf-150var-1200cl21975.82
mA-t2-4qbf-5cnf-150var-1500cl222.73
mA-t2-4qbf-5cnf-150var-1800cl220.04
mA-t2-4qbf-5cnf-150var-2100cl220.06
mA-t2-4qbf-5cnf-150var-2400cl220.05
mA-t2-4qbf-5cnf-150var-2700cl220.07
mA-t2-4qbf-5cnf-150var-300cl220.03
mA-t2-4qbf-5cnf-150var-600cl220.02
mA-t2-4qbf-5cnf-150var-900cl2112.04
mA-t2-4qbf-5cnf-50var-100cl220.01
mA-t2-4qbf-5cnf-50var-200cl220
mA-t2-4qbf-5cnf-50var-300cl220.02
mA-t2-4qbf-5cnf-50var-400cl2291.17
mA-t2-4qbf-5cnf-50var-500cl220
mA-t2-4qbf-5cnf-50var-600cl220.02
mA-t2-4qbf-5cnf-50var-700cl220.03
mA-t2-4qbf-5cnf-50var-800cl220.02
mA-t2-4qbf-5cnf-50var-900cl220.03
mA-t2-5qbf-5cnf-100var-1000cl21802
mA-t2-5qbf-5cnf-100var-1200cl21802.01
mA-t2-5qbf-5cnf-100var-1400cl220.56
mA-t2-5qbf-5cnf-100var-1600cl220.05
mA-t2-5qbf-5cnf-100var-1800cl220.03
mA-t2-5qbf-5cnf-100var-200cl220
mA-t2-5qbf-5cnf-100var-400cl220.02
mA-t2-5qbf-5cnf-100var-600cl2293.77
mA-t2-5qbf-5cnf-100var-800cl21901.02
mA-t2-5qbf-5cnf-150var-1200cl21802.01
mA-t2-5qbf-5cnf-150var-1500cl21802.01
mA-t2-5qbf-5cnf-150var-1800cl21802
mA-t2-5qbf-5cnf-150var-2100cl220.09
mA-t2-5qbf-5cnf-150var-2400cl220.06
mA-t2-5qbf-5cnf-150var-2700cl220.06
mA-t2-5qbf-5cnf-150var-300cl220.03
mA-t2-5qbf-5cnf-150var-600cl220.02
mA-t2-5qbf-5cnf-150var-900cl220.03
mA-t2-5qbf-5cnf-50var-100cl220.03
mA-t2-5qbf-5cnf-50var-200cl220.02
mA-t2-5qbf-5cnf-50var-300cl220.02
mA-t2-5qbf-5cnf-50var-400cl228.3
mA-t2-5qbf-5cnf-50var-500cl21802.01
mA-t2-5qbf-5cnf-50var-600cl21901.97
mA-t2-5qbf-5cnf-50var-700cl220.25
mA-t2-5qbf-5cnf-50var-800cl220.05
mA-t2-5qbf-5cnf-50var-900cl220.04
mB-t2-2qbf-5cnf-100var-1000cl220.04
mB-t2-2qbf-5cnf-100var-1200cl220.03
mB-t2-2qbf-5cnf-100var-1400cl220.03
mB-t2-2qbf-5cnf-100var-1600cl220.03
mB-t2-2qbf-5cnf-100var-1800cl220.04
mB-t2-2qbf-5cnf-100var-200cl2110.07
mB-t2-2qbf-5cnf-100var-400cl220.02
mB-t2-2qbf-5cnf-100var-600cl220.02
mB-t2-2qbf-5cnf-100var-800cl220.01
mB-t2-2qbf-5cnf-150var-1200cl220.03
mB-t2-2qbf-5cnf-150var-1500cl220.02
mB-t2-2qbf-5cnf-150var-1800cl220.03
mB-t2-2qbf-5cnf-150var-2100cl220.04
mB-t2-2qbf-5cnf-150var-2400cl220.02
mB-t2-2qbf-5cnf-150var-2700cl220.04
mB-t2-2qbf-5cnf-150var-300cl220.02
mB-t2-2qbf-5cnf-150var-600cl220.02
mB-t2-2qbf-5cnf-150var-900cl220
mB-t2-2qbf-5cnf-50var-100cl2110.01
mB-t2-2qbf-5cnf-50var-200cl220.01
mB-t2-2qbf-5cnf-50var-300cl220.01
mB-t2-2qbf-5cnf-50var-400cl220.02
mB-t2-2qbf-5cnf-50var-500cl220.01
mB-t2-2qbf-5cnf-50var-600cl220.01
mB-t2-2qbf-5cnf-50var-700cl220
mB-t2-2qbf-5cnf-50var-800cl220.02
mB-t2-2qbf-5cnf-50var-900cl220.02
mB-t2-3qbf-5cnf-100var-1000cl220
mB-t2-3qbf-5cnf-100var-1200cl220.03
mB-t2-3qbf-5cnf-100var-1400cl220.02
mB-t2-3qbf-5cnf-100var-1600cl220.02
mB-t2-3qbf-5cnf-100var-1800cl220.03
mB-t2-3qbf-5cnf-100var-200cl220
mB-t2-3qbf-5cnf-100var-400cl220.02
mB-t2-3qbf-5cnf-100var-600cl220.02
mB-t2-3qbf-5cnf-100var-800cl220.02
mB-t2-3qbf-5cnf-150var-1200cl220.02
mB-t2-3qbf-5cnf-150var-1500cl220.01
mB-t2-3qbf-5cnf-150var-1800cl220.02
mB-t2-3qbf-5cnf-150var-2100cl220.04
mB-t2-3qbf-5cnf-150var-2400cl220.04
mB-t2-3qbf-5cnf-150var-2700cl220.04
mB-t2-3qbf-5cnf-150var-300cl220.02
mB-t2-3qbf-5cnf-150var-600cl220.02
mB-t2-3qbf-5cnf-150var-900cl220.01
mB-t2-3qbf-5cnf-50var-100cl220.02
mB-t2-3qbf-5cnf-50var-200cl220.02
mB-t2-3qbf-5cnf-50var-300cl220.02
mB-t2-3qbf-5cnf-50var-400cl220.02
mB-t2-3qbf-5cnf-50var-500cl220.01
mB-t2-3qbf-5cnf-50var-600cl220.02
mB-t2-3qbf-5cnf-50var-700cl220.02
mB-t2-3qbf-5cnf-50var-800cl220.03
mB-t2-3qbf-5cnf-50var-900cl220.01
mB-t2-4qbf-5cnf-100var-1000cl220
mB-t2-4qbf-5cnf-100var-1200cl220.03
mB-t2-4qbf-5cnf-100var-1400cl220.03
mB-t2-4qbf-5cnf-100var-1600cl220.02
mB-t2-4qbf-5cnf-100var-1800cl220.03
mB-t2-4qbf-5cnf-100var-200cl220.01
mB-t2-4qbf-5cnf-100var-400cl220.02
mB-t2-4qbf-5cnf-100var-600cl220.02
mB-t2-4qbf-5cnf-100var-800cl220.02
mB-t2-4qbf-5cnf-150var-1200cl220.04
mB-t2-4qbf-5cnf-150var-1500cl220.03
mB-t2-4qbf-5cnf-150var-1800cl220.04
mB-t2-4qbf-5cnf-150var-2100cl220.05
mB-t2-4qbf-5cnf-150var-2400cl220.05
mB-t2-4qbf-5cnf-150var-2700cl220.06
mB-t2-4qbf-5cnf-150var-300cl220.02
mB-t2-4qbf-5cnf-150var-600cl220.02
mB-t2-4qbf-5cnf-150var-900cl220.02
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.01
mB-t2-4qbf-5cnf-50var-300cl220.01
mB-t2-4qbf-5cnf-50var-400cl220.02
mB-t2-4qbf-5cnf-50var-500cl220
mB-t2-4qbf-5cnf-50var-600cl220.01
mB-t2-4qbf-5cnf-50var-700cl220.02
mB-t2-4qbf-5cnf-50var-800cl220.01
mB-t2-4qbf-5cnf-50var-900cl220.01
mB-t2-5qbf-5cnf-100var-1000cl220.01
mB-t2-5qbf-5cnf-100var-1200cl220.02
mB-t2-5qbf-5cnf-100var-1400cl220.02
mB-t2-5qbf-5cnf-100var-1600cl220.03
mB-t2-5qbf-5cnf-100var-1800cl220.04
mB-t2-5qbf-5cnf-100var-200cl220.02
mB-t2-5qbf-5cnf-100var-400cl220.02
mB-t2-5qbf-5cnf-100var-600cl220.02
mB-t2-5qbf-5cnf-100var-800cl220.02
mB-t2-5qbf-5cnf-150var-1200cl220.01
mB-t2-5qbf-5cnf-150var-1500cl220.03
mB-t2-5qbf-5cnf-150var-1800cl220.04
mB-t2-5qbf-5cnf-150var-2100cl220.02
mB-t2-5qbf-5cnf-150var-2400cl220.02
mB-t2-5qbf-5cnf-150var-2700cl220.03
mB-t2-5qbf-5cnf-150var-300cl220.03
mB-t2-5qbf-5cnf-150var-600cl220.02
mB-t2-5qbf-5cnf-150var-900cl220.04
mB-t2-5qbf-5cnf-50var-100cl220.01
mB-t2-5qbf-5cnf-50var-200cl220
mB-t2-5qbf-5cnf-50var-300cl220.01
mB-t2-5qbf-5cnf-50var-400cl220.03
mB-t2-5qbf-5cnf-50var-500cl220.02
mB-t2-5qbf-5cnf-50var-600cl220.02
mB-t2-5qbf-5cnf-50var-700cl220.02
mB-t2-5qbf-5cnf-50var-800cl220.01
mB-t2-5qbf-5cnf-50var-900cl220.03
MutexP7871.5
RobotsD29611825.11
RobotsD3834598.67
RobotsD41352886.92
RobotsD58432072.4
s11964439644.38
s12694944149.31
s2736126129.21
s2983935139.23
s327181.03
s33305347753.29
s3865347753.22
s4993733337.26
s5102421624.12
s641491.08
s7136154961.31
s8204742347.33
SzymanskiP6581684.05
term169434664.82
Toilet335331.25
ToiletA15163634.49
ToiletC103512.15
ToiletG4370.3
Tree53267133.08
uclid3027030.11
VonNeumann56898.44
z4ml61440.61