Results

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FOF

FOF	Vampire 10.0	E 1.0pre	EP 1.0pre	Vampire 9.0	iProver 0.5c	randoCoP 1.1	Equinox 3.0	Metis 2.1	Otter 3.3	E-KRHyper 1.1	Zenon 0.5.0	Muscadet 3.0	OSHL-S 0.1
`AGT006+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`AGT020+2`	⁺38.20	TMO‑Non	TMO‑Non	⁺7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`AGT025+1`	⁺45.40	TMO‑Non	TMO‑Non	⁺5.10	TMO‑Non	⁺247.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ALG041+1`	⁺0.60	0.00	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.00	⁺0.10	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`ALG071+1`	⁺1.40	0.80	⁺1.50	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ALG072+1`	⁺19.00	1.30	⁺2.80	⁺70.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`ALG210+2`	⁺1.00	0.00	⁺0.10	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.30	⁺0.00	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`BOO109+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`COM003+2`	⁺0.00	0.00	⁺0.10	⁺0.00	0.10	⁺0.80	2.40	⁺0.10	⁺0.00	0.00	⁺0.10	GUP‑Non	TMO‑Non
`COM007+1`	⁺0.00	0.00	⁺0.00	⁺3.80	0.00	⁺54.20	0.50	⁺0.00	⁺0.10	0.20	⁺0.30	TMO‑Non	0.20
`COM008+2`	⁺181.80	TMO‑Non	TMO‑Non	⁺273.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.20	TMO‑Non
`CSR002+2`	⁺46.60	7.40	⁺10.70	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	1.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR015+1`	⁺0.00	0.20	⁺0.40	⁺0.00	0.40	TMO‑Non	0.10	⁺0.20	TMO‑Non	63.80	GUP‑Non	TMO‑Non	TMO‑Non
`CSR017+1`	⁺4.50	0.30	⁺0.40	⁺0.00	0.40	TMO‑Non	0.10	⁺0.20	TMO‑Non	296.70	TMO‑Non	TMO‑Non	TMO‑Non
`CSR020+1`	⁺5.10	0.70	⁺1.10	⁺0.00	0.40	TMO‑Non	0.30	⁺0.10	TMO‑Non	1.90	GUP‑Non	TMO‑Non	TMO‑Non
`CSR021+1`	⁺0.00	0.10	⁺0.20	⁺0.00	0.60	TMO‑Non	0.30	⁺0.10	TMO‑Non	17.90	GUP‑Non	⁺0.10	TMO‑Non
`CSR024+1.009`	⁺67.90	0.20	⁺0.40	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺15.60	⁺74.90	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR024+1.010`	⁺37.60	0.20	⁺0.40	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺50.80	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR034+2`^*	⁺0.20	0.90	⁺1.00	⁺4.00	0.40	TMO‑Non	148.00	⁺1.00	⁺0.30	2.20	⁺16.50	TMO‑Non	TMO‑Non
`CSR038+3`^*	⁺1.10	14.50	⁺15.90	⁺2.50	172.90	⁺4.10	239.30	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR044+3`^*	⁺47.70	TMO‑Non	TMO‑Non	TMO‑Non	163.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR045+3`^*	⁺15.50	260.60	⁺266.00	⁺2.20	2.60	TMO‑Non	TMO‑Non	⁺12.40	⁺4.90	6.60	GUP‑Non	TMO‑Non	TMO‑Non
`CSR063+3`^*	⁺1.20	9.40	⁺10.10	⁺1.50	TMO‑Non	⁺19.00	TMO‑Non	⁺13.20	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR064+3`^*	⁺1.20	21.30	⁺22.10	⁺1.50	4.10	⁺16.10	TMO‑Non	⁺13.40	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR065+3`^*	⁺1.20	11.40	⁺12.30	⁺6.30	15.90	TMO‑Non	263.50	⁺21.10	GUP‑Non	68.40	GUP‑Non	TMO‑Non	TMO‑Non
`CSR083+2`^*	⁺5.00	37.30	⁺37.90	⁺4.30	3.10	TMO‑Non	TMO‑Non	⁺8.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR089+1`^*	⁺2.90	286.90	⁺290.70	⁺22.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR090+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	⁺298.20	10.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR092+1`^*	⁺2.00	21.00	⁺22.30	⁺2.50	1.50	⁺5.30	TMO‑Non	⁺62.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`CSR098+2`^*	⁺1.10	0.60	⁺1.30	⁺1.00	TMO‑Non	TMO‑Non	4.60	⁺8.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR099+2`^*	⁺126.50	42.30	⁺43.80	⁺162.30	26.60	TMO‑Non	TMO‑Non	⁺123.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR108+1`^*	⁺256.90	216.30	⁺228.90	⁺291.80	TMO‑Non	TMO‑Non	TMO‑Non	⁺267.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO084+1`	⁺4.00	0.30	⁺0.50	⁺6.40	0.30	⁺0.80	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO089+1`	⁺112.10	80.20	⁺128.80	⁺52.40	2.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO093+1`	⁺1.30	6.90	⁺11.50	⁺7.00	3.20	⁺40.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO094+1`	⁺0.00	0.00	⁺0.10	⁺31.30	1.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺67.30	0.10	GUP‑Non	TMO‑Non	1.60
`GEO125+1`	⁺0.10	0.00	⁺0.10	⁺0.10	0.40	⁺16.90	0.30	TMO‑Non	⁺15.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO139+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO182+1`	⁺2.60	0.00	⁺0.00	⁺0.00	0.20	⁺0.10	0.00	TMO‑Non	⁺105.10	TMO‑Non	⁺0.50	TMO‑Non	0.30
`GEO182+2`	⁺3.70	0.00	⁺0.00	⁺0.00	0.20	⁺0.10	0.00	TMO‑Non	⁺203.50	TMO‑Non	⁺1.20	TMO‑Non	0.60
`GEO193+1`	⁺2.50	0.10	⁺0.10	⁺0.00	0.10	⁺0.10	6.80	TMO‑Non	⁺1.20	TMO‑Non	⁺3.50	TMO‑Non	0.50
`GEO194+1`	⁺6.00	0.10	⁺0.10	⁺0.10	0.20	⁺0.10	1.80	TMO‑Non	⁺1.10	TMO‑Non	⁺0.90	TMO‑Non	0.30
`GEO223+2`	⁺1.60	0.40	⁺0.70	⁺8.40	1.20	⁺25.60	194.90	TMO‑Non	TMO‑Non	TMO‑Non	⁺22.10	TMO‑Non	TMO‑Non
`GRA007+2`	⁺64.50	0.10	⁺0.30	⁺1.70	45.30	TMO‑Non	63.00	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRA010+2`	⁺0.00	0.00	⁺0.10	⁺0.00	0.20	⁺0.20	0.00	⁺0.00	GUP‑Non	TMO‑Non	⁺0.00	TMO‑Non	TMO‑Non
`GRP618+2`^*	TMO‑Non	52.10	⁺59.00	TMO‑Non	29.00	UNK‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`GRP619+1`^*	⁺1.70	8.30	⁺12.30	⁺4.40	2.40	TMO‑Non	4.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`HAL001+2`	⁺88.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`KRS153+1`	⁺0.10	0.00	⁺0.10	⁺0.00	0.20	⁺0.50	0.10	⁺2.50	⁺0.00	0.70	⁺0.50	⁺8.00	GUP‑Non
`KRS161+1`	⁺0.20	0.10	⁺0.20	⁺0.00	0.50	⁺0.40	0.10	⁺3.70	⁺0.00	0.80	⁺19.70	TMO‑Non	102.70
`KRS169+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	0.20
`LAT295+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺2.20	TMO‑Non	GUP‑Non
`LAT296+1`^*	⁺16.00	89.10	⁺127.80	⁺23.70	28.60	TMO‑Non	222.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺45.60	GUP‑Non
`LAT314+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT328+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	7.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LAT362+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	43.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL456+1`	⁺0.00	0.00	⁺0.10	⁺0.00	1.00	⁺0.40	TMO‑Non	⁺0.60	⁺18.30	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL458+1`	⁺0.40	TMO‑Non	TMO‑Non	⁺22.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL488+1`	⁺0.00	0.00	⁺0.10	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺6.90	⁺0.30	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL489+1`	⁺23.60	36.40	⁺45.20	⁺26.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.40	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL501+1`	⁺143.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL520+1`	⁺4.70	1.60	⁺3.10	⁺0.80	83.60	TMO‑Non	TMO‑Non	TMO‑Non	⁺12.50	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`LCL528+1`	⁺10.90	112.90	149.20	⁺62.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL540+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.00	⁺0.40	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL544+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.40	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL553+1`	⁺25.20	TMO‑Non	TMO‑Non	⁺91.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`LCL559+1`	⁺24.10	TMO‑Non	TMO‑Non	⁺102.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`MED001+1`	⁺0.10	0.00	⁺0.10	⁺0.00	0.10	⁺10.20	1.10	⁺6.80	⁺0.00	0.10	⁺0.10	GUP‑Non	TMO‑Non
`MED002+1`	⁺0.10	TMO‑Non	TMO‑Non	⁺0.00	0.10	⁺10.40	1.80	TMO‑Non	⁺0.10	1.60	⁺0.20	GUP‑Non	TMO‑Non
`MED003+1`	⁺0.30	0.40	⁺0.60	⁺4.10	0.10	⁺10.20	0.40	TMO‑Non	⁺5.80	0.10	⁺0.20	GUP‑Non	TMO‑Non
`MGT035+2`	TMO‑Non	11.00	⁺14.50	⁺148.70	25.10	TMO‑Non	76.50	TMO‑Non	TMO‑Non	5.50	TMO‑Non	TMO‑Non	TMO‑Non
`MGT051+1`	⁺13.80	0.20	⁺0.40	⁺31.70	3.30	TMO‑Non	8.80	⁺30.70	TMO‑Non	9.10	TMO‑Non	TMO‑Non	GUP‑Non
`MGT064+1`	⁺0.30	5.90	⁺11.30	⁺0.20	4.40	TMO‑Non	1.10	⁺5.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT065+1`	⁺0.30	0.10	⁺0.20	⁺0.00	10.10	TMO‑Non	0.60	⁺9.60	⁺25.20	TMO‑Non	⁺59.50	TMO‑Non	TMO‑Non
`MSC010+1`	⁺46.30	0.00	⁺0.00	⁺83.80	0.20	⁺76.80	9.90	⁺0.10	GUP‑Non	TMO‑Non	⁺0.00	TMO‑Non	GUP‑Non
`NLP094+1`	⁺0.00	11.60	⁺15.70	⁺0.00	0.50	⁺0.10	0.10	⁺0.10	TMO‑Non	1.00	⁺0.00	270.00	GUP‑Non
`NLP117+1`	⁺0.00	0.40	⁺0.60	⁺0.00	0.10	⁺0.10	0.00	⁺0.00	TMO‑Non	0.30	⁺0.00	TMO‑Non	GUP‑Non
`NUM291+1`	⁺0.30	0.20	⁺0.40	⁺1.60	25.40	⁺0.10	TMO‑Non	⁺17.60	⁺38.20	0.30	TMO‑Non	TMO‑Non	TMO‑Non
`NUM298+1`	⁺0.10	0.10	⁺0.20	⁺0.00	0.40	⁺0.10	TMO‑Non	⁺1.00	⁺31.50	0.40	TMO‑Non	TMO‑Non	TMO‑Non
`NUM315+1`	⁺12.40	TMO‑Non	TMO‑Non	⁺5.50	TMO‑Non	⁺0.10	TMO‑Non	⁺92.00	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`PUZ031+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.80	0.10	⁺0.00	⁺0.00	0.00	⁺0.30	⁺5.40	0.30
`PUZ073+1`^*	TMO‑Non	80.50	⁺198.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺30.00	TMO‑Non	GUP‑Non
`PUZ074+1`^*	TMO‑Non	3.80	⁺4.40	TMO‑Non	26.50	⁺201.40	106.40	TMO‑Non	GUP‑Non	TMO‑Non	⁺2.90	TMO‑Non	GUP‑Non
`PUZ077+1`^*	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`PUZ078+1`^*	⁺144.30	0.20	⁺0.60	⁺0.10	0.20	TMO‑Non	0.10	⁺0.90	TMO‑Non	0.10	⁺44.80	TMO‑Non	10.00
`SET011+3`	⁺0.20	3.30	⁺10.60	⁺0.00	0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET017+1`	⁺0.10	0.00	⁺0.10	⁺2.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺24.20	1.20	GUP‑Non	⁺0.40	TMO‑Non
`SET072+1`	⁺0.10	0.00	⁺0.10	⁺2.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺45.40	0.60	GUP‑Non	⁺0.40	GUP‑Non
`SET083+1`	⁺0.00	0.00	⁺0.10	⁺0.00	7.70	⁺253.00	6.40	TMO‑Non	⁺0.50	0.40	GUP‑Non	⁺0.10	TMO‑Non
`SET096+1`	⁺1.70	0.30	⁺0.50	⁺3.00	32.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺38.80	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SET102+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺38.20	TMO‑Non	⁺0.70	⁺0.00	TMO‑Non	GUP‑Non	0.20	TMO‑Non
`SET159+3`	⁺3.70	3.80	⁺9.10	⁺0.40	1.90	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET159+4`	⁺174.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺42.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET372+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET577+3`	⁺0.10	0.10	⁺0.30	⁺0.00	0.20	⁺0.10	0.20	TMO‑Non	TMO‑Non	4.60	GUP‑Non	⁺0.10	TMO‑Non
`SET579+3`	⁺0.00	0.00	⁺0.10	⁺0.00	0.10	⁺0.20	GUP‑Non	TMO‑Non	TMO‑Non	5.10	GUP‑Non	⁺0.10	TMO‑Non
`SET580+3`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺10.90	0.00	TMO‑Non	TMO‑Non	0.90	GUP‑Non	0.10	TMO‑Non
`SET582+3`	⁺101.70	16.20	⁺30.60	⁺4.50	1.80	TMO‑Non	2.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SET593+3`	⁺2.20	0.00	⁺0.10	⁺12.70	1.10	⁺0.30	0.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET595+3`	⁺3.40	12.60	⁺28.40	⁺0.70	0.20	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET607+3`	⁺6.10	6.60	⁺17.80	⁺0.60	0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET608+3`	⁺30.70	64.80	89.80	⁺0.10	0.50	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET610+3`	⁺2.60	14.10	⁺35.00	⁺0.50	0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET611+3`	⁺0.20	6.50	⁺24.40	⁺0.10	2.90	⁺6.80	TMO‑Non	TMO‑Non	⁺14.80	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET612+3`	⁺19.50	TMO‑Non	TMO‑Non	TMO‑Non	2.20	⁺3.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET613+3`	TMO‑Non	49.90	69.60	⁺117.10	4.40	⁺9.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET619+3`	⁺0.30	0.00	⁺0.00	⁺0.20	TMO‑Non	TMO‑Non	0.50	⁺18.30	⁺2.70	TMO‑Non	GUP‑Non	0.10	TMO‑Non
`SET620+3`	⁺0.00	0.00	⁺0.00	⁺0.00	24.20	⁺218.30	0.00	⁺0.10	⁺0.00	TMO‑Non	GUP‑Non	0.10	TMO‑Non
`SET621+3`	⁺0.00	0.00	⁺0.00	⁺0.00	25.90	⁺3.70	0.00	⁺0.20	⁺0.00	TMO‑Non	GUP‑Non	0.20	TMO‑Non
`SET630+3`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺38.00	1.60	⁺194.60	TMO‑Non	2.20	GUP‑Non	0.10	TMO‑Non
`SET634+3`	⁺10.50	7.60	⁺21.60	⁺0.20	1.00	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET640+3`	⁺47.10	0.20	⁺0.30	⁺89.70	0.30	TMO‑Non	TMO‑Non	⁺0.20	⁺36.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET641+3`	⁺0.10	0.00	⁺0.10	⁺0.60	2.80	⁺6.20	TMO‑Non	⁺1.20	⁺19.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET644+3`	⁺16.40	0.10	⁺0.20	⁺33.60	0.20	TMO‑Non	TMO‑Non	⁺2.20	⁺13.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET645+3`	⁺0.70	0.00	⁺0.00	⁺28.80	1.50	TMO‑Non	TMO‑Non	⁺0.40	⁺2.40	195.70	TMO‑Non	TMO‑Non	GUP‑Non
`SET646+3`	⁺8.20	0.00	⁺0.10	⁺87.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET653+3`	⁺5.10	0.00	⁺0.00	⁺0.70	0.10	⁺18.10	TMO‑Non	⁺48.10	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non
`SET655+3`	⁺155.40	0.20	⁺0.30	⁺119.10	50.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET656+3`	⁺256.20	17.20	⁺34.50	⁺149.00	10.20	TMO‑Non	TMO‑Non	⁺14.60	⁺14.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET659+3`	⁺186.40	7.90	⁺13.20	⁺148.60	41.40	TMO‑Non	TMO‑Non	⁺2.60	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SET661+3`	⁺272.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET663+3`	⁺0.00	0.00	⁺0.10	⁺0.00	0.20	⁺89.20	TMO‑Non	⁺0.20	⁺0.30	23.60	TMO‑Non	TMO‑Non	TMO‑Non
`SET664+3`	⁺0.00	0.00	⁺0.10	⁺0.00	0.20	⁺77.80	TMO‑Non	⁺0.10	⁺0.10	23.80	TMO‑Non	TMO‑Non	TMO‑Non
`SET667+3`	⁺162.10	0.00	⁺0.10	⁺224.60	18.90	TMO‑Non	TMO‑Non	⁺291.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SET668+3`	⁺57.70	0.50	⁺0.80	⁺86.40	1.60	TMO‑Non	TMO‑Non	⁺0.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SET669+3`	⁺57.80	0.50	⁺0.80	⁺86.40	1.60	TMO‑Non	TMO‑Non	⁺1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET670+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET671+3`	⁺157.20	6.30	⁺7.90	⁺210.40	9.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET673+3`	⁺158.60	6.50	⁺8.10	⁺210.40	7.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET674+3`	TMO‑Non	4.70	⁺7.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET675+3`	⁺0.00	4.70	⁺6.50	⁺1.60	51.00	TMO‑Non	TMO‑Non	⁺1.80	⁺0.00	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET678+3`	⁺57.80	0.00	⁺0.10	⁺152.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SET682+3`	⁺0.00	0.00	⁺0.10	⁺0.10	3.90	TMO‑Non	TMO‑Non	⁺0.20	⁺0.10	54.40	TMO‑Non	TMO‑Non	TMO‑Non
`SET700+4`	⁺159.80	0.00	⁺0.10	⁺7.80	TMO‑Non	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	TMO‑Non
`SET717+4`	⁺213.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺173.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non
`SET752+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non
`SET802+4`	⁺32.10	1.40	⁺2.10	⁺54.00	2.30	⁺7.10	0.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	⁺0.10	TMO‑Non
`SEU128+1`	⁺0.00	1.00	⁺2.00	⁺0.40	0.20	⁺0.10	0.50	⁺1.90	⁺3.00	TMO‑Non	GUP‑Non	⁺0.10	GUP‑Non
`SEU180+2`	⁺2.60	0.60	⁺1.10	⁺4.00	53.00	⁺0.20	0.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU186+2`	⁺2.30	0.10	⁺0.20	⁺2.60	6.60	⁺10.40	6.90	TMO‑Non	⁺14.10	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU265+2`	⁺118.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU327+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU365+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU416+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU418+2`^*	TMO‑Non	98.20	⁺112.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU424+3`^*	TMO‑Non	99.20	⁺183.30	UNK‑Non	TMO‑Non	⁺58.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU428+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU429+3`^*	TMO‑Non	104.70	⁺187.80	UNK‑Non	TMO‑Non	⁺103.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU430+2`^*	TMO‑Non	77.70	⁺91.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU435+3`^*	TMO‑Non	130.10	⁺213.80	UNK‑Non	TMO‑Non	⁺77.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SEU451+1`^*	⁺0.10	0.10	⁺0.20	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺180.50	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SWC010+1`	⁺9.20	0.00	⁺0.10	⁺32.20	5.20	⁺13.20	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWC042+1`	⁺0.00	0.00	⁺0.10	⁺0.10	3.50	TMO‑Non	0.10	TMO‑Non	⁺99.80	0.10	GUP‑Non	TMO‑Non	TMO‑Non
`SWC043+1`	⁺0.00	0.00	⁺0.10	⁺0.10	3.50	TMO‑Non	0.10	TMO‑Non	⁺65.20	0.10	GUP‑Non	TMO‑Non	TMO‑Non
`SWC297+1`	⁺70.80	0.40	⁺0.80	⁺99.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`SWV026+1`	⁺43.30	86.30	⁺139.60	⁺25.40	3.80	⁺0.20	74.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV090+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV198+1`	⁺0.50	0.20	⁺0.40	⁺3.30	65.00	TMO‑Non	0.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV201+1`	⁺0.20	0.70	⁺1.50	⁺1.30	0.20	⁺0.20	0.10	TMO‑Non	⁺6.90	TMO‑Non	TMO‑Non	⁺0.10	GUP‑Non
`SWV203+1`	⁺11.70	TMO‑Non	TMO‑Non	⁺24.40	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV206+1`	⁺0.20	0.00	⁺0.10	⁺1.00	0.20	⁺0.20	0.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.00	⁺0.10	GUP‑Non
`SWV208+1`	TMO‑Non	0.30	⁺0.60	⁺33.70	53.70	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV234+1`	⁺43.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`SWV234+2`	⁺0.80	0.00	⁺0.10	⁺19.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV235+1`	⁺4.20	0.10	⁺0.20	⁺0.20	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV374+1`	⁺0.00	0.10	⁺0.20	⁺0.00	55.40	TMO‑Non	0.00	TMO‑Non	⁺160.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV377+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	0.00	⁺0.00	⁺0.20	2.40	GUP‑Non	TMO‑Non	GUP‑Non
`SWV381+1`	⁺1.10	0.00	⁺0.10	⁺52.10	0.30	⁺1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV394+1`	⁺168.40	0.10	⁺0.20	⁺33.00	10.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺7.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV398+1`	⁺191.00	TMO‑Non	TMO‑Non	⁺133.80	85.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`SYN036+2`	⁺0.00	3.80	⁺6.00	⁺0.00	0.10	⁺6.40	0.30	⁺0.00	TMO‑Non	TMO‑Non	⁺0.00	GUP‑Non	GUP‑Non
`SYN048+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN049+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN051+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN053+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	GUP‑Non
`SYN058+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN060+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN061+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN067+1`	⁺0.00	2.40	⁺3.70	⁺0.00	0.10	⁺6.10	16.00	⁺0.00	TMO‑Non	184.40	⁺0.00	GUP‑Non	TMO‑Non
`SYN077+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.20	⁺12.50	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	⁺6.70	TMO‑Non	TMO‑Non
`SYN341+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	GUP‑Non
`SYN347+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.20	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN371+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN407+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN450+1`	⁺0.80	14.70	⁺20.30	⁺0.60	0.20	TMO‑Non	84.10	TMO‑Non	TMO‑Non	UNK‑Non	⁺1.80	TMO‑Non	GUP‑Non
`SYN467+1`	⁺1.20	16.10	⁺21.60	⁺1.00	0.20	TMO‑Non	78.40	TMO‑Non	TMO‑Non	UNK‑Non	⁺1.50	TMO‑Non	GUP‑Non
`SYN477+1`	⁺0.70	4.80	⁺7.00	⁺0.40	0.30	TMO‑Non	93.20	TMO‑Non	TMO‑Non	UNK‑Non	⁺2.10	TMO‑Non	GUP‑Non
`SYN726+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	⁺0.00	⁺0.00	0.00	⁺2.80	GUP‑Non	14.50
`SYN731+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	GUP‑Non	GUP‑Non	0.20
`SYN917+1`	⁺0.00	0.10	⁺0.20	⁺0.00	0.10	⁺0.20	1.00	⁺0.10	GUP‑Non	TMO‑Non	⁺0.00	GUP‑Non	GUP‑Non
`SYN928+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN938+1`	⁺0.00	1.20	⁺1.70	⁺0.00	0.30	⁺7.10	5.70	⁺0.40	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SYN950+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN952+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN954+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`SYN967+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.10
`SYN968+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	0.20
`TOP024+2`^*	TMO‑Non	62.00	⁺74.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`TOP026+2`^*	TMO‑Non	47.20	⁺57.20	TMO‑Non	19.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
`TOP028+2`^*	TMO‑Non	119.90	⁺132.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non
Attempted	200	200	200	200	200	200	200	200	200	200	200	200	200
Solved	169	164	164	163	139	95	86	84	76	60	51	38	27
Av. Time	27.81	15.52	20.97	25.67	10.29	21.51	20.16	16.19	17.92	16.31	4.33	8.77	4.97
Solutions	169	0	161	163	0	95	0	84	76	0	51	31	0
SOTAC	0.18	0.15	0.15	0.15	0.15	0.13	0.11	0.12	0.11	0.10	0.12	0.19	0.09
New Attempted	37	37	37	37	37	37	37	37	37	37	37	37	37
New Solved	18	27	27	17	18	8	8	11	3	4	5	1	1

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FNT

