depqbf-v2 results solving families

depqbf-v2 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	3	5	10283.8
Adder	115	0	2	59869.96
blackbox-01X-QBF	77	0	9	15495.14
blackbox_design	76	9	0	4846.8
Blocks	88	3	7	1098.36
BMC	91	3	3	27560.7
bomb	51	4	0	18840.86
C432	73	3	5	2955.63
C499	76	3	2	18424.82
C5315	86	2	2	26901.21
C6288	86	1	0	45377.74
C880	78	2	0	35588.67
Chain	82	10	0	10.96
circuits	75	1	0	40922.8
conformant_planning	79	5	1	20439.45
Connect4	68	0	6	19383.42
Counter	54	8	0	7744.99
Debug	103	0	0	59691.72
DFlipFlop	73	0	10	5.75
dungeon	73	0	4	32398.38
evader-pursuer-4x4-logarithmic	61	7	0	6753.96
evader-pursuer-4x4-standard	65	7	0	2019.03
evader-pursuer-6x6-logarithmic	74	0	5	20421.05
evader-pursuer-6x6-standard	77	0	3	36735.53
evader-pursuer-8x8-logarithmic	78	0	5	23172.77
FPGA_PLB_FIT_FAST	38	4	1	11.18
FPGA_PLB_FIT_SLOW	25	1	2	1050.85
fpu	47	0	10	30.03
Generalized-Tic-Tac-Toe	54	1	9	4385.03
HardwareFixpoint	81	2	2	33851.37
Impl	74	10	0	1.55
incrementer-encoder	67	0	7	20744.13
irqlkeapclte	121	1	0	64165.78
ISCAS89	32	6	1	321.02
ITC99	56	2	1	22074.83
jmc_quant_squaring	118	2	2	49791.74
k_branch_n	88	9	0	7401.14
k_branch_p	103	0	9	6882.9
k_d4_n	73	10	0	47.85
k_d4_p	72	0	10	20.87
k_dum_n	66	10	0	10.98
k_dum_p	74	0	10	12.4
k_grz_n	68	10	0	23.8
k_grz_p	70	0	10	19.55
k_lin_n	64	10	0	192.17
k_lin_p	65	0	10	16.42
k_path_n	67	10	0	16.29
k_path_p	67	0	10	19.97
k_ph_n	74	10	0	4116.77
k_ph_p	85	0	3	39735.1
k_poly_n	68	10	0	16.47
k_poly_p	64	0	10	12.41
k_t4p_n	71	10	0	41.95
k_t4p_p	76	0	10	33.66
LinearBitvectorRankingFunction	86	0	0	50979.82
Logn	29	0	4	12.09
mqm	84	2	5	22218.7
MutexP	78	7	0	500.98
Planning-CTE	55	2	0	27290.47
QBF-Hardness	63	0	7	17090.07
qbfeval12	27	2	4	1111.33
Qshifter	62	6	0	163.44
RankingFunctions	61	10	0	178.98
Reduction-finding	65	1	5	22626.73
Rewriting	45	0	10	1.21
s1196	44	1	0	21364.7
s1269	76	1	0	44198.51
s27	36	1	3	30.37
s298	70	6	0	22476.13
s3330	76	2	0	36920.13
s386	69	5	5	7186.29
s499	62	4	0	28154.74
s510	59	3	0	27885.24
s641	55	5	0	15074.24
s713	73	5	0	21123.85
s820	72	4	0	28484.34
Sorting_networks	110	1	3	43457.23
SzymanskiP	99	0	10	8280.48
term1	69	4	4	89.58
terminator	86	0	9	6988.87
tipdiam	86	4	0	36797.31
tipfixpoint	81	5	3	12629.82
ToiletA	48	3	7	25.22
ToiletC	48	1	9	2415.53
ToiletG	43	7	0	0.86
trafficlight-controller	45	0	10	469.38
Tree	74	2	8	1.48
uclid	30	0	0	17801.31
VonNeumann	75	0	10	26.64
wmiforward	74	10	0	19.52
z4ml	61	4	4	4.43

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

depqbf-v2 results solving families - 2016