skizzo_v0.4 results solving families - 2005

Family# Total# Sat# UnsatTime
Adder1738273575.59
Blocks102371301.5
C43273329590.57
C499762217761.72
C5315802235557.14
C628877131549.4
C8807817385.97
Chain87125.9
comp28442.07
Connect4138403077.2
Counter711421964.26
CounterFactual16711311341042680.62
DFlipFlop731042.24
evader-pursuer-4x4-logarithmic5935363.62
evader-pursuer-4x4-standard64138822.36
evader-pursuer-6x6-logarithmic67210689.87
evader-pursuer-6x6-standard6627279.45
evader-pursuer-8x8-logarithmic72412873.3
FPGA_PLB_FIT_FAST38416.48
FPGA_PLB_FIT_SLOW251238.61
horn15635116300.24
Impl74101.14
jmc_quant4338729.58
jmc_quant_squaring9570600.93
k_branch_n46124687.85
k_branch_p436142.98
k_d4_n42119974.84
k_d4_p4267.19
k_dum_n35117935.09
k_dum_p47318448.39
k_grz_n422268.61
k_grz_p374694.61
k_lin_n2731030.56
k_lin_p3563.12
k_path_n40128201.95
k_path_p35414687.84
k_ph_n3848014.37
k_ph_p30214536.19
k_poly_n4232841.79
k_poly_p33622.09
k_t4p_n397569.09
k_t4p_p5118215.09
Logn19221.93
mA-t2-1qbf-5cnf-160var-1280cl10100.44
mA-t2-1qbf-5cnf-160var-2560cl2010505.3
mA-t2-1qbf-5cnf-160var-320cl10100.31
mA-t2-1qbf-5cnf-160var-5120cl108944.48
mA-t2-1qbf-5cnf-160var-640cl10100.39
mA-t2-1qbf-5cnf-20var-160cl10100.34
mA-t2-1qbf-5cnf-20var-320cl10100.36
mA-t2-1qbf-5cnf-20var-40cl10100.16
mA-t2-1qbf-5cnf-20var-640cl10100.45
mA-t2-1qbf-5cnf-20var-80cl10100.4
mA-t2-1qbf-5cnf-40var-1280cl10101.66
mA-t2-1qbf-5cnf-40var-160cl10100.3
mA-t2-1qbf-5cnf-40var-320cl10100.34
mA-t2-1qbf-5cnf-40var-640cl10100.34
mA-t2-1qbf-5cnf-40var-80cl10100.17
mA-t2-1qbf-5cnf-80var-1280cl10100.68
mA-t2-1qbf-5cnf-80var-160cl10100.36
mA-t2-1qbf-5cnf-80var-2560cl20117624.9
mA-t2-1qbf-5cnf-80var-320cl10100.25
mA-t2-1qbf-5cnf-80var-640cl10100.41
mA-t2-2qbf-5cnf-160var-1280cl10101567.1
mA-t2-2qbf-5cnf-160var-2560cl20101659.38
mA-t2-2qbf-5cnf-160var-320cl2018018.02
mA-t2-2qbf-5cnf-160var-5120cl2010760.92
mA-t2-2qbf-5cnf-160var-640cl1082794.26
mA-t2-2qbf-5cnf-20var-160cl1010352.13
mA-t2-2qbf-5cnf-20var-320cl10102.78
mA-t2-2qbf-5cnf-20var-40cl10100.17
mA-t2-2qbf-5cnf-20var-640cl10102
mA-t2-2qbf-5cnf-20var-80cl1010314.96
mA-t2-2qbf-5cnf-40var-1280cl101013.9
mA-t2-2qbf-5cnf-40var-160cl20214163.3
mA-t2-2qbf-5cnf-40var-320cl2010867.56
mA-t2-2qbf-5cnf-40var-640cl2010581.48
mA-t2-2qbf-5cnf-40var-80cl101010.4
mA-t2-2qbf-5cnf-80var-1280cl20101079.74
mA-t2-2qbf-5cnf-80var-160cl1054634.14
mA-t2-2qbf-5cnf-80var-2560cl1010344.39
mA-t2-2qbf-5cnf-80var-320cl2068504.72
mA-t2-2qbf-5cnf-80var-640cl2093124.98
mA-t2-3qbf-5cnf-160var-1280cl109008.57
mA-t2-3qbf-5cnf-160var-2560cl2010370.78
mA-t2-3qbf-5cnf-160var-320cl10100.12
mA-t2-3qbf-5cnf-160var-5120cl101043.93
mA-t2-3qbf-5cnf-160var-640cl2018017.34
mA-t2-3qbf-5cnf-20var-160cl209258.76
mA-t2-3qbf-5cnf-20var-320cl209190.88
mA-t2-3qbf-5cnf-20var-40cl10100.08
mA-t2-3qbf-5cnf-20var-640cl10107.92
mA-t2-3qbf-5cnf-20var-80cl101056.52
mA-t2-3qbf-5cnf-40var-1280cl10109.73
mA-t2-3qbf-5cnf-40var-160cl1092932.97
mA-t2-3qbf-5cnf-40var-320cl2016114.1
mA-t2-3qbf-5cnf-40var-640cl201032.62
mA-t2-3qbf-5cnf-40var-80cl10100.13
mA-t2-3qbf-5cnf-80var-1280cl2010157.7
mA-t2-3qbf-5cnf-80var-160cl10100.14
mA-t2-3qbf-5cnf-80var-2560cl201012.68
mA-t2-3qbf-5cnf-80var-320cl2018017.18
mA-t2-3qbf-5cnf-80var-640cl108462.06
mA-t2-4qbf-5cnf-160var-1280cl1010623.02
mA-t2-4qbf-5cnf-160var-2560cl2010801.28
mA-t2-4qbf-5cnf-160var-320cl10100.16
mA-t2-4qbf-5cnf-160var-5120cl2010714.38
mA-t2-4qbf-5cnf-160var-640cl2018017.86
mA-t2-4qbf-5cnf-20var-160cl2068370.16
mA-t2-4qbf-5cnf-20var-320cl2010584.88
mA-t2-4qbf-5cnf-20var-40cl10100.15
mA-t2-4qbf-5cnf-20var-640cl2010145.74
mA-t2-4qbf-5cnf-20var-80cl109837.12
mA-t2-4qbf-5cnf-40var-1280cl20101052.76
mA-t2-4qbf-5cnf-40var-160cl1044773.57
mA-t2-4qbf-5cnf-40var-320cl2089548.08
mA-t2-4qbf-5cnf-40var-640cl20101750.08
mA-t2-4qbf-5cnf-40var-80cl10100.15
mA-t2-4qbf-5cnf-80var-1280cl2010933.38
mA-t2-4qbf-5cnf-80var-160cl10100.14
mA-t2-4qbf-5cnf-80var-2560cl2010623.76
mA-t2-4qbf-5cnf-80var-320cl2018017.38
mA-t2-4qbf-5cnf-80var-640cl10101745.36
mA-t2-5qbf-5cnf-160var-1280cl109008.85
mA-t2-5qbf-5cnf-160var-2560cl2010419.14
mA-t2-5qbf-5cnf-160var-320cl10100.11
mA-t2-5qbf-5cnf-160var-5120cl2010299.08
mA-t2-5qbf-5cnf-160var-640cl20100.4
mA-t2-5qbf-5cnf-20var-160cl1091860.37
mA-t2-5qbf-5cnf-20var-320cl20101807.82
mA-t2-5qbf-5cnf-20var-40cl10100.09
mA-t2-5qbf-5cnf-20var-640cl201082.4
mA-t2-5qbf-5cnf-20var-80cl10100.09
mA-t2-5qbf-5cnf-40var-1280cl2010105.96
mA-t2-5qbf-5cnf-40var-160cl10100.14
mA-t2-5qbf-5cnf-40var-320cl2018012.2
mA-t2-5qbf-5cnf-40var-640cl2084247.76
mA-t2-5qbf-5cnf-40var-80cl10100.12
mA-t2-5qbf-5cnf-80var-1280cl20101328.26
mA-t2-5qbf-5cnf-80var-160cl10100.05
mA-t2-5qbf-5cnf-80var-2560cl2010682.6
mA-t2-5qbf-5cnf-80var-320cl10100.1
mA-t2-5qbf-5cnf-80var-640cl2018017.68
mA-t2-6qbf-5cnf-160var-1280cl1027374.63
mA-t2-6qbf-5cnf-160var-2560cl2010564.08
mA-t2-6qbf-5cnf-160var-320cl10100.14
mA-t2-6qbf-5cnf-160var-5120cl2010476.6
mA-t2-6qbf-5cnf-160var-640cl20100.44
mA-t2-6qbf-5cnf-20var-160cl2018016.66
mA-t2-6qbf-5cnf-20var-320cl20101076.44
mA-t2-6qbf-5cnf-20var-40cl10100.09
mA-t2-6qbf-5cnf-20var-640cl2010895.4
mA-t2-6qbf-5cnf-20var-80cl10100.08
mA-t2-6qbf-5cnf-40var-1280cl20101631.4
mA-t2-6qbf-5cnf-40var-160cl10100.07
mA-t2-6qbf-5cnf-40var-320cl20116242.52
mA-t2-6qbf-5cnf-40var-640cl20101447.64
mA-t2-6qbf-5cnf-40var-80cl10100.16
mA-t2-6qbf-5cnf-80var-1280cl20101718.92
mA-t2-6qbf-5cnf-80var-160cl10100.09
mA-t2-6qbf-5cnf-80var-2560cl2010653.06
mA-t2-6qbf-5cnf-80var-320cl10100.18
mA-t2-6qbf-5cnf-80var-640cl20215110.24
MutexP78621413.05
Qshifter61661.91
renHorn842161829.09
RobotsD2701016197.32
RobotsD3701020308.42
RobotsD4741018570.95
RobotsD5711022127.12
s1196178670.18
s12692719831.39
s27361221.98
s29837216368.67
s33304211820.84
s38631120745.16
s49924117107.68
s5102215822.32
s641290.22
s71335115728.79
s82034123719.07
SzymanskiP101559981.51
term169424398.17
Toilet33537.59
ToiletA3081062.08
ToiletC4113720.41
Tree87141.51
uclid3027023.86
VonNeumann7510166.21
z4ml61442.43