Results

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for THF

THF	TPS 3.20080227G1d	LEO-II 1.0	LEO-IIP 1.0	IsabelleP 2009
`ALG249^3`	7.80	2.20	⁺2.20	⁺210.70
`ALG255^1`	54.60	2.70	⁺2.90	TMO‑Non
`ALG257^2`	10.00	2.20	⁺2.20	TMO‑Non
`ALG261^1`	3.50	2.90	⁺3.20	TMO‑Non
`ALG262^2`	0.70	21.50	⁺21.40	⁺174.70
`ALG267^2`	0.80	4.20	⁺4.20	TMO‑Non
`ALG279^5`^*	81.60	0.00	⁺0.00	UNK‑Non
`ALG282^5`^*	TMO‑Non	0.00	⁺0.00	⁺1.40
`ALG285^5`^*	TMO‑Non	0.10	⁺0.10	⁺1.60
`LCL603^1`	9.90	0.10	⁺0.10	TMO‑Non
`LCL625^1`	0.50	51.90	⁺165.80	⁺69.10
`LCL629^1`	0.60	0.10	⁺0.10	UNK‑Non
`LCL632^1`	3.20	TMO‑Non	TMO‑Non	UNK‑Non
`LCL694^1`	TMO‑Non	0.10	⁺0.10	UNK‑Non
`LCL713^1`^*	0.40	TMO‑Non	TMO‑Non	⁺134.60
`LCL724^1`^*	0.40	0.10	⁺0.10	TMO‑Non
`LCL725^1`^*	0.40	0.10	⁺0.10	TMO‑Non
`LCL726^5`^*	58.20	TMO‑Non	TMO‑Non	⁺102.20
`LCL728^5`^*	44.70	TMO‑Non	TMO‑Non	UNK‑Non
`LCL730^5`^*	44.40	TMO‑Non	TMO‑Non	UNK‑Non
`LCL734^5`^*	232.60	TMO‑Non	TMO‑Non	UNK‑Non
`LCL737^5`^*	239.50	TMO‑Non	TMO‑Non	UNK‑Non
`LCL740^5`^*	238.80	TMO‑Non	TMO‑Non	UNK‑Non
`NUM021^1`	1.50	TMO‑Non	TMO‑Non	UNK‑Non
`NUM636^2`	43.20	TMO‑Non	TMO‑Non	⁺68.00
`NUM651^1`	TMO‑Non	1.70	⁺1.70	⁺34.80
`NUM670^1`	7.20	0.00	⁺0.00	⁺34.30
`NUM679^1`	7.30	0.00	⁺0.00	⁺34.40
`NUM680^1`	2.60	0.10	⁺0.10	⁺101.70
`NUM713^1`	113.70	1.30	⁺1.30	⁺34.70
`NUM717^1`	6.70	0.00	⁺0.00	⁺34.40
`NUM719^1`	TMO‑Non	1.10	⁺1.10	⁺70.00
`NUM738^1`	0.30	0.00	⁺0.00	⁺34.60
`NUM743^1`	0.30	TMO‑Non	TMO‑Non	TMO‑Non
`NUM766^1`	TMO‑Non	1.00	⁺1.00	UNK‑Non
`NUM775^1`	0.40	0.10	⁺0.10	⁺100.50
`NUM785^1`	0.40	0.00	⁺0.00	⁺34.70
`NUM792^1`	0.30	0.00	⁺0.00	⁺34.60
`NUM800^1`	1.20	TMO‑Non	TMO‑Non	UNK‑Non
`NUM820^5`^*	6.20	TMO‑Non	TMO‑Non	UNK‑Non
`NUM827^5`^*	8.50	TMO‑Non	TMO‑Non	UNK‑Non
`PUZ047^5`^*	9.00	0.10	⁺0.10	⁺35.40
`PUZ094^5`^*	TMO‑Non	0.30	⁺0.40	UNK‑Non
`PUZ104^5`^*	52.10	0.00	⁺0.00	UNK‑Non
`PUZ110^5`^*	12.60	0.00	⁺0.00	⁺99.60
`PUZ114^5`^*	135.00	0.00	⁺0.00	UNK‑Non
`SET063^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET066^1`	0.40	0.00	⁺0.00	⁺1.60
`SET171^3`	0.40	0.00	⁺0.00	⁺1.90
`SET171^5`^*	0.30	0.00	⁺0.00	⁺1.70
`SET591^5`^*	0.40	0.00	⁺0.00	⁺1.60
`SET596^5`^*	0.30	0.00	⁺0.00	⁺34.40
`SET601^3`	0.40	0.10	⁺0.10	⁺2.00
`SET601^5`^*	0.40	0.00	⁺0.10	⁺1.40
`SET605^5`^*	0.40	0.00	⁺0.00	⁺1.60
`SET606^3`	0.30	0.00	⁺0.00	⁺2.00
`SET606^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET607^3`	0.40	0.00	⁺0.00	⁺1.60
`SET608^5`^*	0.30	0.00	⁺0.00	⁺1.20
`SET609^3`	0.40	0.00	⁺0.00	⁺1.90
`SET609^5`^*	0.40	0.00	⁺0.00	⁺1.70
`SET619^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET620^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET622^5`^*	0.40	0.00	⁺0.10	⁺1.70
`SET623^3`	0.40	0.30	⁺8.00	⁺1.80
`SET628^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SET638^5`^*	0.30	0.00	⁺0.00	⁺44.70
`SET647^3`	0.40	0.00	⁺0.00	⁺192.40
`SET669^3`	0.40	0.10	⁺0.10	⁺69.80
`SET670^3`	0.40	0.00	⁺0.00	⁺156.20
`SET671^3`	0.40	0.00	⁺0.10	UNK‑Non
`SET672^3`	0.40	0.00	⁺0.00	⁺199.40
`SET673^3`	0.40	0.00	⁺0.10	UNK‑Non
`SET680^3`	0.40	0.10	⁺0.10	TMO‑Non
`SET716^4`	14.50	0.00	⁺0.00	⁺34.90
`SEU453^1`	0.30	0.10	⁺0.10	⁺56.90
`SEU457^1`	0.40	0.10	⁺0.10	⁺77.50
`SEU461^1`	56.20	0.10	⁺0.20	TMO‑Non
`SEU481^1`	0.40	TMO‑Non	TMO‑Non	UNK‑Non
`SEU498^1`	TMO‑Non	0.10	⁺0.10	⁺109.50
`SEU520^1`	2.70	0.30	⁺0.70	TMO‑Non
`SEU545^1`	TMO‑Non	1.00	⁺1.90	TMO‑Non
`SEU553^1`^*	TMO‑Non	0.90	⁺3.70	⁺70.80
`SEU610^2`	38.00	1.80	⁺1.80	⁺69.70
`SEU657^2`	TMO‑Non	0.00	⁺0.00	⁺1.70
`SEU685^2`	0.60	TMO‑Non	TMO‑Non	⁺1.60
`SEU695^2`	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.50
`SEU702^2`	6.00	TMO‑Non	TMO‑Non	⁺1.30
`SEU752^2`	TMO‑Non	0.10	⁺0.10	⁺102.30
`SEU767^1`	TMO‑Non	13.30	⁺41.80	TMO‑Non
`SEU775^2`	0.30	TMO‑Non	TMO‑Non	⁺1.40
`SEU777^2`	0.40	TMO‑Non	TMO‑Non	⁺1.50
`SEU827^1`	UNK‑Non	0.20	⁺0.90	UNK‑Non
`SEU828^1`	0.40	0.00	⁺0.00	⁺1.50
`SEU829^1`	0.30	0.00	⁺0.00	⁺1.40
`SEU845^5`^*	0.40	0.00	⁺0.00	⁺1.50
`SEU848^5`^*	0.30	0.00	⁺0.00	⁺1.50
`SEU849^5`^*	0.30	0.00	⁺0.00	⁺1.50
`SEU851^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SEU906^5`^*	25.60	TMO‑Non	TMO‑Non	UNK‑Non
`SEU909^5`^*	15.50	TMO‑Non	TMO‑Non	⁺34.40
`SEU931^5`^*	20.70	0.00	⁺0.00	⁺35.50
`SEU932^5`^*	13.90	0.00	⁺0.00	⁺35.60
`SEU939^5`^*	91.30	TMO‑Non	TMO‑Non	UNK‑Non
`SEU947^5`^*	128.80	TMO‑Non	TMO‑Non	UNK‑Non
`SEU948^5`^*	42.20	TMO‑Non	TMO‑Non	UNK‑Non
`SEU949^5`^*	26.80	TMO‑Non	TMO‑Non	UNK‑Non
`SEU961^5`^*	TMO‑Non	0.00	⁺0.00	UNK‑Non
`SEU975^5`^*	TMO‑Non	0.80	⁺0.70	⁺105.10
`SEU998^5`^*	TMO‑Non	2.30	⁺2.40	⁺72.30
`SEU999^5`^*	TMO‑Non	2.40	⁺2.50	UNK‑Non
`SEV006^5`^*	173.10	0.40	⁺0.50	⁺37.10
`SEV008^5`^*	107.50	0.10	⁺0.10	⁺40.50
`SEV031^5`^*	66.40	0.10	⁺0.10	⁺48.80
`SEV043^5`^*	0.30	0.00	⁺0.00	TMO‑Non
`SEV049^5`^*	0.30	0.10	⁺0.10	⁺34.80
`SEV054^5`^*	0.90	68.50	⁺68.60	⁺269.00
`SEV059^5`^*	4.40	0.00	⁺0.00	⁺34.20
`SEV066^5`^*	0.70	TMO‑Non	TMO‑Non	UNK‑Non
`SEV067^5`^*	7.30	0.00	⁺0.00	⁺34.60
`SEV069^5`^*	136.10	TMO‑Non	TMO‑Non	TMO‑Non
`SEV070^5`^*	6.70	0.00	⁺0.00	⁺67.80
`SEV085^5`^*	34.90	TMO‑Non	TMO‑Non	⁺1.60
`SEV086^5`^*	61.10	TMO‑Non	TMO‑Non	UNK‑Non
`SEV107^5`^*	59.80	0.10	⁺0.10	⁺183.40
`SEV109^5`^*	1.00	0.20	⁺0.20	UNK‑Non
`SEV110^5`^*	1.00	0.20	⁺0.20	UNK‑Non
`SEV136^5`^*	2.00	0.00	⁺0.00	TMO‑Non
`SEV142^5`^*	80.40	TMO‑Non	TMO‑Non	TMO‑Non
`SEV147^5`^*	78.60	TMO‑Non	TMO‑Non	UNK‑Non
`SEV169^5`^*	18.00	85.30	⁺90.40	⁺1.30
`SEV177^5`^*	0.30	0.00	⁺0.00	UNK‑Non
`SEV185^5`^*	0.40	0.00	⁺0.00	⁺34.50
`SEV194^5`^*	0.40	0.00	⁺0.00	⁺34.70
`SEV222^5`^*	25.20	TMO‑Non	TMO‑Non	⁺68.80
`SEV229^5`^*	0.30	0.00	⁺0.00	⁺1.40
`SEV238^5`^*	7.40	19.20	⁺20.30	⁺29.70
`SEV239^5`^*	32.10	TMO‑Non	TMO‑Non	⁺33.80
`SEV242^5`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SEV253^5`^*	45.70	TMO‑Non	TMO‑Non	UNK‑Non
`SEV254^5`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SEV273^5`^*	0.40	TMO‑Non	TMO‑Non	⁺101.30
`SEV285^5`^*	0.30	0.00	⁺0.00	UNK‑Non
`SEV292^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.70
`SEV299^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.70
`SEV300^5`^*	96.00	0.10	⁺0.10	UNK‑Non
`SEV317^5`^*	43.10	TMO‑Non	TMO‑Non	TMO‑Non
`SEV318^5`^*	252.50	TMO‑Non	TMO‑Non	TMO‑Non
`SEV401^5`^*	1.50	0.10	⁺0.00	⁺67.70
`SEV409^5`^*	6.30	0.00	⁺0.00	⁺68.50
`SEV410^5`^*	6.40	TMO‑Non	TMO‑Non	⁺1.30
`SWV426^2`	39.20	0.10	⁺0.10	UNK‑Non
`SWV426^4`	35.60	0.10	⁺0.10	⁺122.60
`SWV447^1`	13.80	TMO‑Non	TMO‑Non	⁺1.30
`SYN041^4`^*	0.60	0.00	⁺0.00	⁺47.50
`SYN044^4`^*	TMO‑Non	0.20	⁺0.20	⁺54.80
`SYN984^1`	UNK‑Non	0.10	⁺0.10	UNK‑Non
`SYO004^1`	0.30	0.50	⁺0.80	UNK‑Non
`SYO016^1`	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYO020^1`	UNK‑Non	0.00	⁺0.00	⁺1.60
`SYO030^1`	1.00	1.00	⁺1.00	UNK‑Non
`SYO035^1`	19.20	1.00	⁺1.30	⁺100.90
`SYO060^4`^*	0.50	0.00	⁺0.00	⁺48.90
`SYO064^4.001`^*	0.40	0.00	⁺0.00	⁺50.50
`SYO068^4.005`^*	TMO‑Non	0.10	⁺0.10	TMO‑Non
`SYO068^4.010`^*	TMO‑Non	0.10	⁺0.20	TMO‑Non
`SYO102^5`^*	0.40	0.00	⁺0.00	⁺34.60
`SYO115^5`^*	9.00	0.10	⁺0.10	⁺34.80
`SYO148^5`^*	0.30	0.00	⁺0.00	⁺1.30
`SYO180^5`^*	1.00	0.10	⁺0.10	TMO‑Non
`SYO198^5`^*	0.30	0.00	⁺0.00	⁺67.40
`SYO209^5`^*	0.90	TMO‑Non	TMO‑Non	UNK‑Non
`SYO217^5`^*	0.40	0.00	⁺0.00	UNK‑Non
`SYO222^5`^*	25.20	TMO‑Non	TMO‑Non	UNK‑Non
`SYO227^5`^*	49.80	2.40	⁺8.70	UNK‑Non
`SYO229^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.30
`SYO231^5`^*	0.30	TMO‑Non	TMO‑Non	⁺1.60
`SYO234^5`^*	0.40	TMO‑Non	TMO‑Non	⁺1.20
`SYO249^5`^*	TMO‑Non	0.20	⁺0.20	⁺75.10
`SYO250^5`^*	30.30	10.40	⁺10.30	⁺34.50
`SYO265^5`^*	7.30	0.00	⁺0.00	⁺1.30
`SYO271^5`^*	139.00	TMO‑Non	TMO‑Non	UNK‑Non
`SYO276^5`^*	97.10	TMO‑Non	TMO‑Non	UNK‑Non
`SYO277^5`^*	21.40	1.80	⁺1.90	UNK‑Non
`SYO288^5`^*	0.30	TMO‑Non	TMO‑Non	UNK‑Non
`SYO314^5`^*	0.40	0.00	⁺0.00	TMO‑Non
`SYO348^5`^*	UNK‑Non	0.00	⁺0.00	⁺1.50
`SYO359^5`^*	0.30	2.30	⁺3.30	⁺18.10
`SYO386^5`^*	64.30	0.50	⁺0.60	⁺207.00
`SYO391^5`^*	TMO‑Non	5.10	⁺5.40	TMO‑Non
`SYO445^1`^*	9.60	TMO‑Non	TMO‑Non	⁺139.70
`SYO448^1`^*	7.40	0.10	⁺0.10	⁺265.00
`SYO449^1`^*	12.10	11.60	⁺11.60	⁺179.30
`SYO455^4`^*	0.40	0.00	⁺0.00	⁺161.40
`SYO455^5`^*	0.40	0.00	⁺0.00	⁺169.70
`SYO457^5`^*	0.40	0.00	⁺0.00	⁺155.80
`SYO457^6`^*	0.40	0.00	⁺0.00	⁺169.70
`SYO460^4`^*	0.40	0.00	⁺0.10	⁺156.20
`SYO470^6`^*	51.70	0.70	⁺0.80	⁺267.90
`SYO487^6`^*	0.40	0.00	⁺0.10	⁺167.50
Attempted	200	200	200	200
Solved	170	146	146	124
Av. Time	23.18	2.27	3.44	55.92
Solutions	0	0	146	124
μEfficiency	36.67	322.09	212.35	11.09
SOTAC	0.43	0.30	0.30	0.31
New Attempted	130	130	130	130
New Solved	114	89	89	80

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for FOF

