semprop results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17333131979.89
Blocks1022355233.7
C432733326354.31
C49976349315.98
C53158072075.22
C628877160405.95
C88078254128.38
Chain87122.5
comp28434368.56
Connect41384342798.42
Counter71940551.53
CounterFactual1671219174855482.23
DFlipFlop731054.66
evader-pursuer-4x4-logarithmic59427437.8
evader-pursuer-4x4-standard6457662.3
evader-pursuer-6x6-logarithmic67342415.26
evader-pursuer-6x6-standard6651395.32
evader-pursuer-8x8-logarithmic72438491.84
FPGA_PLB_FIT_FAST383117.34
FPGA_PLB_FIT_SLOW25116230.98
horn156605366261.47
Impl74100.31
jmc_quant4338742.77
jmc_quant_squaring9585595.46
k_branch_n46225643.32
k_branch_p43319727.1
k_d4_n42135152.84
k_d4_p42416381.19
k_dum_n3562.12
k_dum_p47662.84
k_grz_n42421803.9
k_grz_p37317443.93
k_lin_n276154.35
k_lin_p35125354.49
k_path_n40417289.97
k_path_p35323711.83
k_ph_n38219909.6
k_ph_p30124326.11
k_poly_n4267.79
k_poly_p3363299.44
k_t4p_n39127195.52
k_t4p_p51234897.8
Logn19251.92
mA-t2-1qbf-5cnf-160var-1280cl10100.1
mA-t2-1qbf-5cnf-160var-2560cl20510267.8
mA-t2-1qbf-5cnf-160var-320cl10100.03
mA-t2-1qbf-5cnf-160var-5120cl109009.54
mA-t2-1qbf-5cnf-160var-640cl10100.04
mA-t2-1qbf-5cnf-20var-160cl10100.04
mA-t2-1qbf-5cnf-20var-320cl10100.05
mA-t2-1qbf-5cnf-20var-40cl10100.05
mA-t2-1qbf-5cnf-20var-640cl10100.17
mA-t2-1qbf-5cnf-20var-80cl10100.01
mA-t2-1qbf-5cnf-40var-1280cl10103.53
mA-t2-1qbf-5cnf-40var-160cl10100.01
mA-t2-1qbf-5cnf-40var-320cl10100.07
mA-t2-1qbf-5cnf-40var-640cl10100.07
mA-t2-1qbf-5cnf-40var-80cl10100.08
mA-t2-1qbf-5cnf-80var-1280cl10100.7
mA-t2-1qbf-5cnf-80var-160cl10100.05
mA-t2-1qbf-5cnf-80var-2560cl2018019.6
mA-t2-1qbf-5cnf-80var-320cl10100.01
mA-t2-1qbf-5cnf-80var-640cl10100.06
mA-t2-2qbf-5cnf-160var-1280cl1018109.02
mA-t2-2qbf-5cnf-160var-2560cl20100.3
mA-t2-2qbf-5cnf-160var-320cl20216351.52
mA-t2-2qbf-5cnf-160var-5120cl20100.52
mA-t2-2qbf-5cnf-160var-640cl109009.99
mA-t2-2qbf-5cnf-20var-160cl10101.04
mA-t2-2qbf-5cnf-20var-320cl10100.04
mA-t2-2qbf-5cnf-20var-40cl10100.04
mA-t2-2qbf-5cnf-20var-640cl10100.07
mA-t2-2qbf-5cnf-20var-80cl10101.62
mA-t2-2qbf-5cnf-40var-1280cl10100.06
mA-t2-2qbf-5cnf-40var-160cl20412830.94
mA-t2-2qbf-5cnf-40var-320cl2091894.86
mA-t2-2qbf-5cnf-40var-640cl20100.16
mA-t2-2qbf-5cnf-40var-80cl10100.09
mA-t2-2qbf-5cnf-80var-1280cl20100.26
mA-t2-2qbf-5cnf-80var-160cl10109.74
mA-t2-2qbf-5cnf-80var-2560cl10100.11
mA-t2-2qbf-5cnf-80var-320cl20116218.1
mA-t2-2qbf-5cnf-80var-640cl2075704.8
mA-t2-3qbf-5cnf-160var-1280cl1018174.65
mA-t2-3qbf-5cnf-160var-2560cl2010281.58
mA-t2-3qbf-5cnf-160var-320cl10100.02
mA-t2-3qbf-5cnf-160var-5120cl10100.23
mA-t2-3qbf-5cnf-160var-640cl20100.16
mA-t2-3qbf-5cnf-20var-160cl20100.12
mA-t2-3qbf-5cnf-20var-320cl20100.2
mA-t2-3qbf-5cnf-20var-40cl10100.03
mA-t2-3qbf-5cnf-20var-640cl10100.02
mA-t2-3qbf-5cnf-20var-80cl10100.04
mA-t2-3qbf-5cnf-40var-1280cl10100.12
mA-t2-3qbf-5cnf-40var-160cl10100.05
mA-t2-3qbf-5cnf-40var-320cl20910.88
mA-t2-3qbf-5cnf-40var-640cl20100.48
mA-t2-3qbf-5cnf-40var-80cl10100.05
mA-t2-3qbf-5cnf-80var-1280cl20105.64
mA-t2-3qbf-5cnf-80var-160cl10100.03
mA-t2-3qbf-5cnf-80var-2560cl20100.22
mA-t2-3qbf-5cnf-80var-320cl20100.16
mA-t2-3qbf-5cnf-80var-640cl104115.53
mA-t2-4qbf-5cnf-160var-1280cl1018216.24
mA-t2-4qbf-5cnf-160var-2560cl20103.96
mA-t2-4qbf-5cnf-160var-320cl10100.03
mA-t2-4qbf-5cnf-160var-5120cl20100.58
mA-t2-4qbf-5cnf-160var-640cl2018020
mA-t2-4qbf-5cnf-20var-160cl2028131.34
mA-t2-4qbf-5cnf-20var-320cl20100.1
mA-t2-4qbf-5cnf-20var-40cl10100.01
mA-t2-4qbf-5cnf-20var-640cl20100.1
mA-t2-4qbf-5cnf-20var-80cl10100.05
mA-t2-4qbf-5cnf-40var-1280cl20100.24
mA-t2-4qbf-5cnf-40var-160cl10101.26
mA-t2-4qbf-5cnf-40var-320cl2068545.38
mA-t2-4qbf-5cnf-40var-640cl20100.16
mA-t2-4qbf-5cnf-40var-80cl10100.05
mA-t2-4qbf-5cnf-80var-1280cl20100.42
mA-t2-4qbf-5cnf-80var-160cl10100.06
mA-t2-4qbf-5cnf-80var-2560cl20100.28
mA-t2-4qbf-5cnf-80var-320cl2067908.26
mA-t2-4qbf-5cnf-80var-640cl1045433.54
mA-t2-5qbf-5cnf-160var-1280cl1063608.97
mA-t2-5qbf-5cnf-160var-2560cl2093298.86
mA-t2-5qbf-5cnf-160var-320cl10100.05
mA-t2-5qbf-5cnf-160var-5120cl20101.62
mA-t2-5qbf-5cnf-160var-640cl20100.12
mA-t2-5qbf-5cnf-20var-160cl10100.04
mA-t2-5qbf-5cnf-20var-320cl20100.28
mA-t2-5qbf-5cnf-20var-40cl10100.06
mA-t2-5qbf-5cnf-20var-640cl20100.12
mA-t2-5qbf-5cnf-20var-80cl10100.03
mA-t2-5qbf-5cnf-40var-1280cl20100.24
mA-t2-5qbf-5cnf-40var-160cl10100.05
mA-t2-5qbf-5cnf-40var-320cl20107.14
mA-t2-5qbf-5cnf-40var-640cl20100.66
mA-t2-5qbf-5cnf-40var-80cl10100.05
mA-t2-5qbf-5cnf-80var-1280cl201013.72
mA-t2-5qbf-5cnf-80var-160cl10100.07
mA-t2-5qbf-5cnf-80var-2560cl20100.44
mA-t2-5qbf-5cnf-80var-320cl10100.09
mA-t2-5qbf-5cnf-80var-640cl201033.12
mA-t2-6qbf-5cnf-160var-1280cl1018108.96
mA-t2-6qbf-5cnf-160var-2560cl201039.3
mA-t2-6qbf-5cnf-160var-320cl10100.05
mA-t2-6qbf-5cnf-160var-5120cl20100.46
mA-t2-6qbf-5cnf-160var-640cl20100.14
mA-t2-6qbf-5cnf-20var-160cl208111.94
mA-t2-6qbf-5cnf-20var-320cl20100.4
mA-t2-6qbf-5cnf-20var-40cl10100.03
mA-t2-6qbf-5cnf-20var-640cl20100.1
mA-t2-6qbf-5cnf-20var-80cl10100.02
mA-t2-6qbf-5cnf-40var-1280cl20100.18
mA-t2-6qbf-5cnf-40var-160cl10100.07
mA-t2-6qbf-5cnf-40var-320cl205448.32
mA-t2-6qbf-5cnf-40var-640cl20101
mA-t2-6qbf-5cnf-40var-80cl10100.03
mA-t2-6qbf-5cnf-80var-1280cl20104.54
mA-t2-6qbf-5cnf-80var-160cl10100.03
mA-t2-6qbf-5cnf-80var-2560cl20100.26
mA-t2-6qbf-5cnf-80var-320cl10100.09
mA-t2-6qbf-5cnf-80var-640cl20116218.24
MutexP78343302.66
Qshifter616725.92
renHorn8419959056.64
RobotsD27011340962.65
RobotsD37014630470.17
RobotsD47414532835.68
RobotsD57117428301.42
s11961715316.83
s12692718023.18
s27361210302.66
s2983733336.81
s33304230790.13
s3863127930.69
s4992421623.89
s5102219818.98
s641290.21
s7133531534.76
s8203430633.72
SzymanskiP101375183.06
term169431929.28
Toilet333311126.92
ToiletA307101072.41
ToiletC411091853.47
Tree87590.33
uclid3027029.73
VonNeumann7510282.54
z4ml61440.21