ghostq-plain results solving families

ghostq-plain results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	4	6159.6
Adder	115	0	2	60588.32
blackbox-01X-QBF	77	0	5	25733.37
blackbox_design	76	10	0	71.81
Blocks	88	3	7	882.26
BMC	91	2	2	42025.17
bomb	51	3	0	20740.24
C432	73	3	5	556.97
C499	76	3	2	20648.57
C5315	86	3	2	21099.39
C6288	86	2	0	40249.23
C880	78	2	6	4535.66
Chain	82	10	0	359.88
circuits	75	1	0	41384.35
conformant_planning	79	5	1	27312.85
Connect4	68	0	6	16871.04
Counter	54	6	0	16508.04
Debug	103	0	0	45505.28
DFlipFlop	73	0	9	4520.45
dungeon	73	0	3	26972.56
evader-pursuer-4x4-logarithmic	61	7	0	580.98
evader-pursuer-4x4-standard	65	0	0	18744.58
evader-pursuer-6x6-logarithmic	74	0	3	18457.2
evader-pursuer-6x6-standard	77	0	0	42042.97
evader-pursuer-8x8-logarithmic	78	0	3	21855.69
FPGA_PLB_FIT_FAST	38	4	1	548.42
FPGA_PLB_FIT_SLOW	25	1	0	10828.2
fpu	47	0	10	5583.32
Generalized-Tic-Tac-Toe	54	1	8	5699.98
HardwareFixpoint	81	0	0	44235.88
Impl	74	10	0	5.53
incrementer-encoder	67	0	6	24685.65
irqlkeapclte	121	0	0	72596.62
ISCAS89	32	4	1	6067.01
ITC99	56	2	1	15905.2
jmc_quant_squaring	118	0	0	70315.62
k_branch_n	88	4	0	38570.26
k_branch_p	103	0	3	49747.72
k_d4_n	73	10	0	99.91
k_d4_p	72	0	10	32.57
k_dum_n	66	10	0	16.2
k_dum_p	74	0	10	17.73
k_grz_n	68	10	0	40.31
k_grz_p	70	0	10	34.87
k_lin_n	64	10	0	692.2
k_lin_p	65	0	10	15.19
k_path_n	67	10	0	18.68
k_path_p	67	0	10	23.44
k_ph_n	74	9	0	9703.03
k_ph_p	85	0	4	36841.08
k_poly_n	68	10	0	25.81
k_poly_p	64	0	10	19.09
k_t4p_n	71	10	0	105.6
k_t4p_p	76	0	10	75.85
LinearBitvectorRankingFunction	86	0	0	37196.69
Logn	29	0	4	395.37
mqm	84	2	2	40491.61
MutexP	78	1	0	40787.08
Planning-CTE	55	2	0	25563.84
QBF-Hardness	63	0	6	23148.26
qbfeval12	27	1	4	2274.34
Qshifter	62	4	0	8370.93
RankingFunctions	61	0	0	36589.41
Reduction-finding	65	1	5	23021.23
Rewriting	45	0	10	12.66
s1196	44	1	5	2314.25
s1269	76	5	0	25492.72
s27	36	1	3	2.84
s298	70	7	3	622.47
s3330	76	5	0	28309.98
s386	69	5	5	272.15
s499	62	7	3	1162.11
s510	59	10	0	4344.7
s641	55	5	4	626.24
s713	73	5	5	1356.34
s820	72	6	4	1538.01
Sorting_networks	110	2	1	54043.09
SzymanskiP	99	0	0	59367.9
term1	69	4	4	45.12
terminator	86	0	8	17263.47
tipdiam	86	7	0	19339.54
tipfixpoint	81	7	3	369.79
ToiletA	48	3	7	51.25
ToiletC	48	1	9	258.01
ToiletG	43	7	0	4.25
trafficlight-controller	45	0	7	2638.21
Tree	74	1	8	4803.53
uclid	30	1	1	6623.43
VonNeumann	75	0	7	6058.76
wmiforward	74	8	0	20359.52
z4ml	61	4	4	4.35

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ghostq-plain results solving families - 2016