Qute_hybrid results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13	0	1	9948.11
ASP_Equivalence_Checking	45	6	0	26225.16
bomb	21	0	0	18901.05
BoundedSynthesisPetriGames	144	11	10	99310.74
chess_composing	16	0	0	14400.7
chess_solving	35	5	0	19681.77
CombinationalEquivalence	144	0	7	97059.83
Counter	15	1	0	11689.77
cycle-sched	2	0	0	1800.06
driver	3	0	2	1132.86
dungeon	30	0	1	23520.8
evader-pursuer-4x4-logarithmic	21	2	0	3085.05
evader-pursuer-4x4-standard	11	0	0	9900
evader-pursuer-6x6-logarithmic	33	0	0	29702.77
evader-pursuer-8x8-logarithmic	11	0	0	9900.77
genbuf	13	0	0	11700.48
HardwareFixpoint	26	0	0	23401.36
hwmcc	9	0	3	2706.51
incrementer-encoder	33	0	1	19925.84
jctc	47	6	2	22462.45
jmc_quant_squaring	51	0	1	45041.03
k_branch_n	24	0	0	21600.35
k_branch_p	38	0	2	29296.78
k_ph_n	10	1	0	0
k_ph_p	25	0	0	22501.25
LinearBitvectorRankingFunction	53	0	1	37942.57
ltl2aig-comp	12	0	0	10800.75
LTL2DPA	5	0	0	4500.34
Model_instances	139	2	4	93812.05
mult-matrix	4	0	0	3600.18
PetriGames	25	0	6	17594.06
Planning-CTE	22	0	0	19800.88
Qshifter	13	0	0	11700.26
Random-qcir-1000-50	25	0	24	15170.98
RankingFunctions	23	0	0	20700.64
Reduction-finding	35	6	7	17611.4
Sorting_networks	58	0	0	52201.8
tipdiam	24	0	0	21601.68
toy	18	2	2	933.38

QBF Solver Evaluation Portal