GhostQ_PG___cegar_qcir_2018 results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13	0	1	8283.06
ASP_Equivalence_Checking	45	9	0	18219.56
bomb	21	0	0	18901.05
BoundedSynthesisPetriGames	144	22	11	59436.15
chess_composing	16	0	0	14400.46
chess_solving	35	5	0	19895.23
CombinationalEquivalence	144	12	12	11518.77
Counter	15	0	0	13500.47
cycle-sched	2	0	0	1800.04
driver	3	0	2	7.16
dungeon	30	0	0	27001
evader-pursuer-4x4-logarithmic	21	2	0	10779.01
evader-pursuer-4x4-standard	11	0	0	9900.55
evader-pursuer-6x6-logarithmic	33	0	1	28619.66
evader-pursuer-8x8-logarithmic	11	0	0	9900.11
genbuf	13	0	3	4211.55
HardwareFixpoint	26	0	0	23400.69
hwmcc	9	0	3	3212.95
incrementer-encoder	33	1	2	2823.92
jctc	47	6	2	22623.27
jmc_quant_squaring	51	0	0	45901.82
k_branch_n	24	0	0	21601.92
k_branch_p	38	0	0	34202.28
k_ph_n	10	0	0	9000.4
k_ph_p	25	0	0	22501.51
LinearBitvectorRankingFunction	53	0	0	47701.94
ltl2aig-comp	12	0	3	3162.45
LTL2DPA	5	0	2	904.25
Model_instances	139	4	0	110946.64
mult-matrix	4	0	0	3600.17
PetriGames	25	0	8	4124.58
Planning-CTE	22	0	0	19800.44
Qshifter	13	0	0	11701.43
Random-qcir-1000-50	25	0	25	132.59
RankingFunctions	23	0	0	20700.46
Reduction-finding	35	8	11	8367.15
Sorting_networks	58	0	0	52203.06
tipdiam	24	0	0	21601.01
toy	18	0	2	14402.53

QBF Solver Evaluation Portal