GhostQ-PG_plain results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114			102602.25
amba	15			13500.3
arithmetic	20			18001.2
blackbox-01X-QBF	133		1	115213.04
BMC	79		1	63971.82
CombinationalEquivalence	141			126907.05
cycle-sched	24			21600.82
Debug	76			68403.62
disjunctive_decomposition	20			18000.6
driver	14			12601.26
dungeon	110			99004.05
formula_add	27	1		22323.17
fpu	22		8	7646.62
genbuf	19			17100.67
Generalized-Tic-Tac-Toe	39			35101.84
genpatch	20	3	1	4900.44
HardwareFixpoint	100	1	13	3182.76
hwmcc	12			10800.73
incrementer-encoder	56		5	40551.03
irqlkeapclte	121			108906.03
ISCAS89	22	5	4	3658.62
ITC99	58	5	3	20847.24
jmc_quant_squaring	72			64802.89
k_branch_n	56			50403
k_branch_p	85			76502.7
k_ph_p	42		1	33901.8
LinearBitvectorRankingFunction	77	3		53339.63
ltl2aig-comp	13			11700.39
LTL2DBA	7			6300.63
LTL2DPA	7			6300.14
Model_instances	47			42301.69
mqm	76			68402.49
mult-matrix	24			21600.7
Planning-CTE	128			115204.7
PositionalGames_gttt	45	4		29766.54
PositionalGames_hex	48	2		39904.28
QBF-Hardness	60		2	46930.1
Q_2_3	98			88203.46
RankingFunctions	53	15		4441.93
Reduction-finding	60	1	1	47923.26
Selection-hard	30			27001.02
sketch	47			42302.5
Sorting_networks	113		1	88081.75
SzymanskiP	25		2	2766.35
terminator	85	1	9	1626.04
tipdiam	85	5	1	35517.06
tipfixpoint	90	9	1	11215.15
toy	8	1		891.84
trafficlight-controller	30			27001.05
wgrowing	36			32402.04
wmiforward	70	3		45134.51

QBF Solver Evaluation Portal