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