GhostQ___cegar_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	3	0	53961.54
bomb	10	8	0	2339.67
C5315	35	0	0	31500
C6288	56	0	0	50400
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	2	0	29494.8
fpu	14	3	3	7650.82
genbuf	14	0	2	5239.52
genpatch	20	3	2	2490.52
gttt-4x4_2020	10	0	0	9000
HardwareFixpoint	259	12	33	29367.51
hwmcc	12	0	0	10800
incrementer-encoder	50	3	7	720.53
irqlkeapclte	121	10	0	13785.78
ISCAS89	13	7	2	3823.07
ITC99	62	6	1	27777.37
jmc_quant	29	1	1	16552.83
jmc_quant_squaring	62	0	1	48543.6
k_branch_n	45	0	0	40500
k_branch_p	51	0	0	45900
k_ph_n	18	4	0	5865.5
k_ph_p	46	0	1	37231.2
LinearBitvectorRankingFunction	79	3	3	38871.09
ltl2aig-comp	18	0	1	10235.3
LTL2DBA	12	0	0	10800
LTL2DPA	7	0	0	6300
mqm	76	0	3	52431.18
mult-matrix	35	0	0	31500
Planning-CTE	138	0	0	124200
QBF-Hardness	60	0	2	49257.92
RankingFunctions	39	10	0	514.57
Reduction-finding	130	24	28	17374.32
s1269	41	0	0	36900
s3330	26	0	0	23400
s820	17	1	1	132.64
sketch	44	0	0	39600
Sorting_networks	111	2	1	75105.99
SzymanskiP	25	0	2	2312.65
terminator	85	0	9	11586.47
tipdiam	72	7	0	22712.05
tipfixpoint	79	8	0	9250.12
toy	30	0	0	27000
trafficlight-controller	30	0	10	804.09
wmiforward	70	10	0	63.38

QBF Solver Evaluation Portal