Quaffle results solving families

Quaffle results solving families - 2006

Family	# Total	# Sat	# Unsat	Time
Adder	116			64211.63
ASP_Program_Inclusion	91			59547.94
blackbox_design	131			76551.96
Blocks	88	3	7	15629.12
C432	41	1	1	15965.11
C499	30	1	1	84666.84
C5315	41	1	1	128858.79
C6288	10			5977.1
C880	18	2		220.04
Chain	39	2		17176.02
comp	8		2	2562.76
Connect4	38		12	4449.41
Counter	21	3		54749.69
CounterFactual	920			476022.9
evader-pursuer-4x4-logarithmic	39	4		15.7
evader-pursuer-6x6-logarithmic	17		2	229.92
evader-pursuer-8x8-logarithmic	37		4	2608.3
FPGA_PLB_FIT_FAST	24	3		54.56
FPGA_PLB_FIT_SLOW	25	1	2	8927.86
jmc_quant	23			13613.19
jmc_quant_squaring	33			19451.64
k_branch_n	18	1		6922.26
k_branch_p	25		1	12773.04
k_d4_n	42	1		22962.95
k_d4_p	36			20387.98
k_dum_n	32	1		17416.61
k_dum_p	38			21372.89
k_grz_n	36	5		9543.11
k_grz_p	37		4	10626.15
k_lin_n	27	6		1228.88
k_lin_p	28		5	47.32
k_path_n	33			18666.34
k_path_p	33			18662.71
k_ph_n	20	3		377.59
k_ph_p	4		1	22.44
k_poly_n	42			18091.81
k_poly_p	11			2266.47
k_t4p_n	39			21812.82
k_t4p_p	51		1	26548.59
Logn	19		2	106.53
mA-t2-1qbf-5cnf-160var-2560cl	20	10		131.3
mA-t2-1qbf-5cnf-80var-2560cl	20			120010.62
mA-t2-2qbf-5cnf-160var-2560cl	20			22773.76
mA-t2-2qbf-5cnf-160var-320cl	20			10313.96
mA-t2-2qbf-5cnf-160var-5120cl	20		10	2.68
mA-t2-2qbf-5cnf-40var-160cl	20			10692.48
mA-t2-2qbf-5cnf-40var-320cl	20			11319.18
mA-t2-2qbf-5cnf-40var-640cl	20		10	1503.72
mA-t2-2qbf-5cnf-80var-1280cl	20		5	7042.24
mA-t2-2qbf-5cnf-80var-320cl	20			10670.5
mA-t2-2qbf-5cnf-80var-640cl	20			11158.56
mA-t2-3qbf-5cnf-160var-2560cl	20		2	9181.86
mA-t2-3qbf-5cnf-160var-640cl	20			10388.5
mA-t2-3qbf-5cnf-20var-160cl	20	10		1084.04
mA-t2-3qbf-5cnf-20var-320cl	20		10	1.82
mA-t2-3qbf-5cnf-40var-320cl	20			10843.24
mA-t2-3qbf-5cnf-40var-640cl	20		10	25.9
mA-t2-3qbf-5cnf-80var-1280cl	20		6	6561.76
mA-t2-3qbf-5cnf-80var-2560cl	20		10	1.34
mA-t2-3qbf-5cnf-80var-320cl	20			10401.12
mA-t2-4qbf-5cnf-160var-2560cl	20			11108.5
mA-t2-4qbf-5cnf-160var-5120cl	20		10	2.76
mA-t2-4qbf-5cnf-160var-640cl	20			10376.8
mA-t2-4qbf-5cnf-20var-160cl	20			10734.22
mA-t2-4qbf-5cnf-20var-320cl	20		9	3099.42
mA-t2-4qbf-5cnf-20var-640cl	20		10	0.36
mA-t2-4qbf-5cnf-40var-1280cl	20		10	0.72
mA-t2-4qbf-5cnf-40var-320cl	20			10713.54
mA-t2-4qbf-5cnf-40var-640cl	20			11137.64
mA-t2-4qbf-5cnf-80var-1280cl	20			11151.74
mA-t2-4qbf-5cnf-80var-2560cl	20		10	1.38
mA-t2-4qbf-5cnf-80var-320cl	20			10351.46
mA-t2-5qbf-5cnf-160var-2560cl	20			10947.78
mA-t2-5qbf-5cnf-160var-5120cl	20		10	2.84
mA-t2-5qbf-5cnf-160var-640cl	20			10282.26
mA-t2-5qbf-5cnf-20var-320cl	20		2	10059.48
mA-t2-5qbf-5cnf-20var-640cl	20		10	0.38
mA-t2-5qbf-5cnf-40var-1280cl	20		10	0.64
mA-t2-5qbf-5cnf-40var-320cl	20			10545.82
mA-t2-5qbf-5cnf-40var-640cl	20		1	9856.38
mA-t2-5qbf-5cnf-80var-1280cl	20			10914.58
mA-t2-5qbf-5cnf-80var-2560cl	20		10	1.38
mA-t2-5qbf-5cnf-80var-640cl	20			10519.32
mA-t2-6qbf-5cnf-160var-2560cl	20			10801.88
mA-t2-6qbf-5cnf-160var-5120cl	20		10	3.08
mA-t2-6qbf-5cnf-160var-640cl	20			10310.42
mA-t2-6qbf-5cnf-20var-160cl	20			10564.86
mA-t2-6qbf-5cnf-20var-320cl	20			10838.34
mA-t2-6qbf-5cnf-20var-640cl	20		10	1.96
mA-t2-6qbf-5cnf-40var-1280cl	20		10	8.26
mA-t2-6qbf-5cnf-40var-320cl	20			10472.8
mA-t2-6qbf-5cnf-40var-640cl	20			10838.18
mA-t2-6qbf-5cnf-80var-1280cl	20			10805.44
mA-t2-6qbf-5cnf-80var-2560cl	20		10	1.54
mA-t2-6qbf-5cnf-80var-640cl	20			10461.84
MutexP	48			27346.39
Qq2k1k4v40v40m16	10		2	4488.61
Qq2k1k4v40v40m2	10	10		0.03
Qq2k1k4v40v40m32	10		3	3815.29
Qq2k1k4v40v40m4	10	9	1	0.16
Qq2k1k4v40v40m8	10	8	2	83.52
Qq2k1k4v80v80m16	10			5435.7
Qq2k1k4v80v80m2	10	10		0
Qq2k1k4v80v80m32	10			5437.09
Qq2k1k4v80v80m4	10	10		0.34
Qq2k1k4v80v80m8	10	9		1832.81
Qq2k2k3v40v40m16	10			5072.02
Qq2k2k3v40v40m2	10			5191.14
Qq2k2k3v40v40m32	10			5086.68
Qq2k2k3v40v40m4	10			5204.02
Qq2k2k3v40v40m8	10			5197.85
Qq2k2k3v80v80m16	10			5136.48
Qq2k2k3v80v80m2	10			5197.85
Qq2k2k3v80v80m32	10			5082.21
Qq2k2k3v80v80m4	10			5197.18
Qq2k2k3v80v80m8	10			5159.86
Qq2k3k2v40v40m16	10			5076.08
Qq2k3k2v40v40m2	10			5122.28
Qq2k3k2v40v40m32	10			5095.32
Qq2k3k2v40v40m4	10			5118.03
Qq2k3k2v40v40m8	10			5107.28
Qq2k3k2v80v80m16	10			5062.54
Qq2k3k2v80v80m2	10			5132.15
Qq2k3k2v80v80m32	10			5070.17
Qq2k3k2v80v80m4	10			5109.57
Qq2k3k2v80v80m8	10			5088.85
Qq3k1k1k3v40v40v40m16	10	10		0.08
Qq3k1k1k3v40v40v40m2	10	10		0.02
Qq3k1k1k3v40v40v40m32	10	10		14.56
Qq3k1k1k3v40v40v40m4	10	10		0.05
Qq3k1k1k3v40v40v40m8	10	10		0.02
Qq3k1k1k3v80v80v80m16	10	10		0.06
Qq3k1k1k3v80v80v80m2	10	10		0.04
Qq3k1k1k3v80v80v80m32	10	10		0.02
Qq3k1k1k3v80v80v80m4	10	10		0.04
Qq3k1k1k3v80v80v80m8	10	10		0.02
Qq3k1k2k2v40v40v40m16	10	10		3.58
Qq3k1k2k2v40v40v40m2	10	10		0.03
Qq3k1k2k2v40v40v40m32	10	9		809.01
Qq3k1k2k2v40v40v40m4	10	10		0.02
Qq3k1k2k2v40v40v40m8	10	10		0.03
Qq3k1k2k2v80v80v80m16	10	10		24.59
Qq3k1k2k2v80v80v80m2	10	10		0.04
Qq3k1k2k2v80v80v80m32	10	6		2169.8
Qq3k1k2k2v80v80v80m4	10	10		0.03
Qq3k1k2k2v80v80v80m8	10	10		0.04
Qq3k1k3k1v40v40v40m16	10	8		1283.51
Qq3k1k3k1v40v40v40m2	10	10		0.04
Qq3k1k3k1v40v40v40m32	10	4		3569.29
Qq3k1k3k1v40v40v40m4	10	10		0.03
Qq3k1k3k1v40v40v40m8	10	10		0.02
Qq3k1k3k1v80v80v80m16	10	9		633.54
Qq3k1k3k1v80v80v80m2	10	10		0.06
Qq3k1k3k1v80v80v80m32	10	2		4441.09
Qq3k1k3k1v80v80v80m4	10	10		0.02
Qq3k1k3k1v80v80v80m8	10	10		0.01
Qq3k2k1k2v40v40v40m16	10	5		2561.04
Qq3k2k1k2v40v40v40m2	10	10		0.02
Qq3k2k1k2v40v40v40m32	10	1		4603.25
Qq3k2k1k2v40v40v40m4	10	10		0.01
Qq3k2k1k2v40v40v40m8	10	9		512.45
Qq3k2k1k2v80v80v80m16	10	7		1507.15
Qq3k2k1k2v80v80v80m2	10	10		0.02
Qq3k2k1k2v80v80v80m32	10	6		2008.91
Qq3k2k1k2v80v80v80m4	10	10		0.02
Qq3k2k1k2v80v80v80m8	10	9		519.04
Qq3k2k2k1v40v40v40m16	10	3		3618.47
Qq3k2k2k1v40v40v40m2	10	10		0.02
Qq3k2k2k1v40v40v40m32	10			5138.99
Qq3k2k2k1v40v40v40m4	10	10		0.04
Qq3k2k2k1v40v40v40m8	10	10		0.03
Qq3k2k2k1v80v80v80m16	10	7		1521.81
Qq3k2k2k1v80v80v80m2	10	10		0.01
Qq3k2k2k1v80v80v80m32	10			5092.95
Qq3k2k2k1v80v80v80m4	10	10		0.02
Qq3k2k2k1v80v80v80m8	10	10		0.01
Qq3k3k1k1v40v40v40m16	10	3		3579.91
Qq3k3k1k1v40v40v40m2	10	10		0.02
Qq3k3k1k1v40v40v40m32	10			5099.96
Qq3k3k1k1v40v40v40m4	10	10		0.02
Qq3k3k1k1v40v40v40m8	10	10		0.04
Qq3k3k1k1v80v80v80m16	10	7		1509.9
Qq3k3k1k1v80v80v80m2	10	10		0.02
Qq3k3k1k1v80v80v80m32	10			5071.88
Qq3k3k1k1v80v80v80m4	10	10		0.03
Qq3k3k1k1v80v80v80m8	10	10		0.04
Qshifter	45			26795.27
RobotsD2	30			17059.44
RobotsD3	30			17033.46
RobotsD4	32			17977.29
RobotsD5	31			17415.56
s27	29		1	12069.04
s298	17			9592.97
s386	8			4510.24
s499	11			6344.3
s510	4			2253.4
s713	10			5651.9
s820	8			4571.04
Sorting_networks	433	6	5	993822.15
Strategic_Companies	644	13	29	749349.66
SzymanskiP	87			51229.51
term1	38		3	7383.72
tipdiam	65	29		1405.72
tipfixpoint	208	4	9	123226.51
Toilet	17		1	27839.16
ToiletA	4	1	1	41.92
ToiletC	3			18000.54
Tree	7		1	0.07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Quaffle results solving families - 2006