depqbf-v3 results solving families

depqbf-v3 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6178.03
Adder	115		2	60573.17
blackbox-01X-QBF	77		7	18558.14
blackbox_design	76	8		11532.2
Blocks	88	3	7	332
BMC	91	3	3	28815.32
bomb	51	4	2	15892.94
C432	73	3	3	13704.59
C499	76	3	2	24969.44
C5315	86	2	2	27128.76
C6288	86	1		45678.46
C880	78	2	1	33226.31
Chain	82	10		4.25
circuits	75	1		41381.47
conformant_planning	79	5	1	20603.38
Connect4	68		6	19663.81
Counter	54	7		10330.1
Debug	103			60745.62
DFlipFlop	73		10	2.94
dungeon	73		4	33250.64
evader-pursuer-4x4-logarithmic	61	6		7214.74
evader-pursuer-4x4-standard	65	6		15958.51
evader-pursuer-6x6-logarithmic	74		5	22161.29
evader-pursuer-6x6-standard	77		3	33905.59
evader-pursuer-8x8-logarithmic	78		5	23972.51
FPGA_PLB_FIT_FAST	38	4	1	6.32
FPGA_PLB_FIT_SLOW	25	1	2	706.63
fpu	47		10	26.22
Generalized-Tic-Tac-Toe	54	1	8	5432.47
HardwareFixpoint	81	2		41629.21
Impl	74	10		0.16
incrementer-encoder	67	1	6	21442.64
irqlkeapclte	121			72568.71
ISCAS89	32	6	1	155.19
ITC99	56	2	1	22438.93
jmc_quant_squaring	118	2	1	51819.7
k_branch_n	88	3		40195.07
k_branch_p	103		1	59305.26
k_d4_n	73	4		31553.57
k_d4_p	72		10	11.61
k_dum_n	66	7		15434.79
k_dum_p	74		10	40.45
k_grz_n	68	10		21.91
k_grz_p	70		10	14.15
k_lin_n	64	10		201.25
k_lin_p	65		10	9.97
k_path_n	67	5		21045.12
k_path_p	67		3	28231.93
k_ph_n	74	10		1348.97
k_ph_p	85		3	40187.58
k_poly_n	68	10		42.06
k_poly_p	64		10	23.71
k_t4p_n	71	2		33566.34
k_t4p_p	76		2	36003.8
LinearBitvectorRankingFunction	86	1		50479.54
Logn	29		4	10.62
mqm	84	4	5	20577.12
MutexP	78	7		452.03
Planning-CTE	55	2		27600.16
QBF-Hardness	63		9	6342.68
qbfeval12	27	2	4	513.25
Qshifter	62	6		319.98
RankingFunctions	61	10		158.02
Reduction-finding	65	1	5	22867.02
Rewriting	45		10	0.27
s1196	44	1		21657.24
s1269	76	1		41883.6
s27	36	1	3	2.28
s298	70	5		25234.98
s3330	76	1		40893.66
s386	69	5	5	10014.73
s499	62	3		28953.56
s510	59	3		26602.69
s641	55	4		20744.85
s713	73	5		24901.84
s820	72	5		29611.88
Sorting_networks	110	4	2	38423.56
SzymanskiP	99		2	49360.63
term1	69	4	4	118.73
terminator	86		5	38618.04
tipdiam	86	4		37186.42
tipfixpoint	81	2	3	29469.79
ToiletA	48	3	7	21.42
ToiletC	48	1	9	3.99
ToiletG	43	7		0.13
trafficlight-controller	45		10	465.98
Tree	74	2	8	0
uclid	30			17991.3
VonNeumann	75		10	21.22
wmiforward	74	5		23392.22
z4ml	61	4	4	0.61

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

depqbf-v3 results solving families - 2016