GRL results solving families

GRL results solving families - 2005

Family	# Total	# Sat	# Unsat	Time
Adder	201	2	2	123488.17
Blocks	102		3	14966.63
C432	73	3		44800.48
C499	76	2		23936.19
C5315	86	2		48024.42
C6288	86			77475.71
C880	78	1		30804.12
Chain	87	5		56998.02
comp	28	4	1	10824.93
Connect4	144	1	47	37172.64
Counter	73	9		42579.88
CounterFactual	1691	116	78	1227624.75
DFlipFlop	73		10	37.81
evader-pursuer-4x4-logarithmic	61	7		39.47
evader-pursuer-4x4-standard	65			58535.84
evader-pursuer-6x6-logarithmic	74		4	41897.76
evader-pursuer-6x6-standard	77			69337.96
evader-pursuer-8x8-logarithmic	78		3	47069.22
FPGA_PLB_FIT_FAST	38	1	1	1669.78
FPGA_PLB_FIT_SLOW	25			1721.84
horn	156	8	55	86907.9
Impl	74	10		0.13
jmc_quant	49			44138.92
jmc_quant_squaring	118			106286.86
k_branch_n	56			50430.66
k_branch_p	52			46826.83
k_d4_n	42	1		36643.73
k_d4_p	42		1	32458.49
k_dum_n	35	1		28824.89
k_dum_p	47		2	34343.2
k_grz_n	42	2		27720.13
k_grz_p	37		2	23757.47
k_lin_n	27	2		16676.67
k_lin_p	35		6	1130.02
k_path_n	40	1		29792.11
k_path_p	35		1	29722.27
k_ph_n	40	3		19453.93
k_ph_p	36		2	27041.52
k_poly_n	42			37826.21
k_poly_p	33			29721.05
k_t4p_n	39			35115.27
k_t4p_p	51			45925.53
Logn	19		2	854.43
mA-t2-1qbf-5cnf-160var-1280cl	10	10		0.14
mA-t2-1qbf-5cnf-160var-2560cl	20			743.66
mA-t2-1qbf-5cnf-160var-320cl	10	10		0.01
mA-t2-1qbf-5cnf-160var-5120cl	10			342.9
mA-t2-1qbf-5cnf-160var-640cl	10	10		0.07
mA-t2-1qbf-5cnf-20var-160cl	10	10		0.04
mA-t2-1qbf-5cnf-20var-320cl	10	10		0.09
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.02
mA-t2-1qbf-5cnf-40var-1280cl	10		9	289.36
mA-t2-1qbf-5cnf-40var-160cl	10	10		0.03
mA-t2-1qbf-5cnf-40var-320cl	10	10		0.03
mA-t2-1qbf-5cnf-40var-640cl	10	10		3.44
mA-t2-1qbf-5cnf-40var-80cl	10	10		0.02
mA-t2-1qbf-5cnf-80var-1280cl	10	3		315.22
mA-t2-1qbf-5cnf-80var-160cl	10	10		0.03
mA-t2-1qbf-5cnf-80var-2560cl	20			1023.56
mA-t2-1qbf-5cnf-80var-320cl	10	10		0.03
mA-t2-1qbf-5cnf-80var-640cl	10	10		0.09
mA-t2-2qbf-5cnf-160var-1280cl	10			9008.85
mA-t2-2qbf-5cnf-160var-2560cl	20		10	29.94
mA-t2-2qbf-5cnf-160var-320cl	20	3		14469.44
mA-t2-2qbf-5cnf-160var-5120cl	20		10	1.8
mA-t2-2qbf-5cnf-160var-640cl	10			9009.4
mA-t2-2qbf-5cnf-20var-160cl	10		10	1.38
mA-t2-2qbf-5cnf-20var-320cl	10		10	0.11
mA-t2-2qbf-5cnf-20var-40cl	10	10		0.01
mA-t2-2qbf-5cnf-20var-640cl	10		10	0.08
mA-t2-2qbf-5cnf-20var-80cl	10	10		0.96
mA-t2-2qbf-5cnf-40var-1280cl	10		10	0.22
mA-t2-2qbf-5cnf-40var-160cl	20		2	16100.76
mA-t2-2qbf-5cnf-40var-320cl	20		7	6837.88
mA-t2-2qbf-5cnf-40var-640cl	20		10	0.28
mA-t2-2qbf-5cnf-40var-80cl	10	10		0.11
mA-t2-2qbf-5cnf-80var-1280cl	20		10	22.9
mA-t2-2qbf-5cnf-80var-160cl	10	10		2.38
mA-t2-2qbf-5cnf-80var-2560cl	10		10	0.41
mA-t2-2qbf-5cnf-80var-320cl	20			18019.46
mA-t2-2qbf-5cnf-80var-640cl	20		1	16216.66
mA-t2-3qbf-5cnf-160var-1280cl	10			9008.97
mA-t2-3qbf-5cnf-160var-2560cl	20		2	2240.26
mA-t2-3qbf-5cnf-160var-320cl	10	10		0.11
mA-t2-3qbf-5cnf-160var-5120cl	10		10	0.48
mA-t2-3qbf-5cnf-160var-640cl	20	10		0.2
mA-t2-3qbf-5cnf-20var-160cl	20	10		0.68
mA-t2-3qbf-5cnf-20var-320cl	20		10	1.32
mA-t2-3qbf-5cnf-20var-40cl	10	10		0.04
mA-t2-3qbf-5cnf-20var-640cl	10		10	0.08
mA-t2-3qbf-5cnf-20var-80cl	10	10		0.01
mA-t2-3qbf-5cnf-40var-1280cl	10		10	0.16
mA-t2-3qbf-5cnf-40var-160cl	10	10		0.04
mA-t2-3qbf-5cnf-40var-320cl	20	9	1	27.66
mA-t2-3qbf-5cnf-40var-640cl	20		10	15.72
mA-t2-3qbf-5cnf-40var-80cl	10	10		0.04
mA-t2-3qbf-5cnf-80var-1280cl	20		6	3020.14
mA-t2-3qbf-5cnf-80var-160cl	10	10		0.04
mA-t2-3qbf-5cnf-80var-2560cl	20		10	0.6
mA-t2-3qbf-5cnf-80var-320cl	20	10		0.14
mA-t2-3qbf-5cnf-80var-640cl	10	4		5560.61
mA-t2-4qbf-5cnf-160var-1280cl	10			9008.36
mA-t2-4qbf-5cnf-160var-2560cl	20		10	237.36
mA-t2-4qbf-5cnf-160var-320cl	10	10		0.11
mA-t2-4qbf-5cnf-160var-5120cl	20		10	1.84
mA-t2-4qbf-5cnf-160var-640cl	20			18019.12
mA-t2-4qbf-5cnf-20var-160cl	20	2	8	26.16
mA-t2-4qbf-5cnf-20var-320cl	20		10	0.38
mA-t2-4qbf-5cnf-20var-40cl	10	10		0.03
mA-t2-4qbf-5cnf-20var-640cl	20		10	0.2
mA-t2-4qbf-5cnf-20var-80cl	10	10		0.05
mA-t2-4qbf-5cnf-40var-1280cl	20		10	0.48
mA-t2-4qbf-5cnf-40var-160cl	10	10		0.66
mA-t2-4qbf-5cnf-40var-320cl	20		3	13202.66
mA-t2-4qbf-5cnf-40var-640cl	20		10	1.16
mA-t2-4qbf-5cnf-40var-80cl	10	10		0.02
mA-t2-4qbf-5cnf-80var-1280cl	20		10	16.44
mA-t2-4qbf-5cnf-80var-160cl	10	10		0.06
mA-t2-4qbf-5cnf-80var-2560cl	20		10	0.84
mA-t2-4qbf-5cnf-80var-320cl	20	6		7759.3
mA-t2-4qbf-5cnf-80var-640cl	10		1	8300.42
mA-t2-5qbf-5cnf-160var-1280cl	10	4		5495.53
mA-t2-5qbf-5cnf-160var-2560cl	20			2290.34
mA-t2-5qbf-5cnf-160var-320cl	10	10		0.07
mA-t2-5qbf-5cnf-160var-5120cl	20		10	4.7
mA-t2-5qbf-5cnf-160var-640cl	20	10		0.3
mA-t2-5qbf-5cnf-20var-160cl	10	10		0.07
mA-t2-5qbf-5cnf-20var-320cl	20		10	7.26
mA-t2-5qbf-5cnf-20var-40cl	10	10		0.01
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.5
mA-t2-5qbf-5cnf-40var-160cl	10	10		0.06
mA-t2-5qbf-5cnf-40var-320cl	20	10		82.72
mA-t2-5qbf-5cnf-40var-640cl	20		10	35.34
mA-t2-5qbf-5cnf-40var-80cl	10	10		0.02
mA-t2-5qbf-5cnf-80var-1280cl	20		7	1459.96
mA-t2-5qbf-5cnf-80var-160cl	10	10		0.05
mA-t2-5qbf-5cnf-80var-2560cl	20		10	1.16
mA-t2-5qbf-5cnf-80var-320cl	10	10		0.08
mA-t2-5qbf-5cnf-80var-640cl	20	7		6669.84
mA-t2-6qbf-5cnf-160var-1280cl	10			9009.09
mA-t2-6qbf-5cnf-160var-2560cl	20		5	3135.24
mA-t2-6qbf-5cnf-160var-320cl	10	10		0.1
mA-t2-6qbf-5cnf-160var-5120cl	20		10	4.84
mA-t2-6qbf-5cnf-160var-640cl	20	10		0.34
mA-t2-6qbf-5cnf-20var-160cl	20	9	1	2.02
mA-t2-6qbf-5cnf-20var-320cl	20		10	3.92
mA-t2-6qbf-5cnf-20var-40cl	10	10		0.02
mA-t2-6qbf-5cnf-20var-640cl	20		10	0.3
mA-t2-6qbf-5cnf-20var-80cl	10	10		0
mA-t2-6qbf-5cnf-40var-1280cl	20		10	0.76
mA-t2-6qbf-5cnf-40var-160cl	10	10		0.02
mA-t2-6qbf-5cnf-40var-320cl	20	1	1	15200.54
mA-t2-6qbf-5cnf-40var-640cl	20		10	55.24
mA-t2-6qbf-5cnf-40var-80cl	10	10		0.02
mA-t2-6qbf-5cnf-80var-1280cl	20		8	3054.18
mA-t2-6qbf-5cnf-80var-160cl	10	10		0.06
mA-t2-6qbf-5cnf-80var-2560cl	20		10	1.38
mA-t2-6qbf-5cnf-80var-320cl	10	10		0.08
mA-t2-6qbf-5cnf-80var-640cl	20			18018.8
MutexP	78	3		43429.84
Qshifter	62	1		47731.53
renHorn	84	10	22	49614.8
RobotsD2	70	23	1	7862.46
RobotsD3	70	21	5	8209.31
RobotsD4	74	20	4	8121.03
RobotsD5	71	21	4	7778.52
s1196	17			15021.45
s1269	29			26125.06
s27	36	1		26128.57
s298	37			33322.38
s3330	45			40525.34
s386	31			27922.02
s499	24			21615.48
s510	22			19814.4
s641	29			0
s713	35			31517.91
s820	36			32424.46
SzymanskiP	107		12	3184.26
term1	69	4		5871.69
Toilet	33	5	3	531.88
ToiletA	30	8	10	1304.92
ToiletC	41	11	9	3.07
Tree	87	3	9	10840.86
uclid	30			27021.93
VonNeumann	75		10	174.28
z4ml	61	4	4	0.38

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

GRL results solving families - 2005