QMRes results solving families - 2005

Family# Total# Sat# UnsatTime
Adder17312837200.18
Blocks102279580.39
C4327365726.25
C49976167300.21
C53158072050.26
C62887769342.82
C8807870265.36
Chain871293.3
comp28443.83
Connect4138372702.39
Counter71844360.16
CounterFactual16711281488241.22
DFlipFlop73226669.4
evader-pursuer-4x4-logarithmic5953128.51
evader-pursuer-4x4-standard6457635.68
evader-pursuer-6x6-logarithmic6760344.67
evader-pursuer-6x6-standard661538.9
evader-pursuer-8x8-logarithmic7264836.1
FPGA_PLB_FIT_FAST381115288.2
FPGA_PLB_FIT_SLOW2522509.98
horn156130385.45
Impl74101.07
jmc_quant432216617.37
jmc_quant_squaring952143333.53
k_branch_n46134396.2
k_branch_p43135554.92
k_d4_n426281.14
k_d4_p42685.19
k_dum_n35641.73
k_dum_p47640.01
k_grz_n42417474.29
k_grz_p37649.67
k_lin_n27121534.09
k_lin_p3547600.78
k_path_n40680.4
k_path_p35687.22
k_ph_n38120096.55
k_ph_p30114704.71
k_poly_n42321641.23
k_poly_p33311758.32
k_t4p_n396436.63
k_t4p_p516171.35
Logn1917110.66
mA-t2-1qbf-5cnf-160var-1280cl109003.94
mA-t2-1qbf-5cnf-160var-2560cl2018010.78
mA-t2-1qbf-5cnf-160var-320cl1018180.55
mA-t2-1qbf-5cnf-160var-5120cl109005.16
mA-t2-1qbf-5cnf-160var-640cl109004.82
mA-t2-1qbf-5cnf-20var-160cl101010.26
mA-t2-1qbf-5cnf-20var-320cl1010281.01
mA-t2-1qbf-5cnf-20var-40cl10100.11
mA-t2-1qbf-5cnf-20var-640cl10103442.88
mA-t2-1qbf-5cnf-20var-80cl10100.28
mA-t2-1qbf-5cnf-40var-1280cl109008.53
mA-t2-1qbf-5cnf-40var-160cl1010170.04
mA-t2-1qbf-5cnf-40var-320cl109008.56
mA-t2-1qbf-5cnf-40var-640cl109006.13
mA-t2-1qbf-5cnf-40var-80cl10100.13
mA-t2-1qbf-5cnf-80var-1280cl109006.73
mA-t2-1qbf-5cnf-80var-160cl10106.33
mA-t2-1qbf-5cnf-80var-2560cl2018014.06
mA-t2-1qbf-5cnf-80var-320cl109006.99
mA-t2-1qbf-5cnf-80var-640cl109006.9
mA-t2-2qbf-5cnf-160var-1280cl109003.11
mA-t2-2qbf-5cnf-160var-2560cl2018006.62
mA-t2-2qbf-5cnf-160var-320cl20511610.58
mA-t2-2qbf-5cnf-160var-5120cl2018008.26
mA-t2-2qbf-5cnf-160var-640cl109003.72
mA-t2-2qbf-5cnf-20var-160cl10103883.18
mA-t2-2qbf-5cnf-20var-320cl109008.56
mA-t2-2qbf-5cnf-20var-40cl10100.09
mA-t2-2qbf-5cnf-20var-640cl109008.41
mA-t2-2qbf-5cnf-20var-80cl10101.24
mA-t2-2qbf-5cnf-40var-1280cl109004.13
mA-t2-2qbf-5cnf-40var-160cl20439088.74
mA-t2-2qbf-5cnf-40var-320cl2018013.52
mA-t2-2qbf-5cnf-40var-640cl2018012.8
mA-t2-2qbf-5cnf-40var-80cl10100.23
mA-t2-2qbf-5cnf-80var-1280cl2018009.1
mA-t2-2qbf-5cnf-80var-160cl10102.01
mA-t2-2qbf-5cnf-80var-2560cl109005.33
mA-t2-2qbf-5cnf-80var-320cl2018009.98
mA-t2-2qbf-5cnf-80var-640cl2018008.5
mA-t2-3qbf-5cnf-160var-1280cl109004.34
mA-t2-3qbf-5cnf-160var-2560cl2017976.56
mA-t2-3qbf-5cnf-160var-320cl10104.74
mA-t2-3qbf-5cnf-160var-5120cl109004.08
mA-t2-3qbf-5cnf-160var-640cl2018002.12
mA-t2-3qbf-5cnf-20var-160cl20612237.64
mA-t2-3qbf-5cnf-20var-320cl2018015.34
mA-t2-3qbf-5cnf-20var-40cl10100.05
mA-t2-3qbf-5cnf-20var-640cl1027206.16
mA-t2-3qbf-5cnf-20var-80cl10100.6
mA-t2-3qbf-5cnf-40var-1280cl109005.63
mA-t2-3qbf-5cnf-40var-160cl10101060.64
mA-t2-3qbf-5cnf-40var-320cl2018010.38
mA-t2-3qbf-5cnf-40var-640cl2018005.2
mA-t2-3qbf-5cnf-40var-80cl10100.17
mA-t2-3qbf-5cnf-80var-1280cl2018008.74
mA-t2-3qbf-5cnf-80var-160cl10100.83
mA-t2-3qbf-5cnf-80var-2560cl2018008.06
mA-t2-3qbf-5cnf-80var-320cl2018006.78
mA-t2-3qbf-5cnf-80var-640cl109004.43
mA-t2-4qbf-5cnf-160var-1280cl108765.39
mA-t2-4qbf-5cnf-160var-2560cl2017586.8
mA-t2-4qbf-5cnf-160var-320cl10104.3
mA-t2-4qbf-5cnf-160var-5120cl2018008.04
mA-t2-4qbf-5cnf-160var-640cl2017716.78
mA-t2-4qbf-5cnf-20var-160cl20314355.52
mA-t2-4qbf-5cnf-20var-320cl2018012.72
mA-t2-4qbf-5cnf-20var-40cl10100.13
mA-t2-4qbf-5cnf-20var-640cl2018013.62
mA-t2-4qbf-5cnf-20var-80cl10100.53
mA-t2-4qbf-5cnf-40var-1280cl2018010.54
mA-t2-4qbf-5cnf-40var-160cl1091841.04
mA-t2-4qbf-5cnf-40var-320cl2018009.38
mA-t2-4qbf-5cnf-40var-640cl2018009.98
mA-t2-4qbf-5cnf-40var-80cl10100.15
mA-t2-4qbf-5cnf-80var-1280cl2018008.56
mA-t2-4qbf-5cnf-80var-160cl10100.68
mA-t2-4qbf-5cnf-80var-2560cl2018006
mA-t2-4qbf-5cnf-80var-320cl2018007.64
mA-t2-4qbf-5cnf-80var-640cl108903.78
mA-t2-5qbf-5cnf-160var-1280cl108958.28
mA-t2-5qbf-5cnf-160var-2560cl2017400.78
mA-t2-5qbf-5cnf-160var-320cl10102.76
mA-t2-5qbf-5cnf-160var-5120cl2017988.26
mA-t2-5qbf-5cnf-160var-640cl20216114
mA-t2-5qbf-5cnf-20var-160cl1092364.4
mA-t2-5qbf-5cnf-20var-320cl2018012.18
mA-t2-5qbf-5cnf-20var-40cl10100.1
mA-t2-5qbf-5cnf-20var-640cl2018012.42
mA-t2-5qbf-5cnf-20var-80cl10100.38
mA-t2-5qbf-5cnf-40var-1280cl2018009.62
mA-t2-5qbf-5cnf-40var-160cl10104.62
mA-t2-5qbf-5cnf-40var-320cl2018007.9
mA-t2-5qbf-5cnf-40var-640cl2018009.68
mA-t2-5qbf-5cnf-40var-80cl10100.23
mA-t2-5qbf-5cnf-80var-1280cl2018007
mA-t2-5qbf-5cnf-80var-160cl10100.66
mA-t2-5qbf-5cnf-80var-2560cl2018008.2
mA-t2-5qbf-5cnf-80var-320cl10101122.65
mA-t2-5qbf-5cnf-80var-640cl2018006.6
mA-t2-6qbf-5cnf-160var-1280cl108727.76
mA-t2-6qbf-5cnf-160var-2560cl2018008.04
mA-t2-6qbf-5cnf-160var-320cl10102.89
mA-t2-6qbf-5cnf-160var-5120cl2017864.68
mA-t2-6qbf-5cnf-160var-640cl20314770.76
mA-t2-6qbf-5cnf-20var-160cl20413588.94
mA-t2-6qbf-5cnf-20var-320cl2018010.84
mA-t2-6qbf-5cnf-20var-40cl10100.07
mA-t2-6qbf-5cnf-20var-640cl2018010.24
mA-t2-6qbf-5cnf-20var-80cl10100.25
mA-t2-6qbf-5cnf-40var-1280cl2018006.58
mA-t2-6qbf-5cnf-40var-160cl10106.72
mA-t2-6qbf-5cnf-40var-320cl2018008.36
mA-t2-6qbf-5cnf-40var-640cl2018006.06
mA-t2-6qbf-5cnf-40var-80cl10100.19
mA-t2-6qbf-5cnf-80var-1280cl2017949.28
mA-t2-6qbf-5cnf-80var-160cl10100.71
mA-t2-6qbf-5cnf-80var-2560cl2017999.9
mA-t2-6qbf-5cnf-80var-320cl1010621.18
mA-t2-6qbf-5cnf-80var-640cl2017894.62
MutexP78521711.66
Qshifter616228.58
renHorn8469863.06
RobotsD27063018.64
RobotsD37063008.9
RobotsD47466619.98
RobotsD57163914.96
s11961715302.56
s1269273094.93
s273613298.15
s2983717799.16
s333042802.33
s3863125783.86
s4992417473.57
s510228323.89
s641290.22
s7133516501.12
s8203410283.08
SzymanskiP101231853.28
term1693317306.46
Toilet33437196.27
ToiletA303106487.16
ToiletC413918230.92
Tree87590.53
uclid3027015.01
VonNeumann758270.79
z4ml61441.06