skizzo_v0.5 results solving families - 2005

Family# Total# Sat# UnsatTime
Adder1739261388.14
Blocks102464318.48
C432733216350.33
C499762233658.71
C5315802234929.94
C628877132705.2
C88078112238.94
Chain87127.1
comp28442.14
Connect4138418976.42
Counter711421794.76
CounterFactual1671147152965748.5
DFlipFlop731042.32
evader-pursuer-4x4-logarithmic59310038.49
evader-pursuer-4x4-standard64135238.4
evader-pursuer-6x6-logarithmic67213519.04
evader-pursuer-6x6-standard6648960.21
evader-pursuer-8x8-logarithmic72413072.58
FPGA_PLB_FIT_FAST384134.7
FPGA_PLB_FIT_SLOW251238.94
horn15633117148.17
Impl74101.33
jmc_quant4338714.3
jmc_quant_squaring9577944.56
k_branch_n4622034.99
k_branch_p436142.97
k_d4_n4254369.43
k_d4_p4267.28
k_dum_n35613.63
k_dum_p47616.92
k_grz_n42212743.17
k_grz_p3745490.97
k_lin_n2733305.49
k_lin_p3563.2
k_path_n4054302.61
k_path_p356298.64
k_ph_n3845094.93
k_ph_p30214474.34
k_poly_n42660.12
k_poly_p33622.37
k_t4p_n3931254
k_t4p_p51672.86
Logn19221.64
mA-t2-1qbf-5cnf-160var-1280cl10100.45
mA-t2-1qbf-5cnf-160var-2560cl2010503.44
mA-t2-1qbf-5cnf-160var-320cl10100.49
mA-t2-1qbf-5cnf-160var-5120cl108943.05
mA-t2-1qbf-5cnf-160var-640cl10100.28
mA-t2-1qbf-5cnf-20var-160cl10100.28
mA-t2-1qbf-5cnf-20var-320cl10100.3
mA-t2-1qbf-5cnf-20var-40cl10100.18
mA-t2-1qbf-5cnf-20var-640cl10100.39
mA-t2-1qbf-5cnf-20var-80cl10100.33
mA-t2-1qbf-5cnf-40var-1280cl10101.71
mA-t2-1qbf-5cnf-40var-160cl10100.32
mA-t2-1qbf-5cnf-40var-320cl10100.3
mA-t2-1qbf-5cnf-40var-640cl10100.39
mA-t2-1qbf-5cnf-40var-80cl10100.29
mA-t2-1qbf-5cnf-80var-1280cl10100.59
mA-t2-1qbf-5cnf-80var-160cl10100.32
mA-t2-1qbf-5cnf-80var-2560cl20117631.8
mA-t2-1qbf-5cnf-80var-320cl10100.36
mA-t2-1qbf-5cnf-80var-640cl10100.38
mA-t2-2qbf-5cnf-160var-1280cl1081443.03
mA-t2-2qbf-5cnf-160var-2560cl20102205.1
mA-t2-2qbf-5cnf-160var-320cl20116291.6
mA-t2-2qbf-5cnf-160var-5120cl20101227.3
mA-t2-2qbf-5cnf-160var-640cl1073784.95
mA-t2-2qbf-5cnf-20var-160cl1010369.52
mA-t2-2qbf-5cnf-20var-320cl101080.63
mA-t2-2qbf-5cnf-20var-40cl10100.13
mA-t2-2qbf-5cnf-20var-640cl101012.64
mA-t2-2qbf-5cnf-20var-80cl101075.94
mA-t2-2qbf-5cnf-40var-1280cl101027.29
mA-t2-2qbf-5cnf-40var-160cl20213538.92
mA-t2-2qbf-5cnf-40var-320cl20101494.54
mA-t2-2qbf-5cnf-40var-640cl2010980.16
mA-t2-2qbf-5cnf-40var-80cl10107.88
mA-t2-2qbf-5cnf-80var-1280cl20101524.08
mA-t2-2qbf-5cnf-80var-160cl1091057.5
mA-t2-2qbf-5cnf-80var-2560cl1010485.95
mA-t2-2qbf-5cnf-80var-320cl20610176.38
mA-t2-2qbf-5cnf-80var-640cl2093906.48
mA-t2-3qbf-5cnf-160var-1280cl109007.59
mA-t2-3qbf-5cnf-160var-2560cl2010816.24
mA-t2-3qbf-5cnf-160var-320cl10100.16
mA-t2-3qbf-5cnf-160var-5120cl101061.53
mA-t2-3qbf-5cnf-160var-640cl2018016.88
mA-t2-3qbf-5cnf-20var-160cl2085576.54
mA-t2-3qbf-5cnf-20var-320cl20101531.7
mA-t2-3qbf-5cnf-20var-40cl10100.12
mA-t2-3qbf-5cnf-20var-640cl101050.52
mA-t2-3qbf-5cnf-20var-80cl10100.98
mA-t2-3qbf-5cnf-40var-1280cl101049.86
mA-t2-3qbf-5cnf-40var-160cl1073631.1
mA-t2-3qbf-5cnf-40var-320cl2018006.54
mA-t2-3qbf-5cnf-40var-640cl2010201.42
mA-t2-3qbf-5cnf-40var-80cl10100.12
mA-t2-3qbf-5cnf-80var-1280cl2010606.8
mA-t2-3qbf-5cnf-80var-160cl10100.15
mA-t2-3qbf-5cnf-80var-2560cl201012.9
mA-t2-3qbf-5cnf-80var-320cl20117099.28
mA-t2-3qbf-5cnf-80var-640cl109007.79
mA-t2-4qbf-5cnf-160var-1280cl10101241.96
mA-t2-4qbf-5cnf-160var-2560cl2010870.92
mA-t2-4qbf-5cnf-160var-320cl10100.16
mA-t2-4qbf-5cnf-160var-5120cl20101013.82
mA-t2-4qbf-5cnf-160var-640cl2018016.94
mA-t2-4qbf-5cnf-20var-160cl20511012.84
mA-t2-4qbf-5cnf-20var-320cl20101129.28
mA-t2-4qbf-5cnf-20var-40cl10100.13
mA-t2-4qbf-5cnf-20var-640cl2010189.64
mA-t2-4qbf-5cnf-20var-80cl10106.19
mA-t2-4qbf-5cnf-40var-1280cl20102175.84
mA-t2-4qbf-5cnf-40var-160cl1082466.07
mA-t2-4qbf-5cnf-40var-320cl2069356.82
mA-t2-4qbf-5cnf-40var-640cl20102476.14
mA-t2-4qbf-5cnf-40var-80cl10100.1
mA-t2-4qbf-5cnf-80var-1280cl20101378.02
mA-t2-4qbf-5cnf-80var-160cl10100.11
mA-t2-4qbf-5cnf-80var-2560cl20101676.16
mA-t2-4qbf-5cnf-80var-320cl20214479.48
mA-t2-4qbf-5cnf-80var-640cl10102143.54
mA-t2-5qbf-5cnf-160var-1280cl109009.17
mA-t2-5qbf-5cnf-160var-2560cl2010456.28
mA-t2-5qbf-5cnf-160var-320cl10100.22
mA-t2-5qbf-5cnf-160var-5120cl2010349.1
mA-t2-5qbf-5cnf-160var-640cl20100.3
mA-t2-5qbf-5cnf-20var-160cl1083975.99
mA-t2-5qbf-5cnf-20var-320cl2075728.62
mA-t2-5qbf-5cnf-20var-40cl10100.16
mA-t2-5qbf-5cnf-20var-640cl2010265.66
mA-t2-5qbf-5cnf-20var-80cl10100.07
mA-t2-5qbf-5cnf-40var-1280cl2010215.78
mA-t2-5qbf-5cnf-40var-160cl10100.12
mA-t2-5qbf-5cnf-40var-320cl2018015.08
mA-t2-5qbf-5cnf-40var-640cl2084380.74
mA-t2-5qbf-5cnf-40var-80cl10100.11
mA-t2-5qbf-5cnf-80var-1280cl20101612.66
mA-t2-5qbf-5cnf-80var-160cl10100.13
mA-t2-5qbf-5cnf-80var-2560cl20101023.62
mA-t2-5qbf-5cnf-80var-320cl10100.21
mA-t2-5qbf-5cnf-80var-640cl2018016.2
mA-t2-6qbf-5cnf-160var-1280cl1036350.84
mA-t2-6qbf-5cnf-160var-2560cl2010682.06
mA-t2-6qbf-5cnf-160var-320cl10100.13
mA-t2-6qbf-5cnf-160var-5120cl2010562.74
mA-t2-6qbf-5cnf-160var-640cl20100.22
mA-t2-6qbf-5cnf-20var-160cl2018014.98
mA-t2-6qbf-5cnf-20var-320cl20102169.92
mA-t2-6qbf-5cnf-20var-40cl10100.12
mA-t2-6qbf-5cnf-20var-640cl20101761.62
mA-t2-6qbf-5cnf-20var-80cl10100.09
mA-t2-6qbf-5cnf-40var-1280cl20102209.2
mA-t2-6qbf-5cnf-40var-160cl10100.23
mA-t2-6qbf-5cnf-40var-320cl20116273.56
mA-t2-6qbf-5cnf-40var-640cl20102168.3
mA-t2-6qbf-5cnf-40var-80cl10100.09
mA-t2-6qbf-5cnf-80var-1280cl20101883.16
mA-t2-6qbf-5cnf-80var-160cl10100.17
mA-t2-6qbf-5cnf-80var-2560cl2010867.06
mA-t2-6qbf-5cnf-80var-320cl10100.21
mA-t2-6qbf-5cnf-80var-640cl20215026.46
MutexP7871339.13
Qshifter61662.28
renHorn842061707.13
RobotsD2701028007.68
RobotsD3701739918.67
RobotsD47416310597.33
RobotsD57118411748.75
s1196176281.42
s12692718544.97
s2736138.11
s29837218196.59
s33304210397.21
s38631120699.73
s49924210275.37
s5102215440.41
s641290.06
s71335118290.38
s82034123583.62
SzymanskiP101455329.95
term169422758.14
Toilet33538.09
ToiletA3081061.97
ToiletC4113718.95
Tree87141.26
uclid3027020.74
VonNeumann7510167.46
z4ml61442.19