FOF	Vampire 11.0	E 1.1pre	Vampire 10.0	EP 1.1pre	iProver 0.7	Equinox 4.1	leanCoP 2.1	iProver-Eq 0.5	Metis 2.2	E-KRHyper 1.1.3	Otter 3.3	OSHL-S 0.6	Infinox 1.0
`AGT008+1`	⁺137.20	TMO‑Non	⁺49.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`AGT016+2`	⁺0.00	0.20	⁺0.00	⁺0.30	0.20	TMO‑Non	⁺0.30	19.30	TMO‑Non	0.40	⁺0.60	TMO‑Non	TMO‑Non
`AGT024+2`	⁺55.80	TMO‑Non	⁺46.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ALG018+1`	⁺1.30	0.00	⁺0.70	⁺0.10	TMO‑Non	0.10	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`ALG071+1`	⁺3.00	6.90	⁺1.50	⁺10.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`ALG176+1`	⁺0.10	0.00	⁺0.10	⁺0.10	48.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`ALG210+1`	⁺16.40	22.50	⁺15.10	33.50	TMO‑Non	14.20	TMO‑Non	TMO‑Non	⁺0.50	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`ALG210+2`	⁺0.00	0.00	⁺1.20	⁺0.10	TMO‑Non	13.20	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`COM003+1`	⁺0.00	1.30	⁺0.00	⁺2.00	0.40	TMO‑Non	⁺33.10	6.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR001+2`	⁺35.80	24.20	⁺71.10	⁺27.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR002+1`	TMO‑Non	12.10	⁺77.90	⁺14.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`CSR004+1`	TMO‑Non	10.50	TMO‑Non	⁺12.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`CSR012+1`	⁺34.50	0.20	⁺18.90	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.70	TMO‑Non	FTH‑Ass
`CSR017+1`	⁺1.40	0.10	⁺5.50	⁺0.20	3.20	0.80	TMO‑Non	30.30	⁺0.30	43.30	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR020+1`	⁺1.40	0.10	⁺6.60	⁺0.10	1.90	2.10	TMO‑Non	TMO‑Non	⁺0.50	141.50	TMO‑Non	TMO‑Non	FTH‑Ass
`CSR024+1.009`	⁺125.00	0.30	⁺67.90	⁺0.50	TMO‑Non	2.80	TMO‑Non	TMO‑Non	⁺39.60	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR025+3`	⁺1.50	0.40	⁺1.50	⁺1.00	0.90	4.00	⁺4.60	2.50	⁺30.00	8.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR032+2`	⁺0.10	0.10	⁺0.10	⁺0.20	0.20	63.50	⁺0.30	26.30	⁺1.00	0.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR034+2`	⁺0.20	3.10	⁺0.20	⁺3.30	0.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.90	3.80	GUP‑Non	TMO‑Non	TMO‑Non
`CSR036+2`	⁺27.00	40.80	⁺3.70	⁺42.00	18.10	TMO‑Non	⁺0.70	TMO‑Non	⁺27.70	2.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR038+3`	⁺2.00	24.60	⁺2.00	⁺25.40	210.10	TMO‑Non	⁺7.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR039+1`	⁺0.00	0.20	⁺0.00	⁺0.30	0.30	13.60	⁺28.60	10.80	UNK‑Non	0.10	⁺0.30	5.10	TMO‑Non
`CSR039+2`	⁺28.00	41.40	⁺3.60	⁺42.80	12.00	TMO‑Non	⁺1.10	TMO‑Non	⁺27.50	2.80	GUP‑Non	TMO‑Non	TMO‑Non
`CSR039+3`	TMO‑Non	TMO‑Non	⁺44.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR041+3`	⁺2.00	23.00	⁺2.00	⁺24.00	1.80	TMO‑Non	⁺7.20	TMO‑Non	⁺30.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR041+5`	⁺219.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR042+3`	⁺1.60	6.00	⁺1.60	⁺6.50	1.40	TMO‑Non	⁺4.80	TMO‑Non	⁺42.40	9.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR045+2`	⁺1.30	8.50	⁺7.00	⁺8.90	1.60	TMO‑Non	⁺267.70	149.00	⁺1.30	0.40	⁺0.80	36.20	TMO‑Non
`CSR045+4`	⁺188.20	TMO‑Non	TMO‑Non	TMO‑Non	113.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR048+4`	⁺280.70	3.40	⁺57.60	⁺6.30	186.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR052+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	216.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR060+2`	⁺0.20	29.20	⁺0.20	⁺30.50	1.60	TMO‑Non	⁺212.10	TMO‑Non	⁺34.30	29.70	GUP‑Non	TMO‑Non	TMO‑Non
`CSR061+2`	⁺22.00	35.30	⁺3.60	⁺36.60	11.40	TMO‑Non	⁺0.60	TMO‑Non	⁺32.40	2.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR063+2`	⁺0.10	9.00	⁺0.10	⁺9.60	0.70	TMO‑Non	⁺0.80	TMO‑Non	⁺1.40	14.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR063+3`	⁺2.10	22.80	⁺2.00	⁺24.00	TMO‑Non	TMO‑Non	⁺33.40	TMO‑Non	⁺36.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR064+4`	⁺189.00	35.10	⁺173.10	⁺38.50	113.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR069+3`	⁺1.50	0.40	⁺1.50	⁺1.00	0.90	4.00	⁺4.60	2.50	⁺29.80	8.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR070+2`	⁺0.10	3.50	⁺0.10	⁺3.90	0.70	TMO‑Non	⁺0.80	TMO‑Non	⁺1.90	18.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR070+3`	⁺81.60	122.30	⁺13.40	⁺123.50	100.40	TMO‑Non	⁺74.40	TMO‑Non	⁺43.50	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR074+3`	⁺5.00	91.20	⁺2.70	⁺93.20	101.30	TMO‑Non	⁺117.30	TMO‑Non	TMO‑Non	98.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR075+2`^*	⁺14.00	265.40	⁺212.00	⁺272.50	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR075+4`^*	⁺8.70	9.70	⁺28.50	⁺11.40	5.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	183.60	GUP‑Non	TMO‑Non	TMO‑Non
`CSR075+5`^*	⁺10.00	49.70	⁺205.20	⁺53.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR076+5`^*	TMO‑Non	104.10	TMO‑Non	⁺112.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR079+5`^*	TMO‑Non	97.10	TMO‑Non	⁺111.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR081+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR085+6`^*	⁺268.70	TMO‑Non	TMO‑Non	TMO‑Non	7.80	TMO‑Non	⁺28.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+2`^*	⁺14.10	252.70	⁺212.10	⁺259.50	145.80	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+4`^*	⁺8.70	9.50	⁺18.00	⁺11.10	5.90	TMO‑Non	⁺123.30	TMO‑Non	TMO‑Non	154.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+5`^*	⁺9.90	44.80	⁺21.90	⁺48.70	25.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR086+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	299.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR088+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR089+1`^*	⁺9.80	51.40	⁺31.30	⁺54.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR090+2`^*	⁺14.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR090+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR091+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR091+4`^*	⁺100.80	220.60	TMO‑Non	⁺227.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR092+1`^*	⁺9.50	53.70	⁺24.60	⁺57.50	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR092+4`^*	TMO‑Non	24.80	⁺49.70	⁺29.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	217.10	GUP‑Non	TMO‑Non	TMO‑Non
`CSR098+4`^*	⁺0.40	0.40	⁺0.40	⁺0.90	TMO‑Non	3.80	⁺1.90	1.90	⁺7.20	5.10	GUP‑Non	TMO‑Non	TMO‑Non
`CSR098+5`^*	⁺1.60	0.90	⁺1.10	⁺1.80	TMO‑Non	7.40	⁺4.90	4.30	⁺23.20	25.30	GUP‑Non	TMO‑Non	TMO‑Non
`CSR099+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR101+1`^*	⁺9.70	52.00	⁺110.70	⁺55.80	5.70	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR101+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR101+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	164.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR103+1`^*	⁺0.50	0.60	⁺0.50	⁺1.30	2.70	TMO‑Non	⁺2.60	UNK‑Non	⁺11.00	5.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR104+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR108+1`^*	⁺9.40	51.80	⁺266.90	⁺55.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR109+3`^*	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR109+6`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+24`^*	TMO‑Non	106.30	TMO‑Non	⁺107.70	7.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	30.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+30`^*	⁺98.10	101.60	TMO‑Non	⁺103.80	5.90	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	30.00	GUP‑Non	TMO‑Non	TMO‑Non
`CSR114+9`^*	TMO‑Non	109.40	TMO‑Non	⁺111.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	47.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+15`^*	⁺63.90	107.30	⁺4.90	⁺109.30	6.20	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	10.60	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+23`^*	⁺61.00	109.60	⁺1.90	⁺110.80	6.40	TMO‑Non	⁺1.50	UNK‑Non	TMO‑Non	10.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+41`^*	⁺60.70	108.40	⁺1.70	⁺110.30	6.20	TMO‑Non	⁺1.40	UNK‑Non	TMO‑Non	10.70	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+78`^*	⁺0.70	101.20	⁺0.60	⁺103.00	1.20	7.00	⁺0.90	UNK‑Non	TMO‑Non	3.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+87`^*	⁺69.60	108.30	⁺10.20	⁺110.20	6.40	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	10.50	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+13`^*	TMO‑Non	109.30	TMO‑Non	⁺111.90	3.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	34.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+23`^*	TMO‑Non	100.80	TMO‑Non	⁺103.20	164.90	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	30.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR116+29`^*	TMO‑Non	111.30	TMO‑Non	⁺112.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	31.30	GUP‑Non	TMO‑Non	TMO‑Non
`GEO085+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.10	⁺0.10	0.20	⁺0.20	0.20	⁺0.50	2.30	FTH‑Ass
`GEO087+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.60	TMO‑Non	⁺33.50	151.40	TMO‑Non	0.10	⁺0.50	1.60	FTH‑Ass
`GEO088+1`	⁺24.30	TMO‑Non	⁺90.70	TMO‑Non	2.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO093+1`	⁺16.00	0.10	⁺1.50	⁺0.30	1.30	TMO‑Non	⁺63.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GEO094+1`	⁺1.10	0.10	⁺0.00	⁺0.20	5.80	3.80	⁺161.10	TMO‑Non	TMO‑Non	0.10	⁺132.50	1.80	TMO‑Non
`GEO112+1`	⁺2.00	0.10	⁺3.10	⁺0.10	0.00	0.00	⁺0.10	TMO‑Non	TMO‑Non	9.00	⁺0.50	TMO‑Non	TMO‑Non
`GEO117+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.10	⁺29.90	0.80	⁺11.10	TMO‑Non	⁺8.90	TMO‑Non	GUP‑Non
`GEO118+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.50	0.10	⁺31.00	203.70	⁺75.70	TMO‑Non	⁺17.70	TMO‑Non	GUP‑Non
`GEO124+1`	⁺0.00	0.00	⁺0.10	⁺0.10	0.70	0.10	⁺91.90	TMO‑Non	TMO‑Non	TMO‑Non	⁺17.00	TMO‑Non	GUP‑Non
`GEO126+1`	⁺0.00	0.00	⁺0.00	⁺0.10	13.10	89.40	⁺100.10	4.50	⁺47.70	91.40	TMO‑Non	TMO‑Non	GUP‑Non
`GEO127+1`	⁺0.00	0.00	⁺0.00	⁺0.10	42.10	TMO‑Non	TMO‑Non	9.50	⁺240.30	TMO‑Non	TMO‑Non	9.50	GUP‑Non
`GEO146+1`	⁺0.00	0.10	⁺0.00	⁺0.20	0.60	0.10	⁺0.60	22.60	⁺5.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GEO148+1`	⁺0.50	0.00	⁺0.10	⁺0.10	0.20	0.20	⁺28.50	5.00	TMO‑Non	TMO‑Non	⁺3.70	TMO‑Non	GUP‑Non
`GEO168+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO169+1`	⁺36.00	5.80	⁺66.20	⁺7.80	0.80	198.60	TMO‑Non	TMO‑Non	TMO‑Non	0.40	TMO‑Non	16.80	GUP‑Non
`GEO169+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	257.00	TMO‑Non	TMO‑Non	TMO‑Non	134.20	GUP‑Non
`GEO170+3`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.20	0.00	⁺0.10	0.30	⁺59.00	TMO‑Non	⁺8.20	0.70	FTH‑Ass
`GEO172+3`^*	⁺0.00	0.20	⁺0.00	⁺0.40	0.40	0.90	⁺0.20	3.90	TMO‑Non	TMO‑Non	⁺34.30	1.00	FTH‑Ass
`GEO184+3`^*	⁺0.10	0.00	⁺0.10	⁺0.10	0.30	0.10	⁺0.10	0.30	TMO‑Non	TMO‑Non	⁺15.70	1.80	FTH‑Ass
`GEO186+3`^*	⁺1.20	0.20	⁺3.30	⁺0.50	0.20	0.10	⁺0.10	2.80	TMO‑Non	TMO‑Non	⁺33.80	1.80	FTH‑Ass
`GEO187+3`^*	⁺1.10	0.20	⁺3.20	⁺0.40	0.20	TMO‑Non	⁺15.40	31.30	⁺0.10	TMO‑Non	⁺44.40	2.10	FTH‑Ass
`GEO191+3`^*	⁺100.60	1.50	⁺6.80	⁺2.80	0.30	1.00	⁺4.50	0.40	⁺1.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO194+1`	⁺1.30	0.10	⁺6.30	⁺0.20	0.20	0.20	⁺0.90	0.20	TMO‑Non	TMO‑Non	TMO‑Non	0.40	FTH‑Ass
`GEO196+3`^*	⁺292.00	11.50	⁺213.90	⁺19.70	1.40	29.10	⁺57.10	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	3.90	FTH‑Ass
`GEO201+3`^*	⁺96.60	15.00	⁺5.10	⁺27.00	0.30	0.10	⁺0.20	0.40	TMO‑Non	TMO‑Non	GUP‑Non	2.10	FTH‑Ass
`GEO202+3`^*	⁺159.70	1.90	⁺21.20	⁺3.40	0.40	0.80	⁺0.20	0.40	⁺73.60	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`GEO203+3`^*	⁺98.90	124.10	⁺7.10	⁺195.10	0.30	0.10	⁺0.10	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO255+3`^*	⁺0.10	0.00	⁺0.10	⁺0.10	0.20	45.10	TMO‑Non	52.60	⁺63.50	TMO‑Non	⁺1.10	4.20	GUP‑Non
`GRA002+3`	⁺7.10	0.10	⁺56.40	⁺0.20	38.20	7.50	⁺45.20	5.40	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRA003+1`	⁺0.10	0.00	⁺56.30	⁺0.10	0.30	0.10	⁺2.40	0.20	⁺128.50	7.70	⁺1.30	3.30	GUP‑Non
`GRA004+1`	⁺0.40	0.00	⁺56.40	⁺0.10	5.00	0.10	TMO‑Non	8.00	TMO‑Non	16.00	GUP‑Non	8.80	FTH‑Ass
`GRA010+2`	⁺0.10	0.00	⁺0.00	⁺0.10	0.40	0.30	⁺0.70	0.20	TMO‑Non	TMO‑Non	⁺9.70	TMO‑Non	GUP‑Non
`GRA011+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	53.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP001+6`	⁺0.80	0.10	⁺0.80	⁺0.30	1.70	0.10	⁺6.40	51.70	TMO‑Non	0.00	⁺0.30	TMO‑Non	FTH‑Ass
`GRP012+5`	⁺0.00	0.00	⁺0.00	⁺0.10	1.30	1.50	TMO‑Non	TMO‑Non	TMO‑Non	0.00	⁺0.30	TMO‑Non	FTH‑Ass
`GRP194+1`	⁺0.20	0.00	⁺0.10	⁺0.10	TMO‑Non	115.30	TMO‑Non	1.10	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP642+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	296.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP642+4`	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP644+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	288.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP655+1`^*	TMO‑Non	53.40	⁺204.70	⁺103.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP655+3`^*	⁺299.70	20.30	⁺49.80	⁺39.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP682+1`^*	⁺0.10	0.00	⁺1.30	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.80	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP704+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	4.40	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP745+1`^*	TMO‑Non	266.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP746+1`^*	TMO‑Non	23.90	TMO‑Non	⁺49.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP747+1`^*	⁺70.00	0.10	⁺86.90	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FTH‑Ass
`GRP748+1`^*	⁺76.60	0.00	⁺51.70	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`HAL004+1`	⁺40.90	3.10	⁺62.10	⁺4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`KLE061+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	TMO‑Non	4.80	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`KLE087+1`^*	TMO‑Non	27.10	TMO‑Non	⁺67.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KLE102+1`^*	⁺213.40	37.10	⁺180.40	⁺68.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KLE104+1`^*	TMO‑Non	16.70	⁺96.00	⁺41.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`KLE132+1`^*	⁺0.20	0.00	⁺45.80	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺12.30	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KRS144+1`	⁺0.00	0.00	⁺56.30	⁺0.10	0.20	0.00	⁺0.10	0.10	⁺0.00	0.40	GUP‑Non	TMO‑Non	GUP‑Non
`KRS145+1`	⁺0.00	0.00	⁺8.70	⁺0.10	0.10	0.10	⁺0.10	0.20	⁺0.10	101.10	⁺173.00	TMO‑Non	GUP‑Non
`KRS159+1`	⁺0.10	0.60	⁺0.10	⁺0.80	0.40	12.30	⁺29.50	TMO‑Non	⁺8.10	5.80	GUP‑Non	23.80	TMO‑Non
`KRS180+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.90	⁺0.10	0.20	⁺0.10	0.10	⁺0.30	TMO‑Non	GUP‑Non
`KRS188+1`^*	⁺135.30	TMO‑Non	⁺87.60	TMO‑Non	0.70	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS193+1`^*	⁺0.10	3.20	⁺0.10	⁺5.10	0.00	TMO‑Non	⁺0.30	124.50	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS196+1`^*	⁺0.10	3.40	⁺0.10	⁺5.20	0.00	TMO‑Non	⁺0.40	94.10	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS202+1`^*	⁺0.50	0.40	⁺0.50	⁺0.80	0.10	3.40	⁺110.50	TMO‑Non	TMO‑Non	0.50	TMO‑Non	9.30	FTH‑Ass
`KRS216+1`^*	⁺0.00	52.00	⁺0.00	⁺67.80	2.50	TMO‑Non	⁺11.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS233+1`^*	⁺2.00	TMO‑Non	⁺44.80	TMO‑Non	1.40	TMO‑Non	⁺28.90	TMO‑Non	⁺38.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS251+1`^*	⁺287.80	TMO‑Non	TMO‑Non	TMO‑Non	226.50	TMO‑Non	⁺27.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS254+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺0.40	0.90	TMO‑Non	0.10	⁺11.20	TMO‑Non	FTH‑Ass
`KRS256+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS265+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.40	264.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS267+1`^*	⁺0.00	60.00	⁺0.00	⁺79.80	0.80	TMO‑Non	⁺0.40	14.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`KRS268+1`^*	⁺0.00	23.20	⁺0.00	⁺30.50	2.80	TMO‑Non	⁺4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT297+2`	TMO‑Non	TMO‑Non	⁺266.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LAT304+1`	⁺2.20	1.20	⁺11.40	⁺1.80	19.40	59.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`LAT331+1`	⁺15.50	1.40	⁺236.90	⁺2.00	TMO‑Non	51.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`LCL414+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.10	0.00	⁺0.00	0.00	⁺0.30	TMO‑Non	FTH‑Ass
`LCL465+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.30	⁺0.10	0.20	⁺0.00	TMO‑Non	⁺0.30	GUP‑Non	FTH‑Ass
`LCL473+1`	⁺266.40	17.30	⁺18.80	⁺23.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL482+1`	⁺300.00	TMO‑Non	⁺80.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL531+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺0.30	TMO‑Non	⁺16.20	TMO‑Non	GUP‑Non	GUP‑Non	FTH‑Ass
`LCL541+1`^*	⁺57.40	7.70	⁺12.00	⁺14.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	FTH‑Ass
`LCL557+1`	TMO‑Non	17.50	⁺17.30	⁺31.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL558+1`	⁺291.90	12.70	⁺21.40	⁺23.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL573+1`	⁺44.40	5.20	⁺3.90	⁺9.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL646+1.010`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL652+1.001`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	43.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	59.40	GUP‑Non	TMO‑Non	TMO‑Non
`LCL652+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL658+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL662+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL668+1.005`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	180.10	TMO‑Non
`LCL672+1.005`^*	⁺5.30	TMO‑Non	⁺52.30	TMO‑Non	6.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL672+1.010`^*	TMO‑Non	TMO‑Non	⁺76.80	TMO‑Non	46.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL674+1.010`^*	⁺18.00	0.10	⁺17.50	⁺0.20	1.50	3.10	TMO‑Non	TMO‑Non	⁺0.40	1.40	⁺0.40	TMO‑Non	GUP‑Non
`LCL682+1.005`^*	⁺32.70	TMO‑Non	⁺57.00	TMO‑Non	5.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL686+1.020`^*	⁺0.00	0.10	⁺0.00	⁺0.20	0.30	1.90	⁺6.30	38.90	⁺16.50	1.90	GUP‑Non	GUP‑Non	GUP‑Non
`MED005+1`	⁺18.40	0.40	⁺1.20	⁺0.60	0.20	62.00	TMO‑Non	228.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`MED008+1`	⁺29.00	1.10	⁺8.90	⁺1.70	0.20	1.10	⁺61.70	0.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`MED009+1`	⁺109.70	19.20	⁺11.40	⁺26.90	0.20	172.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT025+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.10	TMO‑Non	0.20	⁺0.10	0.10	TMO‑Non	TMO‑Non	FTH‑Ass
`MGT042+1`	⁺8.30	TMO‑Non	⁺29.70	TMO‑Non	1.50	21.00	TMO‑Non	3.10	⁺6.90	1.20	TMO‑Non	TMO‑Non	TMO‑Non
`MGT061+1`	⁺0.00	0.00	⁺0.10	⁺0.10	4.30	0.10	TMO‑Non	28.60	⁺4.70	TMO‑Non	⁺45.00	TMO‑Non	FTH‑Ass
`MGT064+1`	⁺0.10	6.10	⁺0.30	⁺9.10	4.90	0.60	TMO‑Non	TMO‑Non	⁺47.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC010+1`	⁺3.70	0.50	⁺45.90	⁺0.70	34.90	1.10	⁺40.10	2.00	⁺3.30	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`NLP143+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.70	0.40	TMO‑Non	1.70	⁺0.10	0.10	⁺1.90	TMO‑Non	FTH‑Ass
`NLP149+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.70	0.40	TMO‑Non	1.70	⁺0.10	0.10	⁺1.80	TMO‑Non	FTH‑Ass
`NUM301+1`	⁺0.20	221.70	⁺0.00	⁺224.10	11.50	TMO‑Non	⁺1.10	UNK‑Non	⁺42.30	0.30	⁺34.90	TMO‑Non	FTH‑Ass
`NUM328+1`	⁺6.20	TMO‑Non	⁺13.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺187.40	TMO‑Non	⁺0.50	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`NUM466+1`^*	UNK‑Non	7.60	UNK‑Non	⁺15.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`NUM496+3`^*	UNK‑Non	0.90	UNK‑Non	⁺2.40	7.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`NUM505+3`^*	UNK‑Non	0.20	UNK‑Non	⁺0.40	0.10	0.10	⁺28.50	4.70	TMO‑Non	2.00	GUP‑Non	6.70	GUP‑Non
`NUM581+3`^*	UNK‑Non	9.10	UNK‑Non	⁺11.40	TMO‑Non	3.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`PRO002+3`^*	⁺42.60	23.30	⁺247.50	⁺27.00	TMO‑Non	97.60	TMO‑Non	TMO‑Non	TMO‑Non	66.10	GUP‑Non	TMO‑Non	TMO‑Non
`PRO014+3`^*	⁺36.40	TMO‑Non	⁺64.10	TMO‑Non	8.40	2.90	TMO‑Non	TMO‑Non	TMO‑Non	0.60	GUP‑Non	TMO‑Non	TMO‑Non
`PRO016+3`^*	⁺21.50	TMO‑Non	⁺53.40	TMO‑Non	40.50	229.30	TMO‑Non	TMO‑Non	TMO‑Non	24.30	GUP‑Non	TMO‑Non	TMO‑Non
`PRO018+3`^*	⁺29.10	TMO‑Non	⁺25.00	TMO‑Non	TMO‑Non	25.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PRO018+4`^*	⁺22.10	TMO‑Non	⁺11.20	TMO‑Non	TMO‑Non	3.50	TMO‑Non	TMO‑Non	TMO‑Non	43.30	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ034+2`^*	⁺18.00	TMO‑Non	⁺46.40	TMO‑Non	58.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺78.90	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ074+1`	⁺20.90	14.20	TMO‑Non	⁺15.20	TMO‑Non	TMO‑Non	⁺35.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ128+2`^*	⁺0.00	0.00	GUP‑Non	⁺0.10	10.00	0.00	TMO‑Non	TMO‑Non	⁺0.00	0.20	⁺0.30	GUP‑Non	FTH‑Ass
`REL005+1`^*	⁺146.80	0.50	⁺31.60	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`REL021+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`REL021+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`REL025+1`^*	TMO‑Non	0.60	⁺295.00	⁺1.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺112.40	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SET013+4`	⁺0.00	0.80	⁺1.40	⁺1.40	2.70	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SET076+1`	⁺0.00	0.70	⁺85.80	⁺1.20	34.30	0.80	TMO‑Non	7.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET096+1`	⁺0.10	0.40	⁺75.70	⁺0.60	213.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET117+1`	⁺0.00	0.00	⁺0.00	⁺0.10	4.70	0.20	⁺254.10	6.30	⁺0.10	0.40	⁺0.40	TMO‑Non	GUP‑Non
`SET122+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET200+3`	⁺0.20	0.00	⁺0.00	⁺0.10	0.40	0.00	⁺0.10	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET796+4`^*	⁺21.00	24.80	⁺171.70	⁺30.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET936+1`^*	⁺9.00	TMO‑Non	⁺133.70	TMO‑Non	TMO‑Non	TMO‑Non	⁺28.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET955+1`^*	⁺0.10	0.00	⁺0.60	⁺0.10	TMO‑Non	TMO‑Non	⁺5.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU007+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU049+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	11.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SEU142+2`	⁺150.10	0.00	⁺61.30	⁺0.10	TMO‑Non	36.50	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SEU147+3`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.60	TMO‑Non	⁺0.10	5.30	⁺0.00	0.80	⁺0.50	3.80	FTH‑Ass
`SEU263+1`	⁺0.10	0.10	⁺0.10	⁺0.30	1.50	7.20	⁺0.10	TMO‑Non	TMO‑Non	0.10	⁺0.30	3.00	TMO‑Non
`SEU350+2`	TMO‑Non	10.50	TMO‑Non	⁺13.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU364+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU418+2`	TMO‑Non	112.10	TMO‑Non	⁺123.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU420+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU437+1`	⁺26.70	TMO‑Non	⁺203.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC351+1`	⁺0.00	0.10	⁺0.00	⁺0.20	1.10	0.20	TMO‑Non	3.20	TMO‑Non	0.20	⁺1.10	TMO‑Non	FTH‑Ass
`SWC402+1`	⁺3.10	2.10	⁺64.50	⁺3.10	TMO‑Non	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV014+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺212.10	46.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SWV042+1`	⁺1.10	TMO‑Non	⁺45.20	TMO‑Non	TMO‑Non	53.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV048+1`	⁺0.80	0.20	⁺0.30	⁺0.40	TMO‑Non	38.90	TMO‑Non	1.60	⁺1.90	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV067+1`	⁺0.00	0.20	⁺0.10	⁺0.50	0.20	0.30	⁺0.20	2.10	⁺4.80	TMO‑Non	⁺29.30	TMO‑Non	GUP‑Non
`SWV162+1`	⁺1.20	0.10	⁺75.00	⁺0.30	37.70	1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV171+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	0.10	⁺0.20	1.30	⁺140.10	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV188+1`	⁺1.20	0.20	⁺0.00	⁺0.50	0.10	0.40	⁺54.20	8.60	⁺71.70	TMO‑Non	⁺12.30	TMO‑Non	GUP‑Non
`SWV202+1`	⁺1.20	0.90	⁺12.40	⁺1.90	0.90	6.90	⁺142.30	66.70	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV233+1`	⁺0.00	0.10	⁺70.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV234+2`	⁺3.30	0.00	⁺1.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SWV235+1`	⁺0.60	0.10	⁺4.90	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	36.70	TMO‑Non	TMO‑Non	⁺26.50	TMO‑Non	FTH‑Ass
`SWV237+1`	⁺0.90	0.00	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	⁺27.30	5.50	TMO‑Non	TMO‑Non	⁺0.80	TMO‑Non	FTH‑Ass
`SWV377+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.00	⁺237.80	TMO‑Non	⁺0.30	5.20	⁺0.30	GUP‑Non	FTH‑Ass
`SWV390+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.30	0.10	⁺228.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	FTH‑Ass
`SWV437+1`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	TMO‑Non	⁺2.70	10.30	TMO‑Non	0.30	⁺0.30	2.40	FTH‑Ass
`SWV450+1`^*	⁺86.80	122.20	TMO‑Non	⁺207.40	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV452+1`^*	⁺55.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV453+1`^*	⁺55.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV454+1`^*	⁺10.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV455+1`^*	⁺10.80	TMO‑Non	⁺74.70	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV456+1`^*	⁺57.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	⁺231.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV457+1`^*	⁺9.10	1.40	⁺5.00	⁺2.40	TMO‑Non	3.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV458+1`^*	⁺193.40	TMO‑Non	⁺170.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV460+1`^*	⁺0.80	TMO‑Non	⁺71.40	TMO‑Non	TMO‑Non	17.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV461+1`^*	⁺56.00	0.30	TMO‑Non	⁺0.40	26.00	3.80	⁺2.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV462+1`^*	⁺172.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	9.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV464+1`^*	⁺14.90	0.20	⁺110.60	⁺0.40	25.90	79.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV465+1`^*	⁺200.20	10.40	TMO‑Non	⁺18.80	TMO‑Non	6.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV466+1`^*	⁺14.90	7.60	⁺160.30	⁺13.80	TMO‑Non	51.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV467+1`^*	⁺49.50	TMO‑Non	⁺8.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV468+1`^*	⁺9.00	TMO‑Non	⁺150.70	TMO‑Non	TMO‑Non	70.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV469+1`^*	⁺14.80	2.10	⁺60.70	⁺4.20	TMO‑Non	43.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV470+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	8.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV472+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	13.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FTH‑Ass
`SWV475+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV476+1`^*	⁺51.70	TMO‑Non	⁺168.00	TMO‑Non	131.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV477+1`^*	⁺51.70	TMO‑Non	⁺67.00	TMO‑Non	33.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV478+1`^*	⁺15.10	TMO‑Non	TMO‑Non	TMO‑Non	263.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV480+1`^*	⁺51.50	TMO‑Non	⁺66.80	TMO‑Non	34.70	275.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV481+1`^*	⁺59.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV486+1`^*	⁺14.70	0.20	⁺62.90	⁺0.40	35.50	50.30	TMO‑Non	7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV486+2`^*	⁺15.40	0.30	⁺63.30	⁺0.50	29.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV486+3`^*	⁺14.80	0.20	⁺64.30	⁺0.50	28.70	1.00	⁺67.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV487+1`^*	⁺14.60	0.20	⁺63.80	⁺0.40	2.50	0.60	⁺161.30	8.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV487+3`^*	⁺14.80	0.20	⁺63.20	⁺0.50	32.60	TMO‑Non	⁺60.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV489+3`^*	⁺154.70	0.60	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	⁺72.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV490+3`^*	⁺51.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV491+3`^*	⁺51.50	29.40	TMO‑Non	⁺54.00	34.10	TMO‑Non	⁺113.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV491+4`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV492+1`^*	⁺56.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN067+1`	⁺0.00	24.80	⁺0.00	⁺34.90	0.40	34.90	⁺0.10	37.40	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN074+1`	⁺1.10	0.00	⁺0.00	⁺0.10	1.30	0.00	⁺0.10	TMO‑Non	⁺0.00	0.20	⁺1.30	0.70	FTH‑Ass
`SYN075+1`	⁺1.20	0.00	⁺0.00	⁺0.10	25.40	0.00	⁺0.10	TMO‑Non	⁺0.00	0.20	⁺1.20	1.40	FTH‑Ass
`SYN077+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.10	1.20	TMO‑Non	TMO‑Non	⁺46.60	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SYN332+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺32.80	0.10	⁺0.00	1.60	⁺0.80	16.70	FTH‑Ass
`SYN353+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	TMO‑Non	0.10	⁺282.60	TMO‑Non	TMO‑Non	TMO‑Non	FTH‑Ass
`SYN386+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	TMO‑Non	⁺0.10	0.00	⁺0.00	0.00	⁺0.20	TMO‑Non	GUP‑Non
`SYN452+1`	⁺1.70	37.10	⁺1.70	⁺46.80	0.20	276.40	TMO‑Non	10.50	TMO‑Non	TMO‑Non	TMO‑Non	59.40	TMO‑Non
`SYN470+1`	⁺1.70	194.30	⁺3.50	⁺237.70	0.20	TMO‑Non	TMO‑Non	83.40	TMO‑Non	TMO‑Non	TMO‑Non	91.30	TMO‑Non
`SYN471+1`	⁺0.50	4.30	⁺0.50	⁺5.70	0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	164.60	TMO‑Non
`SYN473+1`	⁺1.90	85.10	⁺6.80	⁺106.30	0.20	TMO‑Non	TMO‑Non	13.20	TMO‑Non	TMO‑Non	TMO‑Non	120.20	TMO‑Non
`SYN474+1`	⁺1.80	26.40	⁺1.70	⁺33.00	0.20	TMO‑Non	TMO‑Non	18.60	TMO‑Non	TMO‑Non	TMO‑Non	112.30	TMO‑Non
`SYN475+1`	⁺0.30	42.10	⁺0.30	⁺55.00	0.20	TMO‑Non	TMO‑Non	11.80	TMO‑Non	TMO‑Non	TMO‑Non	77.50	TMO‑Non
`SYN480+1`	⁺1.00	21.60	⁺1.00	⁺27.30	0.30	TMO‑Non	TMO‑Non	5.60	TMO‑Non	TMO‑Non	TMO‑Non	62.80	TMO‑Non
`SYN482+1`	⁺1.80	25.00	⁺3.50	⁺31.00	0.30	TMO‑Non	TMO‑Non	29.20	TMO‑Non	101.00	TMO‑Non	83.40	TMO‑Non
`SYN489+1`	⁺0.60	66.50	⁺0.70	⁺84.70	0.30	TMO‑Non	TMO‑Non	25.50	TMO‑Non	TMO‑Non	TMO‑Non	94.30	TMO‑Non
`SYN503+1`	⁺0.90	38.70	⁺0.90	⁺47.90	0.30	235.80	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN548+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	26.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	5.80	⁺66.70	TMO‑Non	GUP‑Non
`SYN550+1`	⁺0.00	0.00	⁺0.00	⁺0.10	0.60	63.60	⁺1.20	TMO‑Non	⁺0.00	0.10	TMO‑Non	TMO‑Non	GUP‑Non
`SYN917+1`	⁺0.00	0.10	⁺0.00	⁺0.30	0.20	1.30	⁺0.20	3.60	⁺0.40	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SYN938+1`	⁺0.00	0.30	⁺0.00	⁺0.50	0.70	TMO‑Non	⁺29.70	TMO‑Non	⁺1.80	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN986+1.002`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.00	⁺0.10	0.00	⁺0.00	0.00	⁺0.20	0.30	FTH‑Ass
`SYN986+1.003`^*	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	15.90	⁺0.10	0.10	⁺0.00	0.00	⁺0.20	1.50	FTH‑Ass
`SYN986+1.004`^*	GUP‑Non	9.50	TMO‑Non	⁺10.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`TOP024+2`	TMO‑Non	86.10	TMO‑Non	⁺97.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`TOP024+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`TOP026+2`	TMO‑Non	78.90	TMO‑Non	⁺90.20	14.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`TOP028+4`	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
Attempted	300	300	300	300	300	300	300	300	300	300	300	300	300
Solved	233	219	219	218	174	119	113	88	84	81	58	40	0
Av. Time	33.00	23.89	35.06	26.83	24.79	24.08	37.02	26.58	24.73	21.96	12.90	33.83	-
Solutions	233	0	219	217	0	0	113	0	84	0	58	0	0
μEfficiency	23.54	30.56	20.82	27.08	23.40	16.48	10.18	11.04	11.32	12.30	14.99	3.94	-
SOTAC	0.20	0.18	0.18	0.17	0.18	0.18	0.13	0.12	0.12	0.14	0.12	0.14	-
New Attempted	150	150	150	150	150	150	150	150	150	150	150	150	150
New Solved	105	94	90	93	70	50	46	27	25	34	18	15	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for FNT

FNT	Paradox 3.0	iProver-SAT 0.7	E 1.1pre	EP 1.1pre	E-KRHyper 1.1.3	Metis 2.2	OSHL-S 0.6	Infinox 1.0
`CSR111+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	30.10	⁺55.00	TMO‑Non	TMO‑Non
`GEG001+1`^*	TMO‑Non	TMO‑Non	3.30	⁺3.50	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`GEO206+3`^*	⁺0.10	GUP‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO211+3`^*	⁺0.00	60.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO212+3`^*	⁺0.10	61.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO213+3`^*	⁺0.00	61.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO214+3`^*	⁺0.00	60.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO215+3`^*	⁺0.00	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO224+1`	⁺0.00	62.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO228+3`^*	⁺0.10	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO229+3`^*	⁺0.10	60.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO230+3`^*	⁺0.10	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO254+3`^*	⁺0.10	60.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO259+3`^*	⁺0.10	61.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO260+3`^*	⁺0.10	62.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA018+1`	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRA026+1`	⁺149.60	25.10	TMO‑Non	TMO‑Non	9.60	TMO‑Non	TMO‑Non	GUP‑Non
`GRP733+1`^*	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL003+1`	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL005+1`	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS034+1`	⁺0.20	125.00	2.30	⁺3.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS040+1`	⁺0.00	2.60	1.70	⁺3.10	254.70	TMO‑Non	58.50	GUP‑Non
`KRS043+1`	⁺0.10	60.90	0.00	⁺0.10	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`KRS049+1`	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS051+1`	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS173+1`	⁺0.00	0.00	0.00	⁺0.10	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LAT383+1`^*	⁺0.10	64.40	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT384+1`^*	⁺0.10	64.30	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT385+1`^*	⁺0.10	65.00	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT386+1`^*	⁺0.10	65.90	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LAT387+1`^*	⁺0.10	65.30	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LCL354+1`	⁺0.00	75.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL647+1.005`^*	⁺0.80	40.00	TMO‑Non	TMO‑Non	195.00	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.010`^*	⁺4.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.020`^*	⁺37.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL655+1.005`^*	⁺0.30	64.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL655+1.010`^*	⁺1.00	261.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL659+1.001`^*	⁺0.10	25.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL669+1.005`^*	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL671+1.015`^*	⁺25.30	63.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL677+1.010`^*	⁺0.30	37.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL677+1.020`^*	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL681+1.005`^*	⁺0.10	63.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL685+1.010`^*	⁺1.80	15.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL687+1.010`^*	⁺1.40	63.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL687+1.015`^*	⁺5.40	64.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL687+1.020`^*	⁺15.30	65.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL689+1.005`^*	⁺1.50	70.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT033+1`	⁺0.00	3.50	0.00	⁺0.10	0.10	⁺0.10	TMO‑Non	GUP‑Non
`MGT033+2`	⁺0.00	64.90	0.90	⁺1.40	0.10	⁺0.90	TMO‑Non	TMO‑Non
`MGT038+2`	⁺0.10	64.50	TMO‑Non	TMO‑Non	0.30	TMO‑Non	TMO‑Non	TMO‑Non
`MGT066+1`	⁺0.00	0.30	TMO‑Non	TMO‑Non	0.00	TMO‑Non	0.30	GUP‑Non
`MSC014+1`	TMO‑Non	0.00	0.00	⁺0.10	0.00	⁺0.40	0.30	TMO‑Non
`MSC016+1`	⁺11.50	1.80	0.00	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC018+1`^*	⁺189.80	0.40	1.90	⁺2.00	0.10	⁺1.90	4.40	TMO‑Non
`NLP032+1`	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP211+1`	⁺0.30	TMO‑Non	0.10	⁺0.20	10.30	⁺1.70	TMO‑Non	TMO‑Non
`NLP212+1`	⁺0.30	TMO‑Non	0.10	⁺0.20	10.40	⁺1.70	TMO‑Non	TMO‑Non
`NLP213+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.70	TMO‑Non	TMO‑Non
`NLP214+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.80	TMO‑Non	TMO‑Non
`NLP215+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.60	TMO‑Non	TMO‑Non
`NLP216+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.20	⁺1.50	TMO‑Non	TMO‑Non
`NLP217+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.20	⁺1.50	TMO‑Non	TMO‑Non
`NLP219+1`	⁺0.20	TMO‑Non	0.10	⁺0.20	10.40	⁺1.70	TMO‑Non	TMO‑Non
`NUM445+5`^*	⁺0.20	64.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`PRO007+1`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+2`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+3`^*	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+4`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO008+2`^*	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+1`^*	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+2`^*	⁺0.20	90.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+3`^*	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+4`^*	⁺0.20	178.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV016+1`	⁺0.10	2.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV018+1`	⁺0.10	2.50	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV238+1`	TMO‑Non	TMO‑Non	121.10	⁺131.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV439+1`^*	⁺0.20	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV440+1`^*	⁺0.20	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV482+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺7.10	TMO‑Non	TMO‑Non
`SWV483+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺114.00	GUP‑Non	TMO‑Non
`SWV484+2`^*	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺33.80	TMO‑Non	TMO‑Non
`SYN316+1`	⁺0.00	0.00	0.00	⁺0.10	TMO‑Non	⁺0.00	GUP‑Non	GUP‑Non
`SYN330+1`	⁺0.30	0.00	0.00	⁺0.10	TMO‑Non	⁺0.00	TMO‑Non	FTH‑Ass
`SYN418+1`	⁺0.60	0.90	TMO‑Non	TMO‑Non	24.10	TMO‑Non	TMO‑Non	TMO‑Non
`SYN419+1`	⁺0.40	0.60	28.50	⁺34.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN420+1`	⁺0.80	1.10	3.40	⁺3.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN422+1`	⁺0.70	0.90	4.60	⁺4.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN437+1`	⁺0.20	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	34.00	GUP‑Non
`SYN441+1`	⁺0.40	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN456+1`	⁺0.20	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	46.00	GUP‑Non
`SYN464+1`	⁺0.30	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	223.50	GUP‑Non
`SYN513+1`	⁺0.50	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	40.70	TMO‑Non
`SYN514+1`	⁺0.40	0.80	1.90	⁺2.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN540+1`	⁺0.10	0.20	0.10	⁺0.10	TMO‑Non	⁺0.20	2.20	GUP‑Non
`SYN542+1`	⁺0.30	0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN543+1`	⁺0.30	1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN544+1`	⁺0.70	0.60	0.40	⁺0.60	TMO‑Non	⁺27.90	38.60	TMO‑Non
`SYN546+1`	⁺0.70	1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN547+1`	⁺0.70	0.70	0.70	⁺0.90	TMO‑Non	TMO‑Non	33.60	TMO‑Non
Attempted	100	100	100	100	100	100	100	100
Solved	93	68	30	30	24	21	11	0
Av. Time	5.01	39.24	5.72	6.48	24.91	12.13	43.83	-
Solutions	93	0	0	30	0	21	0	0
μEfficiency	185.52	17.33	52.45	46.32	9.64	17.31	2.51	-
SOTAC	0.49	0.38	0.23	0.23	0.26	0.32	0.24	-
New Attempted	51	51	51	51	51	51	51	51
New Solved	47	34	2	2	7	4	1	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for CNF

