PortfolioGhostQQfunQuAbSQute___pfs results solving families

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

QBF Solver Evaluation Portal