FNT	MetaProver 1.0	Paradox 2.2	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
`CSR010+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR078+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR087+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR087+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR095+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR105+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR106+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR107+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`CSR110+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR111+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺27.40	15.10	TMO‑Non	UNK‑Non
`CSR111+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO159+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO160+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO161+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO224+1`	0.00	⁺0.00	⁺0.00	62.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO224+2`	0.10	⁺0.00	⁺0.00	62.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA013+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.30	UNK‑Non
`GRA017+1`	0.30	⁺0.10	⁺0.10	1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA018+1`	0.30	⁺0.20	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA021+1`	1.60	⁺0.30	⁺0.40	0.60	TMO‑Non	TMO‑Non	0.10	GUP‑Non	UNK‑Non
`GRA024+1`	1.50	⁺1.90	⁺2.00	1.10	TMO‑Non	TMO‑Non	0.10	TMO‑Non	UNK‑Non
`GRA025+1`	10.00	⁺10.10	⁺10.50	2.60	TMO‑Non	TMO‑Non	0.60	TMO‑Non	UNK‑Non
`GRA026+1`	53.50	TMO‑Non	TMO‑Non	22.00	TMO‑Non	TMO‑Non	6.50	TMO‑Non	UNK‑Non
`GRP394+3`	0.10	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GRP396+1`	0.00	⁺0.00	⁺0.00	0.70	0.00	⁺0.00	0.00	GUP‑Non	UNK‑Non
`HAL003+1`	1.60	⁺0.90	⁺0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`HAL003+2`	1.60	⁺1.10	⁺1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`HAL005+1`	1.10	⁺0.60	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`KRS021+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.20	UNK‑Non
`KRS024+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.10	UNK‑Non
`KRS028+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS029+1`	0.00	⁺0.00	⁺0.00	60.70	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS030+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS032+1`	0.00	⁺0.00	⁺0.00	4.10	0.00	⁺0.60	TMO‑Non	TMO‑Non	UNK‑Non
`KRS040+1`	1.00	⁺0.00	⁺0.00	1.80	1.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`KRS045+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS053+1`	0.10	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.10	UNK‑Non
`KRS055+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.20	UNK‑Non
`KRS173+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL354+1`	0.10	⁺0.00	⁺0.00	67.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL577+1`	0.30	⁺0.10	⁺0.10	217.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`MED004+1`	0.00	⁺0.00	⁺0.00	1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`MGT019+2`	0.00	⁺0.00	⁺0.00	0.50	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT031+1`	0.00	⁺0.00	⁺0.00	0.20	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT033+1`	0.00	⁺0.00	⁺0.00	1.00	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT037+2`	0.00	⁺0.00	⁺0.00	0.30	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT038+1`	0.00	⁺0.00	⁺0.00	0.30	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT038+2`	0.90	⁺0.00	⁺0.00	66.50	TMO‑Non	TMO‑Non	0.10	TMO‑Non	UNK‑Non
`MGT040+1`	0.00	⁺0.00	⁺0.00	0.20	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT066+1`	0.20	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	0.00	0.20	UNK‑Non
`MSC009+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`MSC013+1`	0.00	TMO‑Non	TMO‑Non	0.00	0.00	⁺4.30	0.00	0.50	UNK‑Non
`MSC016+1`^*	0.20	⁺5.90	⁺6.60	0.30	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP033+1`	0.00	⁺0.00	⁺0.00	0.40	0.20	⁺0.00	1.10	GUP‑Non	UNK‑Non
`NLP054+1`	0.00	⁺0.10	⁺0.20	30.40	0.00	⁺0.10	0.30	TMO‑Non	UNK‑Non
`NLP057+1`	0.00	⁺0.10	⁺0.20	30.40	0.00	⁺0.10	0.20	TMO‑Non	UNK‑Non
`NLP060+1`	0.10	⁺0.00	⁺0.00	0.30	0.20	⁺0.00	0.60	GUP‑Non	UNK‑Non
`NLP089+1`	0.20	UNK‑Non	UNK‑Non	31.90	0.00	⁺0.20	141.30	TMO‑Non	TMO‑Non
`NLP146+1`	0.00	⁺0.10	⁺0.10	0.40	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`NLP178+1`	0.00	⁺0.10	⁺0.10	65.60	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`NLP190+1`	0.90	⁺0.20	⁺0.20	20.70	0.80	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`NLP192+1`	0.40	⁺0.10	⁺0.10	3.70	0.70	⁺0.20	TMO‑Non	GUP‑Non	UNK‑Non
`NLP193+1`	0.30	⁺0.10	⁺0.10	20.50	0.80	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`NLP194+1`	0.40	⁺0.10	⁺0.10	3.70	0.70	⁺0.20	TMO‑Non	GUP‑Non	UNK‑Non
`NLP222+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	2.20	TMO‑Non	UNK‑Non
`NUM347+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM353+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM368+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM370+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM373+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM374+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM374+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM374+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`PLA024+1`	0.90	⁺0.00	⁺0.10	0.40	TMO‑Non	TMO‑Non	0.00	GUP‑Non	UNK‑Non
`PLA025+1`	0.30	⁺0.20	⁺0.20	30.40	TMO‑Non	TMO‑Non	0.30	GUP‑Non	UNK‑Non
`PLA026+1`	1.10	⁺0.10	⁺0.10	1.70	TMO‑Non	TMO‑Non	0.10	GUP‑Non	UNK‑Non
`PLA029+2`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	GUP‑Non	UNK‑Non
`SET781+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SET783+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV010+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	GUP‑Non	UNK‑Non
`SWV013+1`	0.00	⁺0.00	⁺0.00	1.50	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV015+1`	0.00	⁺0.00	⁺0.00	1.50	0.00	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`SWV016+1`	0.00	⁺0.00	⁺0.10	1.80	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV017+1`	0.00	⁺0.00	⁺0.10	1.40	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV018+1`	0.00	⁺0.00	⁺0.10	1.50	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV129+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	UNK‑Non
`SWV207+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV238+1`	283.00	TMO‑Non	TMO‑Non	TMO‑Non	33.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN316+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN320+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN330+1`	0.00	⁺0.30	⁺0.30	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN335+1`	0.10	⁺42.80	⁺42.20	0.00	0.00	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`SYN344+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN348+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺1.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN422+1`	0.90	⁺0.30	⁺0.40	0.60	TMO‑Non	TMO‑Non	UNK‑Non	20.20	UNK‑Non
`SYN490+1`	0.80	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.30	UNK‑Non
`SYN520+1`	1.80	⁺0.60	⁺0.70	17.00	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non
`SYN522+1`	1.00	⁺0.00	⁺0.10	0.10	0.00	⁺0.10	0.50	1.10	UNK‑Non
`SYN535+1`	0.10	⁺0.00	⁺0.00	0.00	0.10	⁺0.00	0.10	0.50	UNK‑Non
`SYN725+1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.10	UNK‑Non
Attempted	100	100	100	100	100	100	100	100	100
Solved	74	70	70	69	52	41	37	12	0
Av. Time	4.96	0.95	0.97	12.20	0.73	0.84	4.57	1.98	-
Solutions	0	70	70	0	0	41	0	0	0
SOTAC	0.19	0.18	0.18	0.18	0.17	0.16	0.17	0.14	-
New Attempted	11	11	11	11	11	11	11	11	11
New Solved	1	1	1	1	1	1	1	0	0

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for CNF

