par-pd-depqbf results solving families

par-pd-depqbf results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	64	4	4	6456.56
Adder	115		2	60607.2
blackbox-01X-QBF	77		9	6398.95
blackbox_design	76	10		62.06
Blocks	88	3	5	11510.58
BMC	91	2	1	42689.46
bomb	51	3		23027.43
C432	73	3	5	1664.64
C499	76	3	3	15376.45
C5315	86	2	2	27021.2
C6288	86	2		40209.69
C880	78	2	6	8779.15
Chain	82	10		41.92
circuits	75	1		41403.06
conformant_planning	79	5	1	22544.42
Connect4	68		5	23595.51
Counter	54	8		7851.2
Debug	103			61800
DFlipFlop	67		8	9025.47
dungeon	73		3	35648.02
evader-pursuer-4x4-logarithmic	61	7		3101.77
evader-pursuer-4x4-standard	65	7		3990.73
evader-pursuer-6x6-logarithmic	74		6	19942.57
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		5	25983.4
FPGA_PLB_FIT_FAST	38	4	1	23.44
FPGA_PLB_FIT_SLOW	25	1	2	1074.71
fpu	47		4	20319.76
Generalized-Tic-Tac-Toe	54	1	7	11360.43
HardwareFixpoint	74	2	6	6635.21
Impl	74	10		37.94
incrementer-encoder	67		6	24642.44
irqlkeapclte	121			72600
ISCAS89	32	6	1	138.34
ITC99	56	2	1	22342.13
jmc_quant_squaring	118	2	2	50334.86
k_branch_n	88	9		7272.07
k_branch_p	103		10	153.16
k_d4_n	73	10		42.37
k_d4_p	72		10	36.72
k_dum_n	66	10		33.66
k_dum_p	74		10	37.74
k_grz_n	68	10		34.68
k_grz_p	70		10	35.78
k_lin_n	64	10		32.78
k_lin_p	65		10	33.2
k_path_n	67	10		34.17
k_path_p	67		10	34.17
k_ph_n	74	10		315.81
k_ph_p	85		3	40209.25
k_poly_n	68	10		34.76
k_poly_p	64		10	32.64
k_t4p_n	71	10		43.3
k_t4p_p	76		10	38.76
LinearBitvectorRankingFunction	86			51600
Logn	29		4	5837.53
mqm	84	5	4	11770.67
MutexP	78	7		86.12
Planning-CTE	55	2		27654.74
QBF-Hardness	63		7	17251.89
qbfeval12	27	1	4	3015.85
Qshifter	62	6		5317.6
RankingFunctions	61	10		39.25
Reduction-finding	65	1	5	22852.95
Rewriting	45		10	23.22
s1196	44	1	5	6195.94
s1269	76	4		28285.07
s27	36	1	3	18.46
s298	70	7		12645.34
s3330	76	1		40808.08
s386	69	5	5	1793.94
s499	62	4		22873.5
s510	59	3		25223.73
s641	55	5	4	48.21
s713	73	5	5	89.47
s820	72	4		27969.87
Sorting_networks	110	1	3	43034.82
SzymanskiP	99		8	23596.2
term1	69	4	4	67.12
terminator	86	1	9	43.86
tipdiam	86	6	1	18164.13
tipfixpoint	81	4	3	19286.4
ToiletA	48	3	7	42.65
ToiletC	48	1	9	681.73
ToiletG	43	7		22.07
trafficlight-controller	37		7	2486.2
Tree	74	2	8	38.25
uclid	30	1	1	7082.73
VonNeumann	75		3	34829.35
wmiforward	74	10		38.24
z4ml	61	4	4	31.56

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

par-pd-depqbf results solving families - 2016