ghostq-cegar results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	10			9000
Adder	55			49500
amba	22		1	16320.8
Blocks	10		1	16.5
BMC	32			28763.52
bomb	21			18865.14
BoundedSynthesisPetriGames	106	9	9	57260.09
C499	34		1	19806.6
C5315	13			11700
C6288	47			42300
C880	22			19800
Chain	32			28800
circuits	35			31500
CombinationalEquivalence	179	14	15	12275.03
conformant_planning	24	1		16703.6
Connect4	18			16200
Counter	15			13500
cycle-sched	24			21600
Debug	58			52083.62
driver	18		2	12655.62
dungeon	30			27000
evader-pursuer-4x4-logarithmic	21	2		10158.74
evader-pursuer-4x4-standard	41			36900
evader-pursuer-6x6-logarithmic	44		1	37815.5
evader-pursuer-6x6-standard	43			38700
evader-pursuer-8x8-logarithmic	43			38700
fpu	12		2	4034.88
genbuf	22		2	12440.52
HardwareFixpoint	43			38700
hwmcc	16		2	10847.46
hyperLTL	4	1	1	0.28
incrementer-encoder	33	1	2	2676.19
irqlkeapclte	66	5		30926.23
ISCAS89	6			5400
ITC99	40	2		19255
jmc_quant_squaring	64			57600
k_branch_n	24			21600
k_branch_p	38			34200
k_ph_n	10			9000
k_ph_p	25			22500
LinearBitvectorRankingFunction	53			47700
ltl2aig-comp	19		1	11091.76
LTL2DBA	9		1	6300.7
LTL2DPA	10		1	6302.91
Model_instances	117	4		90980.72
mqm	20			18000
mult-matrix	24			21600
MutexP	37			33300
Planning-CTE	22			19679.99
QBF-Hardness	20			18000
QLTL_safety	100		3	84742.06
Qshifter	25			22500
RankingFunctions	36			32400
Reduction-finding	22			19800
s1269	25			22500
s3330	17			15300
Sorting_networks	58			52200
SzymanskiP	48			43200
terminator	13			11700
tipdiam	24			21600
toy	14		2	9001.6
uclid	22			19800
VonNeumann	9		1	3434.22
wmiforward	16	2		5.84

QBF Solver Evaluation Portal