Results

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

Results for THF

THF	LEO‑II 1.2	Satallax 1.4	IsabelleP 2009‑2	TPS 3.20080227G1d
`GEG016^1`^*	⁺1.00	⁺3.60	UNK‑Non	255.20
`CSR144^1`^*	⁺1.40	⁺45.00	63.40	TMO‑Non
`CSR137^2`^*	⁺0.40	TMO‑Non	40.30	TMO‑Non
`CSR121^1`^*	⁺0.00	⁺0.60	3.70	TMO‑Non
`GEG015^1`^*	⁺1.50	⁺264.70	UNK‑Non	TMO‑Non
`SYO507^1`^*	⁺0.10	⁺0.60	3.70	UNK‑Non
`GEG011^1`^*	⁺2.10	⁺1.20	234.20	TMO‑Non
`SYO508^1`^*	⁺0.00	⁺273.30	3.80	TMO‑Non
`CSR140^2`^*	⁺0.30	TMO‑Non	32.70	20.70
`CSR143^1`^*	⁺0.50	⁺44.70	32.40	TMO‑Non
`GEG017^1`^*	⁺1.00	⁺3.50	UNK‑Non	255.20
`CSR122^1`^*	⁺0.10	⁺0.60	3.80	TMO‑Non
`GEG002^1`^*	⁺78.30	⁺85.90	243.10	TMO‑Non
`SYO391^5`	⁺11.70	⁺111.20	195.70	TMO‑Non
`CSR142^2`^*	⁺2.30	⁺1.50	108.70	TMO‑Non
`SEV410^5`	TMO‑Non	⁺0.60	146.20	6.20
`GEG006^1`^*	⁺22.80	⁺15.30	232.30	TMO‑Non
`NUM758^1`	⁺0.10	TMO‑Non	32.00	0.50
`CSR146^3`^*	⁺8.00	⁺141.60	42.60	0.60
`NUM742^1`	⁺0.10	⁺0.80	32.50	1.70
`CSR146^1`^*	⁺7.80	⁺143.90	78.40	1.00
`SYO356^5`	⁺1.30	⁺3.20	UNK‑Non	6.20
`SEU782^2`	⁺0.40	⁺84.70	229.50	0.70
`NUM777^1`	⁺0.10	TMO‑Non	32.20	0.40
`SEU669^2`	UNK‑Non	⁺1.50	32.00	0.50
`NUM775^1`	⁺0.10	⁺0.80	89.80	0.40
`SYO052^2`	⁺2.30	TMO‑Non	4.30	7.10
`SEV140^5`	UNK‑Non	TMO‑Non	202.60	94.40
`SEV386^5`	⁺0.10	⁺0.50	UNK‑Non	0.80
`LCL579^1`	⁺0.40	⁺0.60	UNK‑Non	0.50
`SEU647^2`	⁺0.10	TMO‑Non	32.50	0.50
`NUM689^1`	⁺7.30	⁺0.60	3.90	0.50
`SYO229^5`	⁺0.00	⁺0.60	3.60	0.40
`NUM666^1`	⁺9.40	⁺0.60	3.80	0.50
`SEU528^1`	⁺15.30	⁺1.80	35.80	TMO‑Non
`NUM751^1`	⁺0.10	TMO‑Non	4.80	0.40
`SEU567^1`	⁺103.50	⁺4.30	44.80	TMO‑Non
`NUM759^1`	⁺0.10	TMO‑Non	89.20	6.40
`SEU694^1`	TMO‑Non	⁺32.10	75.90	TMO‑Non
`NUM690^1`	UNK‑Non	⁺1.00	3.90	0.40
`SEU589^2`	TMO‑Non	⁺0.50	3.70	0.60
`SEV218^5`	⁺0.50	⁺0.70	3.90	TMO‑Non
`SWV426^2`	⁺0.90	⁺90.60	UNK‑Non	34.50
`PUZ094^5`	⁺1.80	⁺100.20	172.30	TMO‑Non
`SEU548^1`	⁺48.10	⁺53.00	36.50	TMO‑Non
`SYO105^5`	⁺0.10	TMO‑Non	4.10	0.50
`SEU677^2`	UNK‑Non	⁺1.00	3.90	TMO‑Non
`SEV149^5`	⁺0.80	TMO‑Non	276.00	7.40
`SEV028^5`	⁺0.60	⁺3.30	173.90	TMO‑Non
`CSR149^1`^*	⁺0.20	⁺0.50	UNK‑Non	TMO‑Non
`ALG279^5`	⁺0.10	TMO‑Non	35.80	71.60
`CSR129^1`^*	⁺0.30	⁺134.80	UNK‑Non	TMO‑Non
`SEU534^2`	⁺66.40	⁺67.90	4.00	0.60
`CSR128^1`^*	⁺0.30	⁺0.60	UNK‑Non	TMO‑Non
`SEU537^1`	⁺23.00	⁺2.20	234.80	5.50
`CSR148^1`^*	⁺0.20	⁺1.20	UNK‑Non	TMO‑Non
`SYN045^4`	⁺0.80	⁺0.80	32.70	59.00
`CSR119^1`^*	⁺0.40	⁺0.60	UNK‑Non	TMO‑Non
`SEU859^5`	UNK‑Non	⁺1.70	60.90	7.20
`CSR150^1`^*	⁺0.70	⁺11.50	3.90	TMO‑Non
`ALG268^4`	⁺62.30	TMO‑Non	110.70	0.80
`CSR141^1`^*	⁺25.70	⁺0.80	UNK‑Non	TMO‑Non
`PUZ081^1`	⁺0.20	⁺2.80	32.40	TMO‑Non
`CSR130^1`^*	⁺0.60	⁺151.10	UNK‑Non	TMO‑Non
`SEU576^1`	UNK‑Non	⁺4.40	47.60	TMO‑Non
`CSR126^1`^*	⁺0.20	⁺0.60	UNK‑Non	TMO‑Non
`ALG263^3`	⁺2.50	⁺3.70	274.30	TMO‑Non
`CSR125^1`^*	⁺0.10	⁺0.60	3.30	TMO‑Non
`SEV166^5`	⁺0.20	⁺0.50	UNK‑Non	0.40
`CSR134^1`^*	⁺8.60	⁺175.00	UNK‑Non	TMO‑Non
`SEU552^1`	⁺214.10	⁺4.00	36.00	TMO‑Non
`CSR131^1`^*	⁺61.60	⁺180.30	UNK‑Non	TMO‑Non
`LCL713^1`	⁺164.50	⁺156.20	118.70	0.40
`CSR120^1`^*	⁺0.40	⁺0.40	UNK‑Non	TMO‑Non
`SEU474^1`	⁺0.10	⁺0.60	UNK‑Non	0.40
`CSR127^1`^*	⁺0.20	⁺0.60	UNK‑Non	TMO‑Non
`NUM662^1`	⁺0.00	TMO‑Non	3.50	7.00
`PUZ031^5`	⁺2.80	⁺89.90	196.80	TMO‑Non
`SYO458^5`	⁺0.10	⁺0.50	31.90	0.60
`SYO352^5`	⁺0.80	⁺84.50	UNK‑Non	TMO‑Non
`SEU918^5`	UNK‑Non	⁺0.50	UNK‑Non	0.50
`SEV245^5`	UNK‑Non	⁺44.70	203.20	TMO‑Non
`SEV288^5`	⁺0.40	⁺0.50	UNK‑Non	0.30
`SEV083^5`	TMO‑Non	TMO‑Non	39.00	19.80
`ALG263^2`	⁺2.30	⁺1.40	273.60	TMO‑Non
`LCL734^5`	UNK‑Non	⁺27.60	UNK‑Non	TMO‑Non
`SEU798^2`	⁺63.20	⁺0.60	3.70	0.40
`SEV311^5`	UNK‑Non	⁺44.70	259.90	TMO‑Non
`SEV196^5`	⁺0.20	TMO‑Non	88.00	3.10
`SEU939^5`	TMO‑Non	⁺45.20	UNK‑Non	85.00
`SYO223^5`	⁺0.10	⁺0.50	UNK‑Non	0.60
`MSC020^5`	TMO‑Non	TMO‑Non	UNK‑Non	0.50
`SYN044^4`	⁺0.30	⁺0.60	33.20	TMO‑Non
`SEV254^5`	TMO‑Non	⁺221.30	UNK‑Non	TMO‑Non
`SEU625^2`	⁺0.20	⁺188.50	259.10	TMO‑Non
`NUM762^1`	⁺0.10	TMO‑Non	207.00	7.20
`CSR139^1`^*	⁺2.10	TMO‑Non	4.90	0.40
`SYO376^5`	⁺34.20	⁺0.60	UNK‑Non	UNK‑Non
`GEG003^1`^*	⁺190.50	⁺250.10	UNK‑Non	TMO‑Non
`SYO018^1`	⁺0.10	⁺0.60	4.00	0.40
`GEG014^1`^*	UNK‑Non	TMO‑Non	UNK‑Non	157.70
`SYO209^5`	UNK‑Non	⁺173.70	UNK‑Non	1.00
`CSR152^1`^*	⁺0.30	⁺0.70	UNK‑Non	UNK‑Non
`SEV066^5`	UNK‑Non	⁺46.90	UNK‑Non	0.80
`GEG010^1`^*	⁺1.10	⁺236.60	UNK‑Non	TMO‑Non
`LCL728^5`	TMO‑Non	⁺0.70	UNK‑Non	37.70
`QUA004^1`^*	UNK‑Non	⁺62.00	4.00	TMO‑Non
`CSR123^1`^*	⁺0.40	⁺163.50	UNK‑Non	TMO‑Non
`CSR152^2`^*	⁺60.60	⁺0.50	UNK‑Non	TMO‑Non
`SYO510^1`^*	TMO‑Non	⁺0.40	UNK‑Non	TMO‑Non
`CSR145^2`^*	⁺4.30	TMO‑Non	291.70	TMO‑Non
`SYO374^5`	⁺28.00	TMO‑Non	UNK‑Non	TMO‑Non
`LCL874^1`^*	⁺1.90	⁺175.80	UNK‑Non	TMO‑Non
`SEV415^5`	UNK‑Non	TMO‑Non	UNK‑Non	102.80
`GEG007^1`^*	⁺1.00	⁺217.90	UNK‑Non	TMO‑Non
`SEV073^5`	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`CSR121^2`^*	⁺1.50	⁺1.00	264.20	TMO‑Non
`SEV050^5`	TMO‑Non	TMO‑Non	UNK‑Non	19.00
`CSR153^1`^*	⁺0.30	⁺132.00	33.10	7.50
`SEU964^5`	UNK‑Non	TMO‑Non	TMO‑Non	198.40
`GEG008^1`^*	⁺1.00	⁺13.50	UNK‑Non	TMO‑Non
`SEV310^5`	UNK‑Non	⁺177.20	UNK‑Non	TMO‑Non
`GEG020^1`^*	⁺1.40	⁺53.90	TMO‑Non	TMO‑Non
`LCL739^5`	TMO‑Non	TMO‑Non	UNK‑Non	231.40
`QUA002^1`^*	⁺66.70	⁺1.00	UNK‑Non	TMO‑Non
`SYO311^5`	UNK‑Non	⁺171.80	UNK‑Non	TMO‑Non
`GEG005^1`^*	⁺1.20	⁺218.80	UNK‑Non	TMO‑Non
`SYO310^5`	UNK‑Non	TMO‑Non	31.50	TMO‑Non
`ALG247^2`	UNK‑Non	TMO‑Non	138.50	0.80
`SYO272^5`	UNK‑Non	TMO‑Non	UNK‑Non	0.80
`SEU683^2`	UNK‑Non	TMO‑Non	174.50	57.10
`SEU948^5`	UNK‑Non	TMO‑Non	UNK‑Non	198.40
`LCL629^1`	⁺0.40	TMO‑Non	UNK‑Non	0.70
`SEV084^5`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`NUM416^1`	TMO‑Non	⁺44.40	4.50	TMO‑Non
`SEV307^5`	TMO‑Non	TMO‑Non	UNK‑Non	27.20
`SYO360^5`	⁺0.10	⁺3.20	UNK‑Non	TMO‑Non
`SEV113^5`	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SEU609^1`	UNK‑Non	⁺100.70	274.00	TMO‑Non
`SEV317^5`	TMO‑Non	TMO‑Non	UNK‑Non	34.70
`SEU645^2`	UNK‑Non	TMO‑Non	174.50	293.70
`SEV086^5`	⁺30.00	TMO‑Non	UNK‑Non	54.40
`SEU900^5`	TMO‑Non	⁺176.40	173.00	TMO‑Non
`SEV069^5`	UNK‑Non	TMO‑Non	UNK‑Non	127.70
`SEU563^1`	UNK‑Non	⁺4.70	123.30	TMO‑Non
`LCL737^5`	TMO‑Non	TMO‑Non	UNK‑Non	231.40
`SYO241^5`	UNK‑Non	⁺174.30	173.40	TMO‑Non
`SEV400^5`	UNK‑Non	TMO‑Non	UNK‑Non	0.40
`SEU626^1`	TMO‑Non	⁺89.40	279.90	TMO‑Non
`SEV153^5`	TMO‑Non	TMO‑Non	235.10	TMO‑Non
`ALG253^2`	⁺0.50	TMO‑Non	UNK‑Non	8.20
`SEU682^1`	TMO‑Non	⁺17.80	145.80	TMO‑Non
`SEU974^5`	⁺20.70	TMO‑Non	TMO‑Non	TMO‑Non
`SEV212^5`	UNK‑Non	TMO‑Non	232.00	TMO‑Non
`SEU827^1`	⁺0.80	⁺0.40	UNK‑Non	UNK‑Non
`SEU705^2`	UNK‑Non	TMO‑Non	4.70	1.30
`ALG267^1`	TMO‑Non	TMO‑Non	122.30	4.80
`ALG278^5`	⁺0.10	TMO‑Non	UNK‑Non	74.00
`ALG284^5`	⁺0.10	TMO‑Non	3.20	TMO‑Non
`CSR150^2`^*	⁺2.60	TMO‑Non	88.20	TMO‑Non
`CSR130^2`^*	⁺62.60	TMO‑Non	UNK‑Non	TMO‑Non
`GEG019^1`^*	⁺68.00	⁺54.40	UNK‑Non	TMO‑Non
`QUA012^1`^*	UNK‑Non	TMO‑Non	3.30	TMO‑Non
`CSR134^2`^*	⁺61.80	TMO‑Non	261.10	TMO‑Non
`CSR141^2`^*	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`CSR139^2`^*	⁺122.70	TMO‑Non	UNK‑Non	TMO‑Non
`SYO506^1`^*	⁺0.70	⁺281.70	3.50	TMO‑Non
`QUA011^1`^*	UNK‑Non	TMO‑Non	3.30	TMO‑Non
`GEG009^1`^*	⁺1.70	TMO‑Non	UNK‑Non	TMO‑Non
`CSR132^1`^*	⁺75.00	TMO‑Non	UNK‑Non	TMO‑Non
`SYO515^1`^*	UNK‑Non	⁺0.40	UNK‑Non	UNK‑Non
`SYO516^1`^*	⁺0.00	TMO‑Non	UNK‑Non	TMO‑Non
`CSR129^2`^*	⁺61.80	TMO‑Non	TMO‑Non	TMO‑Non
`CSR122^2`^*	⁺60.80	TMO‑Non	266.00	TMO‑Non
`CSR124^2`^*	⁺61.10	⁺1.00	UNK‑Non	TMO‑Non
`SYO517^1`^*	TMO‑Non	⁺0.40	UNK‑Non	TMO‑Non
`CSR151^2`^*	⁺1.60	⁺0.60	36.90	TMO‑Non
`CSR138^2`^*	⁺8.10	TMO‑Non	UNK‑Non	TMO‑Non
`ALG251^2`	⁺0.60	TMO‑Non	UNK‑Non	TMO‑Non
`PUZ087^1`	⁺3.40	TMO‑Non	UNK‑Non	TMO‑Non
`SEU701^2`	UNK‑Non	⁺11.30	UNK‑Non	TMO‑Non
`SEU868^5`	TMO‑Non	TMO‑Non	230.90	TMO‑Non
`SEU946^5`	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`NUM686^1`	UNK‑Non	TMO‑Non	8.00	TMO‑Non
`SEU944^5`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non
`SEV208^5`	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET741^4`	⁺0.10	TMO‑Non	UNK‑Non	TMO‑Non
`SEU938^5`	UNK‑Non	TMO‑Non	UNK‑Non	0.40
`SEU933^5`	UNK‑Non	TMO‑Non	UNK‑Non	0.40
`SEV005^5`	UNK‑Non	TMO‑Non	183.70	TMO‑Non
`SEV089^5`	⁺0.70	TMO‑Non	UNK‑Non	TMO‑Non
`LCL632^1`	UNK‑Non	TMO‑Non	UNK‑Non	3.30
`SYO016^1`	UNK‑Non	⁺1.80	UNK‑Non	UNK‑Non
`SYO064^4.004`	UNK‑Non	⁺48.50	UNK‑Non	TMO‑Non
`ALG256^1`	⁺1.40	TMO‑Non	274.10	TMO‑Non
`SEV129^5`	UNK‑Non	TMO‑Non	238.40	TMO‑Non
`SEU732^1`	TMO‑Non	⁺74.50	TMO‑Non	TMO‑Non
`SEV214^5`	⁺0.20	⁺269.10	UNK‑Non	TMO‑Non
`SEU949^5`	TMO‑Non	TMO‑Non	UNK‑Non	19.60
`LCL742^5`	TMO‑Non	TMO‑Non	UNK‑Non	20.40
Solved	125/200	120/200	101/200	80/200
Av. CPU Time	16.65	55.24	100.75	36.15
Solutions	125/200	120/200	0/200	0/200
μEfficiency	408.20	274.29	41.97	211.67
SOTAC	0.45	0.45	0.42	0.50
New Solved	60/68	50/68	28/68	8/68

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

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