CNF	Vampire 10.0	Vampire 8.1	E 1.0pre	iProver 0.5c	E-Darwin 1.0	Equinox 3.0	Otter 3.3	E-KRHyper 1.1	Metis 2.1	CHewTPTP 1.0	OSHL-S 0.1
`ANA002-2`	⁺70.70	⁺54.00	1.90	32.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA003-2`	⁺63.20	⁺16.90	4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	14.90	TMO‑Non
`ANA004-4`	⁺0.00	⁺1.20	0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20	TMO‑Non
`ANA032-2`	⁺0.20	⁺0.60	2.70	5.40	TMO‑Non	0.30	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BOO012-3`	⁺7.70	⁺8.40	1.90	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`BOO020-1`	⁺0.40	⁺11.20	6.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL042-4`	⁺14.20	⁺37.50	2.10	TMO‑Non	TMO‑Non	0.10	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL074-3`	⁺0.00	⁺11.30	0.00	TMO‑Non	TMO‑Non	10.10	⁺4.10	TMO‑Non	⁺101.90	TMO‑Non	GUP‑Non
`COL076-1`	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`COL079-1`	⁺5.90	⁺101.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL079-2`	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL098-2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	11.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM003-1`	⁺0.00	⁺1.20	1.00	0.30	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM010-1`	⁺0.10	⁺0.50	2.10	TMO‑Non	45.70	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`FLD060-1`	⁺0.20	⁺1.30	1.70	0.30	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD065-1`	⁺0.10	⁺1.30	0.00	22.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO008-1`	⁺10.30	⁺45.50	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRP039-2`	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP054-1`	⁺58.00	⁺49.40	0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRP071-1`	⁺17.80	⁺0.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP072-1`	⁺17.60	⁺0.10	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP084-1`	TMO‑Non	⁺128.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP087-1`	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP113-1`	TMO‑Non	TMO‑Non	46.90	TMO‑Non	TMO‑Non	0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP197-1`	⁺14.20	⁺5.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non
`HEN011-3`	⁺0.50	⁺5.90	0.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`HWC003-1`	⁺33.40	⁺52.80	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV017-2`	⁺0.00	⁺0.10	0.20	TMO‑Non	0.30	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV031-1`	⁺54.20	⁺30.60	6.70	40.80	46.30	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT005-3`	⁺11.50	⁺22.20	7.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT198-1`	⁺22.00	⁺55.40	2.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT265-1`	⁺0.10	⁺0.10	0.30	0.20	13.50	0.70	⁺0.40	2.00	⁺1.80	GUP‑Non	TMO‑Non
`LCL084-3`	⁺19.00	⁺79.40	156.90	TMO‑Non	67.40	TMO‑Non	⁺102.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL144-1`	⁺0.00	⁺0.30	0.00	TMO‑Non	TMO‑Non	41.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL147-1`	⁺265.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL149-1`	⁺97.90	⁺149.10	82.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL152-1`	⁺0.20	⁺0.80	3.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL227-1`	⁺0.10	⁺34.00	0.50	5.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL253-1`	⁺61.30	⁺26.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL295-3`	⁺0.00	⁺10.90	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL368-1`	⁺0.40	⁺7.60	3.50	TMO‑Non	0.10	TMO‑Non	TMO‑Non	41.00	⁺148.40	TMO‑Non	TMO‑Non
`LCL431-1`	⁺0.10	⁺1.20	2.80	TMO‑Non	42.40	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`LCL444-2`	⁺17.10	⁺77.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	56.00	TMO‑Non	TMO‑Non	GUP‑Non
`MGT035-2`	⁺181.90	⁺185.90	15.00	18.00	TMO‑Non	8.80	TMO‑Non	12.90	TMO‑Non	TMO‑Non	TMO‑Non
`NLP251-1`	⁺0.00	⁺1.10	0.10	0.10	0.00	1.90	⁺0.50	0.50	⁺1.40	TMO‑Non	TMO‑Non
`NUM011-1`	⁺64.30	⁺0.00	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM017-1`	⁺13.20	⁺52.70	3.40	46.90	TMO‑Non	TMO‑Non	⁺46.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM017-2`	⁺0.20	⁺1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA005-2`	⁺0.00	⁺0.00	0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	9.20	TMO‑Non
`PLA014-2`	⁺0.00	⁺0.00	0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	16.30	TMO‑Non
`RNG001-2`	⁺3.90	⁺37.80	TMO‑Non	36.70	11.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG001-3`	⁺79.50	⁺2.20	TMO‑Non	3.60	0.00	TMO‑Non	⁺1.40	8.10	⁺4.60	38.70	7.60
`RNG001-5`	⁺1.20	⁺35.10	TMO‑Non	27.60	1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG025-1`	⁺80.30	⁺0.90	2.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG029-2`	⁺80.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ROB014-1`	⁺16.20	⁺60.20	11.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ROB018-1`	⁺159.80	TMO‑Non	52.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET012-2`	⁺0.00	⁺0.00	0.60	0.40	0.00	TMO‑Non	TMO‑Non	10.70	TMO‑Non	TMO‑Non	10.40
`SET013-1`	⁺0.00	⁺1.10	0.20	0.60	7.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET015-1`	⁺0.00	⁺1.10	0.20	0.20	8.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET015-3`	⁺44.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET031-3`	⁺46.10	⁺14.60	1.80	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET031-4`	⁺46.10	⁺14.60	12.20	0.10	147.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET035-3`	⁺11.00	⁺48.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET837-2`	⁺2.60	⁺0.00	0.20	6.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET838-1`	⁺0.10	⁺0.00	0.30	TMO‑Non	253.20	TMO‑Non	GUP‑Non	TMO‑Non	⁺81.60	GUP‑Non	TMO‑Non
`SET843-1`	⁺0.10	⁺1.30	TMO‑Non	TMO‑Non	65.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET846-1`	⁺0.10	⁺0.00	0.30	1.50	67.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET850-1`	⁺7.60	⁺1.10	0.80	0.10	0.30	TMO‑Non	TMO‑Non	0.20	TMO‑Non	GUP‑Non	TMO‑Non
`SET853-1`	⁺73.20	⁺0.10	TMO‑Non	TMO‑Non	UNK‑Non	4.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET854-2`	⁺1.50	⁺36.40	3.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET857-1`	⁺46.40	⁺30.00	TMO‑Non	TMO‑Non	60.30	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET858-1`	⁺7.50	⁺15.30	TMO‑Non	75.60	20.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET862-1`	⁺108.80	TMO‑Non	TMO‑Non	TMO‑Non	235.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV014-1`	⁺0.00	⁺5.60	0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV244-1`	⁺0.10	⁺0.00	0.30	0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV245-1`	⁺11.20	⁺29.10	1.70	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SWV246-1`	⁺10.70	⁺29.60	1.50	TMO‑Non	241.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV248-1`	⁺88.70	⁺72.10	82.50	TMO‑Non	72.40	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV248-2`	⁺0.00	⁺1.20	0.00	0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV251-2`	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	⁺1.60	TMO‑Non	TMO‑Non
`SWV271-1`	⁺0.20	⁺1.30	2.40	1.00	15.40	120.50	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV275-1`	⁺248.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV291-2`	⁺0.00	⁺0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.00	0.20	0.30
`SWV308-2`	⁺0.00	⁺0.00	0.00	0.00	TMO‑Non	1.50	⁺0.00	0.00	TMO‑Non	TMO‑Non	87.40
`SWV316-2`	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV318-1`	⁺0.40	⁺1.50	19.10	TMO‑Non	68.30	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV321-1`	⁺0.10	⁺1.30	0.40	71.70	47.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV328-1`	⁺0.30	⁺1.40	2.70	TMO‑Non	65.60	274.60	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SWV330-1`	⁺0.10	⁺0.10	0.10	0.40	14.80	0.90	⁺0.50	2.70	⁺2.00	GUP‑Non	GUP‑Non
`SWV351-1`	⁺0.10	⁺0.10	0.10	0.40	16.50	0.90	⁺0.50	2.80	⁺2.00	GUP‑Non	GUP‑Non
`SWV354-1`	⁺26.60	TMO‑Non	175.10	TMO‑Non	76.20	9.20	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SWV355-1`	⁺11.80	⁺78.50	3.60	TMO‑Non	66.60	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SYN036-1`	⁺0.00	⁺0.00	4.40	0.10	0.10	225.90	TMO‑Non	0.70	⁺7.60	TMO‑Non	TMO‑Non
`SYN076-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	6.90	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN314-1.002.001`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN353-1`	⁺0.00	⁺0.00	0.00	0.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	⁺58.00	TMO‑Non	TMO‑Non
`SYN647-1`	⁺2.40	⁺2.00	0.10	0.20	TMO‑Non	TMO‑Non	⁺6.30	17.40	TMO‑Non	TMO‑Non	TMO‑Non
`SYN653-1`	⁺0.20	⁺4.50	1.50	1.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	⁺3.20	TMO‑Non	TMO‑Non
`SYN796-1`	⁺1.90	⁺0.10	0.20	0.30	1.20	3.50	TMO‑Non	0.20	⁺82.30	TMO‑Non	GUP‑Non
Attempted	100	100	100	100	100	100	100	100	100	100	100
Solved	93	88	77	40	39	21	16	15	14	6	4
Av. Time	25.19	20.46	9.61	10.04	45.90	34.00	10.61	10.35	35.46	13.25	26.43
Solutions	93	88	0	0	0	0	16	0	14	0	0
SOTAC	0.28	0.26	0.26	0.19	0.22	0.23	0.17	0.14	0.14	0.18	0.12
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	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: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for SAT

