GhostQ___cegar_pcnf_2019 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88			79200
amba	25			22500
arithmetic	40			36000
blackbox-01X-QBF	122			109800
BMC	79	3		53961.54
bomb	10	8		2339.67
C5315	35			31500
C6288	56			50400
cycle-sched	40			36000
Debug	94			84600
disjunctive_decomposition	43			38700
driver	34			30600
dungeon	44			39600
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			27900
formula_add	35	2		29494.8
fpu	14	3	3	7650.82
genbuf	14		2	5239.52
genpatch	20	3	2	2490.52
gttt-4x4_2020	10			9000
HardwareFixpoint	259	12	33	29367.51
hwmcc	12			10800
incrementer-encoder	50	3	7	720.53
irqlkeapclte	121	10		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		1	48543.6
k_branch_n	45			40500
k_branch_p	51			45900
k_ph_n	18	4		5865.5
k_ph_p	46		1	37231.2
LinearBitvectorRankingFunction	79	3	3	38871.09
ltl2aig-comp	18		1	10235.3
LTL2DBA	12			10800
LTL2DPA	7			6300
mqm	76		3	52431.18
mult-matrix	35			31500
Planning-CTE	138			124200
QBF-Hardness	60		2	49257.92
RankingFunctions	39	10		514.57
Reduction-finding	130	24	28	17374.32
s1269	41			36900
s3330	26			23400
s820	17	1	1	132.64
sketch	44			39600
Sorting_networks	111	2	1	75105.99
SzymanskiP	25		2	2312.65
terminator	85		9	11586.47
tipdiam	72	7		22712.05
tipfixpoint	79	8		9250.12
toy	30			27000
trafficlight-controller	30		10	804.09
wmiforward	70	10		63.38

QBF Solver Evaluation Portal