qbfbdd results solving families

qbfbdd results solving families - 2005

Family	# Total	# Sat	# Unsat	Time
Adder	201	2	2	164879.36
Blocks	102	1	3	65180.65
C432	73	2	1	45038.61
C499	76	2	1	46899.55
C5315	86	2	1	52945.16
C6288	86			77478.79
C880	78	1		69315.39
Chain	87	2		71372.46
comp	28	3	2	9909.87
Connect4	144			37259.65
Counter	73	7		48783.78
CounterFactual	1691	4		1518006.32
DFlipFlop	73		10	395.7
evader-pursuer-4x4-logarithmic	61	7		14070.08
evader-pursuer-4x4-standard	65			58544.85
evader-pursuer-6x6-logarithmic	74		1	60649.43
evader-pursuer-6x6-standard	77			69336.96
evader-pursuer-8x8-logarithmic	78		1	69321.66
FPGA_PLB_FIT_FAST	38			34229.84
FPGA_PLB_FIT_SLOW	25			22519.08
horn	156	42	14	94015.59
Impl	74	6		26905.77
jmc_quant	49			44138.92
jmc_quant_squaring	118			106262.09
k_branch_n	56			50455.09
k_branch_p	52			46850.99
k_d4_n	42			37841.52
k_d4_p	42			37840.1
k_dum_n	35			31520.94
k_dum_p	47			42327.79
k_grz_n	42			37840.84
k_grz_p	37			33336.24
k_lin_n	27			24325.71
k_lin_p	35			31526
k_path_n	40			36038.89
k_path_p	35			31534.68
k_ph_n	40	1		29869.79
k_ph_p	36			32431.54
k_poly_n	42			37841.4
k_poly_p	33			29731.38
k_t4p_n	39			35138.6
k_t4p_p	51			45949.28
Logn	19		2	288.13
mA-t2-1qbf-5cnf-160var-1280cl	10	10		0.01
mA-t2-1qbf-5cnf-160var-2560cl	20	10		2409.74
mA-t2-1qbf-5cnf-160var-320cl	10	10		0.04
mA-t2-1qbf-5cnf-160var-5120cl	10			9009.91
mA-t2-1qbf-5cnf-160var-640cl	10	10		0.03
mA-t2-1qbf-5cnf-20var-160cl	10	10		0.02
mA-t2-1qbf-5cnf-20var-320cl	10	10		0.04
mA-t2-1qbf-5cnf-20var-40cl	10	10		0.02
mA-t2-1qbf-5cnf-20var-640cl	10		10	0.02
mA-t2-1qbf-5cnf-20var-80cl	10	10		0.02
mA-t2-1qbf-5cnf-40var-1280cl	10		10	1.02
mA-t2-1qbf-5cnf-40var-160cl	10	10		0.01
mA-t2-1qbf-5cnf-40var-320cl	10	10		0.03
mA-t2-1qbf-5cnf-40var-640cl	10	10		0.08
mA-t2-1qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-1qbf-5cnf-80var-1280cl	10	10		5.29
mA-t2-1qbf-5cnf-80var-160cl	10	10		0.02
mA-t2-1qbf-5cnf-80var-2560cl	20		10	3929.64
mA-t2-1qbf-5cnf-80var-320cl	10	10		0.01
mA-t2-1qbf-5cnf-80var-640cl	10	10		0.02
mA-t2-2qbf-5cnf-160var-1280cl	10			9009.85
mA-t2-2qbf-5cnf-160var-2560cl	20			18014.46
mA-t2-2qbf-5cnf-160var-320cl	20			18019.8
mA-t2-2qbf-5cnf-160var-5120cl	20		3	12613.72
mA-t2-2qbf-5cnf-160var-640cl	10			9009.85
mA-t2-2qbf-5cnf-20var-160cl	10		10	10.86
mA-t2-2qbf-5cnf-20var-320cl	10		10	1.45
mA-t2-2qbf-5cnf-20var-40cl	10	10		0.11
mA-t2-2qbf-5cnf-20var-640cl	10		10	0.02
mA-t2-2qbf-5cnf-20var-80cl	10	10		2.39
mA-t2-2qbf-5cnf-40var-1280cl	10		10	0.06
mA-t2-2qbf-5cnf-40var-160cl	20			18019.02
mA-t2-2qbf-5cnf-40var-320cl	20			18016.66
mA-t2-2qbf-5cnf-40var-640cl	20		10	308.72
mA-t2-2qbf-5cnf-40var-80cl	10	10		550.25
mA-t2-2qbf-5cnf-80var-1280cl	20		3	12610.48
mA-t2-2qbf-5cnf-80var-160cl	10			9009.95
mA-t2-2qbf-5cnf-80var-2560cl	10		10	0.07
mA-t2-2qbf-5cnf-80var-320cl	20			18019.62
mA-t2-2qbf-5cnf-80var-640cl	20			18018.7
mA-t2-3qbf-5cnf-160var-1280cl	10			9009.91
mA-t2-3qbf-5cnf-160var-2560cl	20			18019.94
mA-t2-3qbf-5cnf-160var-320cl	10			9009.86
mA-t2-3qbf-5cnf-160var-5120cl	10			4700.06
mA-t2-3qbf-5cnf-160var-640cl	20			18019.58
mA-t2-3qbf-5cnf-20var-160cl	20			18016.62
mA-t2-3qbf-5cnf-20var-320cl	20			18014.42
mA-t2-3qbf-5cnf-20var-40cl	10	8		3054.6
mA-t2-3qbf-5cnf-20var-640cl	10		10	104.83
mA-t2-3qbf-5cnf-20var-80cl	10			9009.49
mA-t2-3qbf-5cnf-40var-1280cl	10		8	3382.74
mA-t2-3qbf-5cnf-40var-160cl	10			9009.86
mA-t2-3qbf-5cnf-40var-320cl	20			18019.38
mA-t2-3qbf-5cnf-40var-640cl	20			18016.88
mA-t2-3qbf-5cnf-40var-80cl	10			9009.88
mA-t2-3qbf-5cnf-80var-1280cl	20			18019.5
mA-t2-3qbf-5cnf-80var-160cl	10			9009.94
mA-t2-3qbf-5cnf-80var-2560cl	20			11154.38
mA-t2-3qbf-5cnf-80var-320cl	20			18019.64
mA-t2-3qbf-5cnf-80var-640cl	10			9009.64
mA-t2-4qbf-5cnf-160var-1280cl	10			9009.94
mA-t2-4qbf-5cnf-160var-2560cl	20			18019.96
mA-t2-4qbf-5cnf-160var-320cl	10			9009.76
mA-t2-4qbf-5cnf-160var-5120cl	20			18012.52
mA-t2-4qbf-5cnf-160var-640cl	20			18019.7
mA-t2-4qbf-5cnf-20var-160cl	20			18019.58
mA-t2-4qbf-5cnf-20var-320cl	20			18017.54
mA-t2-4qbf-5cnf-20var-40cl	10	1		8108.67
mA-t2-4qbf-5cnf-20var-640cl	20			18014.56
mA-t2-4qbf-5cnf-20var-80cl	10			9009.9
mA-t2-4qbf-5cnf-40var-1280cl	20			18015.02
mA-t2-4qbf-5cnf-40var-160cl	10			9009.89
mA-t2-4qbf-5cnf-40var-320cl	20			18019.48
mA-t2-4qbf-5cnf-40var-640cl	20			18019.8
mA-t2-4qbf-5cnf-40var-80cl	10			9009.8
mA-t2-4qbf-5cnf-80var-1280cl	20			18019.86
mA-t2-4qbf-5cnf-80var-160cl	10			9009.92
mA-t2-4qbf-5cnf-80var-2560cl	20			18012.72
mA-t2-4qbf-5cnf-80var-320cl	20			18019.56
mA-t2-4qbf-5cnf-80var-640cl	10			9009.85
mA-t2-5qbf-5cnf-160var-1280cl	10			9009.95
mA-t2-5qbf-5cnf-160var-2560cl	20			18019.92
mA-t2-5qbf-5cnf-160var-320cl	10			9009.83
mA-t2-5qbf-5cnf-160var-5120cl	20			18019.84
mA-t2-5qbf-5cnf-160var-640cl	20			18019.6
mA-t2-5qbf-5cnf-20var-160cl	10			9009.75
mA-t2-5qbf-5cnf-20var-320cl	20			18019.24
mA-t2-5qbf-5cnf-20var-40cl	10			9009.86
mA-t2-5qbf-5cnf-20var-640cl	20			18015.8
mA-t2-5qbf-5cnf-20var-80cl	10			9009.87
mA-t2-5qbf-5cnf-40var-1280cl	20			18018.88
mA-t2-5qbf-5cnf-40var-160cl	10			9009.75
mA-t2-5qbf-5cnf-40var-320cl	20			18019.52
mA-t2-5qbf-5cnf-40var-640cl	20			18019.7
mA-t2-5qbf-5cnf-40var-80cl	10			9009.86
mA-t2-5qbf-5cnf-80var-1280cl	20			18019.94
mA-t2-5qbf-5cnf-80var-160cl	10			9009.85
mA-t2-5qbf-5cnf-80var-2560cl	20			18019.64
mA-t2-5qbf-5cnf-80var-320cl	10			9009.88
mA-t2-5qbf-5cnf-80var-640cl	20			18019.88
mA-t2-6qbf-5cnf-160var-1280cl	10			9009.95
mA-t2-6qbf-5cnf-160var-2560cl	20			18019.9
mA-t2-6qbf-5cnf-160var-320cl	10			9009.87
mA-t2-6qbf-5cnf-160var-5120cl	20			18019.86
mA-t2-6qbf-5cnf-160var-640cl	20			18019.76
mA-t2-6qbf-5cnf-20var-160cl	20			18019.7
mA-t2-6qbf-5cnf-20var-320cl	20			18019.7
mA-t2-6qbf-5cnf-20var-40cl	10			9009.93
mA-t2-6qbf-5cnf-20var-640cl	20			18018.88
mA-t2-6qbf-5cnf-20var-80cl	10			9009.86
mA-t2-6qbf-5cnf-40var-1280cl	20			18019.82
mA-t2-6qbf-5cnf-40var-160cl	10			9009.89
mA-t2-6qbf-5cnf-40var-320cl	20			18019.82
mA-t2-6qbf-5cnf-40var-640cl	20			18019.78
mA-t2-6qbf-5cnf-40var-80cl	10			9009.96
mA-t2-6qbf-5cnf-80var-1280cl	20			18019.98
mA-t2-6qbf-5cnf-80var-160cl	10			9009.64
mA-t2-6qbf-5cnf-80var-2560cl	20			18019.96
mA-t2-6qbf-5cnf-80var-320cl	10			9009.77
mA-t2-6qbf-5cnf-80var-640cl	20			18019.74
MutexP	78	3		43317.68
Qshifter	62	1		47748.08
renHorn	84	1		75464.76
RobotsD2	70	25		13738.39
RobotsD3	70	21		16285.46
RobotsD4	74	20		18973.79
RobotsD5	71	21		16272.58
s1196	17			14983.9
s1269	29			26127.26
s27	36	1		27086
s298	37			32986.99
s3330	45			40522.32
s386	31			27340.6
s499	24			21609.47
s510	22			15910.42
s641	29			0.07
s713	35			31528.73
s820	36			32407.09
SzymanskiP	107		3	79906.05
term1	69	2	1	41430.59
Toilet	33	1	1	24314.45
ToiletA	30		5	20725.37
ToiletC	41		4	27916.63
Tree	87	5	1	50068.03
uclid	30			27025.09
VonNeumann	75		10	756.51
z4ml	61	4	4	0.73

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

qbfbdd results solving families - 2005