Results for FOF

FOF	Vampire 0.6	E 1.2pre	EP 1.2pre	Vampire 11.0	iProver 0.8	Equinox 5.0	iProver‑Eq 0.6	E‑Darwin 1.3	leanCoP 2.2	Zenon 0.6.3	LEO‑II 1.2	Geo 2010C	Metis 2.2	E‑KRHyper 1.1.4	Otter 3.3	Muscadet 4.0	Ayane 2
`ALG165+1`	⁺128.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.80	1.10	150.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM835+1`^*	⁺0.00	0.10	⁺0.20	⁺1.20	0.70	TMO‑Non	TMO‑Non	0.10	⁺0.20	GUP‑Non	⁺7.30	TMO‑Non	TMO‑Non	12.50	⁺0.40	GUP‑Non	TMO‑Non
`KRS258+1`	⁺8.60	0.10	⁺0.30	⁺0.00	0.70	TMO‑Non	2.70	0.20	⁺28.70	GUP‑Non	⁺20.60	TMO‑Non	TMO‑Non	0.10	⁺20.70	TMO‑Non	TMO‑Non
`PUZ075+1`	⁺0.00	1.10	⁺1.50	⁺0.10	0.10	7.40	1.30	6.00	⁺30.20	⁺0.10	TMO‑Non	TMO‑Non	⁺1.30	TMO‑Non	GUP‑Non	⁺0.10	UNK‑Non
`CSR023+1`	⁺0.00	0.00	⁺0.20	⁺0.00	1.00	4.80	21.40	0.20	TMO‑Non	TMO‑Non	UNK‑Non	⁺64.50	⁺0.90	41.50	⁺2.20	⁺0.20	TMO‑Non
`GEO196+1`	⁺0.10	6.10	⁺6.30	⁺1.30	0.10	0.10	0.20	0.00	⁺0.30	⁺2.80	⁺60.20	⁺0.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ALG103+1`	⁺81.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.40	1.10	14.10	TMO‑Non	⁺266.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`SWV190+1`	⁺0.00	0.20	⁺0.40	⁺1.20	1.80	0.40	3.90	1.30	TMO‑Non	TMO‑Non	⁺117.80	TMO‑Non	⁺64.50	TMO‑Non	⁺15.30	⁺0.90	TMO‑Non
`GEO191+1`	⁺0.20	TMO‑Non	TMO‑Non	⁺1.30	0.10	0.10	0.20	0.00	⁺0.30	⁺1.60	⁺60.20	⁺0.30	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SYN462+1`	⁺0.30	5.60	⁺8.30	⁺0.30	0.10	1.60	0.40	15.20	TMO‑Non	⁺5.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT054+1`	⁺0.40	0.00	⁺0.10	⁺0.00	0.30	0.70	4.50	0.10	TMO‑Non	⁺0.20	⁺1.10	⁺1.00	⁺1.10	0.70	⁺8.20	GUP‑Non	TMO‑Non
`SYN067+1`	⁺0.00	0.70	⁺1.00	⁺0.00	0.10	2.10	0.20	TMO‑Non	⁺28.80	⁺0.10	⁺0.90	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`ALG127+1`	⁺84.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.40	1.20	5.60	TMO‑Non	300.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`GEO111+1`	⁺0.00	0.00	⁺0.10	⁺0.10	0.90	0.20	19.30	44.20	⁺0.50	TMO‑Non	⁺191.10	⁺136.00	⁺10.60	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non
`MED008+1`	⁺0.30	1.10	⁺1.70	⁺29.10	0.00	2.10	0.30	0.10	⁺63.80	⁺0.10	UNK‑Non	⁺0.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ALG122+1`	⁺83.20	56.40	⁺83.50	TMO‑Non	TMO‑Non	0.60	1.00	13.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`GEO117+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.10	0.20	3.40	0.00	⁺0.20	GUP‑Non	TMO‑Non	TMO‑Non	⁺11.30	TMO‑Non	⁺10.60	⁺0.10	TMO‑Non
`CSR026+2`	⁺0.10	0.20	⁺0.30	⁺0.10	0.40	60.50	0.40	1.50	⁺70.70	⁺0.50	⁺25.70	TMO‑Non	⁺2.20	0.90	GUP‑Non	TMO‑Non	TMO‑Non
`ALG196+1`	⁺200.40	17.30	⁺25.10	TMO‑Non	TMO‑Non	72.30	66.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`AGT016+2`	⁺0.00	0.10	⁺0.20	⁺0.00	0.10	4.40	14.30	0.40	⁺0.30	⁺0.10	⁺11.80	TMO‑Non	TMO‑Non	0.40	⁺0.70	TMO‑Non	TMO‑Non
`MED006+1`	⁺0.20	0.30	⁺0.50	⁺3.50	0.00	0.80	0.30	0.10	⁺38.60	⁺0.10	UNK‑Non	⁺0.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN503+1`	⁺1.80	17.30	⁺26.00	⁺0.40	0.10	2.80	0.60	4.20	TMO‑Non	⁺4.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR015+1`	⁺0.00	0.00	⁺0.10	⁺0.10	1.80	1.40	5.60	0.20	⁺41.80	TMO‑Non	UNK‑Non	⁺5.00	⁺0.40	80.30	TMO‑Non	TMO‑Non	TMO‑Non
`SYN550+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.30	9.70	0.30	0.40	⁺1.60	⁺4.40	⁺0.20	⁺0.00	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non
`SYN499+1`	⁺1.60	2.80	⁺4.20	⁺0.50	0.10	2.00	0.50	5.50	TMO‑Non	⁺4.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP747+1`	⁺7.30	1.00	⁺2.20	⁺72.30	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.40	⁺0.40	TMO‑Non
`KRS194+1`	⁺1.30	0.00	⁺0.10	⁺0.10	0.30	TMO‑Non	0.20	6.20	⁺0.30	⁺1.70	⁺46.20	TMO‑Non	⁺0.30	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non
`SYN501+1`	⁺1.20	7.60	⁺11.80	⁺0.50	0.10	1.50	0.50	3.70	TMO‑Non	⁺5.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA010+1`	⁺0.10	0.00	⁺0.10	⁺0.10	0.20	0.70	0.20	0.00	⁺0.70	GUP‑Non	⁺12.60	⁺1.90	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`CSR065+2`	⁺0.10	0.20	⁺0.30	⁺0.10	0.40	61.10	0.40	1.50	⁺70.60	⁺0.50	⁺26.00	TMO‑Non	⁺2.00	0.90	GUP‑Non	TMO‑Non	TMO‑Non
`ALG120+1`	⁺4.40	3.90	⁺6.80	⁺204.70	TMO‑Non	0.40	0.90	5.70	TMO‑Non	⁺172.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`NLP251+1`	⁺0.60	0.10	⁺0.20	⁺0.10	0.40	0.90	8.80	2.00	TMO‑Non	TMO‑Non	⁺10.60	⁺0.20	⁺3.10	1.00	GUP‑Non	GUP‑Non	TMO‑Non
`KRS193+1`	⁺1.30	0.00	⁺0.10	⁺0.10	0.30	TMO‑Non	0.10	6.20	⁺3.10	⁺0.50	⁺46.00	TMO‑Non	⁺0.70	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non
`ALG052+1`	⁺150.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	3.40	1.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`NUM853+2`^*	⁺0.00	0.00	⁺0.10	⁺0.00	2.00	0.10	0.20	0.10	⁺0.10	GUP‑Non	⁺60.00	⁺0.30	TMO‑Non	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non
`CSR038+2`	⁺0.40	3.50	⁺4.10	⁺0.10	1.10	TMO‑Non	2.70	TMO‑Non	⁺0.40	GUP‑Non	UNK‑Non	TMO‑Non	⁺33.30	29.10	GUP‑Non	TMO‑Non	TMO‑Non
`SYN466+1`	⁺1.60	12.20	⁺17.40	⁺0.30	0.10	2.30	0.50	14.70	TMO‑Non	⁺6.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ128+2`	⁺0.40	0.00	⁺0.10	⁺0.00	0.50	0.00	0.20	0.00	TMO‑Non	⁺4.30	⁺0.70	⁺0.10	⁺0.00	0.10	⁺0.30	GUP‑Non	TMO‑Non
`KRS155+1`	⁺0.00	0.10	⁺0.20	⁺0.00	0.50	0.30	0.30	TMO‑Non	⁺8.60	⁺0.20	UNK‑Non	TMO‑Non	⁺3.90	0.20	⁺0.40	TMO‑Non	TMO‑Non
`ALG047+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺74.20	TMO‑Non	0.60	0.70	218.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`GRP618+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.30	2.20	0.20	TMO‑Non	⁺5.20	⁺0.10	⁺5.20	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	⁺0.90	TMO‑Non
`CSR050+2`	⁺0.30	0.50	⁺0.80	⁺0.10	1.60	TMO‑Non	1.20	TMO‑Non	⁺30.50	GUP‑Non	⁺29.10	TMO‑Non	⁺2.10	18.10	GUP‑Non	TMO‑Non	TMO‑Non
`ALG104+1`	⁺115.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	2.50	1.20	174.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`GEO147+1`	⁺2.40	0.00	⁺0.10	⁺0.00	0.10	0.20	0.80	0.20	⁺0.20	GUP‑Non	TMO‑Non	TMO‑Non	⁺3.30	TMO‑Non	⁺2.80	TMO‑Non	TMO‑Non
`CSR034+3`	⁺0.30	3.50	⁺3.90	⁺1.60	1.20	TMO‑Non	1.40	2.20	⁺5.60	GUP‑Non	TMO‑Non	TMO‑Non	⁺33.50	9.20	GUP‑Non	TMO‑Non	TMO‑Non
`SYN509+1`	⁺2.90	4.90	⁺7.40	⁺1.40	0.10	2.90	0.50	11.00	TMO‑Non	⁺54.60	TMO‑Non	TMO‑Non	TMO‑Non	264.60	TMO‑Non	TMO‑Non	TMO‑Non
`HAL003+3`	⁺0.00	0.00	⁺0.10	⁺0.20	2.60	0.40	0.20	7.90	⁺0.60	GUP‑Non	⁺3.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺1.50	TMO‑Non
`KRS191+1`	⁺8.70	0.00	⁺0.10	⁺0.10	0.20	TMO‑Non	0.10	6.30	⁺3.20	⁺1.10	⁺60.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non
`SYN505+1`	⁺1.60	11.20	⁺15.00	⁺0.50	0.10	2.00	0.40	10.80	TMO‑Non	⁺17.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ001+2`	⁺0.00	0.00	⁺0.10	⁺0.00	0.10	0.20	6.50	0.10	TMO‑Non	GUP‑Non	⁺1.10	⁺1.40	⁺0.10	TMO‑Non	⁺5.20	GUP‑Non	TMO‑Non
`GEO196+3`	⁺0.30	6.40	⁺8.20	⁺294.00	0.20	0.60	18.10	0.10	⁺60.60	⁺6.80	UNK‑Non	⁺1.00	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN475+1`	⁺2.60	2.70	⁺4.30	⁺0.30	0.10	1.90	0.40	8.80	TMO‑Non	⁺16.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP667+1`	⁺17.30	23.50	⁺49.90	⁺214.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`MED002+1`	⁺0.00	1.80	⁺3.10	⁺0.10	0.00	0.70	0.20	TMO‑Non	⁺28.90	⁺0.10	⁺60.00	⁺0.00	TMO‑Non	1.70	⁺12.00	TMO‑Non	TMO‑Non
`SYN489+1`	⁺0.90	25.60	⁺36.10	⁺1.00	0.10	2.50	0.60	9.10	TMO‑Non	⁺13.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV237+1`	⁺0.10	0.00	⁺0.10	⁺0.90	TMO‑Non	TMO‑Non	TMO‑Non	230.10	⁺229.20	GUP‑Non	⁺0.90	⁺5.20	TMO‑Non	TMO‑Non	⁺0.50	GUP‑Non	TMO‑Non
`CSR047+3`	⁺0.40	2.80	⁺3.50	⁺1.60	0.90	TMO‑Non	1.40	2.30	⁺5.30	⁺1.00	⁺208.40	TMO‑Non	⁺42.50	9.60	GUP‑Non	TMO‑Non	TMO‑Non
`SYN498+1`	⁺1.90	3.50	⁺5.20	⁺0.40	0.10	2.20	0.50	18.70	TMO‑Non	⁺207.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO271+1`^*	⁺0.10	18.10	⁺29.80	GUP‑Non	1.10	1.10	TMO‑Non	209.10	⁺255.20	GUP‑Non	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺53.10	TMO‑Non
`CSR051+3`	⁺0.20	0.40	⁺1.10	⁺1.60	0.90	TMO‑Non	1.40	0.70	⁺4.90	⁺2.20	⁺191.40	TMO‑Non	⁺29.60	8.90	GUP‑Non	TMO‑Non	TMO‑Non
`ALG109+1`	⁺6.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.60	1.10	53.50	TMO‑Non	⁺184.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`NUM853+1`^*	⁺0.10	0.00	⁺0.20	⁺1.70	1.20	0.10	0.30	0.10	⁺0.90	GUP‑Non	⁺60.00	⁺10.40	TMO‑Non	TMO‑Non	⁺12.00	TMO‑Non	TMO‑Non
`COM003+1`	⁺0.00	1.10	⁺1.70	⁺0.00	0.30	1.20	0.20	TMO‑Non	⁺29.00	TMO‑Non	⁺2.10	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SYN472+1`	⁺3.50	16.60	⁺24.40	⁺1.50	0.10	2.60	0.40	14.20	TMO‑Non	⁺66.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO272+1`^*	⁺0.10	27.90	⁺44.40	GUP‑Non	1.20	1.20	TMO‑Non	TMO‑Non	⁺115.20	GUP‑Non	TMO‑Non	⁺2.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR060+2`	⁺0.40	3.40	⁺4.30	⁺0.20	1.80	TMO‑Non	3.20	TMO‑Non	⁺29.60	GUP‑Non	UNK‑Non	TMO‑Non	⁺32.60	29.00	GUP‑Non	TMO‑Non	TMO‑Non
`SYN460+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.80	0.10	5.70	0.50	7.70	TMO‑Non	⁺156.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO083+1`	⁺4.30	0.10	⁺0.20	⁺3.80	2.20	12.80	TMO‑Non	28.10	⁺3.80	TMO‑Non	UNK‑Non	⁺186.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR061+2`	⁺3.70	5.50	⁺6.00	⁺23.90	5.00	TMO‑Non	14.40	7.30	TMO‑Non	GUP‑Non	⁺223.70	TMO‑Non	⁺2.80	1.60	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ073+1`	TMO‑Non	11.10	⁺14.90	TMO‑Non	26.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺30.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`KLE093+1`	⁺0.10	0.10	⁺0.40	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺2.30	TMO‑Non	⁺1.90	TMO‑Non	⁺0.50	GUP‑Non	TMO‑Non
`KRS203+1`	⁺1.00	0.10	⁺0.30	⁺0.50	0.60	6.20	0.40	0.10	⁺111.60	GUP‑Non	⁺9.40	TMO‑Non	TMO‑Non	0.50	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ074+1`	⁺0.80	12.50	⁺12.30	⁺20.70	13.90	111.80	TMO‑Non	TMO‑Non	⁺36.00	⁺4.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`GEO275+1`^*	⁺0.20	27.40	⁺43.10	GUP‑Non	0.60	2.60	165.20	TMO‑Non	⁺266.40	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MED007+1`	⁺6.40	14.80	⁺21.70	⁺109.90	0.10	TMO‑Non	0.50	1.50	TMO‑Non	⁺51.40	UNK‑Non	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO127+1`	⁺0.00	0.00	⁺0.10	⁺0.00	14.90	TMO‑Non	TMO‑Non	3.00	TMO‑Non	GUP‑Non	TMO‑Non	⁺1.00	⁺274.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN723+1`	⁺8.80	147.00	⁺231.80	⁺31.10	0.10	0.40	0.30	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	⁺1.10	⁺20.80	TMO‑Non	GUP‑Non	GUP‑Non	UNK‑Non
`SWV204+1`	⁺0.00	0.20	⁺0.40	⁺0.00	TMO‑Non	0.20	1.60	TMO‑Non	TMO‑Non	⁺0.20	⁺58.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR115+70`	⁺1.30	1.30	⁺1.80	⁺60.90	36.20	TMO‑Non	180.40	24.30	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	8.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR024+1.009`	⁺3.40	0.10	⁺0.30	⁺2.70	TMO‑Non	8.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺28.50	UNK‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`CSR113+1`	⁺0.70	1.20	⁺1.80	TMO‑Non	3.90	TMO‑Non	3.10	23.50	⁺1.20	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	3.80	GUP‑Non	TMO‑Non	TMO‑Non
`GEO126+1`	⁺0.00	0.00	⁺0.10	⁺0.00	1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺0.20	⁺266.50	54.50	TMO‑Non	TMO‑Non	TMO‑Non
`KRS192+1`	⁺1.50	3.00	⁺4.80	⁺135.40	0.70	TMO‑Non	2.00	TMO‑Non	⁺3.10	⁺0.60	⁺60.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non
`PRO003+2`	⁺4.60	58.90	⁺78.80	TMO‑Non	TMO‑Non	6.50	TMO‑Non	33.00	TMO‑Non	GUP‑Non	UNK‑Non	⁺1.80	TMO‑Non	87.20	GUP‑Non	TMO‑Non	TMO‑Non
`LCL688+1.001`	⁺0.70	45.00	⁺51.00	⁺2.50	0.70	14.60	10.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`HAL002+1`	⁺3.30	3.50	⁺6.00	TMO‑Non	TMO‑Non	1.00	59.10	0.90	TMO‑Non	GUP‑Non	⁺6.80	⁺0.50	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`LCL650+1.005`	⁺0.30	3.10	⁺3.50	⁺2.00	8.50	172.80	92.10	TMO‑Non	⁺87.20	GUP‑Non	TMO‑Non	⁺20.10	TMO‑Non	0.40	TMO‑Non	GUP‑Non	TMO‑Non
`GEO305+1`^*	⁺0.10	0.20	⁺0.40	GUP‑Non	2.60	0.80	21.50	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SYN548+1`	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	0.80	1.90	14.30	TMO‑Non	TMO‑Non	⁺0.20	UNK‑Non	⁺0.00	TMO‑Non	2.80	⁺73.90	GUP‑Non	TMO‑Non
`GEO278+1`^*	⁺0.50	17.00	⁺27.10	GUP‑Non	0.80	11.60	286.00	TMO‑Non	⁺29.90	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV014+1`	⁺0.00	0.00	⁺0.10	⁺0.00	10.30	TMO‑Non	0.20	TMO‑Non	⁺183.80	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV464+1`	⁺0.40	0.20	⁺0.30	⁺8.20	9.20	0.40	TMO‑Non	TMO‑Non	⁺51.50	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`CSR116+2`	⁺1.00	1.30	⁺1.90	⁺123.60	87.70	TMO‑Non	205.80	120.30	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	9.10	GUP‑Non	TMO‑Non	TMO‑Non
`SWV486+3`	⁺3.80	2.00	⁺3.70	⁺14.80	37.40	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR057+3`	⁺1.00	5.00	⁺5.80	⁺2.60	28.30	TMO‑Non	13.70	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	⁺47.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV027+1`	⁺0.40	TMO‑Non	TMO‑Non	⁺1.10	3.30	3.50	63.20	TMO‑Non	⁺3.20	⁺9.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM008+1`	⁺12.40	0.80	⁺1.30	TMO‑Non	1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺0.40	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.30	TMO‑Non
`SWV486+1`	⁺1.90	0.10	⁺0.30	⁺15.40	240.80	0.30	19.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non
`CSR027+3`	⁺30.40	5.00	⁺6.80	⁺68.30	141.70	TMO‑Non	92.20	TMO‑Non	⁺75.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO342+1`^*	⁺0.00	0.10	⁺0.30	⁺44.60	0.20	87.90	2.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR114+10`	⁺0.90	1.30	⁺1.90	TMO‑Non	258.20	TMO‑Non	TMO‑Non	106.60	⁺31.20	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	50.90	GUP‑Non	TMO‑Non	TMO‑Non
`GEO300+1`^*	⁺0.10	0.10	⁺0.30	GUP‑Non	0.20	0.90	1.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR116+36`	⁺1.10	1.30	⁺1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	232.60	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	31.60	GUP‑Non	TMO‑Non	TMO‑Non
`GEO299+1`^*	⁺0.00	0.20	⁺0.40	GUP‑Non	0.20	0.90	8.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN986+1.004`	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	GUP‑Non	⁺54.50	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV406+1`	⁺0.00	0.00	⁺0.10	⁺11.70	2.00	TMO‑Non	13.90	TMO‑Non	TMO‑Non	GUP‑Non	⁺5.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR049+3`	⁺16.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SEU376+1`	⁺0.10	0.50	⁺0.70	⁺0.60	10.30	6.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺60.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`KRS251+1`	⁺20.40	TMO‑Non	TMO‑Non	⁺287.90	2.70	TMO‑Non	107.30	TMO‑Non	⁺28.90	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP780+1`^*	TMO‑Non	0.30	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	UNK‑Non
`LCL650+1.010`	⁺2.50	TMO‑Non	TMO‑Non	⁺191.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	16.90	GUP‑Non	GUP‑Non	TMO‑Non
`PUZ133+2`^*	⁺48.00	2.00	⁺2.80	⁺81.40	63.40	TMO‑Non	TMO‑Non	0.70	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	⁺82.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL652+1.010`	⁺13.60	85.40	⁺85.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`PUZ133+1`^*	⁺3.10	7.50	⁺9.40	⁺9.60	8.30	TMO‑Non	TMO‑Non	38.20	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	⁺122.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LAT258+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	258.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	⁺50.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC419+1`	⁺0.00	0.00	⁺0.20	⁺2.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`NLP560+1`	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	UNK‑Non	TMO‑Non	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV457+1`	⁺0.20	18.50	⁺32.90	⁺9.10	TMO‑Non	TMO‑Non	TMO‑Non	3.40	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`LCL688+1.010`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺13.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV379+1`	⁺0.00	0.00	⁺0.10	⁺12.90	TMO‑Non	0.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺13.10	⁺112.60	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`NLP562+1`	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	UNK‑Non	TMO‑Non	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR083+2`^*	⁺0.90	2.40	⁺4.70	⁺1.80	2.30	TMO‑Non	9.50	106.30	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	⁺50.60	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL658+1.015`	⁺28.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR098+6`^*	⁺4.60	10.90	⁺22.80	⁺10.50	9.00	UNK‑Non	27.60	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP561+1`	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	UNK‑Non	TMO‑Non	UNK‑Non	UNK‑Non	GUP‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV479+1`	⁺2.60	6.10	⁺12.60	⁺51.70	184.00	0.80	TMO‑Non	2.70	TMO‑Non	GUP‑Non	⁺42.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SWV452+1`	⁺0.30	TMO‑Non	TMO‑Non	⁺55.20	TMO‑Non	0.20	TMO‑Non	3.70	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SWV480+1`	⁺2.70	6.20	⁺13.10	⁺55.60	64.20	0.80	TMO‑Non	3.00	TMO‑Non	GUP‑Non	⁺42.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SET678+3`	⁺1.80	0.00	⁺0.10	⁺15.00	80.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR085+6`^*	⁺3.60	TMO‑Non	TMO‑Non	⁺22.30	10.10	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO284+1`^*	⁺0.00	0.10	⁺0.30	⁺19.90	0.40	9.30	2.50	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM859+1`^*	⁺1.60	0.60	⁺1.10	⁺291.40	14.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO274+1`^*	⁺0.10	0.20	⁺0.40	GUP‑Non	TMO‑Non	2.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV476+1`	⁺2.60	5.40	⁺11.60	⁺51.80	108.80	TMO‑Non	TMO‑Non	3.30	TMO‑Non	GUP‑Non	⁺37.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`HAL004+1`	⁺6.50	1.90	⁺2.80	⁺39.90	TMO‑Non	13.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV468+1`	⁺2.40	TMO‑Non	TMO‑Non	⁺9.00	56.10	1.00	TMO‑Non	1.00	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SWV477+1`	⁺2.60	5.20	⁺11.40	⁺51.70	245.70	TMO‑Non	TMO‑Non	3.50	TMO‑Non	GUP‑Non	⁺37.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SWV465+1`	⁺0.30	9.40	⁺16.80	⁺15.90	TMO‑Non	0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`GEO088+1`	⁺17.00	TMO‑Non	TMO‑Non	⁺24.50	1.40	TMO‑Non	TMO‑Non	TMO‑Non	⁺87.10	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL006+1`	⁺0.70	0.20	⁺0.40	⁺14.80	TMO‑Non	5.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV449+1`	⁺0.20	0.10	⁺0.20	⁺10.00	TMO‑Non	0.20	TMO‑Non	2.70	TMO‑Non	GUP‑Non	⁺15.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`GEO280+1`^*	⁺0.30	4.40	⁺8.80	GUP‑Non	TMO‑Non	86.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO294+1`^*	⁺3.30	0.20	⁺0.50	GUP‑Non	75.50	2.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO282+1`^*	⁺0.10	3.10	⁺5.90	GUP‑Non	TMO‑Non	19.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO298+1`^*	⁺0.30	13.60	⁺21.90	GUP‑Non	12.10	2.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO270+1`^*	⁺13.90	41.10	⁺65.10	GUP‑Non	38.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺25.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV478+1`	⁺4.80	5.70	⁺11.90	⁺15.10	180.00	1.10	TMO‑Non	3.40	TMO‑Non	TMO‑Non	⁺35.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SWV470+1`	⁺25.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	2.40	TMO‑Non	3.00	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SWV462+1`	⁺2.10	TMO‑Non	TMO‑Non	⁺172.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`SET098+1`	⁺0.90	3.40	⁺7.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV459+1`	⁺3.00	TMO‑Non	TMO‑Non	⁺190.20	TMO‑Non	TMO‑Non	TMO‑Non	3.70	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`GEO332+1`^*	⁺19.90	4.70	⁺8.90	GUP‑Non	TMO‑Non	30.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM860+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	206.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺49.50	UNK‑Non	⁺74.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO321+1`^*	⁺20.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	4.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR101+1`^*	⁺0.80	9.60	⁺15.40	⁺19.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR118+1`^*	⁺1.50	8.60	⁺12.70	⁺92.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR082+1`^*	⁺1.50	11.00	⁺17.30	⁺126.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR109+1`^*	⁺5.60	26.00	⁺42.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR118+4`^*	⁺1.20	18.30	⁺23.60	⁺122.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO308+1`^*	⁺20.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	2.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO336+1`^*	⁺220.90	4.60	⁺8.60	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO306+1`^*	⁺1.30	0.20	⁺0.60	GUP‑Non	37.40	138.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN076+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`TOP024+2`	⁺111.40	45.50	⁺57.60	⁺228.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV489+3`	⁺14.30	0.30	⁺0.60	⁺154.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺76.80	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR011+1`	⁺2.70	39.20	⁺89.30	⁺38.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV037+1`	⁺13.80	TMO‑Non	TMO‑Non	⁺85.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`GEO292+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	56.00	4.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR118+6`^*	⁺2.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR081+4`^*	⁺34.80	32.10	⁺43.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO295+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	4.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR083+5`^*	⁺2.20	13.40	⁺15.60	⁺116.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR101+2`^*	⁺0.90	71.50	⁺89.80	⁺278.00	57.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR076+4`^*	⁺2.50	8.50	⁺13.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR092+4`^*	⁺11.70	17.20	⁺22.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO296+1`^*	TMO‑Non	56.20	⁺86.70	GUP‑Non	TMO‑Non	27.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO291+1`^*	⁺41.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	2.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR118+5`^*	⁺25.60	TMO‑Non	TMO‑Non	TMO‑Non	118.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR094+5`^*	⁺10.90	TMO‑Non	TMO‑Non	TMO‑Non	194.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO281+1`^*	⁺20.80	TMO‑Non	TMO‑Non	GUP‑Non	15.50	85.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP644+3`	⁺34.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`LCL481+1`	⁺5.00	TMO‑Non	TMO‑Non	⁺286.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`GEO288+1`^*	TMO‑Non	2.40	⁺3.80	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO333+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	91.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM861+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	138.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	⁺162.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR089+2`^*	⁺4.50	63.90	⁺83.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR096+6`^*	⁺206.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO276+1`^*	⁺63.40	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	219.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO319+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO289+1`^*	⁺106.50	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR079+3`^*	⁺106.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR089+5`^*	⁺0.80	129.20	⁺145.30	⁺287.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GEO283+1`^*	⁺20.30	TMO‑Non	TMO‑Non	GUP‑Non	16.00	36.20	TMO‑Non	TMO‑Non	⁺30.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO286+1`^*	⁺20.20	TMO‑Non	TMO‑Non	GUP‑Non	4.70	34.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM862+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	⁺69.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO279+1`^*	⁺58.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SEU252+2`	TMO‑Non	TMO‑Non	TMO‑Non	⁺149.30	7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`HAL001+2`	⁺21.00	TMO‑Non	TMO‑Non	⁺42.50	TMO‑Non	60.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LCL564+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺274.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`LAT292+3`	⁺25.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
Solved	178/200	143/200	143/200	125/200	117/200	108/200	90/200	81/200	54/200	46/200	45/200	42/200	36/200	32/200	18/200	15/200	0/200
Av. CPU Time	14.16	10.20	14.77	44.92	25.55	17.40	18.09	25.29	42.61	36.03	45.01	22.74	32.68	24.27	9.30	3.89	-
Solutions	178/200	0/200	143/200	125/200	0/200	0/200	0/200	0/200	54/200	45/200	45/200	42/200	36/200	0/200	18/200	15/200	0/200
μEfficiency	528.47	393.78	357.63	300.04	347.66	301.30	275.03	178.95	87.43	110.74	43.50	133.09	76.86	68.86	46.42	68.43	-
SOTAC	0.22	0.16	0.16	0.16	0.15	0.19	0.12	0.13	0.11	0.11	0.12	0.18	0.10	0.11	0.09	0.10	-
New Solved	53/63	41/63	41/63	18/63	31/63	29/63	11/63	7/63	8/63	1/63	3/63	9/63	3/63	1/63	3/63	1/63	0/63

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

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

Results for FNT

FNT	Paradox 3.0	Paradox 4.0	iProver‑SAT 0.8	Geo 2010C	Equinox 5.0	E 1.2pre	EP 1.2pre	iProver‑Eq 0.6	E‑Darwin 1.3	E‑KRHyper 1.1.4	Metis 2.2	Ayane 2
`PLA027+1`	⁺0.10	⁺0.10	⁺0.60	⁺0.60	3.80	TMO‑Non	TMO‑Non	3.30	⁺7.20	0.20	TMO‑Non	TMO‑Non
`NLP072+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.90	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	112.00	⁺0.30	TMO‑Non
`NLP237+1`	⁺0.20	⁺0.20	0.10	⁺0.20	0.40	0.10	⁺0.20	0.40	⁺0.40	21.40	⁺5.30	TMO‑Non
`NLP071+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺3.50	0.40	0.00	⁺0.10	TMO‑Non	TMO‑Non	120.20	⁺0.20	TMO‑Non
`NLP028+1`	⁺0.10	⁺0.10	0.00	⁺0.00	0.70	0.20	⁺0.30	0.20	⁺1.80	TMO‑Non	TMO‑Non	TMO‑Non
`NLP181+1`	⁺0.30	⁺0.20	⁺63.00	⁺0.40	0.90	0.10	⁺0.20	TMO‑Non	⁺1.30	5.20	TMO‑Non	TMO‑Non
`LCL663+1.005`	⁺0.10	⁺0.10	0.10	⁺0.00	0.10	26.20	⁺30.00	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP075+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺12.60	0.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	282.10	⁺0.30	TMO‑Non
`LCL667+1.005`	⁺0.10	⁺0.10	0.10	⁺0.10	9.20	3.70	⁺4.70	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP089+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺8.90	0.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	191.40	⁺0.50	TMO‑Non
`NLP029+1`	⁺0.10	⁺0.10	0.10	⁺0.00	0.30	0.20	⁺0.30	0.20	⁺1.90	1.90	⁺0.00	TMO‑Non
`NLP182+1`	⁺0.30	⁺0.20	⁺62.80	⁺0.30	0.90	0.10	⁺0.20	TMO‑Non	⁺1.60	4.60	TMO‑Non	TMO‑Non
`NLP162+1`	⁺0.20	⁺0.20	0.60	⁺0.20	0.20	0.60	⁺0.80	1.60	⁺0.40	TMO‑Non	⁺0.30	TMO‑Non
`NLP074+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.70	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	116.80	⁺0.30	TMO‑Non
`NLP168+1`	⁺0.20	⁺0.20	0.70	⁺0.20	0.20	0.60	⁺0.80	1.50	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non
`NLP187+1`	⁺0.20	⁺0.20	⁺62.20	⁺0.40	0.90	0.10	⁺0.20	TMO‑Non	⁺1.70	9.70	TMO‑Non	TMO‑Non
`NLP197+1`	⁺0.30	⁺0.20	0.20	⁺0.30	0.30	0.80	⁺1.00	0.60	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`NLP076+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.80	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	114.60	⁺0.20	TMO‑Non
`PLA024+1`	⁺0.10	⁺0.10	⁺0.20	⁺0.30	1.40	TMO‑Non	TMO‑Non	1.00	⁺3.70	0.10	TMO‑Non	TMO‑Non
`NLP091+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.80	0.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	184.90	⁺0.50	TMO‑Non
`NLP195+1`	⁺0.30	⁺0.20	1.30	⁺0.30	0.30	0.70	⁺0.90	2.50	⁺0.50	TMO‑Non	⁺0.80	TMO‑Non
`NLP093+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.50	0.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	217.30	⁺0.40	TMO‑Non
`NLP161+1`	⁺0.20	⁺0.20	0.80	⁺0.20	0.20	1.30	⁺1.60	1.80	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non
`NLP087+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.30	0.60	0.00	⁺0.10	TMO‑Non	TMO‑Non	222.40	⁺0.30	TMO‑Non
`LCL649+1.010`	⁺1.30	⁺1.10	⁺0.30	⁺2.50	TMO‑Non	TMO‑Non	TMO‑Non	1.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP189+1`	⁺0.30	⁺0.20	⁺63.50	⁺0.40	0.90	0.10	⁺0.20	TMO‑Non	⁺1.90	9.20	TMO‑Non	TMO‑Non
`NLP192+1`	⁺0.30	⁺0.20	⁺2.30	⁺0.30	0.30	0.60	⁺0.80	2.40	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`NLP082+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺8.50	0.60	0.00	⁺0.10	TMO‑Non	TMO‑Non	191.10	⁺0.30	TMO‑Non
`NLP165+1`	⁺0.20	⁺0.20	0.90	⁺0.20	0.20	3.00	⁺3.40	1.80	⁺0.40	TMO‑Non	⁺0.40	TMO‑Non
`NLP184+1`	⁺0.30	⁺0.20	⁺61.90	⁺0.40	0.80	0.10	⁺0.20	TMO‑Non	⁺1.90	6.30	TMO‑Non	TMO‑Non
`MED004+1`	⁺0.00	⁺0.00	⁺0.30	⁺0.00	0.50	TMO‑Non	TMO‑Non	130.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP180+1`	⁺0.30	⁺0.20	⁺64.30	⁺0.40	0.90	0.10	⁺0.20	TMO‑Non	⁺1.90	9.60	TMO‑Non	TMO‑Non
`NLP194+1`	⁺0.30	⁺0.20	⁺1.90	⁺0.30	0.30	0.60	⁺0.80	2.30	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`NLP078+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.70	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	107.10	⁺0.20	TMO‑Non
`NLP199+1`	⁺0.30	⁺0.20	0.20	⁺0.20	0.30	0.60	⁺0.80	0.60	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`NLP092+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.00	0.70	0.00	⁺0.10	TMO‑Non	TMO‑Non	222.80	⁺0.40	TMO‑Non
`LCL649+1.005`	⁺0.10	⁺0.10	0.10	⁺0.00	9.20	0.80	⁺1.20	0.20	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non
`NLP086+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.00	0.60	0.00	⁺0.10	TMO‑Non	TMO‑Non	197.80	⁺0.30	TMO‑Non
`NLP163+1`	⁺0.20	⁺0.20	⁺1.50	⁺0.30	0.20	0.80	⁺1.00	3.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP069+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.80	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	109.50	⁺0.20	TMO‑Non
`NLP160+1`	⁺0.20	⁺0.20	0.60	⁺0.20	0.20	0.80	⁺0.90	1.50	⁺0.40	TMO‑Non	⁺0.30	TMO‑Non
`NLP083+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺8.50	0.60	0.00	⁺0.10	TMO‑Non	TMO‑Non	184.90	⁺0.30	TMO‑Non
`NLP198+1`	⁺0.30	⁺0.20	0.20	⁺0.30	0.30	0.70	⁺0.90	0.60	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`NLP188+1`	⁺0.20	⁺0.20	⁺62.70	⁺0.40	0.80	0.10	⁺0.20	TMO‑Non	⁺1.50	6.10	TMO‑Non	TMO‑Non
`PLA026+1`	⁺0.20	⁺0.10	⁺1.10	⁺3.90	6.00	TMO‑Non	TMO‑Non	7.80	⁺63.40	0.20	TMO‑Non	TMO‑Non
`NLP070+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.80	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	120.10	⁺0.20	TMO‑Non
`LCL667+1.010`	⁺1.30	⁺1.10	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	2.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP183+1`	⁺0.30	⁺0.20	⁺65.70	⁺0.50	0.90	0.20	⁺0.30	TMO‑Non	⁺1.80	5.80	TMO‑Non	TMO‑Non
`NLP190+1`	⁺0.30	⁺0.20	⁺2.50	⁺0.30	0.30	1.40	⁺1.60	2.60	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`NLP085+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.40	0.60	0.00	⁺0.10	TMO‑Non	TMO‑Non	193.60	⁺0.30	TMO‑Non
`SYN545+1`	⁺0.70	⁺0.50	⁺0.30	TMO‑Non	9.20	TMO‑Non	TMO‑Non	52.30	⁺0.90	5.10	TMO‑Non	TMO‑Non
`NLP077+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.80	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	133.40	⁺0.20	TMO‑Non
`SYN547+1`	⁺0.70	⁺0.60	⁺0.20	TMO‑Non	6.00	0.40	⁺0.60	1.80	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non
`NLP073+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.80	0.30	0.00	⁺0.10	TMO‑Non	TMO‑Non	113.80	⁺0.20	TMO‑Non
`SYN441+1`	⁺0.40	⁺0.30	⁺0.50	TMO‑Non	12.60	TMO‑Non	TMO‑Non	1.30	⁺7.10	77.20	TMO‑Non	TMO‑Non
`NLP186+1`	⁺0.30	⁺0.20	⁺65.00	⁺0.40	0.90	0.10	⁺0.20	TMO‑Non	⁺1.60	5.10	TMO‑Non	TMO‑Non
`PLA025+1`	⁺0.40	⁺0.30	⁺34.60	⁺23.80	95.90	TMO‑Non	TMO‑Non	173.40	⁺48.50	0.50	TMO‑Non	TMO‑Non
`NLP185+1`	⁺0.20	⁺0.20	⁺62.70	⁺0.40	0.80	0.10	⁺0.20	TMO‑Non	⁺1.50	6.30	TMO‑Non	TMO‑Non
`SYN435+1`	⁺0.20	⁺0.20	⁺0.10	TMO‑Non	1.80	TMO‑Non	TMO‑Non	0.70	⁺0.20	1.00	TMO‑Non	TMO‑Non
`NLP084+1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.90	0.60	0.00	⁺0.10	TMO‑Non	TMO‑Non	180.40	⁺0.30	TMO‑Non
`LCL643+1.015`	⁺0.40	⁺0.30	⁺0.30	⁺0.10	8.60	0.30	⁺0.50	1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP396+1`	⁺0.00	⁺0.00	⁺1.30	⁺0.00	0.00	0.00	⁺0.10	0.20	⁺0.00	0.00	⁺0.00	TMO‑Non
`SYN428+1`	⁺0.90	⁺0.70	⁺2.20	TMO‑Non	243.70	TMO‑Non	TMO‑Non	8.80	⁺2.10	TMO‑Non	TMO‑Non	TMO‑Non
`SWV484+2`	GUP‑Non	GUP‑Non	TMO‑Non	TMO‑Non	233.50	1.90	⁺2.10	TMO‑Non	⁺78.50	TMO‑Non	⁺34.50	TMO‑Non
`LCL669+1.001`	⁺0.10	⁺0.10	⁺0.30	⁺0.00	82.30	TMO‑Non	TMO‑Non	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS048+1`	⁺0.10	⁺0.00	⁺62.60	⁺0.00	0.90	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non
`SYN434+1`	⁺0.20	⁺0.20	⁺0.20	TMO‑Non	4.80	TMO‑Non	TMO‑Non	1.00	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non
`KRS049+1`	⁺0.00	⁺0.00	⁺61.20	⁺0.00	1.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non
`LCL643+1.001`	⁺0.10	⁺0.10	⁺0.30	⁺0.00	0.10	0.20	⁺0.40	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT038+2`	⁺0.10	⁺0.10	⁺61.90	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺39.00	0.10	TMO‑Non	TMO‑Non
`SYN463+1`	⁺0.20	⁺0.20	⁺0.20	TMO‑Non	2.40	7.10	⁺10.30	0.60	⁺0.30	246.20	TMO‑Non	TMO‑Non
`NUM450+1`	⁺0.10	⁺0.10	⁺0.40	⁺0.00	2.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA026+1`	⁺150.90	⁺143.70	⁺77.10	TMO‑Non	5.80	TMO‑Non	TMO‑Non	207.90	TMO‑Non	8.40	TMO‑Non	TMO‑Non
`NUM449+1`	⁺0.10	⁺0.10	⁺0.20	⁺0.00	4.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR111+2`	TMO‑Non	TMO‑Non	⁺99.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	29.40	⁺52.20	TMO‑Non
`NUM445+1`	⁺0.10	⁺0.10	⁺0.30	⁺0.00	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL641+1.005`	⁺0.20	⁺0.20	⁺0.50	⁺1.50	2.70	0.10	⁺0.20	1.90	TMO‑Non	0.70	TMO‑Non	TMO‑Non
`NUM445+5`	⁺0.20	⁺0.20	⁺66.20	⁺0.80	22.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN453+1`	⁺0.40	⁺0.30	⁺0.20	TMO‑Non	8.60	TMO‑Non	TMO‑Non	1.50	⁺16.80	TMO‑Non	TMO‑Non	TMO‑Non
`NUM439+1`	⁺0.20	⁺0.20	⁺88.80	⁺6.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP196+1`	⁺0.30	⁺0.20	0.20	⁺0.30	0.30	1.40	⁺1.70	0.60	⁺0.40	TMO‑Non	⁺0.80	TMO‑Non
`LAT385+1`	⁺0.10	⁺0.10	⁺62.80	⁺0.10	20.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non
`GRA024+1`	⁺2.50	⁺2.40	⁺31.50	⁺14.80	0.40	TMO‑Non	TMO‑Non	4.20	⁺14.60	0.20	TMO‑Non	TMO‑Non
`PRO013+3`	⁺0.30	⁺0.20	⁺88.10	⁺1.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN456+1`	⁺0.20	⁺0.20	⁺0.10	TMO‑Non	4.40	TMO‑Non	TMO‑Non	0.70	⁺22.10	TMO‑Non	TMO‑Non	TMO‑Non
`PRO007+3`	⁺0.60	⁺0.40	⁺296.10	⁺4.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN542+1`	⁺0.30	⁺0.20	⁺1.40	TMO‑Non	18.10	TMO‑Non	TMO‑Non	3.70	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non
`NUM446+1`	⁺0.20	⁺0.10	⁺0.20	⁺0.10	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL683+1.001`	⁺0.00	⁺0.00	⁺0.40	⁺0.00	5.60	TMO‑Non	TMO‑Non	0.30	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non
`PRO008+2`	⁺0.40	⁺0.30	⁺174.60	⁺2.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN449+1`	⁺0.40	⁺0.40	⁺0.20	TMO‑Non	2.80	TMO‑Non	TMO‑Non	0.90	⁺4.30	TMO‑Non	TMO‑Non	TMO‑Non
`NUM440+1`	⁺0.20	⁺0.20	⁺65.60	⁺6.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP191+1`	⁺0.30	⁺0.20	⁺2.40	⁺0.50	0.30	0.60	⁺0.80	5.40	⁺66.20	TMO‑Non	TMO‑Non	TMO‑Non
`HAL005+1`	⁺0.90	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN464+1`	⁺0.30	⁺0.20	⁺0.20	TMO‑Non	5.20	TMO‑Non	TMO‑Non	1.40	⁺50.80	TMO‑Non	TMO‑Non	TMO‑Non
`SWV482+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.90	⁺1.10	TMO‑Non	⁺23.30	TMO‑Non	⁺6.80	TMO‑Non
`LCL653+1.001`	⁺0.10	⁺0.10	⁺2.50	⁺1.10	23.50	1.90	⁺2.10	TMO‑Non	⁺5.30	0.90	TMO‑Non	TMO‑Non
`PRO007+4`	⁺0.30	⁺0.30	⁺152.30	⁺1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP193+1`	⁺0.30	⁺0.20	⁺2.50	⁺0.50	0.30	0.70	⁺0.90	5.80	⁺131.00	TMO‑Non	TMO‑Non	TMO‑Non
`COM014+1`	⁺0.10	⁺0.10	⁺62.30	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN546+1`	⁺0.70	⁺0.50	⁺0.50	TMO‑Non	24.50	5.80	⁺6.60	2.30	⁺1.10	30.00	TMO‑Non	TMO‑Non
`NUM441+1`	⁺0.20	⁺0.20	⁺124.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA025+1`	⁺13.40	⁺12.90	⁺31.00	⁺94.20	0.90	TMO‑Non	TMO‑Non	96.90	TMO‑Non	0.90	TMO‑Non	TMO‑Non
`RNG110+4`	⁺0.20	⁺0.20	⁺71.40	⁺69.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN426+1`	⁺1.00	⁺0.80	⁺9.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	59.10	⁺3.70	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+2`	⁺0.20	⁺0.20	⁺73.80	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC014+1`	TMO‑Non	TMO‑Non	0.10	⁺0.10	0.20	0.00	⁺0.10	0.20	⁺0.10	0.00	⁺0.40	TMO‑Non
`PRO013+4`	⁺0.20	⁺0.20	⁺67.80	⁺1.00	5.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC013+1`	TMO‑Non	TMO‑Non	⁺0.20	⁺0.90	0.90	0.00	⁺0.10	0.30	⁺0.20	0.00	⁺8.70	TMO‑Non
`PRO007+2`	⁺0.40	⁺0.30	⁺129.40	⁺1.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN427+1`	⁺1.10	⁺0.90	⁺5.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	69.10	⁺2.80	TMO‑Non	TMO‑Non	TMO‑Non
`PRO013+1`	⁺0.20	⁺0.20	⁺139.10	⁺1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL685+1.005`	⁺0.20	⁺0.20	⁺0.20	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT387+1`	⁺0.10	⁺0.10	⁺62.60	⁺0.70	2.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non
`SYN423+1`	⁺0.80	⁺0.70	⁺4.50	TMO‑Non	40.70	2.00	⁺2.50	63.20	⁺1.10	TMO‑Non	TMO‑Non	TMO‑Non
`LAT384+1`	⁺0.10	⁺0.10	⁺63.30	⁺0.10	92.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non
`SYN420+1`	⁺0.80	⁺0.60	⁺0.20	TMO‑Non	8.60	1.10	⁺1.50	1.40	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non
`NUM447+1`	⁺0.10	⁺0.10	⁺37.10	⁺0.20	19.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN419+1`	⁺0.40	⁺0.40	⁺0.50	TMO‑Non	12.00	2.80	⁺3.80	1.20	⁺0.60	163.80	TMO‑Non	TMO‑Non
`LCL577+1`	⁺0.20	⁺0.10	⁺74.30	⁺47.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN429+1`	⁺0.90	⁺0.70	⁺0.30	TMO‑Non	TMO‑Non	3.30	⁺4.00	12.60	⁺1.50	26.80	TMO‑Non	TMO‑Non
`COM014+4`	⁺0.10	⁺0.10	⁺65.00	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP169+1`	⁺0.20	⁺0.20	0.60	⁺0.20	0.20	3.50	⁺4.30	1.50	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non
`PRO007+1`	⁺0.40	⁺0.30	TMO‑Non	⁺4.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP167+1`	⁺0.20	⁺0.20	1.10	⁺0.20	0.20	3.20	⁺3.80	1.80	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non
`NUM448+1`	⁺0.20	⁺0.10	⁺0.30	⁺0.10	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL671+1.001`	⁺0.10	⁺0.00	⁺0.80	⁺0.10	12.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT383+1`	⁺0.10	⁺0.10	⁺62.80	⁺0.10	22.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non
`LCL675+1.005`	TMO‑Non	TMO‑Non	33.80	⁺158.30	10.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺88.80	TMO‑Non	⁺1.80	TMO‑Non
`SWV483+2`	GUP‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	18.90	⁺19.00	TMO‑Non	⁺92.70	TMO‑Non	⁺112.40	TMO‑Non
`MSC016+1`	⁺11.50	⁺9.70	4.40	TMO‑Non	TMO‑Non	0.00	⁺0.10	3.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT066+1`	⁺0.00	⁺0.00	⁺0.30	⁺0.00	0.00	TMO‑Non	TMO‑Non	1.20	⁺0.00	0.00	TMO‑Non	TMO‑Non
`SWV440+1`	⁺0.20	⁺0.10	0.50	⁺7.20	UNK‑Non	0.00	⁺0.10	0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS051+1`	⁺0.40	⁺0.30	⁺105.60	⁺7.00	2.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN335+1`	⁺58.70	⁺61.80	0.00	TMO‑Non	TMO‑Non	0.00	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG110+1`	⁺0.20	UNK‑Non	⁺66.00	⁺195.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP166+1`	⁺0.20	⁺0.20	1.10	⁺0.20	0.20	3.60	⁺4.00	1.90	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non
`HAL003+1`	⁺0.50	⁺0.90	⁺121.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL683+1.005`	⁺0.30	⁺0.20	⁺44.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL569+1`	⁺0.20	⁺0.10	⁺68.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL665+1.005`	⁺0.30	⁺0.20	0.20	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV238+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	109.00	⁺107.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV439+1`	⁺0.20	⁺0.10	0.60	⁺59.60	UNK‑Non	0.00	⁺0.10	1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL578+1`	⁺0.30	⁺0.20	⁺141.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO230+3`	⁺0.10	⁺0.10	⁺60.20	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV483+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	17.30	⁺18.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺106.80	TMO‑Non
`GEO260+3`	⁺0.10	⁺0.10	⁺61.00	⁺35.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV484+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	1.20	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺31.90	TMO‑Non
`LCL681+1.005`	⁺0.10	⁺0.10	⁺61.30	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HAL003+2`	⁺1.20	⁺1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL667+1.020`	⁺14.30	⁺11.90	⁺30.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL679+1.010`	⁺0.30	⁺0.20	⁺62.10	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO212+3`	⁺0.10	⁺0.10	⁺60.30	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO224+2`	⁺0.00	⁺0.00	⁺61.80	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL661+1.010`	⁺0.30	⁺0.20	⁺12.60	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO228+3`	⁺0.10	⁺0.10	⁺60.30	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL687+1.015`	⁺5.50	⁺1.70	⁺63.70	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL687+1.001`	⁺0.00	⁺0.00	⁺18.00	⁺0.00	UNK‑Non	TMO‑Non	TMO‑Non	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO214+3`	⁺0.10	⁺0.10	⁺60.40	⁺0.40	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL679+1.005`	⁺0.10	⁺0.10	⁺61.10	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO213+3`	⁺0.00	⁺0.00	⁺60.50	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO254+3`	⁺0.10	⁺0.10	⁺60.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO229+3`	⁺0.10	⁺0.10	⁺60.40	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO215+3`	⁺0.10	⁺0.10	⁺60.80	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO224+1`	⁺0.00	⁺0.00	⁺62.30	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.005`	⁺0.70	⁺0.60	⁺67.80	⁺299.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL659+1.010`	⁺0.40	⁺0.30	TMO‑Non	⁺106.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL655+1.010`	⁺1.00	⁺0.90	⁺73.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.020`	⁺37.70	⁺27.90	⁺84.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL665+1.015`	⁺2.40	⁺2.20	15.20	⁺23.60	TMO‑Non	TMO‑Non	TMO‑Non	29.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL661+1.020`	⁺0.70	⁺0.60	⁺13.80	⁺2.40	TMO‑Non	TMO‑Non	TMO‑Non	32.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL679+1.015`	⁺0.60	⁺0.50	⁺63.10	⁺2.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`LCL657+1.005`	TMO‑Non	TMO‑Non	27.40	⁺97.10	TMO‑Non	TMO‑Non	TMO‑Non	37.80	⁺76.10	TMO‑Non	TMO‑Non	TMO‑Non
`LCL641+1.020`	⁺1.80	⁺1.50	⁺141.70	TMO‑Non	103.60	14.80	⁺14.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL677+1.020`	⁺0.70	⁺0.60	⁺61.00	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL673+1.005`	⁺0.90	⁺0.80	⁺63.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL689+1.015`	⁺39.10	⁺32.50	⁺67.70	⁺11.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL637+1.005`	TMO‑Non	TMO‑Non	⁺31.80	⁺68.50	95.80	TMO‑Non	TMO‑Non	TMO‑Non	⁺75.00	32.60	TMO‑Non	TMO‑Non
`LCL677+1.005`	⁺0.20	⁺0.20	⁺60.60	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL669+1.005`	⁺1.00	⁺0.90	⁺1.40	⁺252.10	TMO‑Non	TMO‑Non	TMO‑Non	3.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL689+1.005`	⁺1.50	⁺1.30	⁺62.50	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL679+1.020`	⁺1.20	⁺1.00	⁺61.10	⁺9.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	UNK‑Non
`LCL661+1.015`	⁺0.40	⁺0.40	⁺7.70	⁺8.10	TMO‑Non	TMO‑Non	TMO‑Non	11.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL649+1.020`	⁺14.20	⁺12.00	⁺28.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA018+1`	⁺0.40	⁺0.40	TMO‑Non	TMO‑Non	15.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL671+1.020`	⁺60.30	⁺49.80	⁺62.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL677+1.015`	⁺0.40	⁺0.40	⁺60.80	⁺3.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL653+1.010`	⁺4.00	⁺3.40	⁺67.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL671+1.010`	⁺6.10	⁺5.30	⁺62.00	⁺183.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL651+1.015`	⁺14.00	⁺11.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL665+1.020`	⁺4.70	⁺4.20	41.30	⁺87.40	TMO‑Non	TMO‑Non	TMO‑Non	102.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL683+1.015`	⁺2.40	⁺2.20	⁺63.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL651+1.020`	⁺32.10	⁺25.90	⁺72.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL669+1.010`	⁺5.90	⁺4.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL659+1.015`	⁺0.70	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL639+1.020`	⁺4.40	⁺4.00	⁺149.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL639+1.015`	⁺2.40	⁺2.20	⁺116.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL659+1.020`	⁺1.30	⁺1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL673+1.010`	⁺3.80	⁺3.30	⁺78.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL685+1.020`	⁺21.10	⁺17.90	⁺21.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	207.90	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
Solved	168/200	167/200	165/200	144/200	111/200	80/200	80/200	78/200	71/200	59/200	48/200	0/200
Av. CPU Time	3.34	2.96	39.22	14.30	12.21	3.08	3.37	17.85	13.52	68.35	7.83	-
Solutions	168/200	167/200	136/200	144/200	0/200	0/200	80/200	0/200	71/200	0/200	48/200	0/200
μEfficiency	733.84	737.03	329.75	491.58	370.68	330.86	322.50	230.21	223.83	103.77	200.52	-
SOTAC	0.20	0.20	0.19	0.18	0.14	0.14	0.14	0.14	0.13	0.14	0.15	-
New Solved	0/0	0/0	0/0	0/0	0/0	0/0	0/0	0/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 EPR UEQ LTB TFA TNE TEQ FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC MZR SMO

