openQbf results solving families

openQbf results solving families - 2006

Family	# Total	# Sat	# Unsat	Time
Adder	116			696099.14
ASP_Program_Inclusion	91		7	470623.61
blackbox_design	131			786109.59
Blocks	88			528077.76
C432	41			246031.21
C499	30			180025.38
C5315	41			246036.61
C6288	10			60008.8
C880	18			108016.52
Chain	39	2		164274.66
comp	8			48007.08
Connect4	38		13	25485.05
Counter	21			126018.43
CounterFactual	920	98	115	2811847.07
evader-pursuer-4x4-logarithmic	39	2		147711.36
evader-pursuer-6x6-logarithmic	17		2	7477.89
evader-pursuer-8x8-logarithmic	37		3	86883.05
FPGA_PLB_FIT_FAST	24	3		11150.8
FPGA_PLB_FIT_SLOW	25	1	1	77001.25
jmc_quant	23			138019.68
jmc_quant_squaring	33			198026.59
k_branch_n	18			108014.49
k_branch_p	25			150023.14
k_d4_n	42			252037.33
k_d4_p	36			216030.16
k_dum_n	32			192027.18
k_dum_p	38			228032.19
k_grz_n	36			216029.55
k_grz_p	37			222031.02
k_lin_n	27			162023.64
k_lin_p	28			168016.16
k_path_n	33			198028.58
k_path_p	33			198027.99
k_ph_n	20			120015.81
k_ph_p	4			24003.64
k_poly_n	42			252030.1
k_poly_p	11		3	5.08
k_t4p_n	39			234033.28
k_t4p_p	51			306043.84
Logn	19			114017.68
mA-t2-1qbf-5cnf-160var-2560cl	20	10		8581.46
mA-t2-1qbf-5cnf-80var-2560cl	20		10	4731.7
mA-t2-2qbf-5cnf-160var-2560cl	20		10	36.76
mA-t2-2qbf-5cnf-160var-320cl	20			120015.86
mA-t2-2qbf-5cnf-160var-5120cl	20		10	20.22
mA-t2-2qbf-5cnf-40var-160cl	20		1	111570.62
mA-t2-2qbf-5cnf-40var-320cl	20		5	69914.02
mA-t2-2qbf-5cnf-40var-640cl	20		10	6.64
mA-t2-2qbf-5cnf-80var-1280cl	20		10	13.92
mA-t2-2qbf-5cnf-80var-320cl	20			120016.16
mA-t2-2qbf-5cnf-80var-640cl	20			120017.54
mA-t2-3qbf-5cnf-160var-2560cl	20			120018.18
mA-t2-3qbf-5cnf-160var-640cl	20	9		12005.84
mA-t2-3qbf-5cnf-20var-160cl	20	10		16.52
mA-t2-3qbf-5cnf-20var-320cl	20		10	30.16
mA-t2-3qbf-5cnf-40var-320cl	20	6		62851.26
mA-t2-3qbf-5cnf-40var-640cl	20		10	4389
mA-t2-3qbf-5cnf-80var-1280cl	20			120015.64
mA-t2-3qbf-5cnf-80var-2560cl	20		10	7.36
mA-t2-3qbf-5cnf-80var-320cl	20	10		4.64
mA-t2-4qbf-5cnf-160var-2560cl	20			120017.46
mA-t2-4qbf-5cnf-160var-5120cl	20		10	20.8
mA-t2-4qbf-5cnf-160var-640cl	20			120010.6
mA-t2-4qbf-5cnf-20var-160cl	20	2	8	8411.62
mA-t2-4qbf-5cnf-20var-320cl	20		10	34
mA-t2-4qbf-5cnf-20var-640cl	20		10	5.32
mA-t2-4qbf-5cnf-40var-1280cl	20		10	6.54
mA-t2-4qbf-5cnf-40var-320cl	20			120016.1
mA-t2-4qbf-5cnf-40var-640cl	20		10	2325.24
mA-t2-4qbf-5cnf-80var-1280cl	20		1	108023.66
mA-t2-4qbf-5cnf-80var-2560cl	20		10	18.84
mA-t2-4qbf-5cnf-80var-320cl	20	3		84916.68
mA-t2-5qbf-5cnf-160var-2560cl	20			120017.82
mA-t2-5qbf-5cnf-160var-5120cl	20		7	39883.96
mA-t2-5qbf-5cnf-160var-640cl	20	10		5.32
mA-t2-5qbf-5cnf-20var-320cl	20		10	645.16
mA-t2-5qbf-5cnf-20var-640cl	20		10	7.9
mA-t2-5qbf-5cnf-40var-1280cl	20		10	123.7
mA-t2-5qbf-5cnf-40var-320cl	20	9		17483.98
mA-t2-5qbf-5cnf-40var-640cl	20		2	97849.54
mA-t2-5qbf-5cnf-80var-1280cl	20			120015
mA-t2-5qbf-5cnf-80var-2560cl	20		8	34065.06
mA-t2-5qbf-5cnf-80var-640cl	20			120016.4
mA-t2-6qbf-5cnf-160var-2560cl	20			120017.62
mA-t2-6qbf-5cnf-160var-5120cl	20		8	34983.32
mA-t2-6qbf-5cnf-160var-640cl	20	10		5.1
mA-t2-6qbf-5cnf-20var-160cl	20	9	1	3395.3
mA-t2-6qbf-5cnf-20var-320cl	20		10	908.78
mA-t2-6qbf-5cnf-20var-640cl	20		10	6.72
mA-t2-6qbf-5cnf-40var-1280cl	20		10	260.64
mA-t2-6qbf-5cnf-40var-320cl	20			120014.1
mA-t2-6qbf-5cnf-40var-640cl	20		3	101481.82
mA-t2-6qbf-5cnf-80var-1280cl	20			120014.5
mA-t2-6qbf-5cnf-80var-2560cl	20		10	1940.82
mA-t2-6qbf-5cnf-80var-640cl	20			120015.06
MutexP	48			288037.61
Qq2k1k4v40v40m16	10	5	5	1.46
Qq2k1k4v40v40m2	10	10		1.45
Qq2k1k4v40v40m32	10		10	1.59
Qq2k1k4v40v40m4	10	9	1	1.55
Qq2k1k4v40v40m8	10	8	2	1.54
Qq2k1k4v80v80m16	10	7	3	1.6
Qq2k1k4v80v80m2	10	10		1.49
Qq2k1k4v80v80m32	10	2	8	1.57
Qq2k1k4v80v80m4	10	10		1.67
Qq2k1k4v80v80m8	10	10		1.51
Qq2k2k3v40v40m16	10	10		1.54
Qq2k2k3v40v40m2	10	10		1.49
Qq2k2k3v40v40m32	10	10		1.59
Qq2k2k3v40v40m4	10	10		1.63
Qq2k2k3v40v40m8	10	10		1.65
Qq2k2k3v80v80m16	10	10		1.56
Qq2k2k3v80v80m2	10	10		1.56
Qq2k2k3v80v80m32	10	10		1.61
Qq2k2k3v80v80m4	10	10		1.58
Qq2k2k3v80v80m8	10	10		1.53
Qq2k3k2v40v40m16	10	10		1.47
Qq2k3k2v40v40m2	10	10		1.46
Qq2k3k2v40v40m32	10	10		1.53
Qq2k3k2v40v40m4	10	10		1.47
Qq2k3k2v40v40m8	10	10		1.52
Qq2k3k2v80v80m16	10	10		1.56
Qq2k3k2v80v80m2	10	10		1.48
Qq2k3k2v80v80m32	10	10		1.64
Qq2k3k2v80v80m4	10	10		1.56
Qq2k3k2v80v80m8	10	10		1.56
Qq3k1k1k3v40v40v40m16	10	10		1.5
Qq3k1k1k3v40v40v40m2	10	10		1.56
Qq3k1k1k3v40v40v40m32	10	10		1.48
Qq3k1k1k3v40v40v40m4	10	10		1.58
Qq3k1k1k3v40v40v40m8	10	10		1.48
Qq3k1k1k3v80v80v80m16	10	10		1.62
Qq3k1k1k3v80v80v80m2	10	10		1.64
Qq3k1k1k3v80v80v80m32	10	10		1.54
Qq3k1k1k3v80v80v80m4	10	10		1.51
Qq3k1k1k3v80v80v80m8	10	10		1.56
Qq3k1k2k2v40v40v40m16	10	10		1.56
Qq3k1k2k2v40v40v40m2	10	10		1.48
Qq3k1k2k2v40v40v40m32	10	10		1.57
Qq3k1k2k2v40v40v40m4	10	10		1.54
Qq3k1k2k2v40v40v40m8	10	10		1.52
Qq3k1k2k2v80v80v80m16	10	10		1.56
Qq3k1k2k2v80v80v80m2	10	10		1.51
Qq3k1k2k2v80v80v80m32	10	10		1.69
Qq3k1k2k2v80v80v80m4	10	10		1.57
Qq3k1k2k2v80v80v80m8	10	10		1.49
Qq3k1k3k1v40v40v40m16	10	10		1.52
Qq3k1k3k1v40v40v40m2	10	10		1.56
Qq3k1k3k1v40v40v40m32	10	10		1.62
Qq3k1k3k1v40v40v40m4	10	10		1.55
Qq3k1k3k1v40v40v40m8	10	10		1.58
Qq3k1k3k1v80v80v80m16	10	10		1.58
Qq3k1k3k1v80v80v80m2	10	10		1.53
Qq3k1k3k1v80v80v80m32	10	10		1.68
Qq3k1k3k1v80v80v80m4	10	10		1.54
Qq3k1k3k1v80v80v80m8	10	10		1.5
Qq3k2k1k2v40v40v40m16	10	10		1.55
Qq3k2k1k2v40v40v40m2	10	10		1.61
Qq3k2k1k2v40v40v40m32	10	10		1.64
Qq3k2k1k2v40v40v40m4	10	10		1.53
Qq3k2k1k2v40v40v40m8	10	10		1.55
Qq3k2k1k2v80v80v80m16	10	10		1.64
Qq3k2k1k2v80v80v80m2	10	10		1.46
Qq3k2k1k2v80v80v80m32	10	10		1.57
Qq3k2k1k2v80v80v80m4	10	10		1.54
Qq3k2k1k2v80v80v80m8	10	10		1.59
Qq3k2k2k1v40v40v40m16	10	10		1.56
Qq3k2k2k1v40v40v40m2	10	10		1.57
Qq3k2k2k1v40v40v40m32	10	10		1.6
Qq3k2k2k1v40v40v40m4	10	10		1.58
Qq3k2k2k1v40v40v40m8	10	10		1.51
Qq3k2k2k1v80v80v80m16	10	10		1.51
Qq3k2k2k1v80v80v80m2	10	10		1.54
Qq3k2k2k1v80v80v80m32	10	10		1.55
Qq3k2k2k1v80v80v80m4	10	10		1.58
Qq3k2k2k1v80v80v80m8	10	10		1.61
Qq3k3k1k1v40v40v40m16	10	10		1.58
Qq3k3k1k1v40v40v40m2	10	10		1.59
Qq3k3k1k1v40v40v40m32	10	10		1.67
Qq3k3k1k1v40v40v40m4	10	10		1.44
Qq3k3k1k1v40v40v40m8	10	10		1.45
Qq3k3k1k1v80v80v80m16	10	10		1.52
Qq3k3k1k1v80v80v80m2	10	10		1.5
Qq3k3k1k1v80v80v80m32	10	10		1.55
Qq3k3k1k1v80v80v80m4	10	10		1.49
Qq3k3k1k1v80v80v80m8	10	10		1.54
Qshifter	45			270041.37
RobotsD2	30	10		10940.76
RobotsD3	30	10		9311.91
RobotsD4	32	10		8553.4
RobotsD5	31	10		8306.95
s27	29			174024.92
s298	17			102015.34
s386	8			48007.28
s499	11			66009.72
s510	4			24003.68
s713	10			60009.3
s820	8			48006.8
Sorting_networks	433	4	3	2477068.8
Strategic_Companies	644	25	71	3190673.36
SzymanskiP	87		9	16953.27
term1	38			228033.59
tipdiam	65	28		56830.93
tipfixpoint	208	2	2	1202468.32
Toilet	17		1	82604.65
ToiletA	4		1	21013.02
ToiletC	3	1		1.23
Tree	7			42001.75

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

openQbf results solving families - 2006