GRL results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17322103151.93
Blocks102314966.63
C43273344800.48
C49976223936.19
C531580242619.02
C62887769368.06
C88078130804.12
Chain87556998.02
comp284110824.93
Connect413814732875.79
Counter71940779.13
CounterFactual1671116781209609.31
DFlipFlop731037.81
evader-pursuer-4x4-logarithmic59738.11
evader-pursuer-4x4-standard6457635.18
evader-pursuer-6x6-logarithmic67436772.56
evader-pursuer-6x6-standard6659433.5
evader-pursuer-8x8-logarithmic72342530.78
FPGA_PLB_FIT_FAST38111669.78
FPGA_PLB_FIT_SLOW251721.84
horn15685586907.9
Impl74100.13
jmc_quant4338734.34
jmc_quant_squaring9585570.31
k_branch_n4641425.65
k_branch_p4338722.94
k_d4_n42136643.73
k_d4_p42132458.49
k_dum_n35128824.89
k_dum_p47234343.2
k_grz_n42227720.13
k_grz_p37223757.47
k_lin_n27216676.67
k_lin_p3561130.02
k_path_n40129792.11
k_path_p35129722.27
k_ph_n38317652.53
k_ph_p30221638.54
k_poly_n4237826.21
k_poly_p3329721.05
k_t4p_n3935115.27
k_t4p_p5145925.53
Logn192854.43
mA-t2-1qbf-5cnf-160var-1280cl10100.14
mA-t2-1qbf-5cnf-160var-2560cl20743.66
mA-t2-1qbf-5cnf-160var-320cl10100.01
mA-t2-1qbf-5cnf-160var-5120cl10342.9
mA-t2-1qbf-5cnf-160var-640cl10100.07
mA-t2-1qbf-5cnf-20var-160cl10100.04
mA-t2-1qbf-5cnf-20var-320cl10100.09
mA-t2-1qbf-5cnf-20var-40cl10100.01
mA-t2-1qbf-5cnf-20var-640cl10100.28
mA-t2-1qbf-5cnf-20var-80cl10100.02
mA-t2-1qbf-5cnf-40var-1280cl109289.36
mA-t2-1qbf-5cnf-40var-160cl10100.03
mA-t2-1qbf-5cnf-40var-320cl10100.03
mA-t2-1qbf-5cnf-40var-640cl10103.44
mA-t2-1qbf-5cnf-40var-80cl10100.02
mA-t2-1qbf-5cnf-80var-1280cl103315.22
mA-t2-1qbf-5cnf-80var-160cl10100.03
mA-t2-1qbf-5cnf-80var-2560cl201023.56
mA-t2-1qbf-5cnf-80var-320cl10100.03
mA-t2-1qbf-5cnf-80var-640cl10100.09
mA-t2-2qbf-5cnf-160var-1280cl109008.85
mA-t2-2qbf-5cnf-160var-2560cl201029.94
mA-t2-2qbf-5cnf-160var-320cl20314469.44
mA-t2-2qbf-5cnf-160var-5120cl20101.8
mA-t2-2qbf-5cnf-160var-640cl109009.4
mA-t2-2qbf-5cnf-20var-160cl10101.38
mA-t2-2qbf-5cnf-20var-320cl10100.11
mA-t2-2qbf-5cnf-20var-40cl10100.01
mA-t2-2qbf-5cnf-20var-640cl10100.08
mA-t2-2qbf-5cnf-20var-80cl10100.96
mA-t2-2qbf-5cnf-40var-1280cl10100.22
mA-t2-2qbf-5cnf-40var-160cl20216100.76
mA-t2-2qbf-5cnf-40var-320cl2076837.88
mA-t2-2qbf-5cnf-40var-640cl20100.28
mA-t2-2qbf-5cnf-40var-80cl10100.11
mA-t2-2qbf-5cnf-80var-1280cl201022.9
mA-t2-2qbf-5cnf-80var-160cl10102.38
mA-t2-2qbf-5cnf-80var-2560cl10100.41
mA-t2-2qbf-5cnf-80var-320cl2018019.46
mA-t2-2qbf-5cnf-80var-640cl20116216.66
mA-t2-3qbf-5cnf-160var-1280cl109008.97
mA-t2-3qbf-5cnf-160var-2560cl2022240.26
mA-t2-3qbf-5cnf-160var-320cl10100.11
mA-t2-3qbf-5cnf-160var-5120cl10100.48
mA-t2-3qbf-5cnf-160var-640cl20100.2
mA-t2-3qbf-5cnf-20var-160cl20100.68
mA-t2-3qbf-5cnf-20var-320cl20101.32
mA-t2-3qbf-5cnf-20var-40cl10100.04
mA-t2-3qbf-5cnf-20var-640cl10100.08
mA-t2-3qbf-5cnf-20var-80cl10100.01
mA-t2-3qbf-5cnf-40var-1280cl10100.16
mA-t2-3qbf-5cnf-40var-160cl10100.04
mA-t2-3qbf-5cnf-40var-320cl209127.66
mA-t2-3qbf-5cnf-40var-640cl201015.72
mA-t2-3qbf-5cnf-40var-80cl10100.04
mA-t2-3qbf-5cnf-80var-1280cl2063020.14
mA-t2-3qbf-5cnf-80var-160cl10100.04
mA-t2-3qbf-5cnf-80var-2560cl20100.6
mA-t2-3qbf-5cnf-80var-320cl20100.14
mA-t2-3qbf-5cnf-80var-640cl1045560.61
mA-t2-4qbf-5cnf-160var-1280cl109008.36
mA-t2-4qbf-5cnf-160var-2560cl2010237.36
mA-t2-4qbf-5cnf-160var-320cl10100.11
mA-t2-4qbf-5cnf-160var-5120cl20101.84
mA-t2-4qbf-5cnf-160var-640cl2018019.12
mA-t2-4qbf-5cnf-20var-160cl202826.16
mA-t2-4qbf-5cnf-20var-320cl20100.38
mA-t2-4qbf-5cnf-20var-40cl10100.03
mA-t2-4qbf-5cnf-20var-640cl20100.2
mA-t2-4qbf-5cnf-20var-80cl10100.05
mA-t2-4qbf-5cnf-40var-1280cl20100.48
mA-t2-4qbf-5cnf-40var-160cl10100.66
mA-t2-4qbf-5cnf-40var-320cl20313202.66
mA-t2-4qbf-5cnf-40var-640cl20101.16
mA-t2-4qbf-5cnf-40var-80cl10100.02
mA-t2-4qbf-5cnf-80var-1280cl201016.44
mA-t2-4qbf-5cnf-80var-160cl10100.06
mA-t2-4qbf-5cnf-80var-2560cl20100.84
mA-t2-4qbf-5cnf-80var-320cl2067759.3
mA-t2-4qbf-5cnf-80var-640cl1018300.42
mA-t2-5qbf-5cnf-160var-1280cl1045495.53
mA-t2-5qbf-5cnf-160var-2560cl202290.34
mA-t2-5qbf-5cnf-160var-320cl10100.07
mA-t2-5qbf-5cnf-160var-5120cl20104.7
mA-t2-5qbf-5cnf-160var-640cl20100.3
mA-t2-5qbf-5cnf-20var-160cl10100.07
mA-t2-5qbf-5cnf-20var-320cl20107.26
mA-t2-5qbf-5cnf-20var-40cl10100.01
mA-t2-5qbf-5cnf-20var-640cl20100.22
mA-t2-5qbf-5cnf-20var-80cl10100.02
mA-t2-5qbf-5cnf-40var-1280cl20100.5
mA-t2-5qbf-5cnf-40var-160cl10100.06
mA-t2-5qbf-5cnf-40var-320cl201082.72
mA-t2-5qbf-5cnf-40var-640cl201035.34
mA-t2-5qbf-5cnf-40var-80cl10100.02
mA-t2-5qbf-5cnf-80var-1280cl2071459.96
mA-t2-5qbf-5cnf-80var-160cl10100.05
mA-t2-5qbf-5cnf-80var-2560cl20101.16
mA-t2-5qbf-5cnf-80var-320cl10100.08
mA-t2-5qbf-5cnf-80var-640cl2076669.84
mA-t2-6qbf-5cnf-160var-1280cl109009.09
mA-t2-6qbf-5cnf-160var-2560cl2053135.24
mA-t2-6qbf-5cnf-160var-320cl10100.1
mA-t2-6qbf-5cnf-160var-5120cl20104.84
mA-t2-6qbf-5cnf-160var-640cl20100.34
mA-t2-6qbf-5cnf-20var-160cl20912.02
mA-t2-6qbf-5cnf-20var-320cl20103.92
mA-t2-6qbf-5cnf-20var-40cl10100.02
mA-t2-6qbf-5cnf-20var-640cl20100.3
mA-t2-6qbf-5cnf-20var-80cl10100
mA-t2-6qbf-5cnf-40var-1280cl20100.76
mA-t2-6qbf-5cnf-40var-160cl10100.02
mA-t2-6qbf-5cnf-40var-320cl201115200.54
mA-t2-6qbf-5cnf-40var-640cl201055.24
mA-t2-6qbf-5cnf-40var-80cl10100.02
mA-t2-6qbf-5cnf-80var-1280cl2083054.18
mA-t2-6qbf-5cnf-80var-160cl10100.06
mA-t2-6qbf-5cnf-80var-2560cl20101.38
mA-t2-6qbf-5cnf-80var-320cl10100.08
mA-t2-6qbf-5cnf-80var-640cl2018018.8
MutexP78343429.84
Qshifter61146830.87
renHorn84102249614.8
RobotsD2702317862.46
RobotsD3702158209.31
RobotsD4742048121.03
RobotsD5712147778.52
s11961715021.45
s12692724323.34
s2736126128.57
s2983733322.38
s33304237823.92
s3863127922.02
s4992421615.48
s5102219814.4
s641290
s7133531517.91
s8203430622.93
SzymanskiP101122665.38
term16945871.69
Toilet3353531.88
ToiletA308101304.92
ToiletC411193.07
Tree873910840.86
uclid3027021.93
VonNeumann7510174.28
z4ml61440.38