Qute_hybrid results solving families

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

QBF Solver Evaluation Portal