Qute_hybrid results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	10			8556.2
Adder	55			48265.17
amba	22		1	17561.72
Blocks	10		1	4.5
BMC	32			28075.84
bomb	21			18413.5
BoundedSynthesisPetriGames	106	2	6	81139.45
C499	34			29907.01
C5315	13			11421.93
C6288	47	1		33801.43
C880	22			19336.02
Chain	32	3		3.78
circuits	35			30719.81
CombinationalEquivalence	179		9	114538.68
conformant_planning	24			21099.24
Connect4	18			15774.21
Counter	15	1		11316.46
cycle-sched	24			21051.19
Debug	58			50830.45
driver	18	1	1	7922.03
dungeon	30		1	22824.5
evader-pursuer-4x4-logarithmic	21	2		2944.25
evader-pursuer-4x4-standard	41			35960.72
evader-pursuer-6x6-logarithmic	44			38564.43
evader-pursuer-6x6-standard	43			37680.4
evader-pursuer-8x8-logarithmic	43			37721.43
fpu	12		2	87.12
genbuf	22			19327.31
HardwareFixpoint	43			37769.06
hwmcc	16		2	10531.67
hyperLTL	4	1	1	0.02
incrementer-encoder	33		1	19433.04
irqlkeapclte	66			57906.49
ISCAS89	6	1		3274.62
ITC99	40	2		17893.9
jmc_quant_squaring	64		1	55188.67
k_branch_n	24			21058.57
k_branch_p	38		2	28423.61
k_ph_n	10	1		4
k_ph_p	25			21953.47
LinearBitvectorRankingFunction	53		1	36987.12
ltl2aig-comp	19			16662.16
LTL2DBA	9		1	6297.23
LTL2DPA	10			8773.67
Model_instances	117	2	4	72147.69
mqm	20		1	10544.8
mult-matrix	24			21069.82
MutexP	37	3		2.97
Planning-CTE	22			19283.55
QBF-Hardness	20			17549.3
QLTL_safety	100	19	8	48136
Qshifter	25			21935.67
RankingFunctions	36			30505.24
Reduction-finding	22			19292.35
s1269	25			21927.45
s3330	17			14905.94
Sorting_networks	58			50942.32
SzymanskiP	48		5	712.61
terminator	13		1	7771.27
tipdiam	24			21077.23
toy	14	2	2	3.32
uclid	22	2		1756.04
VonNeumann	9		1	205.47
wmiforward	16			14040.16

QBF Solver Evaluation Portal