QChaffLearn results solving families

QChaffLearn results solving families - 2005

Family	# Total	# Sat	# Unsat	Time
Adder	201	2	9	90950.11
Blocks	102		4	5251.55
C432	73	2	3	26031.45
C499	76	2	4	11281.78
C5315	86	2		47996.96
C6288	86			77423.01
C880	78	2	4	18624.24
Chain	87	9		36558.79
comp	28	3	4	1913.79
Connect4	144		42	50799.47
Counter	73		24	7.7
CounterFactual	1691	127	126	1095711.56
DFlipFlop	73		4	20.83
evader-pursuer-4x4-logarithmic	61	7		24.3
evader-pursuer-4x4-standard	65			58534
evader-pursuer-6x6-logarithmic	74		4	39782.35
evader-pursuer-6x6-standard	77			140.1
evader-pursuer-8x8-logarithmic	78		3	46307.9
FPGA_PLB_FIT_FAST	38		2	1453.72
FPGA_PLB_FIT_SLOW	25			1666.58
horn	156	3	52	90133.09
Impl	74	10		0.31
jmc_quant	49			43982.25
jmc_quant_squaring	118			105997.08
k_branch_n	56			49783.55
k_branch_p	52			46194.44
k_d4_n	42	1		36567.77
k_d4_p	42		1	32253.4
k_dum_n	35	1		28963.72
k_dum_p	47		4	17446.14
k_grz_n	42	2		26317.32
k_grz_p	37		2	23664.13
k_lin_n	27	2	2	9710.98
k_lin_p	35		6	108.57
k_path_n	40	1		29324.12
k_path_p	35		1	29255.28
k_ph_n	40	3	3	104.94
k_ph_p	36		6	576.16
k_poly_n	42			36815.81
k_poly_p	33			28889.42
k_t4p_n	39			34925.68
k_t4p_p	51			45528.33
Logn	19		2	483.55
mA-t2-1qbf-5cnf-160var-1280cl	10	10		0.12
mA-t2-1qbf-5cnf-160var-2560cl	20			760.78
mA-t2-1qbf-5cnf-160var-320cl	10	10		0.01
mA-t2-1qbf-5cnf-160var-5120cl	10			341.58
mA-t2-1qbf-5cnf-160var-640cl	10	10		0.07
mA-t2-1qbf-5cnf-20var-160cl	10	10		0.01
mA-t2-1qbf-5cnf-20var-320cl	10	10		0.07
mA-t2-1qbf-5cnf-20var-40cl	10	10		0.01
mA-t2-1qbf-5cnf-20var-640cl	10		10	0.28
mA-t2-1qbf-5cnf-20var-80cl	10	10		0.01
mA-t2-1qbf-5cnf-40var-1280cl	10		9	290.83
mA-t2-1qbf-5cnf-40var-160cl	10	10		0.03
mA-t2-1qbf-5cnf-40var-320cl	10	10		0.05
mA-t2-1qbf-5cnf-40var-640cl	10	10		3.43
mA-t2-1qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-1qbf-5cnf-80var-1280cl	10	3		315.88
mA-t2-1qbf-5cnf-80var-160cl	10	10		0.05
mA-t2-1qbf-5cnf-80var-2560cl	20			1021.88
mA-t2-1qbf-5cnf-80var-320cl	10	10		0.03
mA-t2-1qbf-5cnf-80var-640cl	10	10		0.05
mA-t2-2qbf-5cnf-160var-1280cl	10			8635.69
mA-t2-2qbf-5cnf-160var-2560cl	20		10	7.5
mA-t2-2qbf-5cnf-160var-320cl	20	1		14992.9
mA-t2-2qbf-5cnf-160var-5120cl	20		10	0.86
mA-t2-2qbf-5cnf-160var-640cl	10			8462.2
mA-t2-2qbf-5cnf-20var-160cl	10		10	7.07
mA-t2-2qbf-5cnf-20var-320cl	10		10	0.05
mA-t2-2qbf-5cnf-20var-40cl	10	10		0.03
mA-t2-2qbf-5cnf-20var-640cl	10		10	0.06
mA-t2-2qbf-5cnf-20var-80cl	10	10		8.69
mA-t2-2qbf-5cnf-40var-1280cl	10		10	0.09
mA-t2-2qbf-5cnf-40var-160cl	20		1	14930.96
mA-t2-2qbf-5cnf-40var-320cl	20		8	6720.62
mA-t2-2qbf-5cnf-40var-640cl	20		10	0.14
mA-t2-2qbf-5cnf-40var-80cl	10	10		0.81
mA-t2-2qbf-5cnf-80var-1280cl	20		10	0.92
mA-t2-2qbf-5cnf-80var-160cl	10	10		60.18
mA-t2-2qbf-5cnf-80var-2560cl	10		10	0.21
mA-t2-2qbf-5cnf-80var-320cl	20			16695.76
mA-t2-2qbf-5cnf-80var-640cl	20		1	15349.28
mA-t2-3qbf-5cnf-160var-1280cl	10		1	7948.07
mA-t2-3qbf-5cnf-160var-2560cl	20		5	2897.7
mA-t2-3qbf-5cnf-160var-320cl	10	10		0.06
mA-t2-3qbf-5cnf-160var-5120cl	10		10	0.43
mA-t2-3qbf-5cnf-160var-640cl	20	10		0.16
mA-t2-3qbf-5cnf-20var-160cl	20	9	1	0.68
mA-t2-3qbf-5cnf-20var-320cl	20		10	0.58
mA-t2-3qbf-5cnf-20var-40cl	10	10		0.02
mA-t2-3qbf-5cnf-20var-640cl	10		10	0.06
mA-t2-3qbf-5cnf-20var-80cl	10	10		0.02
mA-t2-3qbf-5cnf-40var-1280cl	10		10	0.12
mA-t2-3qbf-5cnf-40var-160cl	10	10		0
mA-t2-3qbf-5cnf-40var-320cl	20	7	3	42.42
mA-t2-3qbf-5cnf-40var-640cl	20		10	3.52
mA-t2-3qbf-5cnf-40var-80cl	10	10		0.03
mA-t2-3qbf-5cnf-80var-1280cl	20		9	348.9
mA-t2-3qbf-5cnf-80var-160cl	10	10		0.04
mA-t2-3qbf-5cnf-80var-2560cl	20		10	0.42
mA-t2-3qbf-5cnf-80var-320cl	20	10		0.1
mA-t2-3qbf-5cnf-80var-640cl	10	3	3	4057.19
mA-t2-4qbf-5cnf-160var-1280cl	10		2	6919.67
mA-t2-4qbf-5cnf-160var-2560cl	20		10	184.34
mA-t2-4qbf-5cnf-160var-320cl	10	10		0.04
mA-t2-4qbf-5cnf-160var-5120cl	20		10	0.88
mA-t2-4qbf-5cnf-160var-640cl	20			16718
mA-t2-4qbf-5cnf-20var-160cl	20	1	9	62.54
mA-t2-4qbf-5cnf-20var-320cl	20		10	0.08
mA-t2-4qbf-5cnf-20var-40cl	10	10		0.03
mA-t2-4qbf-5cnf-20var-640cl	20		10	0.12
mA-t2-4qbf-5cnf-20var-80cl	10	10		0.09
mA-t2-4qbf-5cnf-40var-1280cl	20		10	0.24
mA-t2-4qbf-5cnf-40var-160cl	10	10		9.54
mA-t2-4qbf-5cnf-40var-320cl	20		5	10880.72
mA-t2-4qbf-5cnf-40var-640cl	20		10	0.34
mA-t2-4qbf-5cnf-40var-80cl	10	10		0.03
mA-t2-4qbf-5cnf-80var-1280cl	20		10	9.64
mA-t2-4qbf-5cnf-80var-160cl	10	10		0.01
mA-t2-4qbf-5cnf-80var-2560cl	20		10	0.42
mA-t2-4qbf-5cnf-80var-320cl	20	5		10583.62
mA-t2-4qbf-5cnf-80var-640cl	10		2	7956.69
mA-t2-5qbf-5cnf-160var-1280cl	10	6		3876.22
mA-t2-5qbf-5cnf-160var-2560cl	20			5226.96
mA-t2-5qbf-5cnf-160var-320cl	10	10		0.06
mA-t2-5qbf-5cnf-160var-5120cl	20		10	3.6
mA-t2-5qbf-5cnf-160var-640cl	20	10		0.2
mA-t2-5qbf-5cnf-20var-160cl	10	10		0.04
mA-t2-5qbf-5cnf-20var-320cl	20		10	2.22
mA-t2-5qbf-5cnf-20var-40cl	10	10		0.03
mA-t2-5qbf-5cnf-20var-640cl	20		10	0.12
mA-t2-5qbf-5cnf-20var-80cl	10	10		0.02
mA-t2-5qbf-5cnf-40var-1280cl	20		10	0.22
mA-t2-5qbf-5cnf-40var-160cl	10	10		0.02
mA-t2-5qbf-5cnf-40var-320cl	20	10		164.26
mA-t2-5qbf-5cnf-40var-640cl	20		10	15.24
mA-t2-5qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-5qbf-5cnf-80var-1280cl	20		8	3034.56
mA-t2-5qbf-5cnf-80var-160cl	10	10		0.05
mA-t2-5qbf-5cnf-80var-2560cl	20		10	0.6
mA-t2-5qbf-5cnf-80var-320cl	10	10		0.06
mA-t2-5qbf-5cnf-80var-640cl	20	6	1	7295.1
mA-t2-6qbf-5cnf-160var-1280cl	10			8293.6
mA-t2-6qbf-5cnf-160var-2560cl	20		5	4312.08
mA-t2-6qbf-5cnf-160var-320cl	10	10		0.1
mA-t2-6qbf-5cnf-160var-5120cl	20		10	2.76
mA-t2-6qbf-5cnf-160var-640cl	20	10		0.2
mA-t2-6qbf-5cnf-20var-160cl	20	9	1	31.58
mA-t2-6qbf-5cnf-20var-320cl	20		10	9.48
mA-t2-6qbf-5cnf-20var-40cl	10	10		0.02
mA-t2-6qbf-5cnf-20var-640cl	20		10	0.26
mA-t2-6qbf-5cnf-20var-80cl	10	10		0.01
mA-t2-6qbf-5cnf-40var-1280cl	20		10	0.34
mA-t2-6qbf-5cnf-40var-160cl	10	10		0.05
mA-t2-6qbf-5cnf-40var-320cl	20			16123.8
mA-t2-6qbf-5cnf-40var-640cl	20		10	92.64
mA-t2-6qbf-5cnf-40var-80cl	10	10		0.02
mA-t2-6qbf-5cnf-80var-1280cl	20		8	3981.92
mA-t2-6qbf-5cnf-80var-160cl	10	10		0.04
mA-t2-6qbf-5cnf-80var-2560cl	20		10	0.74
mA-t2-6qbf-5cnf-80var-320cl	10	10		0.05
mA-t2-6qbf-5cnf-80var-640cl	20			16203.4
MutexP	78	3		33013.54
Qshifter	62	2		41250.32
renHorn	84	5	19	52364.18
RobotsD2	70	21		17242.86
RobotsD3	70	21	3	15609.82
RobotsD4	74	20	2	18678.49
RobotsD5	71	21	1	17193.8
s1196	17			15314.42
s1269	29			9013.71
s27	36	1	1	21818.64
s298	37			33255.5
s3330	45			7262.02
s386	31			27894.42
s499	24			13502.96
s510	22			9914.1
s641	29			0.07
s713	35			31509.11
s820	36			24299.36
SzymanskiP	107		4	61.27
term1	69	3	4	3261.71
Toilet	33	5	3	2.92
ToiletA	30	8	10	138.32
ToiletC	41	11	9	3.1
Tree	87	4	9	7924.07
uclid	30			26934.38
VonNeumann	75			140.58
z4ml	61	3	5	0.29

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

QChaffLearn results solving families - 2005