PortfolioGhostQQfunQuAbSQute___pfs results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13			75.27
ASP_Equivalence_Checking	45			259.59
bomb	21			149.66
BoundedSynthesisPetriGames	144	24	17	24134.77
chess_composing	16			9035.86
chess_solving	35			206.89
CombinationalEquivalence	144		2	819.3
Counter	15	1		7703.73
cycle-sched	2			11.58
driver	3		1	16.63
dungeon	30			18058.2
evader-pursuer-4x4-logarithmic	21	2		113.61
evader-pursuer-4x4-standard	11			7664.14
evader-pursuer-6x6-logarithmic	33			10924.91
evader-pursuer-8x8-logarithmic	11		1	450.67
genbuf	13			75.36
HardwareFixpoint	26			6411.91
hwmcc	9		2	1846
incrementer-encoder	33			192.06
jctc	47	3		13352.17
jmc_quant_squaring	51			11917.99
k_branch_n	24	1		13372.03
k_branch_p	38		3	5721.7
k_ph_n	10	1		49.5
k_ph_p	25			10876.1
LinearBitvectorRankingFunction	53			310.75
ltl2aig-comp	12			69.63
LTL2DPA	5			29
Model_instances	139	12	4	51832.15
mult-matrix	4			22.98
PetriGames	25		5	17725.36
Planning-CTE	22			10541.96
Qshifter	13			11700.65
Random-qcir-1000-50	25			143.83
RankingFunctions	23			132.33
Reduction-finding	35	3	6	194.79
Sorting_networks	58			339.16
tipdiam	24			141.47
toy	18		2	995.53

QBF Solver Evaluation Portal