Results for CNF

CNF	Vampire 0.6	Vampire 10.0	E 1.2pre	iProver 0.8	Equinox 5.0	E‑Darwin 1.3	iProver‑Eq 0.6	E‑KRHyper 1.1.4	LEO‑II 1.2	Otter 3.3	Geo 2010C	Metis 2.2	Ayane 2
`RNG008‑1`	⁺2.00	⁺2.70	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺0.70	⁺2.20	TMO‑Non	TMO‑Non
`SYN597‑1`	⁺0.00	⁺60.20	TMO‑Non	0.10	0.10	7.10	0.70	TMO‑Non	UNK‑Non	GUP‑Non	⁺1.60	TMO‑Non	TMO‑Non
`LCL802‑1`^*	⁺0.10	⁺0.00	0.00	0.10	0.80	0.50	1.80	0.30	⁺75.80	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV006‑1`	⁺11.20	⁺0.10	0.00	0.10	1.30	0.30	0.70	0.10	UNK‑Non	⁺0.30	TMO‑Non	⁺0.30	TMO‑Non
`GRP070‑1`	⁺0.00	⁺0.10	0.00	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺44.00	GUP‑Non	TMO‑Non	⁺8.50	TMO‑Non
`RNG037‑1`	⁺1.40	⁺0.10	0.00	1.10	10.80	3.20	TMO‑Non	0.50	UNK‑Non	⁺0.30	⁺0.20	TMO‑Non	TMO‑Non
`LCL040‑1`	⁺47.40	⁺2.20	0.00	TMO‑Non	TMO‑Non	6.40	TMO‑Non	110.10	⁺5.80	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV972‑1`^*	⁺0.40	⁺0.00	0.10	0.10	0.80	0.60	1.50	1.10	UNK‑Non	⁺2.30	TMO‑Non	TMO‑Non	TMO‑Non
`SET010‑1`	⁺13.70	⁺0.40	0.20	1.60	0.60	0.30	1.20	TMO‑Non	⁺169.80	⁺82.40	⁺154.30	⁺9.20	TMO‑Non
`GRP051‑1`	⁺0.70	⁺7.70	3.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`ROB014‑2`	⁺0.50	⁺11.50	0.40	TMO‑Non	19.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL056‑1`	⁺8.70	⁺0.30	4.20	32.50	TMO‑Non	0.50	5.70	7.20	⁺36.00	⁺0.50	TMO‑Non	⁺33.00	TMO‑Non
`MGT062‑1`	⁺0.40	⁺0.00	0.00	0.90	0.20	80.70	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺1.90	⁺0.40	TMO‑Non
`SWV305‑2`	⁺0.00	⁺0.00	0.00	0.10	0.20	TMO‑Non	0.10	0.00	UNK‑Non	⁺0.30	⁺46.50	⁺0.00	UNK‑Non
`GRP065‑1`	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.20	GUP‑Non	TMO‑Non	⁺12.30	TMO‑Non
`ROB015‑2`	⁺77.30	⁺15.30	6.10	TMO‑Non	90.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN640‑1`	⁺0.50	⁺18.00	273.20	0.10	0.40	TMO‑Non	0.80	19.40	TMO‑Non	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non
`SET819‑1`	⁺0.00	⁺0.10	0.00	0.20	5.00	0.30	1.10	0.30	UNK‑Non	⁺3.20	TMO‑Non	⁺1.40	⁺26.40
`SYN313‑1.001.002`	⁺0.00	⁺0.10	0.00	0.30	TMO‑Non	TMO‑Non	0.30	TMO‑Non	UNK‑Non	⁺0.50	⁺0.50	⁺1.10	TMO‑Non
`GRP105‑1`	⁺0.20	⁺0.20	0.10	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺27.30	GUP‑Non	TMO‑Non	⁺3.00	TMO‑Non
`HEN009‑6`	⁺0.10	⁺0.00	0.10	TMO‑Non	TMO‑Non	0.50	TMO‑Non	TMO‑Non	⁺3.60	⁺0.40	⁺4.10	⁺3.10	TMO‑Non
`SYN629‑1`	⁺0.00	⁺68.40	2.80	0.10	0.20	2.40	1.00	16.70	UNK‑Non	TMO‑Non	⁺3.70	TMO‑Non	TMO‑Non
`RNG040‑1`	⁺0.00	⁺1.30	0.10	0.30	0.00	0.00	100.60	0.00	UNK‑Non	⁺0.30	⁺0.20	TMO‑Non	TMO‑Non
`FLD007‑3`	⁺0.10	⁺0.00	0.00	0.30	0.20	TMO‑Non	0.30	195.10	⁺18.40	⁺3.70	⁺1.00	TMO‑Non	TMO‑Non
`GRP278‑1`	⁺0.10	⁺7.20	0.10	TMO‑Non	TMO‑Non	0.50	7.50	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HEN004‑2`	⁺0.50	⁺0.00	0.10	20.60	TMO‑Non	TMO‑Non	TMO‑Non	296.40	⁺0.70	⁺0.30	⁺0.10	TMO‑Non	TMO‑Non
`LCL064‑1`	⁺19.00	⁺0.10	0.90	77.40	TMO‑Non	11.70	TMO‑Non	18.80	⁺3.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV266‑1`	⁺0.10	⁺0.10	0.10	0.20	1.20	0.60	1.50	0.40	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN692‑1`	⁺0.10	⁺0.10	0.00	0.10	0.20	TMO‑Non	0.80	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV571‑1.043`	⁺0.10	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺41.80	GUP‑Non	TMO‑Non	⁺2.90	TMO‑Non
`HEN003‑4`	⁺0.00	⁺0.00	0.00	0.20	1.10	0.10	TMO‑Non	0.00	⁺0.10	⁺0.30	⁺0.00	⁺0.10	TMO‑Non
`SYN704‑1`	⁺0.00	⁺0.30	0.40	0.10	2.50	TMO‑Non	0.50	TMO‑Non	UNK‑Non	⁺0.30	⁺31.90	⁺7.30	TMO‑Non
`LCL825‑1`^*	⁺0.00	⁺0.00	0.00	8.80	0.80	TMO‑Non	24.70	TMO‑Non	⁺112.10	GUP‑Non	TMO‑Non	⁺1.20	TMO‑Non
`SET055‑6`	⁺0.00	⁺0.00	0.00	0.00	9.20	TMO‑Non	0.60	11.80	⁺4.10	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV571‑1.046`	⁺0.10	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺52.20	GUP‑Non	TMO‑Non	⁺3.10	TMO‑Non
`HEN003‑2`	⁺11.80	⁺0.00	0.00	0.60	TMO‑Non	2.50	TMO‑Non	0.00	⁺0.50	⁺0.30	⁺0.10	TMO‑Non	TMO‑Non
`PLA019‑1`	⁺0.00	⁺0.00	0.00	3.10	TMO‑Non	2.00	0.20	TMO‑Non	⁺0.40	TMO‑Non	⁺34.20	TMO‑Non	TMO‑Non
`LCL763‑1`^*	⁺2.30	⁺50.30	0.10	0.30	4.10	0.90	4.90	0.40	⁺127.70	GUP‑Non	TMO‑Non	⁺3.30	TMO‑Non
`SWV292‑2`	⁺0.00	⁺0.00	0.00	0.00	0.60	2.00	0.20	0.10	UNK‑Non	⁺0.30	TMO‑Non	⁺78.40	TMO‑Non
`GRP056‑1`	⁺0.60	⁺6.30	5.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	⁺19.90	UNK‑Non
`COL098‑1`	⁺0.10	⁺0.00	0.10	0.20	1.30	0.20	15.70	0.10	UNK‑Non	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non
`LCL250‑1`	⁺10.80	⁺6.00	64.20	TMO‑Non	TMO‑Non	TMO‑Non	153.30	1.10	⁺44.60	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL773‑1`^*	⁺0.00	⁺0.10	0.00	0.40	1.40	27.20	8.10	2.60	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN796‑1`	⁺8.80	⁺1.50	0.10	1.10	2.10	132.50	0.60	0.40	UNK‑Non	TMO‑Non	⁺0.70	⁺33.60	TMO‑Non
`GRP748‑3`	⁺0.90	⁺26.30	0.00	TMO‑Non	248.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺5.70	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HEN006‑2`	⁺1.60	⁺0.00	0.00	TMO‑Non	39.90	233.00	TMO‑Non	38.50	UNK‑Non	⁺0.30	⁺11.90	TMO‑Non	TMO‑Non
`SYN647‑1`	⁺0.00	⁺0.20	0.10	0.10	0.20	TMO‑Non	0.80	23.20	TMO‑Non	⁺1.40	TMO‑Non	TMO‑Non	TMO‑Non
`SWV275‑2`	⁺0.90	⁺0.40	0.90	32.10	TMO‑Non	0.10	TMO‑Non	TMO‑Non	⁺13.70	GUP‑Non	⁺38.60	TMO‑Non	TMO‑Non
`SYN687‑1`	⁺0.80	⁺0.10	2.70	0.10	145.40	TMO‑Non	0.40	TMO‑Non	UNK‑Non	TMO‑Non	⁺28.50	⁺0.20	TMO‑Non
`GRP062‑1`	⁺6.20	⁺12.60	0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`ROB016‑1`	⁺0.10	⁺0.10	0.00	TMO‑Non	TMO‑Non	TMO‑Non	3.10	TMO‑Non	⁺0.60	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ040‑1`	⁺8.00	⁺11.30	0.00	2.40	148.30	TMO‑Non	22.10	0.60	⁺30.60	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non
`SET833‑1`	⁺0.10	⁺0.10	0.20	0.20	1.10	0.40	2.30	0.40	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN701‑1`	⁺0.10	⁺0.20	0.10	0.30	0.40	TMO‑Non	1.80	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL046‑1`	⁺0.30	⁺0.30	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺0.30	TMO‑Non	⁺1.80	TMO‑Non
`HEN010‑1`	⁺2.50	⁺0.10	4.30	TMO‑Non	TMO‑Non	273.80	TMO‑Non	TMO‑Non	⁺44.80	⁺0.40	⁺17.60	TMO‑Non	TMO‑Non
`PUZ039‑1`	⁺9.10	⁺11.60	3.90	0.30	12.50	TMO‑Non	2.80	2.30	UNK‑Non	⁺0.90	TMO‑Non	⁺95.70	TMO‑Non
`SET832‑1`	⁺0.10	⁺0.10	0.20	0.20	1.10	0.40	2.50	0.40	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD067‑1`	⁺2.30	⁺0.00	0.00	0.00	17.60	14.00	0.20	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.00	TMO‑Non	TMO‑Non
`LCL109‑3`	⁺0.80	⁺6.10	4.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺11.10	TMO‑Non	⁺46.50	TMO‑Non
`LAT005‑6`	TMO‑Non	TMO‑Non	52.40	TMO‑Non	10.80	0.90	TMO‑Non	0.40	UNK‑Non	⁺0.90	⁺91.40	TMO‑Non	TMO‑Non
`SYN601‑1`	⁺0.00	⁺0.00	TMO‑Non	0.10	0.10	7.00	0.90	TMO‑Non	UNK‑Non	GUP‑Non	⁺1.70	TMO‑Non	TMO‑Non
`SWV257‑1`	⁺0.10	⁺0.20	0.90	0.70	7.40	6.40	17.50	3.20	⁺253.60	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV248‑2`	⁺0.00	⁺0.00	0.00	0.20	0.70	TMO‑Non	0.20	TMO‑Non	⁺0.20	TMO‑Non	⁺125.40	TMO‑Non	TMO‑Non
`GRP082‑1`	⁺0.40	⁺2.80	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺60.00	GUP‑Non	TMO‑Non	⁺181.50	UNK‑Non
`PUZ016‑1`	⁺0.50	⁺28.50	0.00	TMO‑Non	8.20	0.10	TMO‑Non	0.50	UNK‑Non	⁺0.30	TMO‑Non	⁺0.40	TMO‑Non
`RNG001‑5`	⁺2.60	⁺0.50	11.60	13.80	TMO‑Non	0.30	TMO‑Non	TMO‑Non	UNK‑Non	⁺1.00	⁺0.00	TMO‑Non	TMO‑Non
`LCL795‑1`^*	⁺0.00	⁺50.40	0.10	0.90	1.60	3.00	TMO‑Non	TMO‑Non	⁺234.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET834‑2`	⁺0.30	⁺1.60	0.00	10.20	TMO‑Non	TMO‑Non	0.20	TMO‑Non	UNK‑Non	GUP‑Non	⁺3.60	⁺0.10	TMO‑Non
`SWC424‑1.002.002`^*	⁺154.40	⁺91.40	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	9.70	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non
`LCL201‑3`	⁺0.60	⁺0.00	4.70	146.60	TMO‑Non	2.10	TMO‑Non	80.00	⁺35.80	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL191‑1`	⁺16.60	⁺11.90	115.90	TMO‑Non	TMO‑Non	79.20	TMO‑Non	1.90	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL851‑1`^*	⁺0.00	⁺0.10	0.10	6.70	1.40	6.50	TMO‑Non	3.20	⁺215.90	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD060‑1`	⁺3.10	⁺0.20	4.10	0.10	TMO‑Non	0.50	1.80	TMO‑Non	UNK‑Non	TMO‑Non	⁺4.80	TMO‑Non	TMO‑Non
`GRP073‑1`	⁺0.20	⁺10.10	0.10	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL296‑3`	⁺0.20	⁺0.00	0.00	31.90	TMO‑Non	0.10	TMO‑Non	14.90	⁺1.00	⁺0.30	TMO‑Non	⁺1.20	TMO‑Non
`LCL103‑1`	⁺7.60	⁺19.40	2.00	TMO‑Non	TMO‑Non	TMO‑Non	72.00	223.70	UNK‑Non	⁺3.10	TMO‑Non	TMO‑Non	TMO‑Non
`LCL806‑1`^*	⁺0.10	⁺0.00	0.20	0.40	5.60	3.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN784‑1`	⁺8.80	⁺5.00	0.10	7.60	3.40	TMO‑Non	0.70	0.30	UNK‑Non	TMO‑Non	⁺3.80	TMO‑Non	TMO‑Non
`GRP342‑1`	⁺0.10	⁺44.00	0.30	TMO‑Non	TMO‑Non	2.30	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HEN011‑3`	⁺1.70	⁺0.60	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺24.50	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL127‑1`	TMO‑Non	⁺16.70	21.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	206.90	UNK‑Non	⁺7.10	TMO‑Non	TMO‑Non	TMO‑Non
`SWV955‑1`^*	⁺0.00	⁺0.00	0.10	30.90	TMO‑Non	6.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN036‑1`	⁺4.60	⁺0.00	3.70	0.10	207.50	8.20	0.30	2.20	UNK‑Non	TMO‑Non	TMO‑Non	⁺25.20	TMO‑Non
`GRP323‑1`	⁺0.10	⁺6.30	0.20	TMO‑Non	TMO‑Non	1.30	7.60	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL003‑4`	⁺0.10	⁺12.10	0.20	TMO‑Non	104.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺50.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA010‑1`	⁺1.00	⁺0.00	0.00	12.10	TMO‑Non	TMO‑Non	1.70	TMO‑Non	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL834‑1`^*	⁺10.30	⁺58.00	6.30	15.50	20.50	2.60	TMO‑Non	1.00	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN658‑1`	⁺0.00	⁺81.90	3.30	1.00	TMO‑Non	TMO‑Non	23.70	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV547‑1.010`	⁺0.20	⁺0.50	0.10	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	⁺291.30	⁺0.30	TMO‑Non	⁺1.00	TMO‑Non
`GRP617‑1`	TMO‑Non	⁺1.90	207.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.20	⁺2.80	TMO‑Non	TMO‑Non
`PLA004‑2`	⁺0.80	⁺0.00	0.00	10.20	TMO‑Non	TMO‑Non	0.30	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL816‑1`^*	⁺0.90	⁺0.00	76.80	5.10	1.00	0.80	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN611‑1`	⁺0.00	⁺4.30	152.40	0.10	87.00	TMO‑Non	1.60	TMO‑Non	UNK‑Non	GUP‑Non	⁺1.90	TMO‑Non	TMO‑Non
`SWV568‑1.050`	⁺4.40	⁺6.50	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺14.10	TMO‑Non
`LDA004‑1`	⁺19.50	⁺69.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL222‑1`	⁺81.70	⁺15.80	TMO‑Non	TMO‑Non	TMO‑Non	201.00	TMO‑Non	15.10	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL793‑1`^*	⁺0.00	⁺0.10	0.00	0.40	1.40	24.80	6.30	2.60	⁺189.40	GUP‑Non	⁺176.60	⁺138.10	TMO‑Non
`SET012‑2`	⁺0.10	⁺0.00	1.90	10.40	0.50	22.50	4.20	18.50	UNK‑Non	⁺79.00	⁺1.00	⁺0.20	TMO‑Non
`SWV505‑1.030`	⁺0.90	TMO‑Non	0.20	TMO‑Non	TMO‑Non	8.70	TMO‑Non	TMO‑Non	⁺45.50	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL042‑4`	⁺72.60	⁺14.50	2.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺60.00	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG004‑3`	⁺83.80	⁺152.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	259.10	UNK‑Non	⁺2.20	TMO‑Non	TMO‑Non	TMO‑Non
`LCL818‑1`^*	⁺3.50	⁺0.40	0.20	0.30	0.80	0.60	TMO‑Non	TMO‑Non	⁺153.80	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA002‑2`	⁺0.10	⁺72.00	90.20	1.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺3.50	TMO‑Non	TMO‑Non
`COL080‑2`	⁺0.00	⁺0.00	7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	⁺37.30	TMO‑Non
`LAT005‑3`	⁺181.70	⁺61.30	42.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL223‑1`	⁺1.80	⁺1.00	TMO‑Non	121.70	TMO‑Non	35.30	TMO‑Non	12.80	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP040‑3`	⁺1.80	⁺0.10	0.00	TMO‑Non	250.00	TMO‑Non	TMO‑Non	0.90	⁺7.40	⁺11.20	TMO‑Non	TMO‑Non	TMO‑Non
`SYN353‑1`	⁺8.70	⁺0.00	0.00	10.10	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP071‑1`	⁺0.90	⁺19.20	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL003‑10`	⁺76.00	⁺16.40	9.50	TMO‑Non	117.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG001‑2`	⁺13.10	TMO‑Non	TMO‑Non	48.40	TMO‑Non	0.30	125.10	TMO‑Non	UNK‑Non	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non
`LCL784‑1`^*	⁺0.00	⁺50.10	0.00	TMO‑Non	0.80	UNK‑Non	160.60	TMO‑Non	⁺56.40	⁺0.70	TMO‑Non	⁺0.90	TMO‑Non
`ANA004‑4`	⁺0.90	⁺0.10	0.00	10.30	TMO‑Non	TMO‑Non	0.20	TMO‑Non	⁺0.70	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV567‑1.015`	⁺15.20	⁺36.20	19.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺58.80	TMO‑Non
`LCL152‑1`	⁺11.40	⁺0.20	285.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA014‑2`	⁺0.80	⁺0.00	0.00	10.20	TMO‑Non	TMO‑Non	0.30	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL805‑1`^*	⁺0.00	⁺0.10	0.10	174.40	2.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺180.20	GUP‑Non	TMO‑Non	⁺2.30	TMO‑Non
`FLD009‑1`	⁺1.20	⁺0.40	0.10	0.60	TMO‑Non	TMO‑Non	40.40	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP228‑1`	⁺0.10	⁺93.60	10.60	TMO‑Non	TMO‑Non	5.70	66.10	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT001‑1`	⁺179.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	⁺123.50	TMO‑Non	TMO‑Non
`PLA011‑1`	⁺1.00	⁺0.00	0.00	10.20	TMO‑Non	TMO‑Non	0.30	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV346‑1`	⁺0.10	⁺0.50	176.90	1.40	7.80	9.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN802‑1`	⁺177.20	⁺66.10	6.10	39.20	24.40	TMO‑Non	41.00	84.50	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV527‑1.040`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	23.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV003‑1`	TMO‑Non	⁺83.60	29.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL368‑1`	⁺90.40	⁺0.40	4.00	165.80	TMO‑Non	15.50	128.90	79.70	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET027‑3`	⁺0.40	⁺0.00	0.10	0.80	5.30	0.70	TMO‑Non	19.90	⁺60.10	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET015‑2`	⁺0.00	⁺0.10	0.30	40.00	0.60	17.20	1.80	205.80	⁺8.00	TMO‑Non	⁺12.40	TMO‑Non	TMO‑Non
`LAT200‑1`	TMO‑Non	⁺38.90	22.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL327‑3`	⁺13.10	⁺1.90	1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL444‑2`	⁺28.80	⁺17.80	22.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	92.10	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV348‑2`	⁺0.00	⁺0.00	0.00	35.00	2.70	0.50	130.30	TMO‑Non	UNK‑Non	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non
`FLD012‑3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	2.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL008‑4`	⁺68.90	TMO‑Non	2.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ROB018‑1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL227‑1`	⁺41.20	⁺0.10	0.60	13.30	TMO‑Non	TMO‑Non	15.90	TMO‑Non	⁺15.40	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV280‑1`	⁺0.10	⁺0.20	2.00	83.50	TMO‑Non	7.00	TMO‑Non	3.80	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD054‑4`	TMO‑Non	⁺27.90	TMO‑Non	72.80	20.60	TMO‑Non	TMO‑Non	71.70	UNK‑Non	⁺245.50	⁺232.70	TMO‑Non	TMO‑Non
`SWV527‑1.030`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	11.40	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL281‑3`	⁺20.80	⁺4.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA003‑2`	⁺1.90	⁺63.60	0.10	TMO‑Non	TMO‑Non	TMO‑Non	1.50	TMO‑Non	UNK‑Non	GUP‑Non	⁺80.90	TMO‑Non	TMO‑Non
`ALG428‑1`^*	⁺0.80	⁺72.20	0.40	0.50	TMO‑Non	5.90	32.20	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD005‑1`	⁺7.50	⁺0.70	0.10	31.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT030‑1`	⁺3.10	⁺2.40	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺41.80	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`COL006‑4`	TMO‑Non	⁺30.20	TMO‑Non	TMO‑Non	76.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`PUZ050‑1`	⁺172.10	⁺115.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	38.50	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET851‑1`	⁺0.10	⁺0.10	0.20	TMO‑Non	1.90	TMO‑Non	51.60	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN314‑1.002.001`	⁺63.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV501‑1.030`	⁺12.10	TMO‑Non	6.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO006‑1`	⁺0.00	⁺0.10	0.00	56.40	0.70	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.70	⁺3.90	TMO‑Non	TMO‑Non	TMO‑Non
`COL076‑1`	⁺6.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET837‑2`	⁺2.10	⁺2.60	0.10	1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺16.30	TMO‑Non	TMO‑Non
`SWV523‑1.030`	⁺11.10	TMO‑Non	26.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL787‑1`^*	⁺9.70	⁺56.20	0.60	0.20	58.50	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG029‑3`	⁺35.60	⁺0.90	154.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	⁺233.60	TMO‑Non
`SWV939‑1`^*	⁺0.00	⁺0.10	0.20	TMO‑Non	3.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ALG003‑1`	⁺71.40	⁺9.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL759‑1`^*	⁺0.00	⁺0.10	0.20	2.20	TMO‑Non	2.10	TMO‑Non	2.20	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWC424‑1.005.003`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	10.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA022‑2`	⁺11.00	⁺0.00	1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV565‑1.010`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL776‑1`^*	⁺0.20	⁺0.20	1.90	TMO‑Non	19.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP084‑1`	TMO‑Non	⁺32.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET822‑1`	⁺0.10	⁺0.10	0.30	1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP197‑1`	⁺205.90	⁺14.60	TMO‑Non	TMO‑Non	TMO‑Non	50.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV253‑1`	⁺0.10	⁺0.10	1.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺6.60	TMO‑Non
`GRP198‑1`	⁺207.80	⁺16.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET860‑2`	⁺0.90	⁺8.50	7.10	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT036‑1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL794‑1`^*	⁺1.50	⁺55.10	0.50	TMO‑Non	TMO‑Non	1.30	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV745‑1`^*	⁺2.20	⁺47.20	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET031‑4`	⁺0.40	⁺45.80	0.60	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL093‑2`	⁺9.50	TMO‑Non	9.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET854‑2`	⁺9.40	⁺7.60	23.40	6.30	69.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET825‑1`	⁺0.10	⁺0.10	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL431‑1`	⁺3.10	⁺0.20	1.50	TMO‑Non	86.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL746‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT022‑1`^*	⁺10.10	⁺3.30	210.70	TMO‑Non	TMO‑Non	54.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM007‑1`	TMO‑Non	⁺219.60	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV358‑1`	⁺0.70	⁺13.90	2.40	66.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET016‑3`	⁺0.40	⁺72.40	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV344‑1`	⁺0.40	⁺10.80	2.50	10.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV318‑1`	⁺0.40	⁺0.50	12.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL790‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL824‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT066‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	25.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SCT059‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL751‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL782‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL766‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL769‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL819‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV989‑1`^*	TMO‑Non	⁺31.30	55.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV683‑1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET837‑1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV340‑1`	⁺11.20	TMO‑Non	2.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA003‑3`	⁺7.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL088‑2`	⁺7.50	⁺70.10	2.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV348‑1`	TMO‑Non	TMO‑Non	82.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
Solved	170/200	168/200	161/200	92/200	77/200	69/200	66/200	58/200	52/200	42/200	41/200	39/200	1/200
Av. CPU Time	15.05	15.69	14.87	16.40	26.23	20.79	19.78	37.99	54.89	11.21	30.79	27.37	26.40
Solutions	170/200	168/200	0/200	0/200	0/200	0/200	0/200	0/200	52/200	42/200	41/200	39/200	1/200
μEfficiency	546.92	497.75	567.96	273.16	196.02	172.03	181.72	136.73	75.78	158.59	90.54	84.15	0.19
SOTAC	0.22	0.21	0.20	0.15	0.19	0.17	0.14	0.14	0.15	0.14	0.15	0.15	0.09
New Solved	24/37	25/37	24/37	17/37	20/37	16/37	8/37	9/37	9/37	2/37	2/37	5/37	0/37

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

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

Results for EPR

EPR	iProver 0.8	iProver 0.7	Darwin 1.4.5	iProver‑Eq 0.6	E‑Darwin 1.3	Paradox 4.0	Equinox 5.0	E‑KRHyper 1.1.4	Geo 2010C	E 1.2pre	Vampire 0.6	Metis 2.2	Ayane 2
`SYN435‑1`	⁺0.10	0.10	⁺0.00	1.00	⁺0.20	⁺0.20	4.00	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424‑1.450`	34.90	48.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺164.00	TMO‑Non	TMO‑Non
`SYN464‑1`	⁺0.20	0.10	⁺0.10	1.40	⁺9.40	⁺0.20	4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424‑1.350`	12.10	29.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺156.40	TMO‑Non	TMO‑Non
`GRP124‑1.005`	⁺0.40	TMO‑Non	⁺0.00	47.20	⁺0.20	⁺0.00	2.90	0.10	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV418‑1.300`	17.70	15.80	49.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺72.30	TMO‑Non	TMO‑Non
`GRP124‑8.005`	⁺0.40	0.50	⁺0.10	6.00	⁺0.30	⁺0.10	5.70	0.10	⁺1.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN846‑1`	15.20	TMO‑Non	2.00	3.40	TMO‑Non	25.20	TMO‑Non	TMO‑Non	TMO‑Non	0.70	⁺1.00	⁺28.60	TMO‑Non
`GRP124‑3.005`	⁺0.50	0.90	⁺0.10	50.10	⁺0.30	⁺0.10	5.30	0.10	⁺0.70	55.70	TMO‑Non	TMO‑Non	TMO‑Non
`SYN862‑1`	17.90	TMO‑Non	24.40	10.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	2.60	⁺5.20	⁺83.30	TMO‑Non
`GRP123‑2.005`	⁺0.20	0.40	⁺0.00	15.30	⁺0.20	⁺0.00	3.30	0.20	⁺1.60	29.90	TMO‑Non	TMO‑Non	TMO‑Non
`SYN460‑1`	0.20	0.10	0.20	0.60	4.60	40.90	6.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺40.20	TMO‑Non	TMO‑Non
`SYN854‑1`	28.10	TMO‑Non	⁺42.40	43.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	9.00	UNK‑Non	⁺260.20	TMO‑Non
`SYN859‑1`	12.80	TMO‑Non	1.60	3.20	TMO‑Non	25.00	TMO‑Non	TMO‑Non	TMO‑Non	0.70	⁺0.90	⁺23.50	TMO‑Non
`SYN852‑1`	28.10	TMO‑Non	⁺173.90	42.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	9.10	UNK‑Non	⁺270.10	TMO‑Non
`SWV424‑1.400`	14.30	21.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺158.80	TMO‑Non	TMO‑Non
`SYN426‑1`	⁺0.80	1.20	⁺0.10	19.80	⁺1.00	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN457‑1`	0.20	0.10	0.20	0.70	TMO‑Non	TMO‑Non	9.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP126‑1.005`	⁺0.20	0.40	⁺0.00	27.90	⁺0.10	⁺0.00	1.90	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.060`	10.20	2.50	2.20	265.70	7.70	TMO‑Non	181.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP134‑1.005`	⁺0.40	0.30	⁺0.00	180.00	⁺0.10	⁺0.00	1.30	0.10	⁺2.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420‑1.005`	1.10	0.90	60.00	39.60	TMO‑Non	1.10	53.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP127‑4.005`	⁺0.60	0.50	⁺0.00	138.00	⁺0.20	⁺0.00	2.40	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ037‑3`	7.20	TMO‑Non	12.60	4.50	4.70	GUP‑Non	33.10	88.40	TMO‑Non	26.60	⁺5.80	TMO‑Non	TMO‑Non
`SYN855‑1`	27.90	149.30	⁺16.50	42.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	8.40	UNK‑Non	⁺245.60	TMO‑Non
`SWV423‑1.020`	27.40	22.10	1.80	TMO‑Non	7.60	8.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP123‑6.005`	⁺0.40	0.50	⁺0.10	4.70	⁺0.30	⁺0.00	4.10	0.50	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.100`	15.80	5.20	17.00	225.00	92.40	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN544‑1`	⁺0.20	0.20	⁺0.10	2.80	⁺0.60	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA031‑1.004`	74.20	232.00	78.30	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	19.50	TMO‑Non	1.40	⁺21.70	TMO‑Non	TMO‑Non
`GRP130‑1.005`	⁺0.30	0.20	⁺0.00	28.60	⁺0.30	⁺0.00	1.70	0.10	⁺2.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.065`	12.30	2.30	2.80	TMO‑Non	9.00	TMO‑Non	172.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN424‑1`	⁺0.90	2.70	⁺0.10	7.40	⁺0.70	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420‑1.010`	6.70	3.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	241.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN438‑1`	⁺0.10	0.10	⁺0.00	0.60	⁺0.60	⁺0.10	1.80	2.50	⁺9.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.105`	19.10	7.40	10.10	169.80	27.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP126‑3.005`	⁺0.20	0.30	⁺0.00	265.00	⁺0.20	⁺0.10	3.40	0.00	⁺3.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.060`	11.70	2.10	3.40	TMO‑Non	13.20	TMO‑Non	199.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN420‑1`	⁺0.30	0.50	⁺0.10	2.70	⁺1.20	⁺0.70	34.50	TMO‑Non	TMO‑Non	173.90	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.105`	18.90	7.20	19.10	TMO‑Non	110.50	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP129‑4.005`	⁺0.60	0.50	⁺0.00	TMO‑Non	⁺0.50	⁺0.00	2.00	0.00	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV423‑1.010`	5.40	5.60	0.40	194.30	2.40	4.20	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺189.90	TMO‑Non	TMO‑Non
`GRP126‑4.005`	⁺0.60	0.70	⁺0.00	129.80	⁺0.20	⁺0.00	2.20	0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV423‑1.050`	131.30	144.90	19.30	TMO‑Non	49.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN307‑1`	⁺0.00	0.00	⁺0.00	0.50	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.200`	24.80	17.50	142.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP124‑9.005`	⁺0.40	0.30	⁺0.00	9.30	⁺0.20	⁺0.00	4.90	0.20	⁺6.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV418‑1.580`	55.20	167.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺168.80	TMO‑Non	TMO‑Non
`SYN853‑1`	28.00	TMO‑Non	⁺23.50	41.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	8.90	UNK‑Non	⁺270.10	TMO‑Non
`SWV421‑1.205`	60.90	15.20	170.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN814‑1`	22.10	TMO‑Non	⁺2.90	5.00	TMO‑Non	⁺81.80	TMO‑Non	TMO‑Non	TMO‑Non	1.40	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419‑1.020`	25.60	18.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP132‑2.005`	⁺1.10	1.00	⁺0.10	12.50	⁺0.40	⁺0.00	3.50	0.30	⁺22.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420‑1.035`	44.30	54.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP127‑1.005`	⁺0.20	0.20	⁺0.00	9.60	⁺0.10	⁺0.00	1.70	0.00	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.305`	71.10	28.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP124‑6.005`	⁺0.40	0.50	⁺0.00	5.40	⁺0.20	⁺0.00	4.30	0.10	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.505`	298.40	98.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT066‑1`	⁺0.00	0.00	⁺0.00	1.20	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420‑1.040`	47.50	46.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP132‑1.005`	⁺1.20	2.30	⁺0.00	145.30	⁺0.40	⁺0.00	10.50	0.10	⁺5.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419‑1.035`	61.30	61.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN514‑1`	⁺0.20	0.20	⁺0.10	52.50	⁺0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.300`	65.70	30.00	249.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP126‑2.005`	⁺0.20	0.40	⁺0.00	24.10	⁺0.10	⁺0.00	2.00	0.10	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420‑1.020`	49.00	14.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PUZ018‑2`	⁺0.10	0.10	⁺0.00	0.40	⁺0.90	⁺0.00	0.30	TMO‑Non	⁺4.60	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`SWV419‑1.045`	72.70	154.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP129‑1.005`	⁺0.40	0.30	⁺0.00	73.00	⁺0.30	⁺0.00	1.50	0.10	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.505`	70.50	140.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN863‑1`	16.60	TMO‑Non	⁺6.10	13.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	2.50	UNK‑Non	⁺81.40	TMO‑Non
`SWV420‑1.030`	29.50	27.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN456‑1`	⁺0.10	0.10	⁺0.10	0.60	⁺11.30	⁺0.10	2.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419‑1.050`	82.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN543‑1`	⁺0.30	0.40	⁺0.10	2.50	TMO‑Non	⁺0.20	10.20	44.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.360`	104.70	61.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN437‑1`	⁺0.20	0.10	⁺0.10	0.80	⁺5.20	⁺0.20	4.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420‑1.050`	59.80	106.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP135‑1.005`	⁺0.30	0.30	⁺0.10	52.00	⁺3.00	⁺0.00	2.00	0.50	⁺3.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.305`	57.10	23.60	246.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN821‑1`	⁺6.90	TMO‑Non	⁺4.50	14.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non
`MSC015‑1.020`	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	5.10	UNK‑Non	196.80	TMO‑Non	TMO‑Non	⁺141.40	TMO‑Non	TMO‑Non
`SYN520‑1`	⁺1.90	2.00	⁺0.20	90.10	⁺3.30	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC015‑1.022`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	32.20	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN463‑1`	⁺0.10	0.10	⁺0.10	0.60	⁺0.80	⁺0.10	2.40	140.80	TMO‑Non	7.00	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.365`	202.00	50.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP129‑2.005`	⁺0.20	0.30	⁺0.00	40.80	⁺0.20	⁺0.00	1.70	0.30	⁺1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.460`	36.90	65.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN434‑1`	⁺0.10	0.10	⁺0.00	0.60	⁺0.20	⁺0.20	7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419‑1.040`	76.70	110.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN441‑1`	⁺0.20	0.20	⁺0.10	1.30	⁺0.30	⁺0.30	9.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.405`	152.30	47.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN542‑1`	⁺0.50	0.20	⁺0.00	1.50	⁺0.30	⁺0.20	14.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419‑1.030`	44.00	48.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN822‑1`	51.10	TMO‑Non	⁺12.70	23.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421‑1.405`	TMO‑Non	79.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN453‑1`	⁺0.20	0.20	⁺0.10	0.80	⁺44.20	⁺0.30	7.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422‑1.500`	TMO‑Non	83.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN519‑1`	⁺27.00	6.20	⁺0.50	TMO‑Non	⁺16.80	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV418‑1.900`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
Solved	95/100	84/100	72/100	59/100	52/100	51/100	44/100	30/100	25/100	15/100	13/100	8/100	0/100
Av. CPU Time	26.43	27.14	19.41	44.01	8.35	4.53	24.28	16.54	2.76	22.52	86.65	157.85	-
Solutions	43/100	0/100	50/100	0/100	41/100	43/100	0/100	0/100	25/100	0/100	13/100	8/100	0/100
μEfficiency	454.48	443.61	491.82	179.42	363.11	436.06	144.48	244.97	168.83	49.03	24.87	1.17	-
SOTAC	0.24	0.26	0.16	0.15	0.14	0.15	0.13	0.12	0.11	0.16	0.23	0.18	-
New Solved	0/0	0/0	0/0	0/0	0/0	0/0	0/0	0/0	0/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 EPR UEQ LTB TFA TNE TEQ FNE FEQ FEP FNN FNQ HNE HEQ NNE NEQ PEQ EPT EPS CYC MZR SMO