SAT	MetaProver 1.0	Paradox 1.3	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	Infinox 0.1
`ALG008-1`	0.20	⁺0.00	⁺0.00	190.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`BOO033-1`	0.10	⁺0.00	⁺0.00	66.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`BOO037-1`	0.00	⁺0.00	⁺0.00	5.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`BOO059-1`	4.60	⁺1.20	⁺1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`BOO061-1`	2.10	⁺1.00	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`COL071-1`	0.90	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO078-4`	2.70	⁺3.90	⁺4.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO078-6`	1.50	⁺0.00	⁺0.10	167.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO163-1`	0.90	⁺0.00	⁺0.00	64.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP026-2`	1.80	⁺0.10	⁺0.20	100.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP026-3`	1.40	⁺0.20	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP026-4`	1.70	⁺0.10	⁺0.20	77.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP027-2`	0.40	⁺0.00	⁺0.10	103.90	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP081-1`	0.00	⁺0.00	⁺0.00	96.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP392-1`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP394-1`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP398-3`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRP399-1`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT049-1`	1.40	⁺0.20	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT052-1`	1.50	⁺0.60	⁺1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT055-1`	0.00	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT056-1`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT057-1`	0.00	⁺0.00	⁺0.00	61.50	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT058-1`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT063-1`	1.40	⁺1.20	⁺4.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT101-1`	2.70	⁺0.60	⁺2.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT111-1`	56.30	⁺10.00	⁺40.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT112-1`	120.30	⁺31.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LAT127-1`	1.70	⁺1.10	⁺5.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL136-1`	1.30	⁺0.00	⁺0.00	65.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL142-1`	0.00	⁺0.00	⁺0.00	61.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL180-1`	2.00	⁺0.10	⁺0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL220-1`	4.60	⁺0.90	⁺6.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL239-1`	0.60	⁺0.30	⁺0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL244-1`	1.40	⁺3.00	⁺41.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL245-1`	24.80	⁺5.80	⁺30.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL292-3`	0.00	⁺0.00	⁺0.00	92.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL412-1`	0.00	⁺0.00	⁺0.00	62.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL413-1`	0.00	⁺0.00	⁺0.00	62.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP027-1`	0.00	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP033-1`	0.00	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP060-1`	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP167-1`	0.00	⁺0.10	⁺0.10	0.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP191-1`	1.20	⁺0.10	⁺0.10	0.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP212-1`	1.50	⁺0.20	⁺0.20	93.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP215-1`	2.40	⁺0.10	⁺0.20	110.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP217-1`	0.60	⁺0.20	⁺0.20	108.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM287-1`	0.00	⁺0.00	⁺0.00	60.20	TMO‑Non	TMO‑Non	UNK‑Non	UNK‑Non
`NUM288-1`	0.00	⁺0.00	⁺0.00	60.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`PUZ049-1`	5.30	GUP‑Non	UNK‑Non	34.50	0.90	⁺4.20	0.50	UNK‑Non
`RNG007-5`	0.10	⁺0.00	⁺0.00	61.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`RNG031-6`	27.70	⁺7.70	⁺70.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`RNG042-1`	0.00	⁺0.00	⁺0.00	3.70	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`RNG043-2`	0.00	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`ROB012-1`	1.80	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN303-1`	0.10	GUP‑Non	TMO‑Non	0.00	0.00	⁺0.00	0.00	UNK‑Non
`SYN324-1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	TMO‑Non	UNK‑Non
`SYN330-1`	0.10	⁺0.30	⁺0.20	0.00	0.00	⁺0.00	TMO‑Non	UNK‑Non
`SYN335-1`	0.20	⁺42.80	⁺42.30	0.00	0.00	TMO‑Non	TMO‑Non	UNK‑Non
`SYN739-1`	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺15.90	TMO‑Non	UNK‑Non
`SYN752-1`	0.00	⁺0.00	⁺0.00	0.10	0.90	TMO‑Non	TMO‑Non	UNK‑Non
`SYN761-1`	0.40	⁺0.00	⁺0.10	3.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN765-1`	0.00	⁺0.00	⁺0.10	60.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN786-1`	0.00	⁺0.00	⁺0.00	60.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN903-1`	1.50	⁺0.30	⁺0.30	68.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN904-1`	2.60	⁺0.60	⁺0.60	68.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN905-1`	2.80	⁺0.70	⁺0.80	74.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN906-1`	1.80	⁺0.40	⁺0.60	67.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN907-1`	2.90	⁺0.70	⁺0.80	65.40	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN909-1`	2.60	⁺1.30	⁺1.40	68.90	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN910-1`	3.00	⁺2.00	⁺2.10	76.60	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN911-1`	2.90	⁺2.60	⁺3.00	109.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN912-1`	2.70	⁺4.40	⁺4.20	90.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP002-1`	1.60	⁺0.10	⁺0.10	30.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP007-1`	1.80	⁺0.30	⁺0.30	1.10	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP009-1`	1.70	⁺0.20	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP012-1`	1.40	⁺0.10	⁺0.10	0.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP013-1`	1.80	⁺0.10	⁺0.10	30.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP014-1`	1.80	⁺0.10	⁺0.10	84.20	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`TOP015-1`	1.80	⁺0.10	⁺0.10	43.90	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
Attempted	80	80	80	80	80	80	80	80
Solved	80	78	77	60	7	5	2	0
Av. Time	3.93	1.63	3.49	46.98	0.26	4.02	0.25	-
Solutions	0	78	77	0	0	5	0	0
SOTAC	0.27	0.27	0.27	0.24	0.19	0.18	0.20	-
New Attempted	0	0	0	0	0	0	0	0
New Solved	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: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for EPR

EPR	iProver 0.5c	E-Darwin 1.0	Darwin 1.3	Paradox 3.0	E 1.0pre	E-KRHyper 1.1	Metis 2.1	OSHL-S 0.1
`GRP124-8.005`	1.80	0.00	⁺0.00	⁺0.10	TMO‑Non	0.00	TMO‑Non	3.00
`GRP126-1.005`	7.00	0.00	⁺0.00	⁺0.00	TMO‑Non	0.00	TMO‑Non	1.00
`GRP127-1.005`	1.50	0.00	⁺0.00	⁺0.00	TMO‑Non	0.00	TMO‑Non	0.40
`GRP128-3.005`	6.00	0.00	0.00	0.00	0.50	0.50	TMO‑Non	7.50
`GRP130-3.004`	2.40	0.00	⁺0.00	⁺0.00	29.90	0.00	TMO‑Non	1.50
`GRP130-4.004`	2.60	0.00	⁺0.00	⁺0.00	21.40	0.00	TMO‑Non	0.30
`GRP131-2.005`	11.70	0.00	⁺0.00	⁺0.00	TMO‑Non	0.10	TMO‑Non	1.20
`GRP132-1.005`	30.30	0.10	⁺0.30	⁺0.00	TMO‑Non	0.90	TMO‑Non	1.30
`MGT066-1`	0.10	0.00	⁺0.00	⁺0.00	TMO‑Non	0.00	TMO‑Non	0.20
`MSC008-1.010`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MSC015-1.020`^*	TMO‑Non	TMO‑Non	TMO‑Non	2.90	TMO‑Non	216.20	TMO‑Non	TMO‑Non
`NLP006-1`	0.10	0.00	⁺0.00	⁺0.00	0.00	0.10	⁺0.00	0.30
`NLP008-1`	0.10	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.10	0.40
`NLP024-1`	0.20	0.00	⁺0.00	⁺0.10	0.00	0.00	⁺0.10	27.30
`NLP114-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.20
`NLP121-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.20
`NLP123-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.20
`NLP127-1`	0.10	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	1.00
`PLA031-1.003`^*	127.60	14.90	8.30	26.20	TMO‑Non	3.80	⁺62.70	TMO‑Non
`PLA031-1.004`^*	TMO‑Non	140.90	71.40	GUP‑Non	TMO‑Non	14.60	TMO‑Non	GUP‑Non
`PUZ018-2`	0.10	0.00	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	0.60
`PUZ028-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.30
`PUZ028-2`	0.10	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.10	0.70
`PUZ028-3`	0.10	0.00	⁺0.00	⁺0.40	0.00	0.10	⁺0.10	3.60
`PUZ028-4`	0.00	0.00	⁺0.00	⁺0.20	0.00	0.00	⁺0.10	0.60
`PUZ036-1.005`	0.20	0.00	0.10	TMO‑Non	0.00	0.10	⁺240.10	TMO‑Non
`PUZ037-1`	0.80	0.00	0.00	GUP‑Non	0.00	0.00	TMO‑Non	0.30
`PUZ053-1`	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV418-1.300`^*	179.50	47.20	40.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419-1.010`^*	12.60	130.70	TMO‑Non	130.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV419-1.020`^*	104.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420-1.005`^*	8.30	4.90	10.90	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420-1.010`^*	46.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV420-1.020`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.065`^*	25.20	3.70	3.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.105`^*	50.70	14.40	14.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.205`^*	232.30	124.60	120.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV421-1.300`^*	TMO‑Non	216.30	214.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.060`^*	31.30	2.80	2.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.100`^*	49.50	13.10	12.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV422-1.305`^*	TMO‑Non	240.10	224.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV423-1.010`^*	50.50	0.30	0.30	1.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV423-1.020`^*	298.60	1.30	1.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV423-1.050`^*	TMO‑Non	12.00	14.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.300`^*	13.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.350`^*	16.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.400`^*	24.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV424-1.500`^*	49.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN056-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.20
`SYN059-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.30
`SYN307-1`	0.40	0.00	⁺0.00	⁺0.00	TMO‑Non	0.00	TMO‑Non	0.10
`SYN447-1`	0.20	0.20	0.10	4.90	14.20	TMO‑Non	TMO‑Non	TMO‑Non
`SYN458-1`	0.20	0.10	0.10	1.60	5.00	TMO‑Non	TMO‑Non	TMO‑Non
`SYN466-1`	0.10	0.10	0.10	7.70	14.00	TMO‑Non	TMO‑Non	TMO‑Non
`SYN472-1`	0.10	0.30	0.10	18.10	24.40	TMO‑Non	TMO‑Non	GUP‑Non
`SYN481-1`	0.10	0.30	0.20	162.90	66.40	TMO‑Non	TMO‑Non	TMO‑Non
`SYN488-1`	0.10	0.40	0.20	10.40	32.80	TMO‑Non	TMO‑Non	TMO‑Non
`SYN494-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.20
`SYN496-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.20
`SYN513-1`	0.20	0.10	⁺0.00	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN517-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.30
`SYN524-1`	0.00	0.00	⁺0.00	⁺0.10	0.00	0.10	⁺0.00	0.50
`SYN532-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.10	⁺0.00	1.10
`SYN535-1`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.10	⁺0.00	0.80
`SYN546-1`	0.40	0.10	⁺0.10	⁺0.40	25.80	TMO‑Non	TMO‑Non	GUP‑Non
`SYN720-1`	0.20	0.10	⁺0.00	⁺0.10	0.80	0.10	⁺0.30	TMO‑Non
`SYN813-1`	1.40	1.00	0.50	3.00	1.00	TMO‑Non	⁺16.20	TMO‑Non
`SYN814-1`	2.50	4.20	⁺1.00	⁺35.50	1.70	TMO‑Non	TMO‑Non	TMO‑Non
`SYN824-1`	2.40	7.00	⁺1.80	⁺100.10	1.10	TMO‑Non	⁺9.00	TMO‑Non
`SYN826-1`	9.90	45.50	⁺6.60	TMO‑Non	4.30	TMO‑Non	⁺18.00	GUP‑Non
`SYN834-1`	0.90	0.80	0.40	3.00	0.20	TMO‑Non	⁺2.10	TMO‑Non
`SYN836-1`	0.90	0.70	0.30	2.90	0.20	TMO‑Non	⁺2.30	TMO‑Non
`SYN837-1`	1.70	4.80	1.50	12.60	0.70	TMO‑Non	⁺5.40	TMO‑Non
`SYN838-1`	5.10	22.70	⁺3.60	UNK‑Non	2.40	TMO‑Non	⁺12.90	TMO‑Non
`SYN842-1`	19.80	100.50	⁺12.30	GUP‑Non	9.20	TMO‑Non	⁺37.00	GUP‑Non
`SYN857-1`	1.10	0.90	0.30	3.50	0.30	TMO‑Non	⁺2.10	TMO‑Non
`SYN867-1`	0.10	0.00	⁺0.00	⁺0.30	0.00	TMO‑Non	⁺0.20	GUP‑Non
`SYN880-1`	0.10	0.10	0.10	1.00	0.00	TMO‑Non	⁺0.60	TMO‑Non
`SYN894-1`	0.20	0.10	0.10	1.00	0.10	TMO‑Non	⁺0.60	TMO‑Non
`SYN895-1`	0.20	0.20	0.10	1.20	0.00	TMO‑Non	⁺0.60	TMO‑Non
Attempted	80	80	80	80	80	80	80	80
Solved	72	70	69	55	46	35	35	31
Av. Time	19.92	16.54	11.15	9.69	5.57	6.77	11.73	1.80
Solutions	0	0	38	35	0	0	35	0
SOTAC	0.25	0.20	0.20	0.17	0.16	0.16	0.15	0.14
New Attempted	23	23	23	23	23	23	23	23
New Solved	17	15	14	5	0	3	1	0

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for UEQ

