preQuantor results solving families

preQuantor results solving families - 2006

Family	# Total	# Sat	# Unsat	Time
Adder	116	4		203066.25
ASP_Program_Inclusion	91			9005.8
blackbox_design	131			2739.56
Blocks	88	4	7	213.59
C432	41		2	123721.76
C499	30		2	131.67
C5315	41	2	2	21.89
C6288	10			172.6
C880	18	2		7083.6
Chain	39	4		1.31
comp	8		2	0.16
Connect4	38		13	10.53
Counter	21	5		662.64
CounterFactual	920	63	36	19649.53
evader-pursuer-4x4-logarithmic	39			13894.21
evader-pursuer-6x6-logarithmic	17			7244.8
evader-pursuer-8x8-logarithmic	37			26695.23
FPGA_PLB_FIT_FAST	24	3		20.4
FPGA_PLB_FIT_SLOW	25	1	2	56.3
jmc_quant	23			4704.81
jmc_quant_squaring	33			8000.26
k_branch_n	18			350.64
k_branch_p	25			488.43
k_d4_n	42	1		691.46
k_d4_p	36		5	2.49
k_dum_n	32	5		0.89
k_dum_p	38		4	15.6
k_grz_n	36	5		76.01
k_grz_p	37		6	34.35
k_lin_n	27	6		323.5
k_lin_p	28		5	1.65
k_path_n	33	5		1.71
k_path_p	33		5	2.07
k_ph_n	20	3		550.8
k_ph_p	4		1	13.68
k_poly_n	42	6		1.68
k_poly_p	11		3	0.44
k_t4p_n	39	6		81.05
k_t4p_p	51		6	6.1
Logn	19			6.54
mA-t2-1qbf-5cnf-160var-2560cl	20	6		36016.16
mA-t2-1qbf-5cnf-80var-2560cl	20			96013.3
mA-t2-2qbf-5cnf-160var-2560cl	20			378.56
mA-t2-2qbf-5cnf-160var-320cl	20	8		330.08
mA-t2-2qbf-5cnf-160var-5120cl	20			648.42
mA-t2-2qbf-5cnf-40var-160cl	20		3	818.14
mA-t2-2qbf-5cnf-40var-320cl	20			173.12
mA-t2-2qbf-5cnf-40var-640cl	20			327.48
mA-t2-2qbf-5cnf-80var-1280cl	20			251.76
mA-t2-2qbf-5cnf-80var-320cl	20			324.84
mA-t2-2qbf-5cnf-80var-640cl	20			313.86
mA-t2-3qbf-5cnf-160var-2560cl	20			257.78
mA-t2-3qbf-5cnf-160var-640cl	20			530.22
mA-t2-3qbf-5cnf-20var-160cl	20			6331.88
mA-t2-3qbf-5cnf-20var-320cl	20		4	2815.68
mA-t2-3qbf-5cnf-40var-320cl	20			620.02
mA-t2-3qbf-5cnf-40var-640cl	20		3	255.18
mA-t2-3qbf-5cnf-80var-1280cl	20			280.14
mA-t2-3qbf-5cnf-80var-2560cl	20		9	0.16
mA-t2-3qbf-5cnf-80var-320cl	20	1		2518.1
mA-t2-4qbf-5cnf-160var-2560cl	20			307.62
mA-t2-4qbf-5cnf-160var-5120cl	20			469.8
mA-t2-4qbf-5cnf-160var-640cl	20			1483.2
mA-t2-4qbf-5cnf-20var-160cl	20			3632.7
mA-t2-4qbf-5cnf-20var-320cl	20			1102.08
mA-t2-4qbf-5cnf-20var-640cl	20			491.7
mA-t2-4qbf-5cnf-40var-1280cl	20		1	253.3
mA-t2-4qbf-5cnf-40var-320cl	20			686.18
mA-t2-4qbf-5cnf-40var-640cl	20			338.42
mA-t2-4qbf-5cnf-80var-1280cl	20			382.22
mA-t2-4qbf-5cnf-80var-2560cl	20			342.32
mA-t2-4qbf-5cnf-80var-320cl	20			5127.3
mA-t2-5qbf-5cnf-160var-2560cl	20			292.64
mA-t2-5qbf-5cnf-160var-5120cl	20		6	42.56
mA-t2-5qbf-5cnf-160var-640cl	20	9		0.28
mA-t2-5qbf-5cnf-20var-320cl	20			779.98
mA-t2-5qbf-5cnf-20var-640cl	20		5	1476.26
mA-t2-5qbf-5cnf-40var-1280cl	20		7	76
mA-t2-5qbf-5cnf-40var-320cl	20			1134.58
mA-t2-5qbf-5cnf-40var-640cl	20		1	345.56
mA-t2-5qbf-5cnf-80var-1280cl	20			298.28
mA-t2-5qbf-5cnf-80var-2560cl	20		8	39.2
mA-t2-5qbf-5cnf-80var-640cl	20			587.52
mA-t2-6qbf-5cnf-160var-2560cl	20			328.28
mA-t2-6qbf-5cnf-160var-5120cl	20			346.62
mA-t2-6qbf-5cnf-160var-640cl	20	8		0.14
mA-t2-6qbf-5cnf-20var-160cl	20			5570.84
mA-t2-6qbf-5cnf-20var-320cl	20			1296.54
mA-t2-6qbf-5cnf-20var-640cl	20			539.34
mA-t2-6qbf-5cnf-40var-1280cl	20			354
mA-t2-6qbf-5cnf-40var-320cl	20			1150.7
mA-t2-6qbf-5cnf-40var-640cl	20			391.3
mA-t2-6qbf-5cnf-80var-1280cl	20			337.48
mA-t2-6qbf-5cnf-80var-2560cl	20		1	308.7
mA-t2-6qbf-5cnf-80var-640cl	20			592.76
MutexP	48			810.73
Qq2k1k4v40v40m16	10	5	4	0.02
Qq2k1k4v40v40m2	10	9		0.04
Qq2k1k4v40v40m32	10		10	0.04
Qq2k1k4v40v40m4	10	5	1	0.03
Qq2k1k4v40v40m8	10	8	2	0.07
Qq2k1k4v80v80m16	10	6	3	0.07
Qq2k1k4v80v80m2	10	7		0.05
Qq2k1k4v80v80m32	10	2	8	0.04
Qq2k1k4v80v80m4	10	10		0.04
Qq2k1k4v80v80m8	10	6		0.06
Qq2k2k3v40v40m16	10	9		0.05
Qq2k2k3v40v40m2	10	9		0.07
Qq2k2k3v40v40m32	10	7		0.02
Qq2k2k3v40v40m4	10	6		0.01
Qq2k2k3v40v40m8	10	7		0.08
Qq2k2k3v80v80m16	10	10		0.1
Qq2k2k3v80v80m2	10	8		0.06
Qq2k2k3v80v80m32	10	8		0.03
Qq2k2k3v80v80m4	10	9		0.05
Qq2k2k3v80v80m8	10	9		0.02
Qq2k3k2v40v40m16	10	9		0.07
Qq2k3k2v40v40m2	10	8		0.05
Qq2k3k2v40v40m32	10	10		0.03
Qq2k3k2v40v40m4	10	9		0.15
Qq2k3k2v40v40m8	10	9		0.07
Qq2k3k2v80v80m16	10	8		0.06
Qq2k3k2v80v80m2	10	8		0.07
Qq2k3k2v80v80m32	10	8		0.04
Qq2k3k2v80v80m4	10	7		0.05
Qq2k3k2v80v80m8	10	10		0.05
Qq3k1k1k3v40v40v40m16	10	8		0.05
Qq3k1k1k3v40v40v40m2	10	6		0.05
Qq3k1k1k3v40v40v40m32	10	8		0.05
Qq3k1k1k3v40v40v40m4	10	5		0.05
Qq3k1k1k3v40v40v40m8	10	10		0.05
Qq3k1k1k3v80v80v80m16	10	8		0.06
Qq3k1k1k3v80v80v80m2	10	10		0.09
Qq3k1k1k3v80v80v80m32	10	9		0.04
Qq3k1k1k3v80v80v80m4	10	8		0.06
Qq3k1k1k3v80v80v80m8	10	8		0.03
Qq3k1k2k2v40v40v40m16	10	9		0.07
Qq3k1k2k2v40v40v40m2	10	9		0.02
Qq3k1k2k2v40v40v40m32	10	10		0.04
Qq3k1k2k2v40v40v40m4	10	10		0.05
Qq3k1k2k2v40v40v40m8	10	10		0.03
Qq3k1k2k2v80v80v80m16	10	9		0.05
Qq3k1k2k2v80v80v80m2	10	8		0.03
Qq3k1k2k2v80v80v80m32	10	7		0.01
Qq3k1k2k2v80v80v80m4	10	7		0.02
Qq3k1k2k2v80v80v80m8	10	10		0.05
Qq3k1k3k1v40v40v40m16	10	8		0.06
Qq3k1k3k1v40v40v40m2	10	8		0.04
Qq3k1k3k1v40v40v40m32	10	9		0.01
Qq3k1k3k1v40v40v40m4	10	7		0.05
Qq3k1k3k1v40v40v40m8	10	7		0.07
Qq3k1k3k1v80v80v80m16	10	6		0.02
Qq3k1k3k1v80v80v80m2	10	9		0.03
Qq3k1k3k1v80v80v80m32	10	8		0.06
Qq3k1k3k1v80v80v80m4	10	9		0.05
Qq3k1k3k1v80v80v80m8	10	10		0.05
Qq3k2k1k2v40v40v40m16	10	10		0.05
Qq3k2k1k2v40v40v40m2	10	9		0.04
Qq3k2k1k2v40v40v40m32	10	10		0.06
Qq3k2k1k2v40v40v40m4	10	10		0.05
Qq3k2k1k2v40v40v40m8	10	9		0.04
Qq3k2k1k2v80v80v80m16	10	7		0.04
Qq3k2k1k2v80v80v80m2	10	9		0.03
Qq3k2k1k2v80v80v80m32	10	8		0.08
Qq3k2k1k2v80v80v80m4	10	9		0.01
Qq3k2k1k2v80v80v80m8	10	7		0.04
Qq3k2k2k1v40v40v40m16	10	10		0.05
Qq3k2k2k1v40v40v40m2	10	9		0.04
Qq3k2k2k1v40v40v40m32	10	7		0.04
Qq3k2k2k1v40v40v40m4	10	7		0.03
Qq3k2k2k1v40v40v40m8	10	9		0.04
Qq3k2k2k1v80v80v80m16	10	9		0.04
Qq3k2k2k1v80v80v80m2	10	6		0.09
Qq3k2k2k1v80v80v80m32	10	4		0.03
Qq3k2k2k1v80v80v80m4	10	8		0
Qq3k2k2k1v80v80v80m8	10	8		0.02
Qq3k3k1k1v40v40v40m16	10	9		0.03
Qq3k3k1k1v40v40v40m2	10	9		0.07
Qq3k3k1k1v40v40v40m32	10	9		0.05
Qq3k3k1k1v40v40v40m4	10	8		0.02
Qq3k3k1k1v40v40v40m8	10	8		0.03
Qq3k3k1k1v80v80v80m16	10	10		0.07
Qq3k3k1k1v80v80v80m2	10	9		0.05
Qq3k3k1k1v80v80v80m32	10	8		0.08
Qq3k3k1k1v80v80v80m4	10	9		0.03
Qq3k3k1k1v80v80v80m8	10	8		0.06
Qshifter	45	4		290.1
RobotsD2	30			1640.76
RobotsD3	30			1360.77
RobotsD4	32			2569.7
RobotsD5	31			2280
s27	29		3	35.99
s298	17	2		114.69
s386	8	1		29.68
s499	11	2		1510.06
s510	4	1		3.44
s713	10	1		4255.6
s820	8	1		3050.16
Sorting_networks	433	25	14	83979.15
Strategic_Companies	644	13	33	38276.85
SzymanskiP	87		3	89095.16
term1	38		3	58531.33
tipdiam	65	28		318.66
tipfixpoint	208	8	8	11337.05
Toilet	17	2	1	9.84
ToiletA	4	1	1	182.26
ToiletC	3	1		0.15
Tree	7		1	0

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

preQuantor results solving families - 2006