GhostQ___plain_pcnf_2019 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	0	0	102603.6
amba	25	0	0	22501.55
arithmetic	36	0	0	32401.41
blackbox-01X-QBF	133	0	1	115215.83
BMC	79	0	1	63968.62
CombinationalEquivalence	141	0	0	126907.73
cycle-sched	44	0	0	39602.07
Debug	76	0	0	68403
disjunctive_decomposition	40	0	0	36001.71
driver	34	0	0	30601.72
dungeon	110	0	0	99004.78
formula_add	27	1	0	22318.8
fpu	22	0	8	7599.15
genbuf	19	0	0	17100.98
Generalized-Tic-Tac-Toe	39	0	0	35101.53
genpatch	20	3	1	4882.04
HardwareFixpoint	288	12	34	52146.29
hwmcc	26	0	0	23401.5
incrementer-encoder	56	0	5	40552.88
irqlkeapclte	121	0	0	108905.47
ISCAS89	22	5	4	3657.82
ITC99	58	5	3	20764.55
jmc_quant_squaring	72	0	0	64803.2
k_branch_n	56	0	0	50402.99
k_branch_p	85	0	0	76503.05
k_ph_p	42	0	1	33904.55
LinearBitvectorRankingFunction	77	3	0	53307.38
ltl2aig-comp	18	0	0	16201.01
LTL2DBA	12	0	0	10800.48
LTL2DPA	7	0	0	6300.21
Model_instances	47	0	0	42301.94
mqm	76	0	0	68402.67
mult-matrix	39	0	0	35101.81
Planning-CTE	128	0	0	115206.99
PositionalGames_gttt	45	4	0	29766.6
PositionalGames_hex	48	2	0	39806.54
QBF-Hardness	60	0	2	46930.26
Q_2_3	98	0	0	88204.75
RankingFunctions	53	15	0	4366.9
Reduction-finding	123	2	5	85466.73
Selection-hard	30	0	0	27000.6
sketch	47	0	0	42302.6
Sorting_networks	113	0	1	88071.81
SzymanskiP	25	0	2	2222.53
terminator	85	1	9	1608.88
tipdiam	85	5	1	35472.45
tipfixpoint	90	9	1	11195.08
toy	30	1	0	20684.63
trafficlight-controller	30	0	0	27001.26
wgrowing	36	0	0	32401.84
wmiforward	70	3	0	45134.86

QBF Solver Evaluation Portal