UEQ	Waldmeister 806	Vampire 10.0	E 1.0pre	Otter 3.3	Metis 2.1	Equinox 3.0
`BOO007-2`	⁺0.20	⁺0.80	0.60	⁺1.60	⁺90.80	TMO‑Non
`BOO007-4`	⁺0.20	⁺0.50	0.40	⁺0.30	⁺48.10	TMO‑Non
`BOO031-1`	⁺1.70	⁺0.30	2.50	⁺2.40	⁺79.70	TMO‑Non
`BOO034-1`	⁺0.20	⁺0.00	0.00	⁺12.90	TMO‑Non	TMO‑Non
`BOO072-1`	⁺0.20	⁺0.40	0.10	⁺0.40	⁺1.00	TMO‑Non
`BOO073-1`	⁺1.00	⁺16.00	3.30	GUP‑Non	TMO‑Non	TMO‑Non
`BOO076-1`	⁺24.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL003-1`	⁺0.40	⁺299.80	5.70	GUP‑Non	TMO‑Non	TMO‑Non
`COL003-12`	⁺0.20	⁺0.30	0.10	⁺0.10	⁺9.10	TMO‑Non
`COL003-20`	⁺0.20	⁺2.10	0.10	⁺1.00	TMO‑Non	0.70
`COL006-6`	⁺0.20	⁺171.60	TMO‑Non	⁺0.40	TMO‑Non	0.00
`COL011-1`	⁺0.20	⁺295.90	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non
`COL037-1`	⁺0.20	⁺13.40	0.20	⁺0.40	⁺5.30	TMO‑Non
`COL038-1`	⁺0.40	⁺181.40	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`COL043-3`	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL044-8`	⁺0.20	⁺38.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COL046-1`	⁺0.30	⁺180.40	6.60	TMO‑Non	TMO‑Non	TMO‑Non
`COL049-1`	⁺0.20	⁺1.70	0.00	⁺0.00	TMO‑Non	TMO‑Non
`COL057-1`	⁺0.20	⁺1.70	1.10	⁺0.10	⁺200.40	TMO‑Non
`COL060-1`	⁺0.20	⁺0.00	0.00	GUP‑Non	⁺2.70	TMO‑Non
`COL061-1`	⁺0.30	⁺0.00	0.00	GUP‑Non	⁺0.50	TMO‑Non
`COL063-1`	⁺0.20	⁺0.40	0.20	TMO‑Non	⁺20.00	TMO‑Non
`COL064-1`	⁺0.30	⁺3.10	1.50	TMO‑Non	TMO‑Non	TMO‑Non
`COL065-1`	⁺0.60	⁺8.20	4.40	GUP‑Non	TMO‑Non	TMO‑Non
`GRP014-1`	⁺0.20	⁺0.20	0.40	GUP‑Non	TMO‑Non	TMO‑Non
`GRP024-5`	⁺1.50	⁺11.40	TMO‑Non	GUP‑Non	UNK‑Non	TMO‑Non
`GRP114-1`	⁺0.30	⁺0.50	2.10	GUP‑Non	TMO‑Non	TMO‑Non
`GRP164-2`	⁺6.80	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`GRP167-1`	⁺0.50	⁺0.20	162.40	⁺54.50	⁺13.00	TMO‑Non
`GRP178-2`	⁺0.30	⁺45.40	1.40	GUP‑Non	TMO‑Non	TMO‑Non
`GRP181-4`	⁺2.40	⁺1.50	0.60	⁺2.60	TMO‑Non	TMO‑Non
`GRP183-4`	⁺0.40	⁺130.00	3.20	GUP‑Non	TMO‑Non	TMO‑Non
`GRP184-1`	⁺0.20	⁺0.80	2.00	GUP‑Non	TMO‑Non	TMO‑Non
`GRP184-3`	⁺0.20	⁺0.80	1.80	GUP‑Non	TMO‑Non	TMO‑Non
`GRP185-2`	⁺0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	23.80
`GRP185-3`	⁺0.20	TMO‑Non	TMO‑Non	⁺113.30	TMO‑Non	TMO‑Non
`GRP186-1`	⁺0.50	⁺17.00	1.30	GUP‑Non	TMO‑Non	TMO‑Non
`GRP186-2`	⁺0.40	⁺17.00	3.00	GUP‑Non	TMO‑Non	TMO‑Non
`GRP187-1`	⁺4.20	TMO‑Non	8.00	GUP‑Non	TMO‑Non	TMO‑Non
`GRP200-1`	⁺0.30	⁺0.20	0.90	⁺4.00	⁺0.60	TMO‑Non
`GRP202-1`	⁺0.30	⁺1.00	1.20	⁺9.60	⁺13.30	TMO‑Non
`GRP404-1`	⁺0.30	⁺15.60	2.10	⁺66.40	TMO‑Non	TMO‑Non
`GRP405-1`	⁺0.20	⁺1.70	2.20	⁺1.20	TMO‑Non	TMO‑Non
`GRP422-1`	⁺0.30	⁺16.30	0.50	⁺3.50	TMO‑Non	TMO‑Non
`GRP423-1`	⁺0.20	⁺3.50	0.10	GUP‑Non	TMO‑Non	TMO‑Non
`GRP444-1`	⁺0.20	⁺0.90	0.10	GUP‑Non	TMO‑Non	TMO‑Non
`GRP452-1`	⁺0.20	⁺0.00	0.00	⁺8.20	⁺1.20	TMO‑Non
`GRP453-1`	⁺0.20	⁺0.00	0.00	GUP‑Non	⁺8.50	TMO‑Non
`GRP471-1`	⁺0.30	⁺1.20	0.10	⁺29.00	TMO‑Non	TMO‑Non
`GRP477-1`	⁺0.30	⁺1.20	0.00	GUP‑Non	TMO‑Non	TMO‑Non
`GRP506-1`	⁺3.60	⁺45.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRP508-1`	⁺3.50	⁺80.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT080-1`	⁺1.60	⁺0.20	0.80	GUP‑Non	⁺85.50	TMO‑Non
`LAT087-1`	⁺1.60	⁺0.30	0.50	GUP‑Non	⁺9.60	TMO‑Non
`LAT093-1`	⁺1.00	⁺0.70	0.20	GUP‑Non	⁺9.60	TMO‑Non
`LAT138-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT140-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT146-1`	⁺84.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT148-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT152-1`	TMO‑Non	TMO‑Non	TMO‑Non	⁺9.80	TMO‑Non	TMO‑Non
`LAT156-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT159-1`	⁺252.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT164-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT165-1`	⁺1.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT166-1`	⁺157.50	⁺163.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT169-1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT170-1`	⁺253.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT173-1`	⁺204.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT175-1`	⁺101.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG009-7`	⁺0.60	⁺1.70	0.50	GUP‑Non	TMO‑Non	TMO‑Non
`RNG019-6`	⁺0.20	⁺80.30	0.00	TMO‑Non	TMO‑Non	TMO‑Non
`RNG019-7`	⁺0.20	⁺80.30	0.00	⁺0.00	TMO‑Non	TMO‑Non
`RNG020-6`	⁺0.20	⁺80.30	0.00	⁺0.20	TMO‑Non	TMO‑Non
`RNG026-6`	⁺0.20	⁺80.30	0.00	GUP‑Non	TMO‑Non	TMO‑Non
`RNG027-7`	⁺1.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`RNG028-9`	⁺1.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`RNG029-7`	⁺1.40	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`RNG035-7`	⁺1.60	TMO‑Non	14.00	GUP‑Non	TMO‑Non	TMO‑Non
`ROB006-1`	⁺3.70	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`ROB006-2`	⁺3.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
Attempted	80	80	80	80	80	80
Solved	73	55	49	25	18	3
Av. Time	15.53	38.10	4.82	12.88	33.27	8.17
Solutions	73	55	0	25	18	0
SOTAC	0.44	0.30	0.28	0.27	0.22	0.32
New Attempted	0	0	0	0	0	0
New Solved	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: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FNE

FNE	Vampire 10.0	Vampire 9.0	iProver 0.5c	E 1.0pre	EP 1.0pre	Equinox 3.0	randoCoP 1.1	Zenon 0.5.0	Metis 2.1	E-KRHyper 1.1	Otter 3.3	OSHL-S 0.1	Muscadet 3.0
`BOO109+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`COM003+2`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	2.40	⁺0.80	⁺0.10	⁺0.10	0.00	⁺0.00	TMO‑Non	GUP‑Non
`COM007+1`	⁺0.00	⁺3.80	0.00	0.00	⁺0.00	0.50	⁺54.20	⁺0.30	⁺0.00	0.20	⁺0.10	0.20	TMO‑Non
`CSR034+2`^*	⁺0.20	⁺4.00	0.40	0.90	⁺1.00	148.00	TMO‑Non	⁺16.50	⁺1.00	2.20	⁺0.30	TMO‑Non	TMO‑Non
`CSR038+3`^*	⁺1.10	⁺2.50	172.90	14.50	⁺15.90	239.30	⁺4.10	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR044+3`^*	⁺47.70	TMO‑Non	163.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR045+3`^*	⁺15.50	⁺2.20	2.60	260.60	⁺266.00	TMO‑Non	TMO‑Non	GUP‑Non	⁺12.40	6.60	⁺4.90	TMO‑Non	TMO‑Non
`CSR063+3`^*	⁺1.20	⁺1.50	TMO‑Non	9.40	⁺10.10	TMO‑Non	⁺19.00	GUP‑Non	⁺13.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR064+3`^*	⁺1.20	⁺1.50	4.10	21.30	⁺22.10	TMO‑Non	⁺16.10	GUP‑Non	⁺13.40	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non
`CSR065+3`^*	⁺1.20	⁺6.30	15.90	11.40	⁺12.30	263.50	TMO‑Non	GUP‑Non	⁺21.10	68.40	GUP‑Non	TMO‑Non	TMO‑Non
`GEO182+1`	⁺2.60	⁺0.00	0.20	0.00	⁺0.00	0.00	⁺0.10	⁺0.50	TMO‑Non	TMO‑Non	⁺105.10	0.30	TMO‑Non
`GEO182+2`	⁺3.70	⁺0.00	0.20	0.00	⁺0.00	0.00	⁺0.10	⁺1.20	TMO‑Non	TMO‑Non	⁺203.50	0.60	TMO‑Non
`GEO193+1`	⁺2.50	⁺0.00	0.10	0.10	⁺0.10	6.80	⁺0.10	⁺3.50	TMO‑Non	TMO‑Non	⁺1.20	0.50	TMO‑Non
`GEO194+1`	⁺6.00	⁺0.10	0.20	0.10	⁺0.10	1.80	⁺0.10	⁺0.90	TMO‑Non	TMO‑Non	⁺1.10	0.30	TMO‑Non
`GEO223+2`	⁺1.60	⁺8.40	1.20	0.40	⁺0.70	194.90	⁺25.60	⁺22.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`KRS153+1`	⁺0.10	⁺0.00	0.20	0.00	⁺0.10	0.10	⁺0.50	⁺0.50	⁺2.50	0.70	⁺0.00	GUP‑Non	⁺8.00
`KRS161+1`	⁺0.20	⁺0.00	0.50	0.10	⁺0.20	0.10	⁺0.40	⁺19.70	⁺3.70	0.80	⁺0.00	102.70	TMO‑Non
`KRS169+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	⁺0.00
`MED001+1`	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	1.10	⁺10.20	⁺0.10	⁺6.80	0.10	⁺0.00	TMO‑Non	GUP‑Non
`MED002+1`	⁺0.10	⁺0.00	0.10	TMO‑Non	TMO‑Non	1.80	⁺10.40	⁺0.20	TMO‑Non	1.60	⁺0.10	TMO‑Non	GUP‑Non
`MED003+1`	⁺0.30	⁺4.10	0.10	0.40	⁺0.60	0.40	⁺10.20	⁺0.20	TMO‑Non	0.10	⁺5.80	TMO‑Non	GUP‑Non
`NLP094+1`	⁺0.00	⁺0.00	0.50	11.60	⁺15.70	0.10	⁺0.10	⁺0.00	⁺0.10	1.00	TMO‑Non	GUP‑Non	270.00
`NLP117+1`	⁺0.00	⁺0.00	0.10	0.40	⁺0.60	0.00	⁺0.10	⁺0.00	⁺0.00	0.30	TMO‑Non	GUP‑Non	TMO‑Non
`PUZ031+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.10	⁺0.80	⁺0.30	⁺0.00	0.00	⁺0.00	0.30	⁺5.40
`SYN036+2`	⁺0.00	⁺0.00	0.10	3.80	⁺6.00	0.30	⁺6.40	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SYN048+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN049+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN051+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN053+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	GUP‑Non
`SYN058+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN060+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN061+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN067+1`	⁺0.00	⁺0.00	0.10	2.40	⁺3.70	16.00	⁺6.10	⁺0.00	⁺0.00	184.40	TMO‑Non	TMO‑Non	GUP‑Non
`SYN341+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	GUP‑Non	GUP‑Non
`SYN347+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.20	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN371+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN407+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN450+1`	⁺0.80	⁺0.60	0.20	14.70	⁺20.30	84.10	TMO‑Non	⁺1.80	TMO‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SYN467+1`	⁺1.20	⁺1.00	0.20	16.10	⁺21.60	78.40	TMO‑Non	⁺1.50	TMO‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SYN477+1`	⁺0.70	⁺0.40	0.30	4.80	⁺7.00	93.20	TMO‑Non	⁺2.10	TMO‑Non	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SYN726+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.10	⁺0.10	⁺2.80	⁺0.00	0.00	⁺0.00	14.50	GUP‑Non
`SYN731+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	GUP‑Non	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN917+1`	⁺0.00	⁺0.00	0.10	0.10	⁺0.20	1.00	⁺0.20	⁺0.00	⁺0.10	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`SYN928+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN938+1`	⁺0.00	⁺0.00	0.30	1.20	⁺1.70	5.70	⁺7.10	TMO‑Non	⁺0.40	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`SYN950+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN952+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN954+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
`SYN967+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.10	GUP‑Non
`SYN968+1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	GUP‑Non
Attempted	50	50	50	50	50	50	50	50	50	50	50	50	50
Solved	49	48	48	47	47	45	42	41	37	34	34	25	4
Av. Time	1.80	0.76	7.58	7.96	8.64	25.33	4.16	1.81	2.02	7.84	9.47	4.91	70.85
Solutions	49	48	0	0	47	0	42	41	37	0	34	0	3
SOTAC	0.11	0.10	0.11	0.10	0.10	0.10	0.10	0.09	0.09	0.09	0.09	0.09	0.08
New Attempted	8	8	8	8	8	8	8	8	8	8	8	8	8
New Solved	7	6	6	6	6	3	3	1	5	3	2	0	0

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FEQ

