GhostQ___plain_pcnf_2019 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	0	0	79200
amba	25	0	0	22500
arithmetic	40	0	0	36000
blackbox-01X-QBF	122	0	0	109800
BMC	79	0	1	64042.73
bomb	10	8	0	2291.72
C5315	35	0	0	31500
C6288	56	1	0	47983.05
cycle-sched	40	0	0	36000
Debug	94	0	0	84600
disjunctive_decomposition	43	0	0	38700
driver	34	0	0	30600
dungeon	44	0	0	39600
evader-pursuer-6x6-logarithmic	23	0	0	20700
evader-pursuer-6x6-standard	51	0	0	45900
evader-pursuer-8x8-logarithmic	31	0	0	27900
formula_add	35	1	0	31205.16
fpu	14	3	3	7550.56
genbuf	14	0	0	12600
genpatch	20	3	1	4883.28
gttt-4x4_2020	10	0	0	9000
HardwareFixpoint	259	12	33	31911.92
hwmcc	12	0	0	10800
incrementer-encoder	50	2	3	40555.14
irqlkeapclte	121	0	0	108900
ISCAS89	13	7	2	3773.91
ITC99	62	6	1	27241.01
jmc_quant	29	1	1	14634.01
jmc_quant_squaring	62	0	1	45412.44
k_branch_n	45	0	0	40500
k_branch_p	51	0	0	45900
k_ph_n	18	3	0	6428.66
k_ph_p	46	0	1	37494.54
LinearBitvectorRankingFunction	79	3	0	55084.23
ltl2aig-comp	18	0	0	16200
LTL2DBA	12	0	0	10800
LTL2DPA	7	0	0	6300
mqm	76	0	0	68400
mult-matrix	35	0	0	31500
Planning-CTE	138	0	0	124200
QBF-Hardness	60	0	2	46928.12
RankingFunctions	39	10	0	3217.48
Reduction-finding	130	16	23	57893.18
s1269	41	0	0	36900
s3330	26	0	0	23400
s820	17	1	1	124.28
sketch	44	0	0	39600
Sorting_networks	111	0	1	86271.04
SzymanskiP	25	0	2	2251.62
terminator	85	1	9	1612.61
tipdiam	72	7	1	18394.07
tipfixpoint	79	9	1	1243.52
toy	30	1	0	20692.64
trafficlight-controller	30	0	0	27000
wmiforward	70	3	0	45132.5

QBF Solver Evaluation Portal