QUANTOR results solving families - 2005

Family# Total# Sat# UnsatTime
Adder1736215490.54
Blocks10249291.35
C432732333853.96
C4997622386.66
C53158022449.41
C628877968.98
C880783825.74
Chain87124.17
comp28440.31
Connect4138402517.89
Counter71121766.63
CounterFactual16711108628092.87
DFlipFlop731027.14
evader-pursuer-4x4-logarithmic59110302.65
evader-pursuer-4x4-standard6457633.8
evader-pursuer-6x6-logarithmic6712631.23
evader-pursuer-6x6-standard6659216.37
evader-pursuer-8x8-logarithmic7213063.34
FPGA_PLB_FIT_FAST384136.2
FPGA_PLB_FIT_SLOW251287.14
horn15682107.86
Impl74100.16
jmc_quant439470.71
jmc_quant_squaring9513519.16
k_branch_n46535.06
k_branch_p43506.42
k_d4_n421418.28
k_d4_p424151.3
k_dum_n3560.81
k_dum_p4761.11
k_grz_n426128.42
k_grz_p37636.8
k_lin_n27652.07
k_lin_p3563.28
k_path_n4061.78
k_path_p3561.73
k_ph_n38410194.98
k_ph_p30220650.39
k_poly_n4260.8
k_poly_p3360.52
k_t4p_n391647.8
k_t4p_p511715.96
Logn19246.38
mA-t2-1qbf-5cnf-160var-1280cl10100.14
mA-t2-1qbf-5cnf-160var-2560cl20103004.86
mA-t2-1qbf-5cnf-160var-320cl10100.05
mA-t2-1qbf-5cnf-160var-5120cl108925.77
mA-t2-1qbf-5cnf-160var-640cl10100.06
mA-t2-1qbf-5cnf-20var-160cl10100.04
mA-t2-1qbf-5cnf-20var-320cl10100.07
mA-t2-1qbf-5cnf-20var-40cl10100.02
mA-t2-1qbf-5cnf-20var-640cl10100.12
mA-t2-1qbf-5cnf-20var-80cl10100.01
mA-t2-1qbf-5cnf-40var-1280cl10102.85
mA-t2-1qbf-5cnf-40var-160cl10100.07
mA-t2-1qbf-5cnf-40var-320cl10100.04
mA-t2-1qbf-5cnf-40var-640cl10100.09
mA-t2-1qbf-5cnf-40var-80cl10100.01
mA-t2-1qbf-5cnf-80var-1280cl10103.26
mA-t2-1qbf-5cnf-80var-160cl10100.03
mA-t2-1qbf-5cnf-80var-2560cl20102082.96
mA-t2-1qbf-5cnf-80var-320cl10100.07
mA-t2-1qbf-5cnf-80var-640cl10100.06
mA-t2-2qbf-5cnf-160var-1280cl1090.06
mA-t2-2qbf-5cnf-160var-2560cl20212.92
mA-t2-2qbf-5cnf-160var-320cl208276.66
mA-t2-2qbf-5cnf-160var-5120cl20426.94
mA-t2-2qbf-5cnf-160var-640cl1095.04
mA-t2-2qbf-5cnf-20var-160cl101091.95
mA-t2-2qbf-5cnf-20var-320cl108118.66
mA-t2-2qbf-5cnf-20var-40cl10100.03
mA-t2-2qbf-5cnf-20var-640cl101030.09
mA-t2-2qbf-5cnf-20var-80cl10100.45
mA-t2-2qbf-5cnf-40var-1280cl10144.62
mA-t2-2qbf-5cnf-40var-160cl204377.52
mA-t2-2qbf-5cnf-40var-320cl20189.62
mA-t2-2qbf-5cnf-40var-640cl20240.08
mA-t2-2qbf-5cnf-40var-80cl10100.03
mA-t2-2qbf-5cnf-80var-1280cl20190.96
mA-t2-2qbf-5cnf-80var-160cl10100.09
mA-t2-2qbf-5cnf-80var-2560cl10135.89
mA-t2-2qbf-5cnf-80var-320cl20205.74
mA-t2-2qbf-5cnf-80var-640cl20178.14
mA-t2-3qbf-5cnf-160var-1280cl1093.49
mA-t2-3qbf-5cnf-160var-2560cl20209.94
mA-t2-3qbf-5cnf-160var-320cl10100.01
mA-t2-3qbf-5cnf-160var-5120cl10747.25
mA-t2-3qbf-5cnf-160var-640cl20320.88
mA-t2-3qbf-5cnf-20var-160cl204041.02
mA-t2-3qbf-5cnf-20var-320cl203794.46
mA-t2-3qbf-5cnf-20var-40cl10100.02
mA-t2-3qbf-5cnf-20var-640cl101077.03
mA-t2-3qbf-5cnf-20var-80cl10107.71
mA-t2-3qbf-5cnf-40var-1280cl10581.04
mA-t2-3qbf-5cnf-40var-160cl1013815.82
mA-t2-3qbf-5cnf-40var-320cl20258.16
mA-t2-3qbf-5cnf-40var-640cl20208.8
mA-t2-3qbf-5cnf-40var-80cl10100.03
mA-t2-3qbf-5cnf-80var-1280cl20192.28
mA-t2-3qbf-5cnf-80var-160cl10100.01
mA-t2-3qbf-5cnf-80var-2560cl205122.3
mA-t2-3qbf-5cnf-80var-320cl201716.46
mA-t2-3qbf-5cnf-80var-640cl1094.55
mA-t2-4qbf-5cnf-160var-1280cl1099.46
mA-t2-4qbf-5cnf-160var-2560cl20213.26
mA-t2-4qbf-5cnf-160var-320cl10100.05
mA-t2-4qbf-5cnf-160var-5120cl20305.66
mA-t2-4qbf-5cnf-160var-640cl20386.92
mA-t2-4qbf-5cnf-20var-160cl201780.32
mA-t2-4qbf-5cnf-20var-320cl20428.24
mA-t2-4qbf-5cnf-20var-40cl10100.02
mA-t2-4qbf-5cnf-20var-640cl20273.74
mA-t2-4qbf-5cnf-20var-80cl10922.41
mA-t2-4qbf-5cnf-40var-1280cl201197.76
mA-t2-4qbf-5cnf-40var-160cl1051295.68
mA-t2-4qbf-5cnf-40var-320cl20249.96
mA-t2-4qbf-5cnf-40var-640cl20185
mA-t2-4qbf-5cnf-40var-80cl10100.01
mA-t2-4qbf-5cnf-80var-1280cl20191.5
mA-t2-4qbf-5cnf-80var-160cl10100.04
mA-t2-4qbf-5cnf-80var-2560cl20237.74
mA-t2-4qbf-5cnf-80var-320cl201228.38
mA-t2-4qbf-5cnf-80var-640cl10104.08
mA-t2-5qbf-5cnf-160var-1280cl10109.95
mA-t2-5qbf-5cnf-160var-2560cl20208.04
mA-t2-5qbf-5cnf-160var-320cl10100.08
mA-t2-5qbf-5cnf-160var-5120cl20334.48
mA-t2-5qbf-5cnf-160var-640cl20100.1
mA-t2-5qbf-5cnf-20var-160cl10637.58
mA-t2-5qbf-5cnf-20var-320cl20295.16
mA-t2-5qbf-5cnf-20var-40cl10100.01
mA-t2-5qbf-5cnf-20var-640cl202414.64
mA-t2-5qbf-5cnf-20var-80cl10100.02
mA-t2-5qbf-5cnf-40var-1280cl20265.46
mA-t2-5qbf-5cnf-40var-160cl10100.05
mA-t2-5qbf-5cnf-40var-320cl20976.16
mA-t2-5qbf-5cnf-40var-640cl201199.5
mA-t2-5qbf-5cnf-40var-80cl10100.02
mA-t2-5qbf-5cnf-80var-1280cl20196.4
mA-t2-5qbf-5cnf-80var-160cl10100.03
mA-t2-5qbf-5cnf-80var-2560cl20283.86
mA-t2-5qbf-5cnf-80var-320cl10100.02
mA-t2-5qbf-5cnf-80var-640cl20352.74
mA-t2-6qbf-5cnf-160var-1280cl10142.97
mA-t2-6qbf-5cnf-160var-2560cl20217.1
mA-t2-6qbf-5cnf-160var-320cl10100.01
mA-t2-6qbf-5cnf-160var-5120cl20342.28
mA-t2-6qbf-5cnf-160var-640cl20100.14
mA-t2-6qbf-5cnf-20var-160cl202859.28
mA-t2-6qbf-5cnf-20var-320cl20268.6
mA-t2-6qbf-5cnf-20var-40cl10100
mA-t2-6qbf-5cnf-20var-640cl20241.62
mA-t2-6qbf-5cnf-20var-80cl10100.01
mA-t2-6qbf-5cnf-40var-1280cl20254.92
mA-t2-6qbf-5cnf-40var-160cl10100.05
mA-t2-6qbf-5cnf-40var-320cl20339.6
mA-t2-6qbf-5cnf-40var-640cl20228
mA-t2-6qbf-5cnf-40var-80cl10100.01
mA-t2-6qbf-5cnf-80var-1280cl20205.32
mA-t2-6qbf-5cnf-80var-160cl10100.03
mA-t2-6qbf-5cnf-80var-2560cl20281.62
mA-t2-6qbf-5cnf-80var-320cl10100.02
mA-t2-6qbf-5cnf-80var-640cl20552.94
MutexP783717.96
Qshifter616277.74
renHorn8471072.13
RobotsD270101424.71
RobotsD370101646.57
RobotsD474102396.21
RobotsD571102268.98
s11961715295.15
s12692724250.28
s2736134.98
s29837218957.58
s33304237720.87
s38631120767.86
s49924212625.53
s51022116193.21
s641290.06
s71335124600.73
s82034123822.21
SzymanskiP10131102.9
term1694218047.26
Toilet3353117.88
ToiletA30810194.49
ToiletC4111966.75
Tree87590.28
uclid30360.96
VonNeumann7510149.46
z4ml61440.22