FEQ	Vampire 10.0	E 1.0pre	EP 1.0pre	Vampire 9.0	iProver 0.5c	randoCoP 1.1	Metis 2.1	Otter 3.3	Equinox 3.0	Muscadet 3.0	E-KRHyper 1.1	Zenon 0.5.0	OSHL-S 0.1
`AGT006+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`AGT020+2`	⁺38.20	TMO‑Non	TMO‑Non	⁺7.60	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`AGT025+1`	⁺45.40	TMO‑Non	TMO‑Non	⁺5.10	TMO‑Non	⁺247.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`ALG041+1`	⁺0.60	0.00	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	⁺0.00	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`ALG071+1`	⁺1.40	0.80	⁺1.50	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`ALG072+1`	⁺19.00	1.30	⁺2.80	⁺70.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`ALG210+2`	⁺1.00	0.00	⁺0.10	⁺0.00	TMO‑Non	TMO‑Non	⁺0.30	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`COM008+2`	⁺181.80	TMO‑Non	TMO‑Non	⁺273.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.20	TMO‑Non	GUP‑Non	TMO‑Non
`CSR002+2`	⁺46.60	7.40	⁺10.70	⁺0.10	TMO‑Non	TMO‑Non	⁺1.60	TMO‑Non	TMO‑Non	TMO‑Non	1.40	GUP‑Non	TMO‑Non
`CSR015+1`	⁺0.00	0.20	⁺0.40	⁺0.00	0.40	TMO‑Non	⁺0.20	TMO‑Non	0.10	TMO‑Non	63.80	GUP‑Non	TMO‑Non
`CSR017+1`	⁺4.50	0.30	⁺0.40	⁺0.00	0.40	TMO‑Non	⁺0.20	TMO‑Non	0.10	TMO‑Non	296.70	TMO‑Non	TMO‑Non
`CSR020+1`	⁺5.10	0.70	⁺1.10	⁺0.00	0.40	TMO‑Non	⁺0.10	TMO‑Non	0.30	TMO‑Non	1.90	GUP‑Non	TMO‑Non
`CSR021+1`	⁺0.00	0.10	⁺0.20	⁺0.00	0.60	TMO‑Non	⁺0.10	TMO‑Non	0.30	⁺0.10	17.90	GUP‑Non	TMO‑Non
`CSR024+1.009`	⁺67.90	0.20	⁺0.40	⁺0.10	TMO‑Non	TMO‑Non	⁺15.60	⁺74.90	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`CSR024+1.010`	⁺37.60	0.20	⁺0.40	⁺0.10	TMO‑Non	TMO‑Non	⁺50.80	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	TMO‑Non
`CSR083+2`^*	⁺5.00	37.30	⁺37.90	⁺4.30	3.10	TMO‑Non	⁺8.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR089+1`^*	⁺2.90	286.90	⁺290.70	⁺22.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR090+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	⁺298.20	10.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR092+1`^*	⁺2.00	21.00	⁺22.30	⁺2.50	1.50	⁺5.30	⁺62.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`CSR098+2`^*	⁺1.10	0.60	⁺1.30	⁺1.00	TMO‑Non	TMO‑Non	⁺8.80	TMO‑Non	4.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR099+2`^*	⁺126.50	42.30	⁺43.80	⁺162.30	26.60	TMO‑Non	⁺123.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR108+1`^*	⁺256.90	216.30	⁺228.90	⁺291.80	TMO‑Non	TMO‑Non	⁺267.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO084+1`	⁺4.00	0.30	⁺0.50	⁺6.40	0.30	⁺0.80	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO089+1`	⁺112.10	80.20	⁺128.80	⁺52.40	2.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO093+1`	⁺1.30	6.90	⁺11.50	⁺7.00	3.20	⁺40.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO094+1`	⁺0.00	0.00	⁺0.10	⁺31.30	1.50	TMO‑Non	TMO‑Non	⁺67.30	TMO‑Non	TMO‑Non	0.10	GUP‑Non	1.60
`GEO125+1`	⁺0.10	0.00	⁺0.10	⁺0.10	0.40	⁺16.90	TMO‑Non	⁺15.40	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GEO139+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`GRA007+2`	⁺64.50	0.10	⁺0.30	⁺1.70	45.30	TMO‑Non	TMO‑Non	GUP‑Non	63.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`GRA010+2`	⁺0.00	0.00	⁺0.10	⁺0.00	0.20	⁺0.20	⁺0.00	GUP‑Non	0.00	TMO‑Non	TMO‑Non	⁺0.00	TMO‑Non
`GRP618+2`^*	TMO‑Non	52.10	⁺59.00	TMO‑Non	29.00	UNK‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`GRP619+1`^*	⁺1.70	8.30	⁺12.30	⁺4.40	2.40	TMO‑Non	TMO‑Non	TMO‑Non	4.60	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`HAL001+2`	⁺88.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LAT295+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺2.20	GUP‑Non
`LAT296+1`^*	⁺16.00	89.10	⁺127.80	⁺23.70	28.60	TMO‑Non	TMO‑Non	TMO‑Non	222.40	⁺45.60	TMO‑Non	TMO‑Non	GUP‑Non
`LAT314+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LAT328+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	7.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LAT362+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	43.90	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL456+1`	⁺0.00	0.00	⁺0.10	⁺0.00	1.00	⁺0.40	⁺0.60	⁺18.30	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL458+1`	⁺0.40	TMO‑Non	TMO‑Non	⁺22.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL488+1`	⁺0.00	0.00	⁺0.10	⁺0.00	TMO‑Non	TMO‑Non	⁺6.90	⁺0.30	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL489+1`	⁺23.60	36.40	⁺45.20	⁺26.80	TMO‑Non	TMO‑Non	TMO‑Non	⁺4.40	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL501+1`	⁺143.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL520+1`	⁺4.70	1.60	⁺3.10	⁺0.80	83.60	TMO‑Non	TMO‑Non	⁺12.50	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL528+1`	⁺10.90	112.90	149.20	⁺62.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL540+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.00	⁺0.40	TMO‑Non	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL544+1`	⁺0.00	0.00	⁺0.10	⁺0.00	0.00	TMO‑Non	TMO‑Non	⁺0.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL553+1`	⁺25.20	TMO‑Non	TMO‑Non	⁺91.40	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`LCL559+1`	⁺24.10	TMO‑Non	TMO‑Non	⁺102.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`MGT035+2`	TMO‑Non	11.00	⁺14.50	⁺148.70	25.10	TMO‑Non	TMO‑Non	TMO‑Non	76.50	TMO‑Non	5.50	TMO‑Non	TMO‑Non
`MGT051+1`	⁺13.80	0.20	⁺0.40	⁺31.70	3.30	TMO‑Non	⁺30.70	TMO‑Non	8.80	TMO‑Non	9.10	TMO‑Non	GUP‑Non
`MGT064+1`	⁺0.30	5.90	⁺11.30	⁺0.20	4.40	TMO‑Non	⁺5.30	TMO‑Non	1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`MGT065+1`	⁺0.30	0.10	⁺0.20	⁺0.00	10.10	TMO‑Non	⁺9.60	⁺25.20	0.60	TMO‑Non	TMO‑Non	⁺59.50	TMO‑Non
`MSC010+1`	⁺46.30	0.00	⁺0.00	⁺83.80	0.20	⁺76.80	⁺0.10	GUP‑Non	9.90	TMO‑Non	TMO‑Non	⁺0.00	GUP‑Non
`NUM291+1`	⁺0.30	0.20	⁺0.40	⁺1.60	25.40	⁺0.10	⁺17.60	⁺38.20	TMO‑Non	TMO‑Non	0.30	TMO‑Non	TMO‑Non
`NUM298+1`	⁺0.10	0.10	⁺0.20	⁺0.00	0.40	⁺0.10	⁺1.00	⁺31.50	TMO‑Non	TMO‑Non	0.40	TMO‑Non	TMO‑Non
`NUM315+1`	⁺12.40	TMO‑Non	TMO‑Non	⁺5.50	TMO‑Non	⁺0.10	⁺92.00	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`PUZ073+1`^*	TMO‑Non	80.50	⁺198.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺30.00	GUP‑Non
`PUZ074+1`^*	TMO‑Non	3.80	⁺4.40	TMO‑Non	26.50	⁺201.40	TMO‑Non	GUP‑Non	106.40	TMO‑Non	TMO‑Non	⁺2.90	GUP‑Non
`PUZ077+1`^*	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`PUZ078+1`^*	⁺144.30	0.20	⁺0.60	⁺0.10	0.20	TMO‑Non	⁺0.90	TMO‑Non	0.10	TMO‑Non	0.10	⁺44.80	10.00
`SET011+3`	⁺0.20	3.30	⁺10.60	⁺0.00	0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET017+1`	⁺0.10	0.00	⁺0.10	⁺2.40	TMO‑Non	TMO‑Non	TMO‑Non	⁺24.20	TMO‑Non	⁺0.40	1.20	GUP‑Non	TMO‑Non
`SET072+1`	⁺0.10	0.00	⁺0.10	⁺2.40	TMO‑Non	TMO‑Non	TMO‑Non	⁺45.40	TMO‑Non	⁺0.40	0.60	GUP‑Non	GUP‑Non
`SET083+1`	⁺0.00	0.00	⁺0.10	⁺0.00	7.70	⁺253.00	TMO‑Non	⁺0.50	6.40	⁺0.10	0.40	GUP‑Non	TMO‑Non
`SET096+1`	⁺1.70	0.30	⁺0.50	⁺3.00	32.50	TMO‑Non	TMO‑Non	⁺38.80	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET102+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺38.20	⁺0.70	⁺0.00	TMO‑Non	0.20	TMO‑Non	GUP‑Non	TMO‑Non
`SET159+3`	⁺3.70	3.80	⁺9.10	⁺0.40	1.90	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET159+4`	⁺174.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺42.90	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET372+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET577+3`	⁺0.10	0.10	⁺0.30	⁺0.00	0.20	⁺0.10	TMO‑Non	TMO‑Non	0.20	⁺0.10	4.60	GUP‑Non	TMO‑Non
`SET579+3`	⁺0.00	0.00	⁺0.10	⁺0.00	0.10	⁺0.20	TMO‑Non	TMO‑Non	GUP‑Non	⁺0.10	5.10	GUP‑Non	TMO‑Non
`SET580+3`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺10.90	TMO‑Non	TMO‑Non	0.00	0.10	0.90	GUP‑Non	TMO‑Non
`SET582+3`	⁺101.70	16.20	⁺30.60	⁺4.50	1.80	TMO‑Non	TMO‑Non	TMO‑Non	2.00	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET593+3`	⁺2.20	0.00	⁺0.10	⁺12.70	1.10	⁺0.30	TMO‑Non	TMO‑Non	0.70	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET595+3`	⁺3.40	12.60	⁺28.40	⁺0.70	0.20	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET607+3`	⁺6.10	6.60	⁺17.80	⁺0.60	0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET608+3`	⁺30.70	64.80	89.80	⁺0.10	0.50	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET610+3`	⁺2.60	14.10	⁺35.00	⁺0.50	0.30	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET611+3`	⁺0.20	6.50	⁺24.40	⁺0.10	2.90	⁺6.80	TMO‑Non	⁺14.80	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET612+3`	⁺19.50	TMO‑Non	TMO‑Non	TMO‑Non	2.20	⁺3.80	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET613+3`	TMO‑Non	49.90	69.60	⁺117.10	4.40	⁺9.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET619+3`	⁺0.30	0.00	⁺0.00	⁺0.20	TMO‑Non	TMO‑Non	⁺18.30	⁺2.70	0.50	0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET620+3`	⁺0.00	0.00	⁺0.00	⁺0.00	24.20	⁺218.30	⁺0.10	⁺0.00	0.00	0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET621+3`	⁺0.00	0.00	⁺0.00	⁺0.00	25.90	⁺3.70	⁺0.20	⁺0.00	0.00	0.20	TMO‑Non	GUP‑Non	TMO‑Non
`SET630+3`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	⁺38.00	⁺194.60	TMO‑Non	1.60	0.10	2.20	GUP‑Non	TMO‑Non
`SET634+3`	⁺10.50	7.60	⁺21.60	⁺0.20	1.00	⁺1.50	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET640+3`	⁺47.10	0.20	⁺0.30	⁺89.70	0.30	TMO‑Non	⁺0.20	⁺36.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET641+3`	⁺0.10	0.00	⁺0.10	⁺0.60	2.80	⁺6.20	⁺1.20	⁺19.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET644+3`	⁺16.40	0.10	⁺0.20	⁺33.60	0.20	TMO‑Non	⁺2.20	⁺13.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET645+3`	⁺0.70	0.00	⁺0.00	⁺28.80	1.50	TMO‑Non	⁺0.40	⁺2.40	TMO‑Non	TMO‑Non	195.70	TMO‑Non	GUP‑Non
`SET646+3`	⁺8.20	0.00	⁺0.10	⁺87.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET653+3`	⁺5.10	0.00	⁺0.00	⁺0.70	0.10	⁺18.10	⁺48.10	⁺0.00	TMO‑Non	TMO‑Non	0.00	TMO‑Non	TMO‑Non
`SET655+3`	⁺155.40	0.20	⁺0.30	⁺119.10	50.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET656+3`	⁺256.20	17.20	⁺34.50	⁺149.00	10.20	TMO‑Non	⁺14.60	⁺14.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET659+3`	⁺186.40	7.90	⁺13.20	⁺148.60	41.40	TMO‑Non	⁺2.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET661+3`	⁺272.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET663+3`	⁺0.00	0.00	⁺0.10	⁺0.00	0.20	⁺89.20	⁺0.20	⁺0.30	TMO‑Non	TMO‑Non	23.60	TMO‑Non	TMO‑Non
`SET664+3`	⁺0.00	0.00	⁺0.10	⁺0.00	0.20	⁺77.80	⁺0.10	⁺0.10	TMO‑Non	TMO‑Non	23.80	TMO‑Non	TMO‑Non
`SET667+3`	⁺162.10	0.00	⁺0.10	⁺224.60	18.90	TMO‑Non	⁺291.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET668+3`	⁺57.70	0.50	⁺0.80	⁺86.40	1.60	TMO‑Non	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET669+3`	⁺57.80	0.50	⁺0.80	⁺86.40	1.60	TMO‑Non	⁺1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET670+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET671+3`	⁺157.20	6.30	⁺7.90	⁺210.40	9.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET673+3`	⁺158.60	6.50	⁺8.10	⁺210.40	7.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET674+3`	TMO‑Non	4.70	⁺7.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET675+3`	⁺0.00	4.70	⁺6.50	⁺1.60	51.00	TMO‑Non	⁺1.80	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SET678+3`	⁺57.80	0.00	⁺0.10	⁺152.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SET682+3`	⁺0.00	0.00	⁺0.10	⁺0.10	3.90	TMO‑Non	⁺0.20	⁺0.10	TMO‑Non	TMO‑Non	54.40	TMO‑Non	TMO‑Non
`SET700+4`	⁺159.80	0.00	⁺0.10	⁺7.80	TMO‑Non	⁺0.70	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	GUP‑Non	TMO‑Non
`SET717+4`	⁺213.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺173.40	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non
`SET752+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non
`SET802+4`	⁺32.10	1.40	⁺2.10	⁺54.00	2.30	⁺7.10	TMO‑Non	TMO‑Non	0.50	⁺0.10	TMO‑Non	⁺0.20	TMO‑Non
`SEU128+1`	⁺0.00	1.00	⁺2.00	⁺0.40	0.20	⁺0.10	⁺1.90	⁺3.00	0.50	⁺0.10	TMO‑Non	GUP‑Non	GUP‑Non
`SEU180+2`	⁺2.60	0.60	⁺1.10	⁺4.00	53.00	⁺0.20	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU186+2`	⁺2.30	0.10	⁺0.20	⁺2.60	6.60	⁺10.40	TMO‑Non	⁺14.10	6.90	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU265+2`	⁺118.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU327+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU365+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU416+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU418+2`^*	TMO‑Non	98.20	⁺112.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU424+3`^*	TMO‑Non	99.20	⁺183.30	UNK‑Non	TMO‑Non	⁺58.10	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU428+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU429+3`^*	TMO‑Non	104.70	⁺187.80	UNK‑Non	TMO‑Non	⁺103.20	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU430+2`^*	TMO‑Non	77.70	⁺91.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU435+3`^*	TMO‑Non	130.10	⁺213.80	UNK‑Non	TMO‑Non	⁺77.00	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SEU451+1`^*	⁺0.10	0.10	⁺0.20	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	⁺180.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SWC010+1`	⁺9.20	0.00	⁺0.10	⁺32.20	5.20	⁺13.20	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWC042+1`	⁺0.00	0.00	⁺0.10	⁺0.10	3.50	TMO‑Non	TMO‑Non	⁺99.80	0.10	TMO‑Non	0.10	GUP‑Non	TMO‑Non
`SWC043+1`	⁺0.00	0.00	⁺0.10	⁺0.10	3.50	TMO‑Non	TMO‑Non	⁺65.20	0.10	TMO‑Non	0.10	GUP‑Non	TMO‑Non
`SWC297+1`	⁺70.80	0.40	⁺0.80	⁺99.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV026+1`	⁺43.30	86.30	⁺139.60	⁺25.40	3.80	⁺0.20	TMO‑Non	TMO‑Non	74.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV090+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV198+1`	⁺0.50	0.20	⁺0.40	⁺3.30	65.00	TMO‑Non	TMO‑Non	GUP‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV201+1`	⁺0.20	0.70	⁺1.50	⁺1.30	0.20	⁺0.20	TMO‑Non	⁺6.90	0.10	⁺0.10	TMO‑Non	TMO‑Non	GUP‑Non
`SWV203+1`	⁺11.70	TMO‑Non	TMO‑Non	⁺24.40	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV206+1`	⁺0.20	0.00	⁺0.10	⁺1.00	0.20	⁺0.20	TMO‑Non	TMO‑Non	0.10	⁺0.10	TMO‑Non	⁺0.00	GUP‑Non
`SWV208+1`	TMO‑Non	0.30	⁺0.60	⁺33.70	53.70	TMO‑Non	TMO‑Non	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV234+1`	⁺43.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SWV234+2`	⁺0.80	0.00	⁺0.10	⁺19.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV235+1`	⁺4.20	0.10	⁺0.20	⁺0.20	TMO‑Non	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV374+1`	⁺0.00	0.10	⁺0.20	⁺0.00	55.40	TMO‑Non	TMO‑Non	⁺160.90	0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV377+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.20	TMO‑Non	⁺0.00	⁺0.20	0.00	TMO‑Non	2.40	GUP‑Non	GUP‑Non
`SWV381+1`	⁺1.10	0.00	⁺0.10	⁺52.10	0.30	⁺1.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV394+1`	⁺168.40	0.10	⁺0.20	⁺33.00	10.30	TMO‑Non	TMO‑Non	⁺7.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SWV398+1`	⁺191.00	TMO‑Non	TMO‑Non	⁺133.80	85.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SYN077+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.20	⁺12.50	⁺0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺6.70	TMO‑Non
`TOP024+2`^*	TMO‑Non	62.00	⁺74.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`TOP026+2`^*	TMO‑Non	47.20	⁺57.20	TMO‑Non	19.10	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`TOP028+2`^*	TMO‑Non	119.90	⁺132.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
Attempted	150	150	150	150	150	150	150	150	150	150	150	150	150
Solved	120	117	117	115	91	53	47	42	41	34	26	10	2
Av. Time	38.43	18.55	25.93	36.07	11.72	35.25	27.35	24.76	14.50	1.46	27.40	14.63	5.80
Solutions	120	0	114	115	0	53	47	42	0	28	0	10	0
SOTAC	0.22	0.18	0.18	0.17	0.17	0.16	0.14	0.13	0.13	0.20	0.12	0.23	0.11
New Attempted	29	29	29	29	29	29	29	29	29	29	29	29	29
New Solved	11	21	21	11	12	5	6	1	5	1	1	4	1

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FNN

FNN	MetaProver 1.0	iProver-SAT 0.5c	Paradox 2.2	Paradox 3.0	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
`CSR111+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	⁺27.40	15.10	TMO‑Non	UNK‑Non
`CSR111+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO224+1`	0.00	62.20	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO224+2`	0.10	62.40	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA013+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.30	UNK‑Non
`GRA017+1`	0.30	1.20	⁺0.10	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA018+1`	0.30	TMO‑Non	⁺0.20	⁺0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GRA021+1`	1.60	0.60	⁺0.30	⁺0.40	TMO‑Non	TMO‑Non	0.10	GUP‑Non	UNK‑Non
`GRA024+1`	1.50	1.10	⁺1.90	⁺2.00	TMO‑Non	TMO‑Non	0.10	TMO‑Non	UNK‑Non
`GRA025+1`	10.00	2.60	⁺10.10	⁺10.50	TMO‑Non	TMO‑Non	0.60	TMO‑Non	UNK‑Non
`GRA026+1`	53.50	22.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	6.50	TMO‑Non	UNK‑Non
`KRS021+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.20	UNK‑Non
`KRS024+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.10	UNK‑Non
`KRS053+1`	0.10	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.10	UNK‑Non
`KRS055+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.20	UNK‑Non
`KRS173+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`LCL354+1`	0.10	67.90	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`MED004+1`	0.00	1.30	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`MSC009+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`MSC013+1`	0.00	0.00	TMO‑Non	TMO‑Non	0.00	⁺4.30	0.00	0.50	UNK‑Non
`MSC016+1`^*	0.20	0.30	⁺5.90	⁺6.60	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NLP033+1`	0.00	0.40	⁺0.00	⁺0.00	0.20	⁺0.00	1.10	GUP‑Non	UNK‑Non
`NLP060+1`	0.10	0.30	⁺0.00	⁺0.00	0.20	⁺0.00	0.60	GUP‑Non	UNK‑Non
`NLP190+1`	0.90	20.70	⁺0.20	⁺0.20	0.80	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`NLP192+1`	0.40	3.70	⁺0.10	⁺0.10	0.70	⁺0.20	TMO‑Non	GUP‑Non	UNK‑Non
`NLP193+1`	0.30	20.50	⁺0.10	⁺0.10	0.80	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`NLP194+1`	0.40	3.70	⁺0.10	⁺0.10	0.70	⁺0.20	TMO‑Non	GUP‑Non	UNK‑Non
`NLP222+1`	0.00	0.10	⁺0.00	⁺0.00	0.00	⁺0.10	2.20	TMO‑Non	UNK‑Non
`PLA024+1`	0.90	0.40	⁺0.00	⁺0.10	TMO‑Non	TMO‑Non	0.00	GUP‑Non	UNK‑Non
`PLA025+1`	0.30	30.40	⁺0.20	⁺0.20	TMO‑Non	TMO‑Non	0.30	GUP‑Non	UNK‑Non
`PLA026+1`	1.10	1.70	⁺0.10	⁺0.10	TMO‑Non	TMO‑Non	0.10	GUP‑Non	UNK‑Non
`PLA029+2`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	GUP‑Non	UNK‑Non
`SWV010+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	GUP‑Non	UNK‑Non
`SWV013+1`	0.00	1.50	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV015+1`	0.00	1.50	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`SWV016+1`	0.00	1.80	⁺0.00	⁺0.10	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV017+1`	0.00	1.40	⁺0.00	⁺0.10	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV018+1`	0.00	1.50	⁺0.00	⁺0.10	0.00	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SYN316+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN320+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN330+1`	0.00	0.00	⁺0.30	⁺0.30	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN335+1`	0.10	0.00	⁺42.80	⁺42.20	0.00	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`SYN344+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN348+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺1.00	TMO‑Non	GUP‑Non	UNK‑Non
`SYN422+1`	0.90	0.60	⁺0.30	⁺0.40	TMO‑Non	TMO‑Non	UNK‑Non	20.20	UNK‑Non
`SYN490+1`	0.80	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.30	UNK‑Non
`SYN520+1`	1.80	17.00	⁺0.60	⁺0.70	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	UNK‑Non
`SYN522+1`	1.00	0.10	⁺0.00	⁺0.10	0.00	⁺0.10	0.50	1.10	UNK‑Non
`SYN535+1`	0.10	0.00	⁺0.00	⁺0.00	0.10	⁺0.00	0.10	0.50	UNK‑Non
`SYN725+1`	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.10	UNK‑Non
Attempted	50	50	50	50	50	50	50	50	50
Solved	48	47	46	46	33	24	23	11	0
Av. Time	1.60	7.00	1.38	1.41	0.11	1.39	1.19	2.15	-
Solutions	0	0	46	46	0	24	0	0	0
SOTAC	0.19	0.18	0.18	0.18	0.16	0.16	0.18	0.14	-
New Attempted	3	3	3	3	3	3	3	3	3
New Solved	1	1	1	1	1	1	1	0	0

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FNQ

