Qute_opt617 results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	10			9000
Adder	55			49500
amba	22	1	1	12764.29
Blocks	10		1	4.7
BMC	32			28800
bomb	21			18900
BoundedSynthesisPetriGames	106	1	5	85226.84
C499	34			30600
C5315	13			11700
C6288	47			42300
C880	22			19800
Chain	32	3		3.78
circuits	35			31500
CombinationalEquivalence	179		8	118557.16
conformant_planning	24			21600
Connect4	18			16200
Counter	15			13500
cycle-sched	24			21600
Debug	58			52200
driver	18	1	1	8124.44
dungeon	30			27000
evader-pursuer-4x4-logarithmic	21	2		3967.53
evader-pursuer-4x4-standard	41			36900
evader-pursuer-6x6-logarithmic	44			39600
evader-pursuer-6x6-standard	43			38700
evader-pursuer-8x8-logarithmic	43		1	33807.31
fpu	12		2	86.52
genbuf	22			19800
HardwareFixpoint	43			38700
hwmcc	16		2	10806.08
hyperLTL	4	1	1	0
incrementer-encoder	33		1	19872.05
irqlkeapclte	66			59400
ISCAS89	6	1		1742.46
ITC99	40	2		18112.6
jmc_quant_squaring	64			57600
k_branch_n	24			21600
k_branch_p	38		1	28390.68
k_ph_n	10	1		4
k_ph_p	25			22500
LinearBitvectorRankingFunction	53		1	37916.49
ltl2aig-comp	19			17100
LTL2DBA	9		1	6414
LTL2DPA	10			9000
Model_instances	117		1	100971.2
mqm	20		1	10808.48
mult-matrix	24			21600
MutexP	37	3		2.97
Planning-CTE	22			19800
QBF-Hardness	20			18000
QLTL_safety	100	17	8	49392.58
Qshifter	25			22500
RankingFunctions	36			32400
Reduction-finding	22			19800
s1269	25			22500
s3330	17			15300
Sorting_networks	58			52200
SzymanskiP	48		5	458.95
terminator	13			11700
tipdiam	24			21600
toy	14	2	2	4.78
uclid	22	2		1220.45
VonNeumann	9		1	206.28
wmiforward	16			14400

QBF Solver Evaluation Portal