semprop results solving families - 2004

Family# Total# Sat# UnsatTime
Adder47135139.13
Blocks662135315.89
C432733326255.95
C49976349328.33
C53158072080.62
C628877160406.67
C88078254131.49
Chain6282.53
comp28434365.62
Connect28534.71
Connect387973.51
Connect487903.86
Connect5871116.74
Connect6843606.74
Connect787906.99
Connect8852708.25
Connect932902.96
Counter1243605.57
DFlipFlop60835.89
Impl6180.62
jmc_quant3632436.15
jmc_quant_squaring7769377.27
k_branch_n34419593.06
k_branch_p45323452.76
k_d4_n46140035.35
k_d4_p39710721.79
k_dum_n4281.87
k_dum_p43849.39
k_grz_n32711525.8
k_grz_p45423524.1
k_lin_n39877.16
k_lin_p32225404.47
k_path_n42837.97
k_path_p38516564.51
k_ph_n50610901.58
k_ph_p42228832.46
k_poly_n3282.79
k_poly_p4181442.88
k_t4p_n42227679.14
k_t4p_p56238768.14
Logn292251.63
mA-t2-2qbf-5cnf-100var-1000cl229.09
mA-t2-2qbf-5cnf-100var-1200cl220.03
mA-t2-2qbf-5cnf-100var-1400cl220.02
mA-t2-2qbf-5cnf-100var-1600cl220.04
mA-t2-2qbf-5cnf-100var-1800cl220.05
mA-t2-2qbf-5cnf-100var-200cl21916.6
mA-t2-2qbf-5cnf-100var-400cl21802.02
mA-t2-2qbf-5cnf-100var-600cl21902.22
mA-t2-2qbf-5cnf-100var-800cl21802.01
mA-t2-2qbf-5cnf-150var-1200cl2149.23
mA-t2-2qbf-5cnf-150var-1500cl2110.47
mA-t2-2qbf-5cnf-150var-1800cl220.02
mA-t2-2qbf-5cnf-150var-2100cl220.03
mA-t2-2qbf-5cnf-150var-2400cl220.04
mA-t2-2qbf-5cnf-150var-2700cl220.04
mA-t2-2qbf-5cnf-150var-300cl22894.1
mA-t2-2qbf-5cnf-150var-600cl21802.01
mA-t2-2qbf-5cnf-150var-900cl2456.49
mA-t2-2qbf-5cnf-50var-100cl220.03
mA-t2-2qbf-5cnf-50var-200cl211568.8
mA-t2-2qbf-5cnf-50var-300cl21802
mA-t2-2qbf-5cnf-50var-400cl220.3
mA-t2-2qbf-5cnf-50var-500cl220.04
mA-t2-2qbf-5cnf-50var-600cl220.03
mA-t2-2qbf-5cnf-50var-700cl220.01
mA-t2-2qbf-5cnf-50var-800cl220.02
mA-t2-2qbf-5cnf-50var-900cl220.03
mA-t2-3qbf-5cnf-100var-1000cl24.51
mA-t2-3qbf-5cnf-100var-1200cl2114.99
mA-t2-3qbf-5cnf-100var-1400cl221.91
mA-t2-3qbf-5cnf-100var-1600cl220.68
mA-t2-3qbf-5cnf-100var-1800cl220.34
mA-t2-3qbf-5cnf-100var-200cl220.02
mA-t2-3qbf-5cnf-100var-400cl220.01
mA-t2-3qbf-5cnf-100var-600cl220.01
mA-t2-3qbf-5cnf-100var-800cl2122.13
mA-t2-3qbf-5cnf-150var-1200cl211289.99
mA-t2-3qbf-5cnf-150var-1500cl21802
mA-t2-3qbf-5cnf-150var-1800cl22471.36
mA-t2-3qbf-5cnf-150var-2100cl22115.18
mA-t2-3qbf-5cnf-150var-2400cl2210.54
mA-t2-3qbf-5cnf-150var-2700cl221.13
mA-t2-3qbf-5cnf-150var-300cl220
mA-t2-3qbf-5cnf-150var-600cl220.01
mA-t2-3qbf-5cnf-150var-900cl220.13
mA-t2-3qbf-5cnf-50var-100cl220
mA-t2-3qbf-5cnf-50var-200cl220
mA-t2-3qbf-5cnf-50var-300cl220
mA-t2-3qbf-5cnf-50var-400cl220.18
mA-t2-3qbf-5cnf-50var-500cl21193.45
mA-t2-3qbf-5cnf-50var-600cl220.6
mA-t2-3qbf-5cnf-50var-700cl220.22
mA-t2-3qbf-5cnf-50var-800cl220.04
mA-t2-3qbf-5cnf-50var-900cl220.06
mA-t2-4qbf-5cnf-100var-1000cl220.22
mA-t2-4qbf-5cnf-100var-1200cl220.56
mA-t2-4qbf-5cnf-100var-1400cl220.05
mA-t2-4qbf-5cnf-100var-1600cl220.04
mA-t2-4qbf-5cnf-100var-1800cl220.04
mA-t2-4qbf-5cnf-100var-200cl220.02
mA-t2-4qbf-5cnf-100var-400cl21802.01
mA-t2-4qbf-5cnf-100var-600cl21802
mA-t2-4qbf-5cnf-100var-800cl21901.04
mA-t2-4qbf-5cnf-150var-1200cl214.53
mA-t2-4qbf-5cnf-150var-1500cl221.59
mA-t2-4qbf-5cnf-150var-1800cl220.48
mA-t2-4qbf-5cnf-150var-2100cl221.32
mA-t2-4qbf-5cnf-150var-2400cl220.06
mA-t2-4qbf-5cnf-150var-2700cl220.05
mA-t2-4qbf-5cnf-150var-300cl220.02
mA-t2-4qbf-5cnf-150var-600cl21802.01
mA-t2-4qbf-5cnf-150var-900cl2917.58
mA-t2-4qbf-5cnf-50var-100cl220.01
mA-t2-4qbf-5cnf-50var-200cl221.59
mA-t2-4qbf-5cnf-50var-300cl21802.01
mA-t2-4qbf-5cnf-50var-400cl220.47
mA-t2-4qbf-5cnf-50var-500cl220
mA-t2-4qbf-5cnf-50var-600cl220.04
mA-t2-4qbf-5cnf-50var-700cl220.03
mA-t2-4qbf-5cnf-50var-800cl220.02
mA-t2-4qbf-5cnf-50var-900cl220.02
mA-t2-5qbf-5cnf-100var-1000cl21802
mA-t2-5qbf-5cnf-100var-1200cl21802.01
mA-t2-5qbf-5cnf-100var-1400cl2216.46
mA-t2-5qbf-5cnf-100var-1600cl224.29
mA-t2-5qbf-5cnf-100var-1800cl220.9
mA-t2-5qbf-5cnf-100var-200cl220.02
mA-t2-5qbf-5cnf-100var-400cl220.02
mA-t2-5qbf-5cnf-100var-600cl220.03
mA-t2-5qbf-5cnf-100var-800cl22229.22
mA-t2-5qbf-5cnf-150var-1200cl21802.01
mA-t2-5qbf-5cnf-150var-1500cl21802.02
mA-t2-5qbf-5cnf-150var-1800cl21802.01
mA-t2-5qbf-5cnf-150var-2100cl2221.03
mA-t2-5qbf-5cnf-150var-2400cl2231.71
mA-t2-5qbf-5cnf-150var-2700cl2214.66
mA-t2-5qbf-5cnf-150var-300cl220.02
mA-t2-5qbf-5cnf-150var-600cl220.02
mA-t2-5qbf-5cnf-150var-900cl220.02
mA-t2-5qbf-5cnf-50var-100cl220.02
mA-t2-5qbf-5cnf-50var-200cl220.02
mA-t2-5qbf-5cnf-50var-300cl220.02
mA-t2-5qbf-5cnf-50var-400cl220.14
mA-t2-5qbf-5cnf-50var-500cl21954.96
mA-t2-5qbf-5cnf-50var-600cl21901.07
mA-t2-5qbf-5cnf-50var-700cl220.88
mA-t2-5qbf-5cnf-50var-800cl220.19
mA-t2-5qbf-5cnf-50var-900cl220.05
mB-t2-2qbf-5cnf-100var-1000cl220.01
mB-t2-2qbf-5cnf-100var-1200cl220.03
mB-t2-2qbf-5cnf-100var-1400cl220.05
mB-t2-2qbf-5cnf-100var-1600cl220.02
mB-t2-2qbf-5cnf-100var-1800cl220.04
mB-t2-2qbf-5cnf-100var-200cl21111.28
mB-t2-2qbf-5cnf-100var-400cl220.04
mB-t2-2qbf-5cnf-100var-600cl220.02
mB-t2-2qbf-5cnf-100var-800cl220.01
mB-t2-2qbf-5cnf-150var-1200cl220
mB-t2-2qbf-5cnf-150var-1500cl220.02
mB-t2-2qbf-5cnf-150var-1800cl220.02
mB-t2-2qbf-5cnf-150var-2100cl220.02
mB-t2-2qbf-5cnf-150var-2400cl220.03
mB-t2-2qbf-5cnf-150var-2700cl220.04
mB-t2-2qbf-5cnf-150var-300cl220.01
mB-t2-2qbf-5cnf-150var-600cl220
mB-t2-2qbf-5cnf-150var-900cl220.02
mB-t2-2qbf-5cnf-50var-100cl2110.03
mB-t2-2qbf-5cnf-50var-200cl220.02
mB-t2-2qbf-5cnf-50var-300cl220.01
mB-t2-2qbf-5cnf-50var-400cl220.01
mB-t2-2qbf-5cnf-50var-500cl220.01
mB-t2-2qbf-5cnf-50var-600cl220.02
mB-t2-2qbf-5cnf-50var-700cl220.02
mB-t2-2qbf-5cnf-50var-800cl220.01
mB-t2-2qbf-5cnf-50var-900cl220
mB-t2-3qbf-5cnf-100var-1000cl220.01
mB-t2-3qbf-5cnf-100var-1200cl220.01
mB-t2-3qbf-5cnf-100var-1400cl220.02
mB-t2-3qbf-5cnf-100var-1600cl220.03
mB-t2-3qbf-5cnf-100var-1800cl220.03
mB-t2-3qbf-5cnf-100var-200cl220.01
mB-t2-3qbf-5cnf-100var-400cl220
mB-t2-3qbf-5cnf-100var-600cl220.01
mB-t2-3qbf-5cnf-100var-800cl220.01
mB-t2-3qbf-5cnf-150var-1200cl220.02
mB-t2-3qbf-5cnf-150var-1500cl220.03
mB-t2-3qbf-5cnf-150var-1800cl220.02
mB-t2-3qbf-5cnf-150var-2100cl220.01
mB-t2-3qbf-5cnf-150var-2400cl220.02
mB-t2-3qbf-5cnf-150var-2700cl220.04
mB-t2-3qbf-5cnf-150var-300cl220
mB-t2-3qbf-5cnf-150var-600cl220.03
mB-t2-3qbf-5cnf-150var-900cl220.03
mB-t2-3qbf-5cnf-50var-100cl220
mB-t2-3qbf-5cnf-50var-200cl220.02
mB-t2-3qbf-5cnf-50var-300cl220.01
mB-t2-3qbf-5cnf-50var-400cl220.01
mB-t2-3qbf-5cnf-50var-500cl220.02
mB-t2-3qbf-5cnf-50var-600cl220.01
mB-t2-3qbf-5cnf-50var-700cl220.01
mB-t2-3qbf-5cnf-50var-800cl220.01
mB-t2-3qbf-5cnf-50var-900cl220.01
mB-t2-4qbf-5cnf-100var-1000cl220.01
mB-t2-4qbf-5cnf-100var-1200cl220.02
mB-t2-4qbf-5cnf-100var-1400cl220.03
mB-t2-4qbf-5cnf-100var-1600cl220.03
mB-t2-4qbf-5cnf-100var-1800cl220.03
mB-t2-4qbf-5cnf-100var-200cl220.01
mB-t2-4qbf-5cnf-100var-400cl220.01
mB-t2-4qbf-5cnf-100var-600cl220.02
mB-t2-4qbf-5cnf-100var-800cl220
mB-t2-4qbf-5cnf-150var-1200cl220.02
mB-t2-4qbf-5cnf-150var-1500cl220.02
mB-t2-4qbf-5cnf-150var-1800cl220.02
mB-t2-4qbf-5cnf-150var-2100cl220.04
mB-t2-4qbf-5cnf-150var-2400cl220.02
mB-t2-4qbf-5cnf-150var-2700cl220.02
mB-t2-4qbf-5cnf-150var-300cl220.01
mB-t2-4qbf-5cnf-150var-600cl220.02
mB-t2-4qbf-5cnf-150var-900cl220.02
mB-t2-4qbf-5cnf-50var-100cl220.01
mB-t2-4qbf-5cnf-50var-200cl220.02
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.02
mB-t2-4qbf-5cnf-50var-700cl220.04
mB-t2-4qbf-5cnf-50var-800cl220.02
mB-t2-4qbf-5cnf-50var-900cl220.02
mB-t2-5qbf-5cnf-100var-1000cl220.04
mB-t2-5qbf-5cnf-100var-1200cl220.02
mB-t2-5qbf-5cnf-100var-1400cl220.04
mB-t2-5qbf-5cnf-100var-1600cl220.03
mB-t2-5qbf-5cnf-100var-1800cl220.03
mB-t2-5qbf-5cnf-100var-200cl220.01
mB-t2-5qbf-5cnf-100var-400cl220
mB-t2-5qbf-5cnf-100var-600cl220.01
mB-t2-5qbf-5cnf-100var-800cl220.02
mB-t2-5qbf-5cnf-150var-1200cl220.04
mB-t2-5qbf-5cnf-150var-1500cl220.01
mB-t2-5qbf-5cnf-150var-1800cl220.03
mB-t2-5qbf-5cnf-150var-2100cl220.04
mB-t2-5qbf-5cnf-150var-2400cl220.04
mB-t2-5qbf-5cnf-150var-2700cl220.03
mB-t2-5qbf-5cnf-150var-300cl220.01
mB-t2-5qbf-5cnf-150var-600cl220.03
mB-t2-5qbf-5cnf-150var-900cl220.03
mB-t2-5qbf-5cnf-50var-100cl220.02
mB-t2-5qbf-5cnf-50var-200cl220.02
mB-t2-5qbf-5cnf-50var-300cl220.02
mB-t2-5qbf-5cnf-50var-400cl220.02
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.02
mB-t2-5qbf-5cnf-50var-900cl220
MutexP78343303.95
RobotsD29313856.63
RobotsD38116025.86
RobotsD413423396.84
RobotsD58332722.97
s11964433340.59
s12694938746.8
s27361210302.5
s2983935139.19
s327188369.09
s33305339744.99
s3865347753.32
s4993733337.16
s5102421624.15
s6414939646.04
s7136149557.83
s8204736043.84
SzymanskiP65249612.87
term169432057.04
Toilet333311123.98
ToiletA151636.68
ToiletC10352.56
ToiletG4370.25
Tree53260.53
uclid3027030.08
VonNeumann568202.35
z4ml61440.6