CNF	Vampire 10.0	Vampire 11.0	E 1.1pre	iProver 0.7	E-Darwin 1.2	iProver-Eq 0.5	Equinox 4.1	Metis 2.2	E-KRHyper 1.1.3	Otter 3.3	OSHL-S 0.6	Infinox 1.0
`ALG012-1`	⁺0.40	⁺2.10	0.90	52.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`ANA002-1`	⁺1.10	⁺3.80	12.00	107.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA002-2`	⁺72.00	⁺15.10	1.90	36.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA002-4`	⁺7.20	⁺103.40	1.40	2.10	TMO‑Non	280.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ANA003-1`	⁺20.60	TMO‑Non	TMO‑Non	293.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ANA003-2`	⁺63.60	⁺40.00	0.10	72.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`ANA004-4`	⁺0.10	⁺0.00	0.00	0.10	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`ANA019-2`	⁺0.00	⁺0.00	0.00	35.80	TMO‑Non	TMO‑Non	0.70	⁺2.20	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`ANA021-2`	⁺0.00	⁺0.00	0.00	1.70	TMO‑Non	0.10	0.00	⁺0.00	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`ANA032-2`	⁺0.20	⁺2.10	0.90	30.70	TMO‑Non	17.70	0.50	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non
`ANA044-2`	⁺0.00	⁺0.00	0.00	0.10	0.00	0.00	0.00	⁺0.10	0.20	⁺0.30	TMO‑Non	FUN‑Ass
`ANA045-2`	⁺0.00	⁺0.00	0.00	0.60	0.00	0.00	0.00	⁺0.00	0.00	⁺0.20	TMO‑Non	GUP‑Non
`CAT003-2`	⁺0.10	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	7.50	⁺0.60	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`CAT003-3`	⁺0.00	⁺0.00	0.90	42.00	TMO‑Non	10.30	0.50	TMO‑Non	0.70	⁺0.30	TMO‑Non	GUP‑Non
`CAT014-4`	⁺0.00	⁺0.00	0.00	2.00	0.00	2.30	0.10	⁺0.90	0.10	⁺0.30	3.10	GUP‑Non
`COL003-4`	⁺12.10	⁺3.50	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL003-8`	⁺16.00	⁺19.70	11.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL006-2`	⁺30.20	⁺4.40	22.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`COL006-4`	⁺30.20	⁺4.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`COL044-2`	⁺11.60	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`COL044-4`	⁺7.60	⁺0.10	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`COL091-1`	⁺0.00	⁺0.00	0.00	0.10	0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`COL098-2`	TMO‑Non	⁺3.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`COL111-1`	⁺0.10	⁺0.10	0.00	0.20	0.50	86.50	6.70	TMO‑Non	0.50	GUP‑Non	TMO‑Non	FUN‑Ass
`COM005-1`	⁺13.40	⁺29.90	TMO‑Non	23.40	TMO‑Non	TMO‑Non	174.60	TMO‑Non	295.90	TMO‑Non	12.50	TMO‑Non
`COM006-1`	TMO‑Non	TMO‑Non	TMO‑Non	59.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	56.80	TMO‑Non
`COM009-1`	⁺0.10	⁺0.10	0.40	2.90	8.30	57.80	0.70	⁺141.10	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`FLD004-1`	⁺0.20	⁺2.50	5.70	0.30	TMO‑Non	27.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`FLD005-1`	⁺0.60	⁺3.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`FLD013-1`	⁺0.30	⁺0.10	0.80	0.30	2.90	83.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`FLD015-1`	⁺5.80	⁺13.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD022-1`	⁺28.00	⁺104.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`FLD024-1`	⁺2.20	⁺10.20	47.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD035-1`	⁺16.30	⁺112.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`FLD040-1`	⁺22.00	⁺201.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD049-4`	⁺3.30	⁺0.10	0.40	27.80	0.20	TMO‑Non	8.60	TMO‑Non	16.40	⁺0.80	65.90	FUN‑Ass
`FLD050-3`	⁺3.40	⁺1.50	5.50	TMO‑Non	TMO‑Non	TMO‑Non	4.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD065-1`	⁺0.10	⁺0.30	13.50	25.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD088-3`	⁺57.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO006-1`	⁺0.10	⁺1.40	0.00	39.90	TMO‑Non	TMO‑Non	6.10	⁺13.40	TMO‑Non	⁺3.60	12.70	FUN‑Ass
`GEO008-1`	⁺193.80	TMO‑Non	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`GEO008-3`	⁺0.70	⁺1.10	0.10	10.60	UNK‑Non	TMO‑Non	1.00	TMO‑Non	20.90	⁺9.00	3.40	FUN‑Ass
`GEO076-4`	⁺0.10	⁺1.20	0.00	46.40	7.00	TMO‑Non	1.90	TMO‑Non	TMO‑Non	TMO‑Non	238.30	FUN‑Ass
`GEO088-1`	⁺46.90	⁺146.50	TMO‑Non	5.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO126-1`	⁺0.20	⁺0.00	0.00	13.20	TMO‑Non	6.70	TMO‑Non	⁺44.10	101.10	TMO‑Non	TMO‑Non	FUN‑Ass
`GEO127-1`	⁺0.40	⁺0.00	0.00	34.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	11.50	FUN‑Ass
`GRP040-4`	⁺0.10	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	7.10	TMO‑Non	0.80	⁺3.00	53.40	FUN‑Ass
`GRP061-1`	⁺10.00	⁺1.10	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP099-1`	⁺0.00	⁺3.30	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.00	TMO‑Non	⁺2.30	TMO‑Non	GUP‑Non
`GRP106-1`	⁺0.20	⁺3.60	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP113-1`	TMO‑Non	TMO‑Non	19.70	TMO‑Non	TMO‑Non	TMO‑Non	1.20	TMO‑Non	61.00	TMO‑Non	TMO‑Non	GUP‑Non
`GRP198-1`	⁺17.20	⁺290.50	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRP229-1`	⁺0.10	⁺0.00	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`GRP401-1`	⁺7.40	⁺0.00	24.20	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRP748-2`^*	⁺152.90	⁺200.90	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP748-3`^*	⁺26.00	⁺9.90	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP748-4`^*	⁺81.30	⁺199.80	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP748-5`^*	⁺151.90	⁺199.80	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP755-1`^*	⁺20.30	⁺1.40	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`HEN002-4`	⁺0.00	⁺0.00	0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.30	0.40	FUN‑Ass
`HWV002-1`	⁺10.10	⁺14.30	22.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`HWV003-1`	⁺89.20	⁺67.00	4.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`HWV014-1`	⁺0.00	⁺1.20	0.00	16.90	TMO‑Non	6.10	7.80	TMO‑Non	23.00	⁺0.30	TMO‑Non	FUN‑Ass
`HWV018-3`	⁺0.00	⁺0.00	0.00	4.30	0.10	TMO‑Non	TMO‑Non	TMO‑Non	14.30	⁺0.40	TMO‑Non	FUN‑Ass
`LAT001-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`LAT005-3`	⁺61.30	⁺15.90	13.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT041-1`	⁺272.30	⁺98.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT198-1`	⁺21.30	⁺295.40	1.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`LAT230-1`	TMO‑Non	TMO‑Non	20.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`LAT269-1`	⁺50.80	⁺1.70	3.20	TMO‑Non	TMO‑Non	TMO‑Non	2.10	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LAT272-1`	⁺0.20	⁺2.10	3.40	0.80	9.60	TMO‑Non	1.90	TMO‑Non	3.10	GUP‑Non	GUP‑Non	TMO‑Non
`LCL016-1`	⁺12.80	⁺60.70	3.70	TMO‑Non	13.80	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺3.40	TMO‑Non	GUP‑Non
`LCL060-1`	⁺16.20	⁺61.10	3.40	TMO‑Non	4.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL099-1`	⁺63.90	⁺40.40	13.80	TMO‑Non	289.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL109-4`	⁺9.70	⁺11.20	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL147-1`	⁺266.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL227-1`	⁺0.10	⁺22.70	0.30	9.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL234-3`	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	12.30	GUP‑Non	TMO‑Non	FUN‑Ass
`LCL253-1`	⁺60.90	⁺8.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL271-3`	⁺0.00	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺99.00	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL324-3`	⁺37.40	⁺1.60	26.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL341-3`	⁺0.00	⁺0.20	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL353-3`	⁺7.50	⁺10.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL373-1`	⁺16.20	⁺60.90	2.90	TMO‑Non	0.40	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL377-1`	⁺119.80	⁺91.50	12.10	TMO‑Non	8.40	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL423-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL435-1`	⁺0.10	⁺0.10	0.30	0.40	0.50	32.00	0.90	TMO‑Non	0.50	GUP‑Non	TMO‑Non	FUN‑Ass
`LCL444-2`	⁺17.60	⁺126.20	22.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	77.40	GUP‑Non	TMO‑Non	TMO‑Non
`LDA004-1`	⁺87.30	⁺65.30	30.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LDA005-2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LDA006-2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LDA007-1`	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	0.20	⁺0.00	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`MGT064-1`	⁺0.10	⁺0.00	0.10	30.10	0.10	73.70	0.60	⁺20.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM017-1`	⁺13.40	⁺5.00	4.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺19.90	TMO‑Non	TMO‑Non
`NUM089-1`	⁺109.60	⁺19.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`NUM420-1.000`^*	⁺10.10	⁺60.70	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`PLA008-1`	⁺0.00	⁺0.10	0.10	13.90	TMO‑Non	91.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA010-1`	⁺0.00	⁺0.10	0.40	4.20	TMO‑Non	159.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA011-2`	⁺0.00	⁺0.00	0.00	0.10	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA013-1`	⁺0.00	⁺0.00	0.00	0.10	TMO‑Non	5.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA014-2`	⁺0.00	⁺0.00	0.00	0.10	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA016-1`	⁺0.00	⁺0.00	0.00	0.10	0.40	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`PLA018-1`	⁺0.00	⁺0.10	0.00	12.50	TMO‑Non	72.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA022-1`	⁺0.00	⁺0.00	0.00	0.00	14.40	0.10	TMO‑Non	TMO‑Non	114.90	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ050-1`	⁺116.00	⁺21.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	37.40	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ063-1`	⁺0.20	⁺0.20	0.10	TMO‑Non	100.90	TMO‑Non	1.90	⁺4.10	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`PUZ064-1`	TMO‑Non	TMO‑Non	47.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`REL009-1`^*	⁺14.70	⁺112.00	0.20	TMO‑Non	TMO‑Non	278.50	71.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`REL029-4`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`REL046-1`^*	⁺0.30	⁺0.10	0.00	TMO‑Non	TMO‑Non	117.20	TMO‑Non	⁺0.90	TMO‑Non	⁺0.30	TMO‑Non	FUN‑Ass
`REL048-1`^*	⁺0.00	⁺0.10	0.00	TMO‑Non	TMO‑Non	65.80	TMO‑Non	⁺4.30	TMO‑Non	⁺0.20	TMO‑Non	FUN‑Ass
`REL050-2`^*	⁺16.50	⁺4.40	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺19.90	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`REL050-4`^*	⁺27.30	⁺4.70	31.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺169.40	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`RNG001-2`	⁺4.10	⁺26.60	TMO‑Non	172.70	14.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	68.40	TMO‑Non
`RNG001-5`	⁺0.50	⁺23.00	18.00	29.70	0.80	TMO‑Non	2.40	TMO‑Non	TMO‑Non	⁺34.90	TMO‑Non	TMO‑Non
`RNG004-3`	⁺71.60	⁺246.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	270.50	⁺4.80	TMO‑Non	TMO‑Non
`ROB006-3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`ROB014-1`	⁺16.30	TMO‑Non	11.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET012-1`	⁺0.00	⁺0.20	0.00	0.00	TMO‑Non	0.20	15.70	⁺0.00	TMO‑Non	TMO‑Non	3.80	GUP‑Non
`SET012-2`	⁺0.00	⁺0.00	2.30	1.40	0.00	0.20	TMO‑Non	⁺3.30	3.40	TMO‑Non	0.90	GUP‑Non
`SET013-1`	⁺0.00	⁺0.30	0.10	3.10	26.20	1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET013-3`	⁺0.30	⁺5.70	2.00	TMO‑Non	248.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET015-1`	⁺0.00	⁺0.30	0.10	0.60	13.50	1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET015-2`	⁺0.10	⁺0.00	0.50	24.50	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	12.80	GUP‑Non
`SET015-4`	⁺0.00	⁺0.30	0.00	TMO‑Non	TMO‑Non	TMO‑Non	76.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`SET018-1`	⁺0.00	⁺0.00	0.00	TMO‑Non	0.20	TMO‑Non	0.00	⁺0.20	0.10	⁺152.40	TMO‑Non	GUP‑Non
`SET019-4`	⁺0.00	⁺6.40	2.30	1.20	250.50	TMO‑Non	TMO‑Non	TMO‑Non	67.00	GUP‑Non	TMO‑Non	GUP‑Non
`SET025-9`	⁺0.00	⁺0.00	0.00	9.50	TMO‑Non	TMO‑Non	253.80	⁺85.80	TMO‑Non	⁺0.70	TMO‑Non	FUN‑Ass
`SET031-4`	⁺45.80	⁺3.70	0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET035-3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET037-3`	⁺186.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET039-3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SET041-3`	⁺10.70	⁺5.60	1.20	3.90	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET819-1`	⁺0.10	⁺0.10	0.00	0.20	0.40	55.60	TMO‑Non	⁺1.00	0.50	⁺3.10	TMO‑Non	FUN‑Ass
`SET821-1`	⁺0.10	⁺0.10	0.60	1.20	155.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET825-1`	⁺0.10	⁺1.20	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET826-1`	⁺0.10	⁺0.10	0.40	0.20	0.50	55.80	0.60	TMO‑Non	0.50	GUP‑Non	TMO‑Non	FUN‑Ass
`SET828-1`	⁺0.10	⁺0.10	0.40	0.20	0.50	56.20	0.60	TMO‑Non	0.50	GUP‑Non	TMO‑Non	FUN‑Ass
`SET830-1`	⁺53.70	TMO‑Non	1.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET830-2`	⁺3.40	⁺0.00	0.00	0.00	1.80	0.10	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`SET831-2`	⁺0.00	⁺0.10	0.10	3.60	TMO‑Non	TMO‑Non	TMO‑Non	⁺5.30	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`SET839-2`	⁺0.00	⁺0.00	0.00	30.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.00	TMO‑Non	⁺0.30	TMO‑Non	FUN‑Ass
`SET841-1`	⁺0.10	⁺1.30	0.40	TMO‑Non	TMO‑Non	TMO‑Non	0.60	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET842-1`	⁺5.90	⁺0.10	0.60	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET844-2`	⁺0.00	⁺0.00	0.00	0.20	0.00	0.10	0.10	⁺0.00	0.00	⁺0.20	TMO‑Non	FUN‑Ass
`SET845-2`	⁺0.00	⁺0.00	0.00	0.80	0.00	0.10	0.00	⁺0.00	0.00	⁺0.20	TMO‑Non	FUN‑Ass
`SET847-2`	⁺0.00	⁺0.00	0.00	7.90	TMO‑Non	80.60	TMO‑Non	⁺0.00	TMO‑Non	⁺36.50	TMO‑Non	FUN‑Ass
`SET854-2`	⁺7.60	⁺213.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET855-2`	⁺0.00	⁺0.00	0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.30	0.90	FUN‑Ass
`SET858-1`	⁺46.20	⁺132.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET860-1`	⁺8.90	⁺20.50	1.60	1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET860-2`	⁺8.40	⁺0.00	6.60	5.30	TMO‑Non	TMO‑Non	16.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET863-1`	⁺105.70	⁺5.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SET865-1`	⁺8.50	⁺123.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SWC390-1`	TMO‑Non	TMO‑Non	46.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV014-1`	⁺0.00	⁺6.80	0.00	0.10	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`SWV240-1`	⁺7.80	⁺1.50	0.50	3.20	TMO‑Non	200.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SWV241-1`	⁺65.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SWV245-1`	⁺11.70	⁺19.70	5.60	TMO‑Non	TMO‑Non	TMO‑Non	11.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SWV250-1`	⁺5.90	⁺174.30	10.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV252-1`	TMO‑Non	⁺183.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV257-1`	⁺0.20	⁺6.20	1.20	0.50	10.30	TMO‑Non	3.90	TMO‑Non	3.40	GUP‑Non	GUP‑Non	TMO‑Non
`SWV263-1`	⁺0.10	⁺0.10	0.40	0.40	0.30	84.90	1.00	TMO‑Non	0.90	GUP‑Non	TMO‑Non	FUN‑Ass
`SWV267-1`	⁺0.20	⁺8.10	4.40	27.30	9.80	TMO‑Non	4.20	TMO‑Non	3.30	GUP‑Non	GUP‑Non	TMO‑Non
`SWV270-1`	⁺0.30	⁺9.00	4.60	3.60	17.80	TMO‑Non	87.80	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV279-1`	⁺30.30	TMO‑Non	15.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV282-2`	⁺0.10	⁺1.10	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.10	TMO‑Non	TMO‑Non	TMO‑Non	FUN‑Ass
`SWV289-1`	⁺3.80	⁺4.00	20.70	3.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`SWV291-1`	⁺1.00	⁺3.70	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV294-1`	⁺99.80	TMO‑Non	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV300-2`	⁺0.00	⁺0.00	0.00	0.00	0.10	0.10	62.60	⁺28.00	0.10	⁺0.30	1.20	GUP‑Non
`SWV315-1`	⁺0.40	⁺15.80	5.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV323-2`	⁺0.00	⁺0.00	0.00	0.00	0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV329-1`	⁺0.30	⁺4.40	5.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV340-1`	TMO‑Non	⁺5.00	6.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV341-1`	⁺0.20	⁺1.90	5.40	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV342-1`	⁺11.80	⁺3.10	6.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV343-1`	⁺10.60	⁺3.10	6.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV353-1`	⁺11.60	⁺3.80	237.80	34.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV356-1`	⁺0.20	⁺2.00	5.60	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV361-1`	⁺82.90	⁺3.90	6.80	3.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV501-1.030`	TMO‑Non	⁺121.90	50.50	TMO‑Non	TMO‑Non	GUP‑Non	147.60	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV505-1.030`	TMO‑Non	TMO‑Non	0.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV540-1.004`	⁺10.20	⁺0.00	0.30	TMO‑Non	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	GUP‑Non
`SWV540-1.007`	⁺59.30	⁺2.30	29.90	TMO‑Non	TMO‑Non	TMO‑Non	0.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV555-1.010`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWV567-1.014`	⁺27.00	⁺47.80	20.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺41.70	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV567-1.015`	⁺36.20	⁺65.10	28.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺56.50	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV568-1.050`	⁺6.60	⁺8.90	3.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺13.00	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV571-1.049`	⁺0.10	⁺3.80	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.70	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN067-1`	⁺4.90	⁺0.10	21.20	0.50	1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN067-2`	⁺60.20	⁺0.10	TMO‑Non	0.50	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN067-3`	⁺7.50	⁺0.00	26.80	0.70	0.10	25.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN598-1`	⁺60.30	⁺1.50	TMO‑Non	0.50	TMO‑Non	0.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN599-1`	⁺60.50	⁺1.50	TMO‑Non	0.40	TMO‑Non	2.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN603-1`	⁺27.70	⁺1.50	0.70	0.50	140.80	28.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN629-1`	⁺61.70	⁺6.70	21.10	0.40	0.20	17.10	TMO‑Non	TMO‑Non	15.20	TMO‑Non	TMO‑Non	TMO‑Non
`SYN653-1`	⁺0.20	⁺3.80	2.60	2.40	TMO‑Non	26.70	0.20	⁺0.30	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN657-1`	⁺0.00	⁺0.20	0.10	0.30	60.40	2.90	0.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SYN707-1`	⁺1.20	⁺6.90	1.40	1.50	TMO‑Non	TMO‑Non	4.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
Attempted	200	200	200	200	200	200	200	200	200	200	200	200
Solved	181	175	159	91	53	53	52	38	35	31	16	0
Av. Time	22.20	26.16	6.92	15.86	26.70	39.93	19.22	20.10	32.74	9.05	34.12	-
Solutions	181	175	0	0	0	0	0	38	0	31	0	0
μEfficiency	40.77	33.45	114.92	28.68	9.92	6.64	13.53	9.45	5.35	17.12	2.34	-
SOTAC	0.27	0.25	0.25	0.18	0.19	0.15	0.16	0.16	0.15	0.14	0.15	-
New Attempted	12	12	12	12	12	12	12	12	12	12	12	12
New Solved	11	11	10	0	0	3	1	4	0	2	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for SAT

