xb-qsts results solving families

xb-qsts results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	7726.83
Adder	115	0	2	60561.1
blackbox-01X-QBF	77	0	10	6714.5
blackbox_design	76	10	0	117.89
Blocks	88	3	7	52.35
BMC	91	2	1	41396.01
bomb	51	3	0	23037.16
C432	73	3	5	12056.98
C499	76	3	2	18617.93
C5315	86	2	1	34270.82
C6288	86	0	0	51574.06
C880	78	2	1	33741.86
Chain	82	10	0	8.37
circuits	75	1	0	41379.45
conformant_planning	79	5	2	18629.62
Connect4	68	0	6	20136.52
Counter	54	9	0	5080.72
Debug	103	0	0	61747.72
DFlipFlop	73	0	9	6619.36
dungeon	73	0	3	35633.52
evader-pursuer-4x4-logarithmic	61	6	0	10163.08
evader-pursuer-4x4-standard	65	0	0	24449.41
evader-pursuer-6x6-logarithmic	74	0	5	22222.37
evader-pursuer-6x6-standard	77	0	0	40795.79
evader-pursuer-8x8-logarithmic	78	0	4	24901.53
FPGA_PLB_FIT_FAST	38	4	1	8.34
FPGA_PLB_FIT_SLOW	25	1	2	91.96
fpu	47	0	10	290.46
Generalized-Tic-Tac-Toe	54	1	9	1965.86
HardwareFixpoint	81	2	3	24601.7
Impl	74	10	0	0.08
incrementer-encoder	67	0	6	24880.84
irqlkeapclte	121	0	0	72565.13
ISCAS89	32	6	1	380.6
ITC99	56	2	1	15241.48
jmc_quant_squaring	118	2	2	46059.41
k_branch_n	88	9	0	5071.46
k_branch_p	103	0	9	4367.21
k_d4_n	73	10	0	46.44
k_d4_p	72	0	10	14.45
k_dum_n	66	10	0	5.84
k_dum_p	74	0	10	6.66
k_grz_n	68	10	0	18.51
k_grz_p	70	0	10	13.87
k_lin_n	64	10	0	114.59
k_lin_p	65	0	10	9.94
k_path_n	67	10	0	9.32
k_path_p	67	0	10	11.99
k_ph_n	74	10	0	725.64
k_ph_p	85	0	4	37714.68
k_poly_n	68	10	0	6.8
k_poly_p	64	0	10	4.91
k_t4p_n	71	10	0	29.52
k_t4p_p	76	0	10	23.16
LinearBitvectorRankingFunction	86	0	0	51567.82
Logn	29	0	4	192.35
mqm	84	5	5	2612.89
MutexP	78	7	0	97.16
Planning-CTE	55	2	0	27571.3
QBF-Hardness	63	1	9	303.8
qbfeval12	27	2	4	759.5
Qshifter	62	6	0	144.96
RankingFunctions	61	10	0	37.54
Reduction-finding	65	1	5	22829.44
Rewriting	45	0	10	0.59
s1196	44	1	5	7160.77
s1269	76	2	0	37196.3
s27	36	1	3	6.58
s298	70	7	2	11064.32
s3330	76	2	0	36574.62
s386	69	5	5	5341.79
s499	62	7	1	12192.03
s510	59	3	0	25769.69
s641	55	5	4	3331.63
s713	73	5	4	9805.45
s820	72	5	2	20004.03
Sorting_networks	110	4	3	32901.92
SzymanskiP	99	0	8	22271.88
term1	69	4	4	54.66
terminator	86	0	4	36059.2
tipdiam	86	4	0	37191.48
tipfixpoint	81	3	3	22932.22
ToiletA	48	3	7	22.43
ToiletC	48	1	9	455.03
ToiletG	43	7	0	0.07
trafficlight-controller	45	0	10	1112.56
Tree	74	2	8	0
uclid	30	0	0	17991.38
VonNeumann	75	0	10	194.34
wmiforward	74	10	0	13.18
z4ml	61	4	4	1.75

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

xb-qsts results solving families - 2016