ghostq-cegar results solving families

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

QBF Solver Evaluation Portal