SAT	Paradox 3.0	iProver-SAT 0.7	E 1.1pre	Metis 2.2	E-KRHyper 1.1.3	OSHL-S 0.6	Infinox 1.0
`ALG008-1`	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ANA006-1`	⁺0.00	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BOO019-1`	⁺0.00	185.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`BOO030-1`	⁺0.00	62.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`BOO060-1`	⁺8.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`CAT019-4`	⁺0.00	61.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`CAT020-3`	⁺0.00	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`COL073-1`	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GEO078-4`	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO078-6`	⁺0.10	254.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO078-7`	⁺0.10	190.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP024-4`	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRP025-2`	⁺0.10	275.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP025-3`	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP392-1`	⁺0.00	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP397-1`	⁺0.00	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`HEN013-2`	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT047-1`	⁺0.10	180.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT052-1`	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT054-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT056-1`	⁺0.00	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT057-1`	⁺0.00	61.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT102-1`	⁺30.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT110-1`	⁺294.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT128-1`	⁺7.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL078-1`	⁺0.00	65.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL168-1`	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL180-1`	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL183-1`	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL209-1`	⁺3.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL239-1`	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL240-1`	⁺6.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL241-1`	⁺5.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL255-1`	⁺122.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL288-3`	⁺0.00	82.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL291-3`	⁺0.00	77.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT038-1`	⁺0.00	0.50	0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non
`NLP027-1`	⁺0.10	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP029-1`	⁺0.10	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP074-1`	TMO‑Non	31.00	0.00	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non
`NLP078-1`	TMO‑Non	31.00	0.00	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non
`NLP083-1`	TMO‑Non	31.00	0.00	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non
`NLP091-1`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP166-1`	⁺0.10	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP216-1`	⁺0.40	166.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP219-1`	⁺0.40	133.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM287-1`^*	⁺0.00	60.70	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`NUM288-1`^*	⁺0.00	60.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ015-3`	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ068-1`	UNK‑Non	GUP‑Non	UNK‑Non	UNK‑Non	GUP‑Non	0.10	UNK‑Non
`PUZ069-1`	⁺2.90	36.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ070-1`	⁺2.80	36.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV016-1`	⁺0.10	2.30	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV493-1.050`	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV495-1.040`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV496-1.030`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV496-1.040`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV496-1.050`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV497-1.040`	TMO‑Non	TMO‑Non	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV497-1.050`	TMO‑Non	TMO‑Non	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV498-1.050`	TMO‑Non	TMO‑Non	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV499-1.050`	TMO‑Non	TMO‑Non	0.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV500-1.040`	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV507-1.050`	TMO‑Non	TMO‑Non	8.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV508-1.050`	TMO‑Non	TMO‑Non	1.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV533-1.004`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV533-1.007`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV534-1.004`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV534-1.007`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV538-1.007`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV549-1.004`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV549-1.007`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV550-1.004`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV551-1.004`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV552-1.010`	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV554-1.007`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV556-1.007`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN316-1`	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	GUP‑Non
`SYN324-1`	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	GUP‑Non
`SYN776-1`	⁺0.10	60.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN799-1`	⁺0.10	60.70	52.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN807-1`	⁺0.10	60.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN809-1`	⁺0.10	60.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN903-1`	⁺0.70	66.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN904-1`	⁺1.30	80.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN905-1`	⁺1.60	80.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN907-1`	⁺1.60	82.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN909-1`	⁺2.80	83.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN910-1`	⁺4.30	108.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP001-1`	⁺0.20	34.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP002-1`	⁺0.20	11.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP005-1`	⁺0.60	85.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP007-1`	⁺0.50	12.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP009-1`	⁺0.50	163.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP010-1`	⁺0.20	9.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP011-1`	⁺0.20	3.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP012-1`	⁺0.20	2.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP015-1`	⁺0.20	4.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP016-1`	⁺0.20	31.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP019-1`	⁺0.20	100.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
Attempted	100	100	100	100	100	100	100
Solved	70	54	28	6	1	1	0
Av. Time	7.26	60.95	2.34	0.18	0.00	0.10	-
Solutions	70	0	0	6	0	0	0
μEfficiency	96.44	8.86	119.69	327.27	∞	100.00	-
SOTAC	0.62	0.47	0.80	0.28	0.20	1.00	-
New Attempted	2	2	2	2	2	2	2
New Solved	2	2	0	0	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for EPR

