Qute_hybrid results solving families

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

QBF Solver Evaluation Portal