FNQ	MetaProver 1.0	Paradox 2.2	Paradox 3.0	iProver-SAT 0.5c	E 1.0pre	Metis 2.1	E-KRHyper 1.1	OSHL-S 0.1	Infinox 0.1
`CSR010+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR078+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR087+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR087+3`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`CSR095+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR105+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR106+2`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`CSR107+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`CSR110+1`^*	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`GEO159+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO160+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GEO161+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GRP394+3`	0.10	⁺0.00	⁺0.00	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`GRP396+1`	0.00	⁺0.00	⁺0.00	0.70	0.00	⁺0.00	0.00	GUP‑Non	UNK‑Non
`HAL003+1`	1.60	⁺0.90	⁺0.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`HAL003+2`	1.60	⁺1.10	⁺1.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`HAL005+1`	1.10	⁺0.60	⁺0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`KRS028+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS029+1`	0.00	⁺0.00	⁺0.00	60.70	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS030+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`KRS032+1`	0.00	⁺0.00	⁺0.00	4.10	0.00	⁺0.60	TMO‑Non	TMO‑Non	UNK‑Non
`KRS040+1`	1.00	⁺0.00	⁺0.00	1.80	1.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`KRS045+1`	0.00	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	TMO‑Non	TMO‑Non	UNK‑Non
`LCL577+1`	0.30	⁺0.10	⁺0.10	217.00	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	UNK‑Non
`MGT019+2`	0.00	⁺0.00	⁺0.00	0.50	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT031+1`	0.00	⁺0.00	⁺0.00	0.20	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT033+1`	0.00	⁺0.00	⁺0.00	1.00	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT037+2`	0.00	⁺0.00	⁺0.00	0.30	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT038+1`	0.00	⁺0.00	⁺0.00	0.30	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT038+2`	0.90	⁺0.00	⁺0.00	66.50	TMO‑Non	TMO‑Non	0.10	TMO‑Non	UNK‑Non
`MGT040+1`	0.00	⁺0.00	⁺0.00	0.20	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`MGT066+1`	0.20	⁺0.00	⁺0.00	0.10	TMO‑Non	TMO‑Non	0.00	0.20	UNK‑Non
`NLP054+1`	0.00	⁺0.10	⁺0.20	30.40	0.00	⁺0.10	0.30	TMO‑Non	UNK‑Non
`NLP057+1`	0.00	⁺0.10	⁺0.20	30.40	0.00	⁺0.10	0.20	TMO‑Non	UNK‑Non
`NLP089+1`	0.20	UNK‑Non	UNK‑Non	31.90	0.00	⁺0.20	141.30	TMO‑Non	TMO‑Non
`NLP146+1`	0.00	⁺0.10	⁺0.10	0.40	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`NLP178+1`	0.00	⁺0.10	⁺0.10	65.60	0.00	⁺0.00	0.00	TMO‑Non	UNK‑Non
`NUM347+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM353+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM368+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM370+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM373+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM374+2`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM374+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`NUM374+4`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SET781+3`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SET783+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV129+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non	GUP‑Non	UNK‑Non
`SWV207+1`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
`SWV238+1`	283.00	TMO‑Non	TMO‑Non	TMO‑Non	33.30	TMO‑Non	TMO‑Non	TMO‑Non	UNK‑Non
Attempted	50	50	50	50	50	50	50	50	50
Solved	26	24	24	22	19	17	14	1	0
Av. Time	11.15	0.13	0.14	23.30	1.82	0.06	10.14	0.20	-
Solutions	0	24	24	0	0	17	0	0	0
SOTAC	0.20	0.19	0.19	0.17	0.17	0.15	0.15	0.17	-
New Attempted	8	8	8	8	8	8	8	8	8
New Solved	0	0	0	0	0	0	0	0	0

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

Results for: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for HNE

HNE	Vampire 10.0	Vampire 8.1	iProver 0.5c	E 1.0pre	E-Darwin 1.0	CHewTPTP 1.0	E-KRHyper 1.1	Otter 3.3	Metis 2.1	OSHL-S 0.1	Equinox 3.0
`ANA003-2`	⁺63.20	⁺16.90	TMO‑Non	4.20	TMO‑Non	14.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL084-3`	⁺19.00	⁺79.40	TMO‑Non	156.90	67.40	TMO‑Non	TMO‑Non	⁺102.60	TMO‑Non	TMO‑Non	TMO‑Non
`LCL227-1`	⁺0.10	⁺34.00	5.80	0.50	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL253-1`	⁺61.30	⁺26.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL368-1`	⁺0.40	⁺7.60	TMO‑Non	3.50	0.10	TMO‑Non	41.00	TMO‑Non	⁺148.40	TMO‑Non	TMO‑Non
`LCL444-2`	⁺17.10	⁺77.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	56.00	GUP‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`NUM017-1`	⁺13.20	⁺52.70	46.90	3.40	TMO‑Non	TMO‑Non	TMO‑Non	⁺46.90	TMO‑Non	TMO‑Non	TMO‑Non
`PLA005-2`	⁺0.00	⁺0.00	0.10	0.00	TMO‑Non	9.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`PLA014-2`	⁺0.00	⁺0.00	0.10	0.00	TMO‑Non	16.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG001-2`	⁺3.90	⁺37.80	36.70	TMO‑Non	11.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`RNG001-3`	⁺79.50	⁺2.20	3.60	TMO‑Non	0.00	38.70	8.10	⁺1.40	⁺4.60	7.60	TMO‑Non
`RNG001-5`	⁺1.20	⁺35.10	27.60	TMO‑Non	1.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV014-1`	⁺0.00	⁺5.60	0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN647-1`	⁺2.40	⁺2.00	0.20	0.10	TMO‑Non	TMO‑Non	17.40	⁺6.30	TMO‑Non	TMO‑Non	TMO‑Non
`SYN653-1`	⁺0.20	⁺4.50	1.40	1.50	TMO‑Non	TMO‑Non	UNK‑Non	TMO‑Non	⁺3.20	TMO‑Non	TMO‑Non
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	15	15	10	10	5	4	4	4	3	1	0
Av. Time	17.43	25.43	12.24	17.01	15.92	19.77	30.62	39.30	52.07	7.60	-
Solutions	15	15	0	0	0	0	0	4	3	0	0
SOTAC	0.24	0.24	0.21	0.21	0.20	0.19	0.19	0.17	0.16	0.11	-
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	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: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for HEQ

HEQ	Vampire 10.0	E 1.0pre	Vampire 8.1	Otter 3.3	Equinox 3.0	Metis 2.1	iProver 0.5c	E-Darwin 1.0	E-KRHyper 1.1	CHewTPTP 1.0	OSHL-S 0.1
`ANA032-2`	⁺0.20	2.70	⁺0.60	⁺0.00	0.30	TMO‑Non	5.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`BOO012-3`	⁺7.70	1.90	⁺8.40	⁺4.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`COL042-4`	⁺14.20	2.10	⁺37.50	GUP‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HEN011-3`	⁺0.50	0.50	⁺5.90	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`HWC003-1`	⁺33.40	0.00	⁺52.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT005-3`	⁺11.50	7.50	⁺22.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`LCL147-1`	⁺265.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL149-1`	⁺97.90	82.50	⁺149.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL152-1`	⁺0.20	3.70	⁺0.80	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL295-3`	⁺0.00	0.20	⁺10.90	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NLP251-1`	⁺0.00	0.10	⁺1.10	⁺0.50	1.90	⁺1.40	0.10	0.00	0.50	TMO‑Non	TMO‑Non
`NUM017-2`	⁺0.20	TMO‑Non	⁺1.30	⁺1.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ROB014-1`	⁺16.20	11.50	⁺60.20	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`ROB018-1`	⁺159.80	52.00	TMO‑Non	GUP‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV251-2`	⁺0.00	0.10	⁺0.00	⁺0.20	TMO‑Non	⁺1.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	15	13	13	5	3	2	2	1	1	0	0
Av. Time	40.47	12.68	26.98	1.40	0.77	1.50	2.75	0.00	0.50	-	-
Solutions	15	0	13	5	0	2	0	0	0	0	0
SOTAC	0.34	0.29	0.28	0.21	0.18	0.16	0.14	0.11	0.11	-	-
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	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: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for NNE

NNE	E 1.0pre	iProver 0.5c	Vampire 8.1	Vampire 10.0	E-Darwin 1.0	E-KRHyper 1.1	Metis 2.1	Equinox 3.0	OSHL-S 0.1	Otter 3.3	CHewTPTP 1.0
`ANA002-2`	1.90	32.40	⁺54.00	⁺70.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`ANA004-4`	0.00	0.00	⁺1.20	⁺0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	0.20
`COM003-1`	1.00	0.30	⁺1.20	⁺0.00	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD060-1`	1.70	0.30	⁺1.30	⁺0.20	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`FLD065-1`	0.00	22.80	⁺1.30	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET012-2`	0.60	0.40	⁺0.00	⁺0.00	0.00	10.70	TMO‑Non	TMO‑Non	10.40	TMO‑Non	TMO‑Non
`SET013-1`	0.20	0.60	⁺1.10	⁺0.00	7.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET015-1`	0.20	0.20	⁺1.10	⁺0.00	8.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV248-2`	0.00	0.00	⁺1.20	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV291-2`	0.00	0.00	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.30	⁺0.00	0.20
`SWV308-2`	0.00	0.00	⁺0.00	⁺0.00	TMO‑Non	0.00	TMO‑Non	1.50	87.40	⁺0.00	TMO‑Non
`SYN036-1`	4.40	0.10	⁺0.00	⁺0.00	0.10	0.70	⁺7.60	225.90	TMO‑Non	TMO‑Non	TMO‑Non
`SYN314-1.002.001`	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SYN353-1`	0.00	0.00	⁺0.00	⁺0.00	TMO‑Non	TMO‑Non	⁺58.00	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SYN796-1`	0.20	0.30	⁺0.10	⁺1.90	1.20	0.20	⁺82.30	3.50	GUP‑Non	TMO‑Non	TMO‑Non
Attempted	15	15	15	15	15	15	15	15	15	15	15
Solved	14	14	14	14	9	5	4	4	3	2	2
Av. Time	0.73	4.10	4.46	5.21	1.93	2.32	36.97	57.73	32.70	0.00	0.20
Solutions	0	0	14	14	0	0	4	0	0	2	0
SOTAC	0.18	0.18	0.18	0.18	0.16	0.12	0.14	0.12	0.12	0.11	0.15
New Attempted	0	0	0	0	0	0	0	0	0	0	0
New Solved	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: FOF FNT CNF SAT EPR UEQ FNE FEQ FNN FNQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for NEQ