EPR	iProver 0.7	Darwin 1.4.4	iProver 0.5c	E-Darwin 1.2	E 1.1pre	OSHL-S 0.6	Metis 2.2	E-KRHyper 1.1.3	Infinox 1.0
`GRP123-2.005`	1.00	⁺0.10	3.60	0.10	188.20	1.90	TMO‑Non	0.10	TMO‑Non
`GRP123-4.004`	0.20	⁺0.00	1.70	0.00	3.80	0.70	TMO‑Non	0.00	TMO‑Non
`GRP123-7.005`	0.50	⁺0.10	1.40	0.10	TMO‑Non	6.30	TMO‑Non	0.10	TMO‑Non
`GRP124-2.005`	0.40	⁺0.10	3.80	0.10	97.50	6.00	TMO‑Non	0.10	TMO‑Non
`GRP127-2.005`	0.30	⁺0.00	1.90	0.00	8.10	1.50	TMO‑Non	0.00	TMO‑Non
`GRP129-2.005`	0.30	⁺0.10	10.80	0.10	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non
`GRP130-1.005`	0.30	⁺0.10	13.60	0.10	TMO‑Non	TMO‑Non	TMO‑Non	0.10	TMO‑Non
`GRP130-4.004`	0.20	⁺0.10	3.80	0.00	8.80	5.20	TMO‑Non	0.00	TMO‑Non
`GRP133-1.004`	0.20	⁺0.00	15.10	0.00	TMO‑Non	2.70	TMO‑Non	0.00	TMO‑Non
`GRP134-1.005`	0.40	⁺0.10	25.70	0.00	TMO‑Non	4.50	TMO‑Non	0.10	TMO‑Non
`MGT066-1`	0.00	⁺0.00	0.20	0.00	TMO‑Non	0.30	TMO‑Non	0.00	GUP‑Non
`NLP005-1`	0.10	⁺0.00	0.20	0.00	0.00	0.90	⁺0.30	0.10	GUP‑Non
`NLP008-1`	0.00	⁺0.00	0.10	0.00	0.00	0.90	⁺0.30	0.10	GUP‑Non
`NLP012-1`	0.00	⁺0.00	0.10	0.00	0.00	0.90	⁺0.30	0.10	GUP‑Non
`NLP024-1`	0.10	⁺0.00	0.30	0.00	0.00	1.70	⁺0.20	0.10	TMO‑Non
`NLP114-1`	0.00	⁺0.00	0.00	0.00	0.00	0.50	⁺0.00	0.10	GUP‑Non
`NLP119-1`	0.00	⁺0.00	0.00	0.00	0.00	0.50	⁺0.00	0.10	GUP‑Non
`NLP124-1`	0.00	⁺0.00	0.20	0.00	0.00	1.20	⁺0.00	0.00	TMO‑Non
`NLP125-1`	0.00	⁺0.00	0.20	0.00	0.00	1.10	⁺0.00	0.00	TMO‑Non
`NLP126-1`	0.00	⁺0.00	0.20	0.00	0.00	1.00	⁺0.00	0.00	TMO‑Non
`NLP129-1`	0.00	⁺0.00	0.20	0.00	0.00	1.00	⁺0.00	0.00	TMO‑Non
`PLA031-1.003`	22.00	12.60	TMO‑Non	17.00	TMO‑Non	TMO‑Non	⁺132.90	4.80	TMO‑Non
`PLA031-1.004`	244.80	81.30	TMO‑Non	88.40	TMO‑Non	TMO‑Non	TMO‑Non	17.00	TMO‑Non
`PUZ018-2`	0.00	⁺0.10	0.20	0.10	TMO‑Non	1.20	TMO‑Non	58.10	GUP‑Non
`PUZ028-1`	0.00	⁺0.00	0.00	0.00	5.30	0.30	⁺0.00	0.00	GUP‑Non
`PUZ028-2`	0.00	⁺0.00	0.10	0.00	TMO‑Non	0.40	⁺0.20	0.00	GUP‑Non
`PUZ028-3`	0.10	⁺0.10	0.10	0.10	0.00	1.90	⁺0.40	0.20	TMO‑Non
`PUZ028-4`	0.00	⁺0.00	0.10	0.00	0.00	1.60	⁺0.30	0.10	GUP‑Non
`PUZ037-3`	TMO‑Non	82.80	2.10	92.10	2.00	TMO‑Non	TMO‑Non	55.30	TMO‑Non
`SWV418-1.300`	46.20	47.10	153.30	53.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV418-1.500`	49.00	207.60	276.60	248.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV418-1.580`	230.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419-1.010`	3.70	156.40	24.40	TMO‑Non	TMO‑Non	17.60	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419-1.020`	18.30	TMO‑Non	178.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420-1.005`	0.90	89.20	10.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420-1.020`	12.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.060`	1.80	2.60	44.20	2.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.065`	2.40	5.10	43.80	5.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.100`	4.50	9.60	65.60	10.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.200`	23.80	70.00	TMO‑Non	77.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.205`	17.80	168.40	TMO‑Non	174.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.300`	33.80	265.70	TMO‑Non	276.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.060`	1.90	4.00	44.10	4.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.065`	3.00	3.10	42.60	3.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.200`	19.10	153.20	TMO‑Non	162.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.205`	12.50	75.30	TMO‑Non	81.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV423-1.010`	4.80	0.60	59.50	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.300`	10.30	TMO‑Non	63.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.350`	23.30	TMO‑Non	51.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.400`	18.30	TMO‑Non	52.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.450`	29.80	TMO‑Non	74.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.500`	34.50	TMO‑Non	110.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN056-1`	0.00	⁺0.00	0.00	0.00	0.00	0.30	⁺0.00	0.00	GUP‑Non
`SYN059-1`	0.00	⁺0.00	0.00	0.00	0.00	0.60	⁺0.00	0.00	GUP‑Non
`SYN307-1`	0.00	⁺0.00	0.30	0.00	TMO‑Non	0.30	TMO‑Non	0.00	GUP‑Non
`SYN317-1`	0.00	⁺0.00	0.00	0.00	0.00	0.30	⁺0.00	0.00	GUP‑Non
`SYN322-1`	0.00	⁺0.00	0.00	0.00	0.00	0.20	⁺0.00	0.00	GUP‑Non
`SYN429-1`	0.50	⁺0.20	2.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN436-1`	0.10	0.20	0.30	0.40	TMO‑Non	24.20	TMO‑Non	TMO‑Non	TMO‑Non
`SYN438-1`	0.10	⁺0.10	0.30	0.10	TMO‑Non	10.80	TMO‑Non	2.60	GUP‑Non
`SYN440-1`	0.10	0.80	0.50	1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN441-1`	0.20	⁺0.10	0.50	0.10	TMO‑Non	90.60	TMO‑Non	TMO‑Non	GUP‑Non
`SYN447-1`	0.20	0.20	0.30	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN453-1`	0.20	⁺0.80	0.50	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SYN460-1`	0.10	0.40	0.30	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN461-1`	0.10	0.20	0.10	0.50	9.00	14.80	TMO‑Non	TMO‑Non	TMO‑Non
`SYN462-1`	0.10	0.20	0.20	0.20	24.10	9.10	TMO‑Non	TMO‑Non	TMO‑Non
`SYN466-1`	0.10	0.20	0.10	0.40	37.10	19.20	TMO‑Non	TMO‑Non	TMO‑Non
`SYN470-1`	0.10	0.40	0.30	0.80	184.90	49.60	TMO‑Non	TMO‑Non	TMO‑Non
`SYN473-1`	0.10	0.20	0.10	0.30	116.10	17.30	TMO‑Non	TMO‑Non	TMO‑Non
`SYN477-1`	0.10	0.20	0.20	0.20	5.90	11.40	TMO‑Non	TMO‑Non	TMO‑Non
`SYN481-1`	0.10	0.20	0.20	0.60	93.20	25.90	TMO‑Non	TMO‑Non	TMO‑Non
`SYN488-1`	0.10	0.20	0.20	0.50	37.10	18.90	TMO‑Non	TMO‑Non	TMO‑Non
`SYN490-1`	0.00	⁺0.00	0.00	0.00	0.10	0.50	⁺0.00	0.10	GUP‑Non
`SYN497-1`	0.00	⁺0.00	0.00	0.00	0.00	0.50	⁺0.10	0.00	GUP‑Non
`SYN521-1`	0.00	⁺0.00	0.00	0.00	0.00	0.80	⁺0.10	0.50	GUP‑Non
`SYN525-1`	0.00	⁺0.00	0.10	0.00	0.00	1.00	⁺0.10	0.20	GUP‑Non
`SYN526-1`	0.00	⁺0.00	0.10	0.00	0.50	1.10	⁺0.10	0.30	TMO‑Non
`SYN539-1`	0.10	⁺0.00	0.10	0.00	0.70	2.10	⁺4.30	TMO‑Non	TMO‑Non
`SYN720-1`	0.40	⁺0.10	0.40	0.10	0.80	14.20	⁺0.80	0.30	TMO‑Non
`SYN814-1`	TMO‑Non	⁺3.50	3.60	13.20	2.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN817-1`	150.10	⁺7.50	7.30	64.90	3.60	TMO‑Non	⁺181.20	TMO‑Non	TMO‑Non
`SYN819-1`	45.50	1.40	1.50	UNK‑Non	0.50	194.50	⁺6.80	TMO‑Non	TMO‑Non
`SYN822-1`	TMO‑Non	⁺14.80	20.70	92.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN828-1`	5.40	⁺5.30	5.80	52.60	2.20	TMO‑Non	⁺28.10	TMO‑Non	TMO‑Non
`SYN834-1`	26.00	1.00	1.30	UNK‑Non	0.30	44.80	⁺5.30	TMO‑Non	TMO‑Non
`SYN836-1`	24.00	0.60	1.50	1.80	0.30	89.60	⁺5.40	TMO‑Non	TMO‑Non
`SYN846-1`	TMO‑Non	2.70	3.40	13.20	0.90	TMO‑Non	⁺19.00	TMO‑Non	TMO‑Non
`SYN848-1`	178.60	1.80	2.60	10.90	0.90	TMO‑Non	⁺13.70	TMO‑Non	TMO‑Non
`SYN852-1`	TMO‑Non	⁺182.40	29.70	TMO‑Non	14.20	TMO‑Non	⁺96.90	TMO‑Non	TMO‑Non
`SYN854-1`	TMO‑Non	⁺49.20	29.30	TMO‑Non	14.40	TMO‑Non	⁺88.90	TMO‑Non	TMO‑Non
`SYN861-1`	TMO‑Non	7.40	10.00	82.70	3.80	TMO‑Non	⁺48.20	TMO‑Non	TMO‑Non
`SYN866-1`	TMO‑Non	24.80	8.50	100.70	3.50	TMO‑Non	⁺44.20	TMO‑Non	TMO‑Non
`SYN869-1`	0.10	0.10	0.10	0.10	0.00	3.40	⁺0.50	TMO‑Non	TMO‑Non
`SYN872-1`	0.70	⁺0.50	0.60	0.60	0.20	TMO‑Non	⁺2.50	TMO‑Non	TMO‑Non
`SYN875-1`	1.30	0.10	0.10	UNK‑Non	0.00	9.00	⁺1.00	TMO‑Non	TMO‑Non
`SYN878-1`	1.90	0.10	0.20	0.10	0.00	11.00	⁺1.00	TMO‑Non	TMO‑Non
`SYN882-1`	20.30	0.20	0.20	0.20	0.10	TMO‑Non	⁺2.40	TMO‑Non	TMO‑Non
`SYN888-1`	3.30	⁺0.80	0.90	1.10	0.20	TMO‑Non	⁺3.60	TMO‑Non	TMO‑Non
`SYN899-1`	31.60	0.50	0.40	0.60	0.10	TMO‑Non	⁺6.80	TMO‑Non	TMO‑Non
Attempted	100	100	100	100	100	100	100	100	100
Solved	92	92	91	85	57	54	44	41	0
Av. Time	14.83	18.97	16.66	20.49	15.27	13.48	15.82	3.43	-
Solutions	0	50	0	0	0	0	44	0	0
μEfficiency	62.03	48.51	54.63	41.49	37.32	40.07	27.82	119.39	-
SOTAC	0.22	0.19	0.20	0.18	0.15	0.15	0.15	0.15	-
New Attempted	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

