depqbf-v1 results solving families

depqbf-v1 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6266.11
Adder	115		2	59890.68
blackbox-01X-QBF	77		8	14714.3
blackbox_design	76	8		12436.21
Blocks	88	3	6	7707.92
BMC	91	3	3	25935.92
bomb	51	4	1	15510.98
C432	73	3	3	13708.88
C499	76	3	2	25509.4
C5315	86	2	1	33917.48
C6288	86	1		45065.96
C880	78	2		35598.49
Chain	82	10		9628.06
circuits	75	1		40895.7
conformant_planning	79	5	1	20696.32
Connect4	68		6	19249.7
Counter	54	6		14415.47
Debug	103			58961.77
DFlipFlop	73		10	84.72
dungeon	73		4	32186.22
evader-pursuer-4x4-logarithmic	61	7		15.31
evader-pursuer-4x4-standard	65	4		20127.78
evader-pursuer-6x6-logarithmic	74		5	21515.53
evader-pursuer-6x6-standard	77		2	9043.12
evader-pursuer-8x8-logarithmic	78		5	22668.59
FPGA_PLB_FIT_FAST	38	4	1	9.94
FPGA_PLB_FIT_SLOW	25	1	2	3587.65
fpu	47		10	328.71
Generalized-Tic-Tac-Toe	54	1	8	5518.25
HardwareFixpoint	81			47995.32
Impl	74	10		1.56
incrementer-encoder	67	1	6	18031.88
irqlkeapclte	121			71658.48
ISCAS89	32	6	1	11.02
ITC99	56	3	1	20189.88
jmc_quant_squaring	118	2	1	51443.04
k_branch_n	88	3		39780.72
k_branch_p	103		1	57478.17
k_d4_n	73	3		33222.49
k_d4_p	72		10	6.38
k_dum_n	66	4		24327.08
k_dum_p	74		10	1959.08
k_grz_n	68	10		5118.06
k_grz_p	70		10	2528.09
k_lin_n	64	10		359.66
k_lin_p	65		10	26.23
k_path_n	67	4		24429.69
k_path_p	67		2	32034.68
k_ph_n	74	10		377.41
k_ph_p	85		3	39695
k_poly_n	68	1		36790.95
k_poly_p	64		10	3.31
k_t4p_n	71	1		38000.59
k_t4p_p	76		1	38740.88
LinearBitvectorRankingFunction	86			50941.37
Logn	29		4	97.38
mqm	84	4	5	18689.11
MutexP	78	7		8.3
Planning-CTE	55	2		27293.25
QBF-Hardness	63		7	19765.29
qbfeval12	27	1	4	2969.32
Qshifter	62	3		20722.5
RankingFunctions	61	5		18969.45
Reduction-finding	65	1	5	22598.05
Rewriting	45		10	70.35
s1196	44			26072.5
s1269	76			27801.67
s27	36	1	3	13.69
s298	70	1		36132.86
s3330	76			17262.4
s386	69			40892.09
s499	62			36722.45
s510	59			17641.78
s641	55			32590.56
s713	73			43241.29
s820	72			42660.74
Sorting_networks	110	4	1	42742.06
SzymanskiP	99		2	48697.62
term1	69	4	4	149.93
terminator	86		9	14298.09
tipdiam	86	4		36730.13
tipfixpoint	81	3	3	23174.68
ToiletA	48	3	7	7.26
ToiletC	48	1	9	1555.86
ToiletG	43	7		0.91
trafficlight-controller	45		9	2615.89
Tree	74	2	8	1.48
uclid	30			17802.06
VonNeumann	75		10	234.68
wmiforward	74	4		27949.31
z4ml	61	4	4	1.22

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

depqbf-v1 results solving families - 2016