Qute_opt993 results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	10			9000
Adder	55			49500
amba	22	1	1	14601.2
Blocks	10		1	4.2
BMC	32			28800
bomb	21			18900
BoundedSynthesisPetriGames	106	4	6	75833.38
C499	34			30600
C5315	13			11700
C6288	47			42300
C880	22			19800
Chain	32	3		3.66
circuits	35			31500
CombinationalEquivalence	179		4	141824.34
conformant_planning	24			21600
Connect4	18			16200
Counter	15	1		7813.48
cycle-sched	24			21600
Debug	58			52200
driver	18	1	1	8109.56
dungeon	30		1	18015.6
evader-pursuer-4x4-logarithmic	21	2		75.08
evader-pursuer-4x4-standard	41			36900
evader-pursuer-6x6-logarithmic	44			39600
evader-pursuer-6x6-standard	43			38700
evader-pursuer-8x8-logarithmic	43		1	33434.96
fpu	12		2	85.5
genbuf	22			19800
HardwareFixpoint	43			38700
hwmcc	16		2	10806.24
hyperLTL	4	1	1	0.02
incrementer-encoder	33			29700
irqlkeapclte	66			59400
ISCAS89	6	1		110.76
ITC99	40	2		18300.1
jmc_quant_squaring	64		1	49997.28
k_branch_n	24			21600
k_branch_p	38		2	16649.85
k_ph_n	10	1		2.4
k_ph_p	25			22500
LinearBitvectorRankingFunction	53		1	38464.18
ltl2aig-comp	19			17100
LTL2DBA	9		1	6338.8
LTL2DPA	10			9000
Model_instances	117	1	3	83534.05
mqm	20		1	10806.88
mult-matrix	24			21600
MutexP	37	3		2.97
Planning-CTE	22			19800
QBF-Hardness	20			18000
QLTL_safety	100	15	8	51319.68
Qshifter	25			22500
RankingFunctions	36			32400
Reduction-finding	22			19800
s1269	25			22500
s3330	17			15300
Sorting_networks	58			52200
SzymanskiP	48		5	455.43
terminator	13		1	916.63
tipdiam	24			21600
toy	14	2	2	10.08
uclid	22	2		997.37
VonNeumann	9		1	205.56
wmiforward	16			14400

QBF Solver Evaluation Portal