Results for: THF FOF FNT CNF SAT EPR UEQ LTB TNE TEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS CYC MZR SMO

Results for UEQ

UEQ	Waldmeister C09a	E 1.1pre	Vampire 11.0	Waldmeister 806	Matita 1.0	Metis 2.2	iProver-Eq 0.5	Otter 3.3	Equinox 4.1	Infinox 1.0
`ALG235-1`^*	⁺0.20	0.00	⁺0.00	⁺0.30	⁺2.30	⁺2.70	1.80	⁺0.30	9.40	GUP‑Non
`ALG240-1`^*	TMO‑Non	TMO‑Non	⁺0.00	UNK‑Non	TMO‑Non	⁺16.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ALG245-1`^*	TMO‑Non	TMO‑Non	⁺0.00	UNK‑Non	TMO‑Non	⁺81.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`BOO028-1`	⁺0.40	0.40	⁺1.40	⁺0.40	⁺259.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`BOO034-1`	⁺0.20	0.00	⁺0.00	⁺0.30	⁺0.50	⁺0.50	11.30	⁺5.10	TMO‑Non	FUN‑Ass
`BOO067-1`	⁺18.70	0.00	⁺0.30	UNK‑Non	⁺79.90	⁺4.60	43.40	GUP‑Non	TMO‑Non	GUP‑Non
`COL001-1`	⁺0.30	0.20	⁺3.20	⁺0.30	⁺1.50	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`COL001-2`	⁺0.30	0.00	⁺3.20	⁺0.30	⁺0.40	⁺2.30	7.90	⁺0.30	TMO‑Non	FUN‑Ass
`COL003-1`	⁺0.50	5.90	⁺0.70	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL003-14`	⁺0.30	0.00	⁺0.40	⁺0.20	⁺59.90	TMO‑Non	TMO‑Non	⁺0.40	TMO‑Non	GUP‑Non
`COL003-17`	⁺0.20	0.00	⁺9.80	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.70	TMO‑Non	GUP‑Non
`COL003-18`	⁺0.20	0.00	⁺9.40	⁺0.30	⁺19.90	TMO‑Non	TMO‑Non	⁺0.80	TMO‑Non	GUP‑Non
`COL004-1`	⁺0.30	0.10	⁺3.40	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL006-6`	⁺0.30	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL009-1`	⁺0.30	1.20	⁺0.10	⁺0.30	⁺1.80	TMO‑Non	GUP‑Non	⁺0.30	TMO‑Non	GUP‑Non
`COL011-1`	⁺0.30	TMO‑Non	⁺11.70	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL035-1`	⁺0.20	0.00	⁺4.70	⁺0.30	⁺0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`COL036-1`	⁺0.30	1.60	⁺3.20	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL037-1`	⁺0.30	0.30	⁺3.30	⁺0.30	TMO‑Non	⁺30.90	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL042-1`	⁺0.40	139.10	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL042-7`	⁺0.20	1.60	⁺197.70	⁺0.20	⁺179.90	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`COL042-8`	⁺0.20	1.90	⁺207.90	⁺0.30	⁺179.90	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`COL043-1`	⁺0.30	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL043-3`	⁺0.30	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL046-1`	⁺0.40	5.50	⁺36.70	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`COL049-1`	⁺0.30	0.00	⁺0.00	⁺0.30	⁺199.80	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	FUN‑Ass
`COL060-1`	⁺0.20	0.00	⁺0.10	⁺0.20	⁺0.20	⁺0.80	0.70	GUP‑Non	TMO‑Non	FUN‑Ass
`COL064-1`	⁺0.40	1.70	⁺16.40	⁺0.30	⁺59.90	⁺70.30	18.40	GUP‑Non	TMO‑Non	GUP‑Non
`COL066-1`	⁺0.40	TMO‑Non	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP024-5`	⁺1.70	TMO‑Non	⁺25.00	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP167-1`	⁺0.50	1.00	⁺4.30	TMO‑Non	⁺3.90	⁺3.50	5.30	GUP‑Non	TMO‑Non	GUP‑Non
`GRP167-2`	⁺0.60	1.00	⁺4.10	TMO‑Non	⁺1.20	⁺4.70	8.60	GUP‑Non	TMO‑Non	GUP‑Non
`GRP167-4`	⁺2.90	0.80	⁺119.30	TMO‑Non	TMO‑Non	⁺62.80	230.20	GUP‑Non	TMO‑Non	GUP‑Non
`GRP168-2`	⁺0.20	0.00	⁺0.00	⁺0.30	⁺0.00	⁺0.00	0.10	⁺0.30	0.00	FUN‑Ass
`GRP177-2`	⁺2.70	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`GRP179-2`	⁺0.50	1.10	⁺117.30	TMO‑Non	TMO‑Non	⁺222.30	228.90	GUP‑Non	TMO‑Non	GUP‑Non
`GRP181-3`	⁺3.20	0.40	⁺4.40	TMO‑Non	⁺19.90	TMO‑Non	0.90	GUP‑Non	TMO‑Non	GUP‑Non
`GRP183-1`	⁺1.10	1.40	⁺124.90	TMO‑Non	TMO‑Non	⁺20.70	173.90	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP183-2`	⁺1.10	2.90	⁺37.50	TMO‑Non	⁺219.90	⁺88.60	117.70	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP183-3`	⁺0.50	1.10	⁺124.80	TMO‑Non	TMO‑Non	TMO‑Non	175.10	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP184-2`	⁺0.20	0.50	⁺2.40	⁺0.30	TMO‑Non	⁺3.40	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP185-4`	⁺0.30	TMO‑Non	TMO‑Non	⁺0.20	⁺3.80	TMO‑Non	1.80	GUP‑Non	TMO‑Non	GUP‑Non
`GRP201-1`	⁺0.30	1.00	⁺2.70	UNK‑Non	⁺2.40	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP202-1`	⁺0.40	1.00	⁺1.70	UNK‑Non	⁺3.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP203-1`	⁺0.40	0.30	⁺1.60	UNK‑Non	⁺20.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP205-1`	⁺0.40	1.00	⁺1.70	UNK‑Non	⁺2.80	TMO‑Non	109.10	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP416-1`	⁺0.40	2.10	⁺0.40	⁺0.40	⁺19.90	TMO‑Non	TMO‑Non	⁺0.70	TMO‑Non	GUP‑Non
`GRP419-1`	⁺0.50	3.70	⁺10.00	⁺0.50	⁺39.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP425-1`	⁺0.30	2.40	⁺60.80	⁺0.30	⁺4.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP440-1`	⁺0.30	0.40	⁺0.90	UNK‑Non	⁺2.20	⁺193.70	71.60	GUP‑Non	TMO‑Non	GUP‑Non
`GRP442-1`	⁺0.30	0.20	⁺1.00	⁺0.30	TMO‑Non	TMO‑Non	253.00	GUP‑Non	TMO‑Non	GUP‑Non
`GRP443-1`	⁺0.30	0.20	⁺0.80	⁺0.30	⁺59.90	TMO‑Non	120.70	⁺0.80	TMO‑Non	GUP‑Non
`GRP476-1`	⁺0.30	0.10	⁺0.40	UNK‑Non	⁺20.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP478-1`	⁺0.30	0.00	⁺0.80	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP479-1`	⁺0.30	0.00	⁺0.60	UNK‑Non	⁺59.90	TMO‑Non	297.40	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP500-1`	⁺0.20	0.10	⁺1.60	⁺0.30	⁺0.60	TMO‑Non	TMO‑Non	⁺0.30	TMO‑Non	GUP‑Non
`GRP505-1`	⁺3.80	TMO‑Non	⁺223.90	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP507-1`	⁺4.10	TMO‑Non	⁺269.30	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP508-1`	⁺3.90	TMO‑Non	⁺233.10	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP609-1`	⁺0.20	0.00	⁺0.00	⁺0.20	TMO‑Non	⁺9.00	13.00	⁺0.30	TMO‑Non	GUP‑Non
`GRP661-1`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP663-1`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP666-2`^*	⁺191.00	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP666-3`^*	⁺189.80	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP666-4`^*	⁺188.40	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP666-5`^*	⁺189.10	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP667-2`^*	⁺8.10	4.30	⁺107.90	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP667-4`^*	⁺8.30	4.40	⁺108.20	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP667-5`^*	⁺8.30	4.40	⁺107.90	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP668-1`^*	⁺1.30	1.40	⁺4.50	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP669-1`^*	⁺2.30	1.50	⁺0.10	UNK‑Non	TMO‑Non	⁺5.30	271.80	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP670-1`^*	⁺4.90	27.90	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP679-1`^*	⁺0.20	0.00	⁺0.00	UNK‑Non	⁺0.40	⁺0.10	0.60	GUP‑Non	99.30	FUN‑Ass
`GRP680-1`^*	⁺0.30	0.00	⁺0.10	UNK‑Non	⁺0.20	⁺5.30	176.30	⁺0.30	191.10	FUN‑Ass
`GRP681-1`^*	⁺2.80	15.00	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP684-1`^*	⁺0.20	0.00	⁺0.00	UNK‑Non	⁺0.70	⁺4.00	7.80	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP686-1`^*	⁺0.30	0.00	⁺0.10	UNK‑Non	⁺0.90	⁺2.60	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP687-1`^*	⁺0.30	0.00	⁺0.10	UNK‑Non	⁺39.90	⁺15.60	144.50	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP688-1`^*	⁺0.40	0.70	⁺0.60	UNK‑Non	TMO‑Non	⁺10.50	23.60	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP689-1`^*	⁺65.40	10.50	TMO‑Non	UNK‑Non	TMO‑Non	⁺99.50	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP691-1`^*	⁺67.30	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP692-1`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP693-1`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP694-1`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP697-1`^*	⁺15.20	35.90	⁺1.10	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP698-1`^*	⁺0.30	0.00	⁺0.10	UNK‑Non	⁺79.90	⁺9.20	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP701-1`^*	⁺0.50	0.60	⁺2.00	UNK‑Non	⁺79.10	⁺49.40	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP707-1`^*	⁺0.30	0.00	⁺0.00	UNK‑Non	⁺2.60	⁺2.10	12.10	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP708-1`^*	⁺0.30	0.00	⁺0.00	UNK‑Non	⁺1.10	⁺11.30	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP718-1`^*	⁺44.90	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP720-2`^*	⁺192.30	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP725-1`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP727-1`^*	⁺85.90	TMO‑Non	⁺25.60	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP728-1`^*	⁺0.60	0.10	⁺6.20	UNK‑Non	⁺19.90	⁺30.30	164.10	GUP‑Non	TMO‑Non	GUP‑Non
`GRP729-1`^*	⁺0.60	0.10	⁺5.80	UNK‑Non	⁺3.10	⁺7.60	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP730-1`^*	⁺0.60	0.10	⁺6.40	UNK‑Non	⁺3.00	⁺24.30	TMO‑Non	⁺0.40	TMO‑Non	GUP‑Non
`GRP750-1`^*	⁺71.50	0.40	⁺2.80	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	FUN‑Ass
`GRP751-1`^*	⁺4.20	1.70	⁺10.10	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`GRP752-1`^*	⁺4.80	1.20	⁺3.70	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP753-1`^*	TMO‑Non	45.30	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP756-1`^*	⁺0.30	0.00	⁺0.00	⁺0.20	⁺0.50	⁺4.70	2.50	⁺0.30	TMO‑Non	FUN‑Ass
`LAT044-1`	⁺7.60	1.70	⁺256.70	⁺7.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	FUN‑Ass
`LAT070-1`	⁺100.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT081-1`	⁺2.20	1.30	⁺0.70	UNK‑Non	⁺59.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LAT082-1`	⁺2.40	2.30	⁺5.40	UNK‑Non	⁺139.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LAT084-1`	⁺2.70	1.70	⁺0.50	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LAT085-1`	⁺2.80	2.30	⁺2.40	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LAT092-1`	⁺1.30	0.20	⁺0.20	⁺1.50	⁺19.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT095-1`	⁺1.30	0.20	⁺0.40	UNK‑Non	⁺19.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT097-1`	⁺1.30	0.20	⁺0.20	UNK‑Non	⁺19.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT140-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT143-1`	⁺0.40	TMO‑Non	⁺0.70	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT146-1`	⁺104.60	TMO‑Non	TMO‑Non	⁺98.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT150-1`	⁺27.40	TMO‑Non	TMO‑Non	⁺25.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT154-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT155-1`	⁺154.80	TMO‑Non	TMO‑Non	⁺144.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT158-1`	⁺165.60	TMO‑Non	TMO‑Non	⁺154.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT160-1`	⁺3.40	TMO‑Non	TMO‑Non	⁺3.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT163-1`	⁺259.00	TMO‑Non	TMO‑Non	⁺240.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT164-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT165-1`	⁺2.20	TMO‑Non	TMO‑Non	⁺2.00	TMO‑Non