WalkQSAT results solving families

WalkQSAT results solving families - 2005

Family	# Total	# Sat	# Unsat	Time
Adder	201	2	1	140349.56
Blocks	102		2	14668.42
C432	73	2		43171.21
C499	76	1		19420.29
C5315	86	1		48095.86
C6288	86			41656.84
C880	78	2		49290.16
Chain	87	9		34043.22
comp	28	2		1570.52
Connect4	144		30	45127.62
Counter	73	9		41684.76
CounterFactual	1691	223	222	759046.26
DFlipFlop	73		8	27.08
evader-pursuer-4x4-logarithmic	61	7		22.9
evader-pursuer-4x4-standard	65			58562.47
evader-pursuer-6x6-logarithmic	74		1	32068.78
evader-pursuer-6x6-standard	77			69353.17
evader-pursuer-8x8-logarithmic	78		1	47143.24
FPGA_PLB_FIT_FAST	38			1593.12
FPGA_PLB_FIT_SLOW	25			1666.81
horn	156		38	106709.7
Impl	74	10		0.38
jmc_quant	49	1		43324.81
jmc_quant_squaring	118			106317.15
k_branch_n	56			50455.61
k_branch_p	52			46851.31
k_d4_n	42	1		35927.99
k_d4_p	42		1	32490
k_dum_n	35	1		28837.3
k_dum_p	47		2	34282.19
k_grz_n	42	3		23144.39
k_grz_p	37		3	20806.97
k_lin_n	27			24326.67
k_lin_p	35		1	25501.62
k_path_n	40	1		30989.36
k_path_p	35		1	29775.42
k_ph_n	40	4		13033.88
k_ph_p	36			29720.84
k_poly_n	42			37841.72
k_poly_p	33			29732.26
k_t4p_n	39			35138.73
k_t4p_p	51			45950.6
Logn	19			4955.38
mA-t2-1qbf-5cnf-160var-1280cl	10	10		0.12
mA-t2-1qbf-5cnf-160var-2560cl	20			750.56
mA-t2-1qbf-5cnf-160var-320cl	10	10		0.04
mA-t2-1qbf-5cnf-160var-5120cl	10			333.84
mA-t2-1qbf-5cnf-160var-640cl	10	10		0.05
mA-t2-1qbf-5cnf-20var-160cl	10	10		0.03
mA-t2-1qbf-5cnf-20var-320cl	10	10		0.08
mA-t2-1qbf-5cnf-20var-40cl	10	10		0.04
mA-t2-1qbf-5cnf-20var-640cl	10		10	0.28
mA-t2-1qbf-5cnf-20var-80cl	10	10		0.04
mA-t2-1qbf-5cnf-40var-1280cl	10		9	290.06
mA-t2-1qbf-5cnf-40var-160cl	10	10		0.03
mA-t2-1qbf-5cnf-40var-320cl	10	10		0.04
mA-t2-1qbf-5cnf-40var-640cl	10	10		3.46
mA-t2-1qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-1qbf-5cnf-80var-1280cl	10	3		315.34
mA-t2-1qbf-5cnf-80var-160cl	10	10		0.07
mA-t2-1qbf-5cnf-80var-2560cl	20			1022.38
mA-t2-1qbf-5cnf-80var-320cl	10	10		0.05
mA-t2-1qbf-5cnf-80var-640cl	10	10		0.08
mA-t2-2qbf-5cnf-160var-1280cl	10			9009.98
mA-t2-2qbf-5cnf-160var-2560cl	20		5	9011.86
mA-t2-2qbf-5cnf-160var-320cl	20	1		16224.62
mA-t2-2qbf-5cnf-160var-5120cl	20		10	0.74
mA-t2-2qbf-5cnf-160var-640cl	10			9009.97
mA-t2-2qbf-5cnf-20var-160cl	10		9	27.99
mA-t2-2qbf-5cnf-20var-320cl	10		7	840.36
mA-t2-2qbf-5cnf-20var-40cl	10	10		0.02
mA-t2-2qbf-5cnf-20var-640cl	10		10	0.06
mA-t2-2qbf-5cnf-20var-80cl	10	10		3.81
mA-t2-2qbf-5cnf-40var-1280cl	10		10	0.11
mA-t2-2qbf-5cnf-40var-160cl	20		3	15113.1
mA-t2-2qbf-5cnf-40var-320cl	20		5	10283.08
mA-t2-2qbf-5cnf-40var-640cl	20		6	7255.36
mA-t2-2qbf-5cnf-40var-80cl	10	10		0.24
mA-t2-2qbf-5cnf-80var-1280cl	20		4	10812.14
mA-t2-2qbf-5cnf-80var-160cl	10	10		19.06
mA-t2-2qbf-5cnf-80var-2560cl	10		10	0.21
mA-t2-2qbf-5cnf-80var-320cl	20			18020.02
mA-t2-2qbf-5cnf-80var-640cl	20		1	16228.78
mA-t2-3qbf-5cnf-160var-1280cl	10			9009.95
mA-t2-3qbf-5cnf-160var-2560cl	20		3	1722.72
mA-t2-3qbf-5cnf-160var-320cl	10	10		0.08
mA-t2-3qbf-5cnf-160var-5120cl	10		10	0.36
mA-t2-3qbf-5cnf-160var-640cl	20	10		0.16
mA-t2-3qbf-5cnf-20var-160cl	20	10		0.66
mA-t2-3qbf-5cnf-20var-320cl	20		10	0.5
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.03
mA-t2-3qbf-5cnf-40var-1280cl	10		10	0.11
mA-t2-3qbf-5cnf-40var-160cl	10	10		0.06
mA-t2-3qbf-5cnf-40var-320cl	20	9	1	37.76
mA-t2-3qbf-5cnf-40var-640cl	20		10	2.48
mA-t2-3qbf-5cnf-40var-80cl	10	10		0.03
mA-t2-3qbf-5cnf-80var-1280cl	20		10	398.06
mA-t2-3qbf-5cnf-80var-160cl	10	10		0.05
mA-t2-3qbf-5cnf-80var-2560cl	20		10	0.38
mA-t2-3qbf-5cnf-80var-320cl	20	10		0.1
mA-t2-3qbf-5cnf-80var-640cl	10	6		4314.14
mA-t2-4qbf-5cnf-160var-1280cl	10		1	8114.67
mA-t2-4qbf-5cnf-160var-2560cl	20		10	184.12
mA-t2-4qbf-5cnf-160var-320cl	10	10		0.07
mA-t2-4qbf-5cnf-160var-5120cl	20		10	0.88
mA-t2-4qbf-5cnf-160var-640cl	20			18020.02
mA-t2-4qbf-5cnf-20var-160cl	20	2	8	8.88
mA-t2-4qbf-5cnf-20var-320cl	20		10	0.2
mA-t2-4qbf-5cnf-20var-40cl	10	10		0.04
mA-t2-4qbf-5cnf-20var-640cl	20		10	0.14
mA-t2-4qbf-5cnf-20var-80cl	10	10		0.06
mA-t2-4qbf-5cnf-40var-1280cl	20		10	0.2
mA-t2-4qbf-5cnf-40var-160cl	10	10		1.84
mA-t2-4qbf-5cnf-40var-320cl	20		4	11343.72
mA-t2-4qbf-5cnf-40var-640cl	20		10	0.42
mA-t2-4qbf-5cnf-40var-80cl	10	10		0.02
mA-t2-4qbf-5cnf-80var-1280cl	20		10	9.62
mA-t2-4qbf-5cnf-80var-160cl	10	10		0.07
mA-t2-4qbf-5cnf-80var-2560cl	20		10	0.38
mA-t2-4qbf-5cnf-80var-320cl	20	5		9768.04
mA-t2-4qbf-5cnf-80var-640cl	10		2	7639.5
mA-t2-5qbf-5cnf-160var-1280cl	10	5		4676.07
mA-t2-5qbf-5cnf-160var-2560cl	20		2	1590.72
mA-t2-5qbf-5cnf-160var-320cl	10	10		0.12
mA-t2-5qbf-5cnf-160var-5120cl	20		10	3.56
mA-t2-5qbf-5cnf-160var-640cl	20	10		0.24
mA-t2-5qbf-5cnf-20var-160cl	10	10		0.05
mA-t2-5qbf-5cnf-20var-320cl	20		10	0.88
mA-t2-5qbf-5cnf-20var-40cl	10	10		0.05
mA-t2-5qbf-5cnf-20var-640cl	20		10	0.22
mA-t2-5qbf-5cnf-20var-80cl	10	10		0.02
mA-t2-5qbf-5cnf-40var-1280cl	20		10	0.16
mA-t2-5qbf-5cnf-40var-160cl	10	10		0.03
mA-t2-5qbf-5cnf-40var-320cl	20	10		104.64
mA-t2-5qbf-5cnf-40var-640cl	20		10	4.84
mA-t2-5qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-5qbf-5cnf-80var-1280cl	20		10	202.48
mA-t2-5qbf-5cnf-80var-160cl	10	10		0.08
mA-t2-5qbf-5cnf-80var-2560cl	20		10	0.6
mA-t2-5qbf-5cnf-80var-320cl	10	10		0.08
mA-t2-5qbf-5cnf-80var-640cl	20	7		6965.02
mA-t2-6qbf-5cnf-160var-1280cl	10			9009.95
mA-t2-6qbf-5cnf-160var-2560cl	20		7	754.88
mA-t2-6qbf-5cnf-160var-320cl	10	10		0.05
mA-t2-6qbf-5cnf-160var-5120cl	20		10	2.64
mA-t2-6qbf-5cnf-160var-640cl	20	10		0.26
mA-t2-6qbf-5cnf-20var-160cl	20	9	1	2.02
mA-t2-6qbf-5cnf-20var-320cl	20		10	1.34
mA-t2-6qbf-5cnf-20var-40cl	10	10		0.05
mA-t2-6qbf-5cnf-20var-640cl	20		10	0.18
mA-t2-6qbf-5cnf-20var-80cl	10	10		0.03
mA-t2-6qbf-5cnf-40var-1280cl	20		10	0.32
mA-t2-6qbf-5cnf-40var-160cl	10	10		0.05
mA-t2-6qbf-5cnf-40var-320cl	20	4	1	11105.46
mA-t2-6qbf-5cnf-40var-640cl	20		10	4.42
mA-t2-6qbf-5cnf-40var-80cl	10	10		0.06
mA-t2-6qbf-5cnf-80var-1280cl	20		8	3627.62
mA-t2-6qbf-5cnf-80var-160cl	10	10		0.06
mA-t2-6qbf-5cnf-80var-2560cl	20		10	0.64
mA-t2-6qbf-5cnf-80var-320cl	10	10		0.08
mA-t2-6qbf-5cnf-80var-640cl	20			18019.92
MutexP	78	3		43268.18
Qshifter	62	2		41461.77
renHorn	84		13	63971.16
RobotsD2	70	1		6243.93
RobotsD3	70			6306.2
RobotsD4	74			6917.72
RobotsD5	71			6586
s1196	17			15316.91
s1269	29			24324.39
s27	36	1	1	19182.09
s298	37			33334.61
s3330	45			16266.91
s386	31			27931.07
s499	24			13516.87
s510	22			9920.87
s641	29			0.08
s713	35			31534.04
s820	36			32432.53
SzymanskiP	107		8	134.76
term1	69	2		8139.29
Toilet	33	5	1	89.05
ToiletA	30	8	10	144.59
ToiletC	41	11	9	3.13
Tree	87	4	9	7842.75
uclid	30			27029.95
VonNeumann	75		3	133.93
z4ml	61	4	1	0.45

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

WalkQSAT results solving families - 2005