GhostQ-PG_plain results solving families

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

QBF Solver Evaluation Portal