NEQ	Vampire 10.0	Vampire 8.1	E 1.0pre	E-Darwin 1.0	iProver 0.5c	Equinox 3.0	E-KRHyper 1.1	Metis 2.1	Otter 3.3	CHewTPTP 1.0	OSHL-S 0.1
`COL098-2`	TMO‑Non	TMO‑Non	TMO‑Non	11.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`COM010-1`	⁺0.10	⁺0.50	2.10	45.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	GUP‑Non
`GEO008-1`	⁺10.30	⁺45.50	0.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`GRP039-2`	⁺0.00	⁺0.00	0.00	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV017-2`	⁺0.00	⁺0.10	0.20	0.30	TMO‑Non	0.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`HWV031-1`	⁺54.20	⁺30.60	6.70	46.30	40.80	0.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LAT265-1`	⁺0.10	⁺0.10	0.30	13.50	0.20	0.70	2.00	⁺1.80	⁺0.40	GUP‑Non	TMO‑Non
`LCL144-1`	⁺0.00	⁺0.30	0.00	TMO‑Non	TMO‑Non	41.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`LCL431-1`	⁺0.10	⁺1.20	2.80	42.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`MGT035-2`	⁺181.90	⁺185.90	15.00	TMO‑Non	18.00	8.80	12.90	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`NUM011-1`	⁺64.30	⁺0.00	0.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET015-3`	⁺44.00	⁺0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non
`SET031-3`	⁺46.10	⁺14.60	1.80	TMO‑Non	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET031-4`	⁺46.10	⁺14.60	12.20	147.10	0.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET035-3`	⁺11.00	⁺48.70	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET837-2`	⁺2.60	⁺0.00	0.20	TMO‑Non	6.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET838-1`	⁺0.10	⁺0.00	0.30	253.20	TMO‑Non	TMO‑Non	TMO‑Non	⁺81.60	GUP‑Non	GUP‑Non	TMO‑Non
`SET843-1`	⁺0.10	⁺1.30	TMO‑Non	65.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET846-1`	⁺0.10	⁺0.00	0.30	67.80	1.50	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET850-1`	⁺7.60	⁺1.10	0.80	0.30	0.10	TMO‑Non	0.20	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET853-1`	⁺73.20	⁺0.10	TMO‑Non	UNK‑Non	TMO‑Non	4.70	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET854-2`	⁺1.50	⁺36.40	3.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SET857-1`	⁺46.40	⁺30.00	TMO‑Non	60.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SET858-1`	⁺7.50	⁺15.30	TMO‑Non	20.40	75.60	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SET862-1`	⁺108.80	TMO‑Non	TMO‑Non	235.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV244-1`	⁺0.10	⁺0.00	0.30	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV245-1`	⁺11.20	⁺29.10	1.70	UNK‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non
`SWV246-1`	⁺10.70	⁺29.60	1.50	241.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	TMO‑Non
`SWV248-1`	⁺88.70	⁺72.10	82.50	72.40	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV271-1`	⁺0.20	⁺1.30	2.40	15.40	1.00	120.50	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV275-1`	⁺248.10	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑Non	TMO‑Non
`SWV316-2`	TMO‑Non	TMO‑Non	0.20	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non
`SWV318-1`	⁺0.40	⁺1.50	19.10	68.30	TMO‑Non	TMO‑Non	TMO‑Non	TMO‑Non	GUP‑Non	GUP‑