Results for UEQ

UEQ	Waldmeister 710	Waldmeister C09a	Vampire 0.6	E 1.2pre	Metis 2.2	Otter 3.3	omkbTT 1.0	Equinox 5.0	Ayane 2	iProver‑Eq 0.6	iProver 0.8	Geo 2010C
`BOO072‑1`	⁺0.30	⁺0.30	⁺0.20	0.10	⁺18.60	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL009‑1`	⁺0.30	⁺0.30	⁺0.10	0.30	TMO‑Non	⁺0.30	⁺17.10	TMO‑Non	⁺0.50	TMO‑Non	13.50	TMO‑Non
`GRP410‑1`	⁺0.60	⁺0.60	⁺4.80	3.00	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	⁺236.80	TMO‑Non	TMO‑Non	TMO‑Non
`GRP453‑1`	⁺0.30	⁺0.30	⁺0.20	0.10	⁺50.80	GUP‑Non	⁺65.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP403‑1`	⁺0.30	⁺0.30	⁺0.50	2.10	TMO‑Non	⁺0.50	TMO‑Non	UNK‑Non	⁺3.60	TMO‑Non	TMO‑Non	TMO‑Non
`BOO014‑4`	⁺0.40	⁺0.40	⁺6.20	0.20	⁺11.40	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ROB005‑1`	⁺0.60	⁺0.60	⁺112.10	0.90	⁺32.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL004‑3`	⁺0.30	⁺0.30	⁺0.00	0.00	⁺0.10	⁺0.40	⁺19.90	0.40	UNK‑Non	0.20	TMO‑Non	TMO‑Non
`ALG236‑1`	⁺0.30	⁺0.30	⁺2.00	0.40	TMO‑Non	⁺0.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL003‑12`	⁺0.30	⁺0.30	⁺0.60	0.00	TMO‑Non	⁺0.40	TMO‑Non	5.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT013‑1`	⁺0.90	⁺0.90	⁺14.30	0.90	⁺224.50	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺48.60
`BOO026‑1`	⁺0.30	⁺0.30	⁺1.20	0.00	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP421‑1`	⁺0.30	⁺0.30	⁺0.40	0.10	⁺225.20	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP426‑1`	⁺0.30	⁺0.30	⁺89.70	13.40	⁺176.70	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ALG005‑1`	⁺0.30	⁺0.30	⁺0.20	14.50	⁺14.90	⁺0.40	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BOO007‑4`	⁺0.30	⁺0.30	⁺12.90	0.40	⁺3.40	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BOO025‑1`	⁺0.30	⁺0.30	⁺0.00	0.00	⁺2.10	GUP‑Non	⁺52.00	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL003‑13`	⁺0.30	⁺0.30	⁺0.60	0.00	TMO‑Non	⁺0.40	TMO‑Non	3.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP472‑1`	⁺0.40	⁺0.30	⁺8.50	0.10	⁺147.00	⁺1.00	⁺116.80	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP411‑1`	⁺0.50	⁺0.50	⁺5.30	3.10	⁺51.40	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT006‑1`	⁺0.30	⁺0.30	⁺1.50	0.10	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	⁺27.50
`GRP175‑4`	⁺0.30	⁺0.30	⁺0.10	0.10	⁺1.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL003‑14`	⁺0.30	⁺0.30	⁺0.50	0.00	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG021‑7`	⁺0.30	⁺0.30	⁺8.80	0.00	TMO‑Non	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL060‑1`	⁺0.30	⁺0.30	⁺0.10	0.00	⁺0.90	GUP‑Non	⁺54.00	TMO‑Non	UNK‑Non	1.10	TMO‑Non	TMO‑Non
`GRP443‑1`	⁺0.30	⁺0.30	⁺2.30	0.70	TMO‑Non	⁺0.90	TMO‑Non	TMO‑Non	⁺52.30	TMO‑Non	TMO‑Non	TMO‑Non
`GRP167‑2`	⁺0.60	⁺0.60	⁺1.80	1.30	⁺4.80	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP442‑1`	⁺0.30	⁺0.30	⁺2.40	0.70	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	⁺64.80	TMO‑Non	TMO‑Non	TMO‑Non
`GRP437‑1`	⁺0.30	⁺0.30	⁺4.60	0.20	TMO‑Non	⁺0.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP699‑1`	⁺0.30	⁺0.40	⁺0.30	0.30	⁺0.90	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP503‑1`	⁺0.30	⁺0.40	⁺3.00	1.50	TMO‑Non	⁺0.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`REL018‑1`	⁺0.30	⁺0.30	⁺0.30	0.10	⁺2.90	GUP‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP479‑1`	⁺0.30	⁺0.30	⁺1.90	0.00	TMO‑Non	GUP‑Non	⁺26.50	TMO‑Non	UNK‑Non