GhostQ-PG_cegar results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114			102603.25
amba	15			13501.65
arithmetic	20			18000.55
blackbox-01X-QBF	133		1	115218.2
BMC	79	3		54506.16
CombinationalEquivalence	141	10	10	7717.92
cycle-sched	24			21600.63
Debug	76			68402.94
disjunctive_decomposition	20			18000.85
driver	14			12600.35
dungeon	110			99003.98
formula_add	27	2		20403.69
fpu	22		8	7996.45
genbuf	19		2	9881.96
Generalized-Tic-Tac-Toe	39			35102.15
genpatch	20	3	2	2842.64
HardwareFixpoint	100	1	13	904.03
hwmcc	12			10800.38
incrementer-encoder	56	1	9	753.18
irqlkeapclte	121	10		15177.3
ISCAS89	22	5	4	3698.66
ITC99	58	5	3	21565.96
jmc_quant_squaring	72			64802.59
k_branch_n	56			50403.69
k_branch_p	85			76505.02
k_ph_p	42		1	33989.04
LinearBitvectorRankingFunction	77	3	3	37709.51
ltl2aig-comp	13		1	5742.65
LTL2DBA	7			6300.49
LTL2DPA	7			6300.56
Model_instances	47			42302.15
mqm	76		3	52438.83
mult-matrix	24			21601.05
Planning-CTE	128			115204.99
PositionalGames_gttt	45	4		29901.09
PositionalGames_hex	48	1		40502.45
QBF-Hardness	60		2	49476.74
Q_2_3	98		1	87466.98
RankingFunctions	53	15		679.63
Reduction-finding	60	3	4	14193.14
Selection-hard	30	1		26823.72
sketch	47			42301.54
Sorting_networks	113	2	1	77652.48
SzymanskiP	25		2	2802.5
terminator	85		9	11648.34
tipdiam	85	5		39820.74
tipfixpoint	90	8		19146.55
toy	8			7200.64
trafficlight-controller	30		10	817.65
wgrowing	36			32401.8
wmiforward	70	10		64.13

QBF Solver Evaluation Portal