QbflHR results solving families

QbflHR results solving families - 2005

Family	# Total	# Sat	# Unsat	Time
Adder	201	2	2	164890.04
Blocks	102			91901.87
C432	73	2		51357.18
C499	76	2		55058.4
C5315	86			77485.64
C6288	86			77485.27
C880	78	1		65959.23
Chain	87	9		32909.99
comp	28	4		15825.62
Connect4	144		43	47017.81
Counter	73	4		54357.27
CounterFactual	1691	112	118	1170770.81
DFlipFlop	73		10	26.88
evader-pursuer-4x4-logarithmic	61	4		28269.04
evader-pursuer-4x4-standard	65			58564.46
evader-pursuer-6x6-logarithmic	74		3	49792.82
evader-pursuer-6x6-standard	77			69368.14
evader-pursuer-8x8-logarithmic	78		2	55060.99
FPGA_PLB_FIT_FAST	38	1	1	26516.38
FPGA_PLB_FIT_SLOW	25			22525
horn	156	79	77	3.33
Impl	74	10		0.37
jmc_quant	49			44149.1
jmc_quant_squaring	118			106317.92
k_branch_n	56			50454.77
k_branch_p	52			46851.17
k_d4_n	42			37842.19
k_d4_p	42			37842.29
k_dum_n	35	1		30206.06
k_dum_p	47			42347.09
k_grz_n	42	4		22075.43
k_grz_p	37			33337.19
k_lin_n	27			24326.9
k_lin_p	35			31505.95
k_path_n	40			36040.04
k_path_p	35		1	29783.15
k_ph_n	40	1		29699.88
k_ph_p	36		1	29617.58
k_poly_n	42			37842.24
k_poly_p	33			29732.94
k_t4p_n	39			35138.83
k_t4p_p	51			45949.56
Logn	19			17118.61
mA-t2-1qbf-5cnf-160var-1280cl	10	10		0.04
mA-t2-1qbf-5cnf-160var-2560cl	20	8		5022.42
mA-t2-1qbf-5cnf-160var-320cl	10	10		0.06
mA-t2-1qbf-5cnf-160var-5120cl	10			9009.31
mA-t2-1qbf-5cnf-160var-640cl	10	10		0.07
mA-t2-1qbf-5cnf-20var-160cl	10	10		0.05
mA-t2-1qbf-5cnf-20var-320cl	10	10		0.07
mA-t2-1qbf-5cnf-20var-40cl	10	10		0.06
mA-t2-1qbf-5cnf-20var-640cl	10		10	0.18
mA-t2-1qbf-5cnf-20var-80cl	10	10		0.01
mA-t2-1qbf-5cnf-40var-1280cl	10		10	9.01
mA-t2-1qbf-5cnf-40var-160cl	10	10		0.06
mA-t2-1qbf-5cnf-40var-320cl	10	10		0.04
mA-t2-1qbf-5cnf-40var-640cl	10	10		0.07
mA-t2-1qbf-5cnf-40var-80cl	10	10		0.07
mA-t2-1qbf-5cnf-80var-1280cl	10	10		0.42
mA-t2-1qbf-5cnf-80var-160cl	10	10		0.08
mA-t2-1qbf-5cnf-80var-2560cl	20			18019.32
mA-t2-1qbf-5cnf-80var-320cl	10	10		0.04
mA-t2-1qbf-5cnf-80var-640cl	10	10		0.06
mA-t2-2qbf-5cnf-160var-1280cl	10			9010.01
mA-t2-2qbf-5cnf-160var-2560cl	20		10	33.64
mA-t2-2qbf-5cnf-160var-320cl	20			18020.06
mA-t2-2qbf-5cnf-160var-5120cl	20		10	1
mA-t2-2qbf-5cnf-160var-640cl	10			9010.05
mA-t2-2qbf-5cnf-20var-160cl	10		10	15.19
mA-t2-2qbf-5cnf-20var-320cl	10		10	0.1
mA-t2-2qbf-5cnf-20var-40cl	10	10		0.05
mA-t2-2qbf-5cnf-20var-640cl	10		10	0.05
mA-t2-2qbf-5cnf-20var-80cl	10	10		16.8
mA-t2-2qbf-5cnf-40var-1280cl	10		10	0.07
mA-t2-2qbf-5cnf-40var-160cl	20		2	16073.16
mA-t2-2qbf-5cnf-40var-320cl	20		3	14079.36
mA-t2-2qbf-5cnf-40var-640cl	20		10	0.22
mA-t2-2qbf-5cnf-40var-80cl	10	10		0.43
mA-t2-2qbf-5cnf-80var-1280cl	20		10	1.1
mA-t2-2qbf-5cnf-80var-160cl	10	10		466.59
mA-t2-2qbf-5cnf-80var-2560cl	10		10	0.19
mA-t2-2qbf-5cnf-80var-320cl	20			18020.06
mA-t2-2qbf-5cnf-80var-640cl	20			18020.02
mA-t2-3qbf-5cnf-160var-1280cl	10	9		912.47
mA-t2-3qbf-5cnf-160var-2560cl	20			18020.06
mA-t2-3qbf-5cnf-160var-320cl	10	10		0.05
mA-t2-3qbf-5cnf-160var-5120cl	10			9010
mA-t2-3qbf-5cnf-160var-640cl	20	10		0.12
mA-t2-3qbf-5cnf-20var-160cl	20	10		10.92
mA-t2-3qbf-5cnf-20var-320cl	20		10	40.2
mA-t2-3qbf-5cnf-20var-40cl	10	10		0.05
mA-t2-3qbf-5cnf-20var-640cl	10		10	0.16
mA-t2-3qbf-5cnf-20var-80cl	10	10		0.04
mA-t2-3qbf-5cnf-40var-1280cl	10		10	111.92
mA-t2-3qbf-5cnf-40var-160cl	10	10		0.04
mA-t2-3qbf-5cnf-40var-320cl	20	9		1807.24
mA-t2-3qbf-5cnf-40var-640cl	20		4	12106.24
mA-t2-3qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-3qbf-5cnf-80var-1280cl	20			18020.02
mA-t2-3qbf-5cnf-80var-160cl	10	10		0.04
mA-t2-3qbf-5cnf-80var-2560cl	20		2	14446.14
mA-t2-3qbf-5cnf-80var-320cl	20	10		0.12
mA-t2-3qbf-5cnf-80var-640cl	10	10		0.08
mA-t2-4qbf-5cnf-160var-1280cl	10		1	8225.9
mA-t2-4qbf-5cnf-160var-2560cl	20			18020.12
mA-t2-4qbf-5cnf-160var-320cl	10	10		0.04
mA-t2-4qbf-5cnf-160var-5120cl	20			18020.1
mA-t2-4qbf-5cnf-160var-640cl	20			18020.04
mA-t2-4qbf-5cnf-20var-160cl	20		10	152.62
mA-t2-4qbf-5cnf-20var-320cl	20		10	4.44
mA-t2-4qbf-5cnf-20var-40cl	10	10		0.02
mA-t2-4qbf-5cnf-20var-640cl	20		10	0.3
mA-t2-4qbf-5cnf-20var-80cl	10	10		0.18
mA-t2-4qbf-5cnf-40var-1280cl	20		10	5.24
mA-t2-4qbf-5cnf-40var-160cl	10	10		95.02
mA-t2-4qbf-5cnf-40var-320cl	20		10	3066.38
mA-t2-4qbf-5cnf-40var-640cl	20		1	16633.3
mA-t2-4qbf-5cnf-40var-80cl	10	10		0.06
mA-t2-4qbf-5cnf-80var-1280cl	20			18020.06
mA-t2-4qbf-5cnf-80var-160cl	10	10		0.09
mA-t2-4qbf-5cnf-80var-2560cl	20		2	14442.48
mA-t2-4qbf-5cnf-80var-320cl	20	3		12820.64
mA-t2-4qbf-5cnf-80var-640cl	10		2	7442.14
mA-t2-5qbf-5cnf-160var-1280cl	10	10		0.11
mA-t2-5qbf-5cnf-160var-2560cl	20			18020.08
mA-t2-5qbf-5cnf-160var-320cl	10	10		0.08
mA-t2-5qbf-5cnf-160var-5120cl	20			18020.06
mA-t2-5qbf-5cnf-160var-640cl	20	10		0.06
mA-t2-5qbf-5cnf-20var-160cl	10	10		0.04
mA-t2-5qbf-5cnf-20var-320cl	20		10	827.82
mA-t2-5qbf-5cnf-20var-40cl	10	10		0.07
mA-t2-5qbf-5cnf-20var-640cl	20		10	53.4
mA-t2-5qbf-5cnf-20var-80cl	10	10		0.05
mA-t2-5qbf-5cnf-40var-1280cl	20		1	17806.54
mA-t2-5qbf-5cnf-40var-160cl	10	10		0.05
mA-t2-5qbf-5cnf-40var-320cl	20	10		0.04
mA-t2-5qbf-5cnf-40var-640cl	20		3	14074.52
mA-t2-5qbf-5cnf-40var-80cl	10	10		0.03
mA-t2-5qbf-5cnf-80var-1280cl	20			18020.08
mA-t2-5qbf-5cnf-80var-160cl	10	10		0.09
mA-t2-5qbf-5cnf-80var-2560cl	20			18020.2
mA-t2-5qbf-5cnf-80var-320cl	10	10		0.02
mA-t2-5qbf-5cnf-80var-640cl	20	10		0.18
mA-t2-6qbf-5cnf-160var-1280cl	10			9010.04
mA-t2-6qbf-5cnf-160var-2560cl	20			18020.06
mA-t2-6qbf-5cnf-160var-320cl	10	10		0.09
mA-t2-6qbf-5cnf-160var-5120cl	20			18020.1
mA-t2-6qbf-5cnf-160var-640cl	20	10		0.12
mA-t2-6qbf-5cnf-20var-160cl	20	4	6	162.42
mA-t2-6qbf-5cnf-20var-320cl	20		10	479.22
mA-t2-6qbf-5cnf-20var-40cl	10	10		0.03
mA-t2-6qbf-5cnf-20var-640cl	20		10	50.76
mA-t2-6qbf-5cnf-20var-80cl	10	10		0.04
mA-t2-6qbf-5cnf-40var-1280cl	20		1	17843.52
mA-t2-6qbf-5cnf-40var-160cl	10	10		0.02
mA-t2-6qbf-5cnf-40var-320cl	20		9	4109.48
mA-t2-6qbf-5cnf-40var-640cl	20		1	16293.88
mA-t2-6qbf-5cnf-40var-80cl	10	10		0.06
mA-t2-6qbf-5cnf-80var-1280cl	20			18020.1
mA-t2-6qbf-5cnf-80var-160cl	10	10		0.11
mA-t2-6qbf-5cnf-80var-2560cl	20			18020.06
mA-t2-6qbf-5cnf-80var-320cl	10	10		0.07
mA-t2-6qbf-5cnf-80var-640cl	20		4	14505.84
MutexP	78	3		43387.97
Qshifter	62	5		11535.86
renHorn	84	56	28	2.08
RobotsD2	70	10		45057.47
RobotsD3	70	13		37960.87
RobotsD4	74	20		22140.07
RobotsD5	71	20		21184.71
s1196	17			15317.08
s1269	29			26128.45
s27	36	1		26129.17
s298	37			33336.78
s3330	45			40543.62
s386	31			27931.08
s499	24			21623.65
s510	22			19820.7
s641	29			0.07
s713	35			31534.75
s820	36			32435.5
SzymanskiP	107		12	9221.45
term1	69	4		34246.47
Toilet	33	5	3	4422.49
ToiletA	30	8	9	1905.82
ToiletC	41	11	9	175.47
Tree	87	4	7	25082.53
uclid	30		1	17122.41
VonNeumann	75		10	41.43
z4ml	61	4	4	0.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

QbflHR results solving families - 2005