CSBJ results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135139.25
Blocks6659466.44
C43273344165.33
C49976254963.17
C531580255864.57
C62887769377.58
C88078161271.48
Chain6287381.54
comp28443178.54
Connect28535.63
Connect387922.62
Connect487903.96
Connect587907.35
Connect6843606.32
Connect787906.11
Connect8852708.23
Connect932903.3
Counter1234569.33
DFlipFlop60824.4
Impl6180.46
jmc_quant3632436.24
jmc_quant_squaring7769377.67
k_branch_n34128832.21
k_branch_p4540545.37
k_d4_n4641446.02
k_d4_p39133746.12
k_dum_n42227065.84
k_dum_p43136945.47
k_grz_n32222435.19
k_grz_p45233553.49
k_lin_n39325247.57
k_lin_p32323752.83
k_path_n42326715.37
k_path_p38226130.06
k_ph_n50611238.91
k_ph_p42228832.77
k_poly_n32226040.02
k_poly_p41135260.85
k_t4p_n4237842.21
k_t4p_p56148764.94
Logn2917119.15
mA-t2-2qbf-5cnf-100var-1000cl21802.02
mA-t2-2qbf-5cnf-100var-1200cl211044.69
mA-t2-2qbf-5cnf-100var-1400cl2257.55
mA-t2-2qbf-5cnf-100var-1600cl220.37
mA-t2-2qbf-5cnf-100var-1800cl220.1
mA-t2-2qbf-5cnf-100var-200cl211645.82
mA-t2-2qbf-5cnf-100var-400cl21802
mA-t2-2qbf-5cnf-100var-600cl21802.01
mA-t2-2qbf-5cnf-100var-800cl21802.02
mA-t2-2qbf-5cnf-150var-1200cl21802.02
mA-t2-2qbf-5cnf-150var-1500cl21802.02
mA-t2-2qbf-5cnf-150var-1800cl21802.02
mA-t2-2qbf-5cnf-150var-2100cl21936.41
mA-t2-2qbf-5cnf-150var-2400cl21909.03
mA-t2-2qbf-5cnf-150var-2700cl220.06
mA-t2-2qbf-5cnf-150var-300cl211509.1
mA-t2-2qbf-5cnf-150var-600cl21802.02
mA-t2-2qbf-5cnf-150var-900cl21802.01
mA-t2-2qbf-5cnf-50var-100cl220.09
mA-t2-2qbf-5cnf-50var-200cl21802.02
mA-t2-2qbf-5cnf-50var-300cl21802.02
mA-t2-2qbf-5cnf-50var-400cl21802.02
mA-t2-2qbf-5cnf-50var-500cl22264.14
mA-t2-2qbf-5cnf-50var-600cl224.58
mA-t2-2qbf-5cnf-50var-700cl220.43
mA-t2-2qbf-5cnf-50var-800cl220.02
mA-t2-2qbf-5cnf-50var-900cl220.03
mA-t2-3qbf-5cnf-100var-1000cl21802.01
mA-t2-3qbf-5cnf-100var-1200cl21802.02
mA-t2-3qbf-5cnf-100var-1400cl21802.01
mA-t2-3qbf-5cnf-100var-1600cl211458.67
mA-t2-3qbf-5cnf-100var-1800cl21903.31
mA-t2-3qbf-5cnf-100var-200cl220.01
mA-t2-3qbf-5cnf-100var-400cl220
mA-t2-3qbf-5cnf-100var-600cl220.09
mA-t2-3qbf-5cnf-100var-800cl21802.01
mA-t2-3qbf-5cnf-150var-1200cl21802.01
mA-t2-3qbf-5cnf-150var-1500cl21802
mA-t2-3qbf-5cnf-150var-1800cl21802.02
mA-t2-3qbf-5cnf-150var-2100cl21802.02
mA-t2-3qbf-5cnf-150var-2400cl21802.01
mA-t2-3qbf-5cnf-150var-2700cl21802.02
mA-t2-3qbf-5cnf-150var-300cl220.02
mA-t2-3qbf-5cnf-150var-600cl220.01
mA-t2-3qbf-5cnf-150var-900cl21915.63
mA-t2-3qbf-5cnf-50var-100cl220
mA-t2-3qbf-5cnf-50var-200cl220
mA-t2-3qbf-5cnf-50var-300cl220.06
mA-t2-3qbf-5cnf-50var-400cl2229.28
mA-t2-3qbf-5cnf-50var-500cl21802.01
mA-t2-3qbf-5cnf-50var-600cl211640.09
mA-t2-3qbf-5cnf-50var-700cl21939.12
mA-t2-3qbf-5cnf-50var-800cl222.07
mA-t2-3qbf-5cnf-50var-900cl220.14
mA-t2-4qbf-5cnf-100var-1000cl21802
mA-t2-4qbf-5cnf-100var-1200cl21802.01
mA-t2-4qbf-5cnf-100var-1400cl22819.34
mA-t2-4qbf-5cnf-100var-1600cl220.26
mA-t2-4qbf-5cnf-100var-1800cl221.25
mA-t2-4qbf-5cnf-100var-200cl220.02
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802.02
mA-t2-4qbf-5cnf-100var-800cl21802
mA-t2-4qbf-5cnf-150var-1200cl21802.02
mA-t2-4qbf-5cnf-150var-1500cl21802.02
mA-t2-4qbf-5cnf-150var-1800cl21802
mA-t2-4qbf-5cnf-150var-2100cl21929.8
mA-t2-4qbf-5cnf-150var-2400cl22637.32
mA-t2-4qbf-5cnf-150var-2700cl211049.92
mA-t2-4qbf-5cnf-150var-300cl220.01
mA-t2-4qbf-5cnf-150var-600cl21802
mA-t2-4qbf-5cnf-150var-900cl21802.01
mA-t2-4qbf-5cnf-50var-100cl220.01
mA-t2-4qbf-5cnf-50var-200cl2220.3
mA-t2-4qbf-5cnf-50var-300cl21802.01
mA-t2-4qbf-5cnf-50var-400cl21904.38
mA-t2-4qbf-5cnf-50var-500cl21917.11
mA-t2-4qbf-5cnf-50var-600cl220.72
mA-t2-4qbf-5cnf-50var-700cl220.41
mA-t2-4qbf-5cnf-50var-800cl222.18
mA-t2-4qbf-5cnf-50var-900cl220.32
mA-t2-5qbf-5cnf-100var-1000cl21802.01
mA-t2-5qbf-5cnf-100var-1200cl21802
mA-t2-5qbf-5cnf-100var-1400cl21802.01
mA-t2-5qbf-5cnf-100var-1600cl21802.01
mA-t2-5qbf-5cnf-100var-1800cl21802.02
mA-t2-5qbf-5cnf-100var-200cl220.01
mA-t2-5qbf-5cnf-100var-400cl220
mA-t2-5qbf-5cnf-100var-600cl220.02
mA-t2-5qbf-5cnf-100var-800cl21802.01
mA-t2-5qbf-5cnf-150var-1200cl21802
mA-t2-5qbf-5cnf-150var-1500cl21802.01
mA-t2-5qbf-5cnf-150var-1800cl21802.01
mA-t2-5qbf-5cnf-150var-2100cl21802.01
mA-t2-5qbf-5cnf-150var-2400cl21802.01
mA-t2-5qbf-5cnf-150var-2700cl21802.01
mA-t2-5qbf-5cnf-150var-300cl220.02
mA-t2-5qbf-5cnf-150var-600cl220
mA-t2-5qbf-5cnf-150var-900cl220.04
mA-t2-5qbf-5cnf-50var-100cl220.02
mA-t2-5qbf-5cnf-50var-200cl220
mA-t2-5qbf-5cnf-50var-300cl220.01
mA-t2-5qbf-5cnf-50var-400cl227.81
mA-t2-5qbf-5cnf-50var-500cl211197.65
mA-t2-5qbf-5cnf-50var-600cl21802
mA-t2-5qbf-5cnf-50var-700cl21982.76
mA-t2-5qbf-5cnf-50var-800cl211079.79
mA-t2-5qbf-5cnf-50var-900cl211035.31
mB-t2-2qbf-5cnf-100var-1000cl220.01
mB-t2-2qbf-5cnf-100var-1200cl220.04
mB-t2-2qbf-5cnf-100var-1400cl220.04
mB-t2-2qbf-5cnf-100var-1600cl220.02
mB-t2-2qbf-5cnf-100var-1800cl220.01
mB-t2-2qbf-5cnf-100var-200cl211320.58
mB-t2-2qbf-5cnf-100var-400cl222.87
mB-t2-2qbf-5cnf-100var-600cl220.02
mB-t2-2qbf-5cnf-100var-800cl220.03
mB-t2-2qbf-5cnf-150var-1200cl220.07
mB-t2-2qbf-5cnf-150var-1500cl220.03
mB-t2-2qbf-5cnf-150var-1800cl220.02
mB-t2-2qbf-5cnf-150var-2100cl220.02
mB-t2-2qbf-5cnf-150var-2400cl220.04
mB-t2-2qbf-5cnf-150var-2700cl220.04
mB-t2-2qbf-5cnf-150var-300cl220.17
mB-t2-2qbf-5cnf-150var-600cl220.13
mB-t2-2qbf-5cnf-150var-900cl220.06
mB-t2-2qbf-5cnf-50var-100cl2110.06
mB-t2-2qbf-5cnf-50var-200cl220.28
mB-t2-2qbf-5cnf-50var-300cl220
mB-t2-2qbf-5cnf-50var-400cl220.01
mB-t2-2qbf-5cnf-50var-500cl220.02
mB-t2-2qbf-5cnf-50var-600cl220.02
mB-t2-2qbf-5cnf-50var-700cl220.02
mB-t2-2qbf-5cnf-50var-800cl220.02
mB-t2-2qbf-5cnf-50var-900cl220.02
mB-t2-3qbf-5cnf-100var-1000cl220.02
mB-t2-3qbf-5cnf-100var-1200cl220.01
mB-t2-3qbf-5cnf-100var-1400cl220.02
mB-t2-3qbf-5cnf-100var-1600cl220
mB-t2-3qbf-5cnf-100var-1800cl220.01
mB-t2-3qbf-5cnf-100var-200cl220.01
mB-t2-3qbf-5cnf-100var-400cl220.01
mB-t2-3qbf-5cnf-100var-600cl220.01
mB-t2-3qbf-5cnf-100var-800cl220.01
mB-t2-3qbf-5cnf-150var-1200cl220
mB-t2-3qbf-5cnf-150var-1500cl220
mB-t2-3qbf-5cnf-150var-1800cl220.03
mB-t2-3qbf-5cnf-150var-2100cl220.02
mB-t2-3qbf-5cnf-150var-2400cl220.02
mB-t2-3qbf-5cnf-150var-2700cl220.02
mB-t2-3qbf-5cnf-150var-300cl220
mB-t2-3qbf-5cnf-150var-600cl220.04
mB-t2-3qbf-5cnf-150var-900cl220.02
mB-t2-3qbf-5cnf-50var-100cl220
mB-t2-3qbf-5cnf-50var-200cl220
mB-t2-3qbf-5cnf-50var-300cl220
mB-t2-3qbf-5cnf-50var-400cl220
mB-t2-3qbf-5cnf-50var-500cl220.01
mB-t2-3qbf-5cnf-50var-600cl220
mB-t2-3qbf-5cnf-50var-700cl220
mB-t2-3qbf-5cnf-50var-800cl220
mB-t2-3qbf-5cnf-50var-900cl220
mB-t2-4qbf-5cnf-100var-1000cl220
mB-t2-4qbf-5cnf-100var-1200cl220.01
mB-t2-4qbf-5cnf-100var-1400cl220.03
mB-t2-4qbf-5cnf-100var-1600cl220.02
mB-t2-4qbf-5cnf-100var-1800cl220.04
mB-t2-4qbf-5cnf-100var-200cl220.02
mB-t2-4qbf-5cnf-100var-400cl220.01
mB-t2-4qbf-5cnf-100var-600cl220.02
mB-t2-4qbf-5cnf-100var-800cl220.04
mB-t2-4qbf-5cnf-150var-1200cl220.03
mB-t2-4qbf-5cnf-150var-1500cl220.02
mB-t2-4qbf-5cnf-150var-1800cl220.04
mB-t2-4qbf-5cnf-150var-2100cl220.03
mB-t2-4qbf-5cnf-150var-2400cl220.04
mB-t2-4qbf-5cnf-150var-2700cl220.04
mB-t2-4qbf-5cnf-150var-300cl220.02
mB-t2-4qbf-5cnf-150var-600cl220.02
mB-t2-4qbf-5cnf-150var-900cl220.04
mB-t2-4qbf-5cnf-50var-100cl220.02
mB-t2-4qbf-5cnf-50var-200cl220.01
mB-t2-4qbf-5cnf-50var-300cl220.02
mB-t2-4qbf-5cnf-50var-400cl220.02
mB-t2-4qbf-5cnf-50var-500cl220.02
mB-t2-4qbf-5cnf-50var-600cl220.02
mB-t2-4qbf-5cnf-50var-700cl220.02
mB-t2-4qbf-5cnf-50var-800cl220.02
mB-t2-4qbf-5cnf-50var-900cl220
mB-t2-5qbf-5cnf-100var-1000cl220
mB-t2-5qbf-5cnf-100var-1200cl220
mB-t2-5qbf-5cnf-100var-1400cl220
mB-t2-5qbf-5cnf-100var-1600cl220
mB-t2-5qbf-5cnf-100var-1800cl220.02
mB-t2-5qbf-5cnf-100var-200cl220
mB-t2-5qbf-5cnf-100var-400cl220
mB-t2-5qbf-5cnf-100var-600cl220.02
mB-t2-5qbf-5cnf-100var-800cl220.18
mB-t2-5qbf-5cnf-150var-1200cl220.04
mB-t2-5qbf-5cnf-150var-1500cl220.01
mB-t2-5qbf-5cnf-150var-1800cl220.02
mB-t2-5qbf-5cnf-150var-2100cl220.02
mB-t2-5qbf-5cnf-150var-2400cl220.03
mB-t2-5qbf-5cnf-150var-2700cl220.02
mB-t2-5qbf-5cnf-150var-300cl220
mB-t2-5qbf-5cnf-150var-600cl220
mB-t2-5qbf-5cnf-150var-900cl220.39
mB-t2-5qbf-5cnf-50var-100cl220.01
mB-t2-5qbf-5cnf-50var-200cl220
mB-t2-5qbf-5cnf-50var-300cl220
mB-t2-5qbf-5cnf-50var-400cl220
mB-t2-5qbf-5cnf-50var-500cl220.01
mB-t2-5qbf-5cnf-50var-600cl220.02
mB-t2-5qbf-5cnf-50var-700cl220.02
mB-t2-5qbf-5cnf-50var-800cl220.02
mB-t2-5qbf-5cnf-50var-900cl220.02
MutexP78343263.84
RobotsD2952936.56
RobotsD3816355.36
RobotsD41346495.48
RobotsD5844058
s11964439644.19
s12694944149.41
s2736126129.66
s2983935139.26
s327181.22
s33305347753.45
s3865347753.38
s4993733337.29
s5102421624.1
s6414944149.39
s7136154961.51
s8204742347.3
SzymanskiP658443.03
term169435176.53
Toilet3353447.3
ToiletA1517146.15
ToiletC10351.79
ToiletG4370.43
Tree531519104.68
uclid3027030.11
VonNeumann567122.85
z4ml61440.21