Results

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

Results for FOF

FOF	Vampire 8.1	E 0.99	EP 0.99	Vampire 8.0	Theo 2006	Geo 2006i	Darwin 1.3	Otter 3.3	Muscadet 2.6	Equinox 1.0a	Faust 1.0
`AGT005+2`	⁺3.70	0.30	⁺0.40	⁺0.10	⁺0.90	Timeout	0.20	⁺0.20	Timeout	GaveUp	WCout
`AGT007+2`	⁺167.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp	WCout
`AGT015+1`	⁺0.00	1.40	⁺1.90	⁺0.00	⁺5.30	Timeout	0.10	⁺0.20	Timeout	GaveUp	⁺2.00
`AGT018+1`	⁺14.80	Timeout	Timeout	⁺95.10	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp	Timeout
`AGT024+2`	⁺29.90	Timeout	Timeout	Timeout	⁺264.50	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`ALG074+1`	⁺55.20	1.80	⁺3.40	⁺118.30	Timeout	⁺1.30	227.90	⁺0.20	Timeout	GaveUp	Timeout
`ALG211+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	0.00	⁺0.10
`CSR001+1`	⁺357.30	75.50	87.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Unknown	WCout
`CSR002+1`	⁺95.00	26.80	28.20	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	WCout
`CSR005+2`	⁺76.50	34.30	35.70	Unknown	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	WCout
`CSR007+1`	⁺1.10	46.80	51.60	⁺2.20	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	WCout
`CSR019+1`	⁺0.00	0.30	0.40	Unknown	⁺1.00	Timeout	0.20	Timeout	GaveUp	GaveUp	WCout
`CSR021+1`	⁺0.00	0.20	0.40	Unknown	⁺0.50	⁺31.80	0.30	Timeout	GaveUp	0.10	WCout
`CSR022+1`	⁺0.00	0.40	0.60	Unknown	⁺0.50	⁺20.20	0.20	Timeout	GaveUp	0.20	WCout
`CSR024+1.009`	⁺0.60	0.40	⁺0.70	Unknown	Unknown	Timeout	Timeout	⁺101.80	Timeout	GaveUp	Timeout
`GEO085+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.20	⁺0.70	Timeout	⁺0.60	Timeout	0.00	⁺0.20
`GEO088+1`	⁺115.10	Timeout	Timeout	⁺34.80	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Unknown
`GEO109+1`	⁺120.60	Timeout	Timeout	⁺32.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Unknown
`GRA002+1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	⁺13.60	Timeout	Unknown	Timeout	GaveUp	Unknown
`GRA002+2`^*	⁺49.90	Timeout	Timeout	Unknown	Timeout	⁺15.90	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRA002+4`^*	⁺0.00	0.00	⁺0.10	Unknown	⁺0.20	⁺0.90	0.00	Unknown	Timeout	GaveUp	⁺0.30
`GRA004+1`^*	⁺0.10	0.00	0.10	Unknown	⁺3.30	⁺4.10	0.00	Unknown	Timeout	0.30	Timeout
`GRA006+1`^*	⁺12.00	0.50	0.70	Unknown	Timeout	⁺7.00	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRA007+1`^*	⁺15.00	0.30	0.40	Unknown	Timeout	⁺3.00	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRA007+2`^*	⁺14.90	0.50	0.60	Unknown	Timeout	⁺12.90	Timeout	Unknown	Timeout	3.60	Timeout
`GRA008+1`^*	⁺23.40	3.60	4.10	Unknown	Timeout	⁺5.40	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRA009+2`^*	⁺139.70	4.80	5.80	Unknown	Timeout	⁺4.30	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRA010+1`^*	⁺0.00	0.10	0.10	Unknown	⁺0.90	⁺1.50	0.00	Unknown	Timeout	GaveUp	Timeout
`GRA011+1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	⁺15.00	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRA012+1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	⁺13.30	Timeout	Unknown	Timeout	GaveUp	Timeout
`GRP001+6`	⁺0.30	0.40	⁺0.70	⁺1.80	⁺0.60	⁺0.20	0.00	⁺0.00	0.00	GaveUp	Timeout
`GRP012+5`	⁺3.60	0.10	⁺0.20	⁺19.80	⁺0.10	⁺10.20	0.20	⁺0.10	0.00	GaveUp	Timeout
`LCL414+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.60	0.00	⁺0.00	Timeout	GaveUp	⁺0.20
`MGT022+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.00	⁺0.00	0.00	GaveUp	⁺0.10
`MGT022+2`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.00	⁺0.00	0.00	GaveUp	⁺0.10
`MGT028+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	0.00	⁺1.70
`MGT036+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺1.00	0.00	⁺0.00	Timeout	0.00	⁺4.20
`MGT036+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.10
`MGT042+1`	⁺22.90	Timeout	Timeout	⁺84.40	⁺131.00	⁺3.20	0.00	Timeout	Timeout	GaveUp	Timeout
`MGT060+1`	⁺8.90	0.00	⁺0.10	⁺0.60	⁺0.20	⁺0.40	0.00	⁺0.10	Timeout	0.00	WCout
`MSC010+1`	⁺2.70	GaveUp	GaveUp	⁺0.00	Unknown	Timeout	WCout	Unknown	Timeout	GaveUp	Timeout
`NUM310+1`	⁺11.70	Timeout	Timeout	⁺79.90	19.00	Timeout	Timeout	Unknown	Timeout	Timeout	WCout
`NUM327+1`	⁺11.00	Timeout	Timeout	⁺79.70	⁺25.70	Timeout	0.50	Unknown	Timeout	367.70	WCout
`NUM329+1`	⁺10.80	Timeout	Timeout	⁺83.60	⁺26.30	Timeout	0.60	Timeout	Timeout	369.10	WCout
`NUM334+1`	⁺10.70	Timeout	Timeout	⁺79.60	⁺5.90	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout
`NUM398+1`^*	⁺0.00	0.10	⁺0.20	⁺0.00	⁺4.00	⁺0.20	8.10	Timeout	Timeout	GaveUp	WCout
`NUM400+1`^*	⁺81.10	0.10	⁺0.20	⁺0.70	⁺53.10	⁺149.70	Timeout	Timeout	Timeout	GaveUp	Unknown
`PUZ047+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.00	⁺0.00	GaveUp	GaveUp	Timeout
`SET008+3`	⁺0.00	0.10	⁺0.20	⁺0.00	⁺0.10	⁺63.00	Timeout	⁺4.50	0.00	GaveUp	Timeout
`SET009+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.50	⁺43.00	0.00	⁺0.10	0.00	GaveUp	⁺0.10
`SET014+3`	⁺0.10	0.00	⁺0.20	⁺0.10	⁺0.10	⁺1.80	1.40	Timeout	0.00	GaveUp	Unknown
`SET067+1`	⁺0.00	0.10	⁺0.20	⁺0.10	⁺0.60	Timeout	Timeout	Timeout	0.90	GaveUp	Unknown
`SET094+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺1.50	Timeout	Timeout	⁺55.90	0.80	0.10	Timeout
`SET099+1`	Timeout	57.40	62.90	⁺182.30	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SET144+3`	⁺173.00	Timeout	Timeout	⁺103.60	⁺15.90	⁺285.80	Timeout	Timeout	0.10	GaveUp	Unknown
`SET171+3`	⁺12.20	Timeout	Timeout	⁺102.60	⁺42.00	Timeout	Timeout	Timeout	0.10	GaveUp	Timeout
`SET200+3`	⁺2.00	0.10	⁺0.20	⁺0.20	⁺0.10	⁺12.40	Timeout	Timeout	0.00	GaveUp	Unknown
`SET577+3`	⁺0.10	0.20	⁺0.50	⁺0.20	⁺0.10	⁺5.40	4.00	Timeout	0.00	GaveUp	Unknown
`SET579+3`	⁺0.10	0.00	⁺0.10	⁺0.10	⁺6.30	⁺48.10	52.00	Timeout	0.00	GaveUp	Timeout
`SET582+3`	⁺145.90	36.90	⁺49.90	⁺115.60	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp	Timeout
`SET584+3`	⁺1.50	0.00	⁺0.20	⁺0.00	⁺0.00	⁺7.10	122.00	Timeout	0.00	GaveUp	Unknown
`SET587+3`	⁺0.10	0.00	⁺0.10	⁺0.00	⁺7.20	⁺7.60	209.30	Timeout	0.00	GaveUp	Timeout
`SET588+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.40	⁺18.00	0.00	⁺0.20	0.00	GaveUp	⁺0.10
`SET589+3`	⁺0.20	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.30	0.00	⁺0.00	0.20	GaveUp	Unknown
`SET590+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	GaveUp	⁺0.00
`SET593+3`	⁺0.10	0.10	⁺0.20	⁺0.60	⁺7.70	⁺60.90	361.00	Timeout	0.00	0.10	Unknown
`SET594+3`	⁺0.60	1.10	⁺2.40	⁺0.00	⁺0.70	⁺100.10	2.00	Timeout	0.00	GaveUp	Unknown
`SET595+3`	⁺22.10	26.60	⁺39.70	⁺16.80	⁺1.40	⁺318.50	Timeout	Timeout	0.00	GaveUp	Timeout
`SET603+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.20	1.30	⁺38.40	0.00	GaveUp	Timeout
`SET623+3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	Timeout
`SET624+3`	⁺4.90	0.00	⁺0.10	⁺1.40	⁺1.30	⁺232.60	62.60	Timeout	GaveUp	GaveUp	Unknown
`SET631+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.50	0.00	⁺0.10	0.00	GaveUp	⁺0.10
`SET655+3`	⁺1.50	0.40	⁺0.60	⁺204.10	⁺6.90	Timeout	0.40	Timeout	Timeout	Timeout	Timeout
`SET656+3`	⁺3.90	38.40	⁺49.80	⁺12.70	⁺0.10	Timeout	Timeout	⁺35.80	Timeout	Timeout	Timeout
`SET657+3`	⁺140.90	0.10	⁺0.20	⁺16.80	⁺0.70	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SET669+3`	⁺6.70	0.90	⁺1.30	⁺0.20	⁺3.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET680+3`	⁺0.10	0.00	⁺0.10	⁺0.50	⁺1.90	Timeout	Timeout	Timeout	Timeout	WCout	Unknown
`SET795+4`^*	⁺18.00	Timeout	Timeout	⁺0.10	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	Unknown
`SET796+4`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	Unknown
`SET798+4`^*	⁺11.90	0.10	⁺0.20	⁺39.60	⁺0.20	Timeout	0.30	Timeout	0.00	GaveUp	Unknown
`SET802+4`^*	⁺109.50	4.10	⁺5.30	⁺25.80	Timeout	Timeout	Timeout	Timeout	0.10	1.30	Unknown
`SET805+4`^*	Timeout	Timeout	Timeout	⁺343.60	Timeout	Timeout	Timeout	Timeout	0.10	2.80	Timeout
`SET806+4`^*	Timeout	Timeout	Timeout	⁺208.60	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	Timeout
`SET808+4`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	Timeout
`SET811+4`^*	Timeout	Timeout	Timeout	⁺207.10	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	Timeout
`SET812+4`^*	Timeout	Timeout	Timeout	⁺104.10	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	WCout
`SET814+4`^*	Timeout	2.90	⁺4.10	⁺10.90	⁺0.20	Timeout	Timeout	Timeout	0.10	GaveUp	Timeout
`SET815+4`^*	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	0.20	GaveUp	Unknown
`SET816+4`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10	GaveUp	Timeout
`SET896+1`^*	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	GaveUp	⁺0.10
`SET899+1`^*	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.10
`SET913+1`^*	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.10
`SET915+1`^*	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.10
`SET919+1`^*	Timeout	Timeout	Timeout	Timeout	⁺21.20	Timeout	Timeout	Timeout	GaveUp	GaveUp	Timeout
`SET935+1`^*	⁺0.10	0.10	⁺0.30	⁺0.20	⁺1.90	Timeout	Timeout	⁺37.20	Timeout	GaveUp	Timeout
`SET939+1`^*	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	GaveUp	⁺0.10
`SET942+1`^*	⁺0.00	0.00	⁺0.10	⁺5.90	⁺0.10	⁺6.30	Timeout	⁺10.10	0.00	GaveUp	Unknown
`SET951+1`^*	⁺0.10	Timeout	Timeout	⁺0.00	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	Unknown
`SET966+1`^*	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.10	0.00	⁺0.00	0.10	GaveUp	⁺0.10
`SET982+1`^*	⁺0.10	95.50	⁺99.90	⁺18.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SEU003+1`^*	⁺35.70	145.60	164.20	⁺149.90	GaveUp	Timeout	Timeout	Timeout	57.70	GaveUp	Unknown
`SEU009+1`^*	⁺0.20	0.00	⁺0.10	⁺0.00	⁺5.90	⁺69.10	Timeout	Timeout	0.50	GaveUp	Unknown
`SEU014+1`^*	Timeout	Timeout	Timeout	⁺204.50	Timeout	⁺26.10	Timeout	Timeout	47.10	GaveUp	Unknown
`SEU075+1`^*	Timeout	Timeout	Timeout	⁺106.80	GaveUp	Timeout	Timeout	Timeout	297.10	GaveUp	Timeout
`SEU086+1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	⁺16.50	Timeout	Timeout	Timeout	GaveUp	Unknown
`SWC078+1`	Timeout	95.70	118.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC231+1`	⁺21.50	2.20	2.50	⁺60.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC239+1`	⁺11.20	0.10	0.20	⁺1.30	⁺159.20	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SWV011+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺20.50	0.00	⁺0.00	0.60	0.00	⁺0.10
`SWV014+1`	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.70	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV026+1`	⁺22.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV030+1`	⁺20.10	0.10	⁺0.20	Timeout	⁺376.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV033+1`	⁺54.00	5.40	⁺8.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV036+1`	⁺78.60	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout
`SWV038+1`	⁺22.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV039+1`	⁺21.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV041+1`	⁺0.00	0.10	⁺0.20	⁺0.10	⁺2.00	Timeout	0.00	⁺178.30	Timeout	15.50	Unknown
`SWV048+1`	⁺4.90	0.10	⁺0.20	⁺0.20	⁺124.50	Timeout	Timeout	⁺358.10	Timeout	Timeout	Unknown
`SWV050+1`	⁺4.90	0.00	⁺0.10	⁺0.20	Timeout	Timeout	Timeout	⁺315.20	Timeout	171.40	Unknown
`SWV053+1`	⁺62.50	13.40	⁺17.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV090+1`	Timeout	2.00	⁺3.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV092+1`	⁺5.30	0.10	⁺0.20	⁺0.20	⁺2.60	Timeout	0.00	⁺118.20	Timeout	0.80	Timeout
`SWV094+1`	⁺21.00	12.70	⁺15.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV096+1`	⁺6.60	2.00	⁺4.50	⁺12.20	⁺6.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV098+1`	⁺6.50	0.10	⁺0.20	⁺0.50	⁺64.20	Timeout	Timeout	⁺32.70	Timeout	Timeout	Unknown
`SWV103+1`	Timeout	2.40	⁺3.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SWV117+1`	⁺15.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV161+1`	⁺17.30	0.10	⁺0.20	⁺129.60	⁺3.40	Timeout	Timeout	Timeout	Timeout	0.40	Unknown
`SWV173+1`	⁺5.20	0.00	⁺0.10	⁺0.10	⁺1.20	⁺1.30	0.00	Timeout	Timeout	Timeout	Timeout
`SWV177+1`	⁺5.20	0.00	⁺0.10	⁺0.00	⁺2.90	Timeout	0.00	Timeout	Timeout	Timeout	Timeout
`SWV200+1`	⁺6.00	0.40	⁺0.90	⁺0.30	⁺1.50	Timeout	0.10	Timeout	Timeout	0.50	Unknown
`SWV209+1`	⁺52.70	0.10	⁺0.20	⁺162.70	⁺4.30	Timeout	Timeout	Timeout	Timeout	2.10	Timeout
`SWV233+1`^*	⁺130.10	0.20	0.30	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	WCout
`SWV234+1`^*	Timeout	Timeout	Timeout	⁺255.60	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	WCout
`SWV234+2`^*	⁺0.80	0.00	⁺0.20	⁺49.40	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	WCout
`SWV235+1`^*	⁺0.20	0.20	⁺0.30	⁺4.20	⁺1.60	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout
`SWV236+1`^*	⁺0.10	0.00	⁺0.10	⁺0.90	⁺2.00	Timeout	118.70	⁺14.90	GaveUp	GaveUp	WCout
`SWV237+1`^*	⁺0.00	0.00	⁺0.10	⁺12.40	⁺0.90	⁺3.80	Timeout	⁺1.10	358.90	WCout	WCout
`SYN081+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.00	GaveUp	0.00	⁺0.10
`SYN084+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.10	GaveUp	GaveUp	Timeout
`SYN364+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	GaveUp	Timeout
`SYN365+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	0.00	Timeout
`SYN728+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	GaveUp	Timeout
`SYN730+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.00	GaveUp	GaveUp	⁺0.10
`SYN938+1`	⁺0.00	2.10	⁺3.00	⁺0.10	Unknown	⁺2.60	Timeout	Unknown	Timeout	GaveUp	Timeout
`SYN939+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.00	GaveUp	GaveUp	⁺0.20
`SYN940+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GaveUp	0.00	⁺0.10
`SYN941+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GaveUp	GaveUp	⁺0.10
`SYN943+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.10	GaveUp	0.00	Timeout
`SYN980+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GaveUp	0.00	⁺0.20
Attempted	150	150	150	150	150	150	150	150	150	150	150
Solved	128	112	112	109	94	73	64	52	50	31	27
Av. Time	21.44	6.69	7.97	32.90	15.14	22.85	18.33	25.08	15.31	30.19	0.40
Solutions	128	0	92	109	94	73	0	52	0	0	27
New Attempted	48	48	48	48	48	48	48	48	48	48	48
New Solved	31	29	29	29	20	25	12	10	24	7	7

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

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

Results for CNF

CNF	Vampire 8.1	Vampire 8.0	E 0.99	EP 0.99	Theo 2006	Otter 3.3	Darwin 1.3	iProver 0.1	Geo 2006i	Faust 1.0	Equinox 1.0a
`ANA002-1`	⁺3.30	⁺2.30	19.20	⁺29.80	⁺231.90	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp
`ANA003-2`	⁺161.80	⁺23.20	10.10	⁺13.10	⁺228.30	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`ANA004-5`	⁺7.00	Timeout	Timeout	Timeout	⁺279.80	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`ANA008-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	0.20	⁺0.00	Unknown	GaveUp
`ANA014-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	⁺12.70	Timeout	Timeout	⁺10.90	Timeout	GaveUp
`ANA016-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺9.40	⁺0.00	Timeout	75.70	⁺0.10	⁺1.80	GaveUp
`ANA017-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺20.40	⁺0.00	4.30	Timeout	⁺125.40	Unknown	GaveUp
`ANA022-1`^*	⁺211.10	Timeout	Timeout	Timeout	Unknown	GaveUp	Timeout	WCout	Timeout	Timeout	Timeout
`ANA030-2`^*	⁺0.20	⁺0.00	0.00	⁺0.10	Timeout	⁺0.10	Timeout	Timeout	⁺27.70	Timeout	GaveUp
`ANA037-1`^*	⁺6.70	⁺41.20	180.10	182.90	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA040-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	0.20	⁺0.00	Unknown	GaveUp
`ANA044-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.20	⁺0.00	0.10	311.60	⁺0.10	⁺0.20	GaveUp
`ANA045-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.10	0.00	0.50	⁺0.00	Unknown	GaveUp
`BOO020-1`	⁺11.40	⁺1.20	9.90	⁺19.80	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp
`COL003-10`	⁺40.50	⁺11.40	25.20	⁺29.70	Timeout	Unknown	Timeout	Timeout	Timeout	WCout	GaveUp
`COL003-2`	⁺0.80	⁺1.40	0.40	⁺0.80	Timeout	Unknown	Timeout	Timeout	Timeout	WCout	GaveUp
`COL042-3`	⁺39.00	⁺6.90	5.70	⁺9.90	Timeout	GaveUp	Timeout	Timeout	Timeout	WCout	GaveUp
`COL093-2`	Timeout	Timeout	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`COL112-1`^*	⁺0.10	⁺0.10	0.80	⁺1.10	⁺2.80	⁺2.60	0.30	29.50	Timeout	Unknown	Timeout
`COL119-1`^*	⁺0.10	⁺0.10	0.90	⁺1.10	⁺2.90	⁺4.30	0.30	27.00	Timeout	Unknown	Timeout
`COM005-1`	⁺183.60	⁺6.40	19.70	⁺29.80	Timeout	Timeout	Timeout	72.90	Timeout	Unknown	GaveUp
`COM009-1`^*	⁺0.10	⁺0.10	0.90	⁺1.10	⁺64.70	⁺4.50	Timeout	Timeout	⁺261.80	⁺4.30	Timeout
`FLD013-1`	⁺2.00	⁺2.50	22.80	⁺29.80	⁺1.20	Timeout	2.70	2.40	⁺10.70	WCout	GaveUp
`FLD060-3`	⁺0.20	⁺1.00	Timeout	Timeout	⁺1.10	Timeout	29.50	Timeout	⁺93.70	Unknown	GaveUp
`GEO006-1`	⁺1.20	⁺0.20	0.00	⁺0.10	⁺14.30	⁺271.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO007-1`	⁺1.30	⁺58.80	152.10	179.50	⁺308.70	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp
`GEO011-1`	⁺1.10	⁺0.10	0.50	⁺1.10	⁺83.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO051-3`	⁺1.20	⁺14.70	0.50	⁺0.90	⁺2.90	⁺7.80	Timeout	2.20	⁺4.00	WCout	GaveUp
`GEO076-4`	⁺0.10	⁺11.90	0.00	⁺0.10	Timeout	Timeout	0.20	269.60	⁺0.20	Timeout	GaveUp
`GEO083-1`	⁺0.00	⁺7.50	25.80	⁺29.20	⁺0.50	Timeout	Timeout	1.90	Timeout	Unknown	GaveUp
`GEO089-1`	⁺66.40	⁺1.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺23.20	Unknown	GaveUp
`GRP039-5`	⁺0.10	⁺0.10	0.00	⁺0.10	⁺274.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP061-1`	⁺15.10	⁺13.20	0.60	⁺1.30	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown	GaveUp
`GRP070-1`	⁺11.20	⁺0.20	0.00	⁺0.10	Timeout	⁺1.00	Timeout	Timeout	Timeout	Unknown	GaveUp
`GRP074-1`	⁺0.10	⁺3.90	0.10	⁺0.30	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown	GaveUp
`GRP082-1`	⁺0.20	⁺11.10	0.10	⁺0.30	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown	GaveUp
`GRP085-1`	⁺0.00	⁺0.10	0.10	⁺0.40	Timeout	⁺0.10	1.10	Timeout	Timeout	Unknown	GaveUp
`GRP086-1`	⁺0.00	⁺0.00	0.10	⁺0.20	Timeout	⁺0.10	150.80	Timeout	Timeout	Unknown	GaveUp
`GRP102-1`	⁺1.60	⁺0.20	0.00	⁺0.10	Timeout	⁺2.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP103-1`	⁺2.60	⁺0.50	0.90	⁺2.90	Timeout	⁺8.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP110-1`	⁺0.00	⁺0.10	0.10	⁺0.50	Timeout	⁺17.70	109.40	Timeout	Timeout	Unknown	GaveUp
`GRP311-1`	⁺1.10	⁺2.90	2.10	2.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`HWV002-1`	⁺26.00	⁺42.60	37.30	⁺49.60	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown	GaveUp
`HWV003-2`	⁺4.20	⁺40.00	86.70	109.40	Timeout	GaveUp	Timeout	Timeout	Timeout	WCout	GaveUp
`HWV016-1`	⁺0.00	⁺0.20	0.10	0.20	⁺109.20	Timeout	Timeout	95.40	⁺9.60	Timeout	0.10
`LAT003-1`	Timeout	Timeout	72.80	89.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT005-4`	⁺21.80	⁺12.20	1.20	⁺3.50	Timeout	⁺140.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT198-1`	⁺55.50	⁺332.00	3.80	⁺9.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT201-1`	Timeout	Timeout	7.00	⁺9.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT209-1`	⁺22.60	⁺31.40	3.30	⁺8.60	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT219-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT263-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.80	⁺0.00	0.10	0.20	⁺0.10	⁺0.10	GaveUp
`LAT273-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	0.00	⁺0.10	⁺0.10	GaveUp
`LAT277-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	⁺0.10	GaveUp
`LCL028-1`	⁺1.00	⁺197.30	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	GaveUp
`LCL109-4`	⁺25.80	⁺33.50	6.00	⁺9.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL124-1`	⁺3.40	⁺23.20	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL125-1`	⁺99.70	⁺68.10	Timeout	Timeout	Timeout	⁺161.30	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL145-1`	⁺0.00	⁺0.00	0.00	⁺0.10	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL151-1`	⁺169.20	⁺89.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL185-3`	⁺0.00	⁺0.00	2.00	⁺3.30	⁺0.20	⁺0.30	0.10	Timeout	Timeout	Timeout	GaveUp
`LCL222-3`	⁺30.10	⁺21.70	52.00	⁺68.70	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL230-1`	⁺3.90	⁺0.40	3.00	⁺4.10	⁺2.10	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL237-3`	⁺0.10	⁺0.00	0.40	⁺0.80	⁺86.10	⁺1.50	79.80	Timeout	Timeout	Timeout	GaveUp
`LCL249-1`	⁺1.70	⁺14.60	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL253-1`	⁺27.50	⁺125.10	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL423-1`	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown	GaveUp
`LCL434-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.00	0.00	34.00	⁺0.20	⁺0.10	GaveUp
`LCL439-1`^*	⁺26.90	⁺23.80	Timeout	Timeout	⁺18.00	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`LCL442-2`^*	⁺0.10	⁺0.00	0.00	⁺0.10	⁺0.30	⁺14.60	0.00	0.30	⁺328.80	⁺0.30	GaveUp
`LCL444-2`^*	⁺80.00	⁺47.40	Timeout	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	WCout	GaveUp
`MGT034-2`	⁺0.20	⁺0.00	0.40	⁺0.50	⁺2.00	⁺81.90	Timeout	0.20	⁺13.20	Timeout	GaveUp
`NLP080-1`	⁺0.00	⁺0.00	0.00	⁺0.10	GaveUp	⁺0.00	0.00	0.00	⁺1.80	Timeout	0.10
`NUM010-1`	⁺74.40	⁺9.70	Timeout	Timeout	⁺125.30	Timeout	Timeout	Timeout	Timeout	WCout	WCout
`NUM017-1`	⁺76.20	⁺21.40	10.90	⁺14.20	⁺88.30	⁺47.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`NUM058-1`	⁺77.50	⁺92.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`PLA010-1`	⁺0.20	⁺0.10	0.10	⁺0.20	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`PLA014-1`	⁺0.10	⁺0.00	0.00	⁺0.10	⁺58.50	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`PLA016-1`	⁺0.10	⁺0.00	0.00	⁺0.10	Timeout	Timeout	0.50	Timeout	Timeout	WCout	GaveUp
`PLA018-1`	⁺0.10	⁺0.00	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`PUZ035-4`	⁺0.00	⁺0.00	0.00	⁺0.10	⁺4.50	⁺0.00	0.00	0.00	⁺0.30	⁺0.30	0.00
`RNG004-3`	⁺175.40	⁺144.50	6.80	⁺9.90	⁺2.20	⁺34.20	Timeout	Timeout	⁺129.50	WCout	GaveUp
`RNG027-2`	Timeout	⁺75.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG029-3`	⁺0.70	⁺2.00	6.70	⁺9.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET013-1`	⁺1.20	⁺0.00	0.60	⁺0.90	⁺125.50	Timeout	47.70	Timeout	Timeout	Timeout	GaveUp
`SET016-3`	⁺0.00	⁺47.80	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	WCout
`SET018-3`	⁺0.00	⁺4.90	126.60	156.60	Timeout	Timeout	Timeout	WCout	Timeout	WCout	WCout
`SET018-4`	⁺0.10	⁺56.10	118.60	139.40	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	WCout
`SET022-3`	⁺0.80	⁺0.40	8.90	⁺13.00	⁺1.30	Timeout	Timeout	Timeout	⁺0.30	WCout	WCout
`SET027-3`	⁺0.00	⁺0.10	0.10	⁺0.20	⁺0.60	⁺224.00	318.60	WCout	Timeout	Unknown	WCout
`SET028-3`	⁺35.60	⁺124.90	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Unknown	Timeout
`SET035-3`	⁺117.90	⁺113.80	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Unknown	WCout
`SET208-6`	⁺3.40	⁺18.00	Timeout	Timeout	⁺214.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET787-2`	⁺261.10	⁺101.40	0.10	⁺0.20	Timeout	Timeout	Timeout	WCout	Timeout	WCout	0.30
`SET820-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.00	0.00	Timeout	⁺0.00	Timeout	GaveUp
`SET823-1`^*	⁺0.10	⁺0.10	2.10	⁺2.60	⁺3.00	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SET827-1`^*	⁺0.10	⁺0.10	1.00	⁺1.20	⁺1.20	⁺2.50	0.20	2.90	⁺275.00	⁺5.10	Timeout
`SET830-2`^*	⁺0.10	⁺5.80	0.00	⁺0.10	⁺0.40	Timeout	2.80	0.60	⁺1.00	⁺0.80	GaveUp
`SET831-2`^*	⁺0.40	⁺74.50	0.10	⁺0.20	Timeout	⁺0.40	Timeout	313.20	⁺352.20	Unknown	GaveUp
`SET834-1`^*	⁺62.10	⁺243.00	9.10	10.50	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SET834-2`^*	⁺0.00	⁺3.20	0.00	⁺0.10	⁺0.70	GaveUp	2.80	41.00	⁺38.50	⁺0.80	GaveUp
`SET838-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.00	0.00	0.70	⁺0.00	⁺0.10	GaveUp
`SET841-1`^*	⁺0.10	⁺5.20	0.90	⁺1.10	⁺159.80	⁺3.30	16.60	Timeout	Timeout	Unknown	Timeout
`SET853-1`^*	⁺0.30	⁺75.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	5.30
`SET861-2`^*	⁺12.60	⁺12.30	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown	GaveUp
`SET863-2`^*	⁺0.00	⁺0.20	0.00	⁺0.10	⁺0.10	⁺4.20	0.10	0.10	⁺20.80	Unknown	GaveUp
`SWC169-1`	Timeout	Timeout	299.00	307.40	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	WCout
`SWC225-1`	⁺49.60	⁺22.80	0.10	0.20	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SWV014-1`	⁺6.70	⁺0.10	0.00	⁺0.10	⁺0.90	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SWV239-1`^*	⁺14.90	⁺88.60	2.30	⁺2.70	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SWV242-1`^*	⁺1.20	⁺0.80	3.50	⁺4.10	⁺262.50	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SWV243-1`^*	⁺1.10	⁺1.60	6.20	6.70	Unknown	GaveUp	Timeout	Timeout	Timeout	Unknown	Timeout
`SWV247-1`^*	⁺52.60	⁺162.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SWV248-2`^*	⁺1.20	⁺0.00	0.00	⁺0.10	Timeout	GaveUp	0.10	Timeout	⁺202.30	Timeout	GaveUp
`SWV249-2`^*	⁺4.00	⁺18.90	Timeout	Timeout	Timeout	⁺1.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV251-2`^*	⁺0.00	⁺0.00	0.10	⁺0.30	⁺8.70	⁺0.80	Timeout	Timeout	⁺6.70	Unknown	GaveUp
`SWV254-1`^*	⁺1.40	⁺2.40	6.90	7.40	Unknown	GaveUp	Timeout	Timeout	Timeout	Unknown	Timeout
`SWV256-1`^*	⁺0.80	⁺0.90	0.60	⁺0.80	Unknown	GaveUp	3.60	Timeout	Timeout	Timeout	Timeout
`SWV264-1`^*	⁺0.10	⁺0.10	0.60	⁺0.70	⁺6.20	⁺3.80	0.20	0.40	Timeout	Unknown	Timeout
`SWV267-1`^*	⁺1.40	⁺15.90	7.20	7.80	Unknown	GaveUp	3.50	96.40	Timeout	Unknown	Timeout
`SWV270-1`^*	⁺1.60	⁺36.00	6.30	6.60	Unknown	GaveUp	Timeout	Timeout	Timeout	Unknown	28.40
`SWV273-1`^*	⁺1.30	⁺4.00	6.30	6.90	Unknown	GaveUp	Timeout	Timeout	Timeout	WCout	Timeout
`SWV274-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.20	⁺7.90	0.00	0.20	⁺0.90	Timeout	GaveUp
`SWV275-2`^*	⁺1.20	⁺2.90	2.30	⁺3.60	⁺0.30	Timeout	0.00	150.50	⁺221.50	Unknown	GaveUp
`SWV281-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	Timeout	Timeout	Timeout	⁺0.20	⁺0.10	GaveUp
`SWV282-2`^*	⁺0.00	⁺0.20	0.60	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV291-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.00	0.00	0.00	⁺71.70	⁺1.50	GaveUp
`SWV302-1`^*	⁺1.00	⁺0.40	1.00	⁺1.20	⁺14.20	GaveUp	Timeout	Timeout	Timeout	Unknown	3.50
`SWV305-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.20	⁺0.00	Timeout	0.00	⁺91.00	⁺1.70	GaveUp
`SWV315-1`^*	⁺2.00	⁺36.30	7.00	7.50	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV317-1`^*	⁺1.40	⁺3.00	6.70	7.30	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV319-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.50	⁺0.00	Timeout	0.10	Timeout	⁺4.60	GaveUp
`SWV323-2`^*	⁺0.80	⁺0.00	0.00	⁺0.10	⁺0.50	⁺6.60	0.10	56.20	Timeout	Timeout	GaveUp
`SWV325-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.60	⁺0.00	2.00	0.10	⁺58.80	Timeout	GaveUp
`SWV329-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	0.00	⁺1.70	⁺0.20	GaveUp
`SWV341-1`^*	⁺1.40	⁺18.60	8.00	8.50	Unknown	GaveUp	Timeout	3.70	Timeout	Timeout	5.50
`SWV342-1`^*	⁺84.70	Timeout	11.40	12.40	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV343-1`^*	⁺82.80	Timeout	12.50	13.10	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV349-1`^*	⁺0.20	⁺0.30	0.20	⁺0.40	Unknown	⁺0.90	4.90	2.30	Timeout	Timeout	2.50
`SWV354-1`^*	Timeout	Timeout	393.00	Timeout	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	6.30
`SWV354-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	⁺9.30	Timeout	6.20	Timeout	Unknown	0.00
`SWV355-1`^*	⁺83.60	Timeout	8.90	9.50	Unknown	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN014-1`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	Timeout	0.00	0.90	⁺0.10	Timeout	GaveUp
`SYN015-1`	⁺0.00	⁺0.10	0.00	⁺0.10	Timeout	Timeout	0.00	4.80	⁺0.20	Timeout	GaveUp
`SYN036-3`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	⁺0.10	0.00	0.00	⁺11.60	⁺10.30	GaveUp
`SYN067-3`	⁺0.80	⁺8.10	4.00	⁺6.10	Timeout	Timeout	0.10	Timeout	Timeout	Timeout	0.80
`SYN600-1`	⁺25.20	⁺5.40	6.50	⁺9.60	⁺0.50	⁺4.90	Timeout	0.10	⁺2.70	Unknown	GaveUp
`SYN640-1`	⁺2.00	⁺0.60	Timeout	Timeout	⁺9.90	⁺1.60	Timeout	0.10	Timeout	Timeout	GaveUp
`SYN707-1`	⁺25.60	⁺3.60	0.10	⁺0.10	⁺2.20	Timeout	Timeout	0.80	Timeout	Unknown	GaveUp
`SYN708-1`	⁺25.60	⁺3.50	1.50	⁺1.90	⁺2.80	Timeout	Timeout	0.80	Timeout	Unknown	GaveUp
Attempted	150	150	150	150	150	150	150	150	150	150	150
Solved	142	138	126	125	66	55	47	47	45	19	12
Av. Time	19.35	21.72	14.69	13.88	43.07	19.75	16.65	34.17	53.30	1.71	4.40
Solutions	142	138	0	103	66	55	0	0	45	19	0
New Attempted	65	65	65	65	65	65	65	65	65	65	65
New Solved	64	60	58	57	36	34	30	31	30	17	7

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

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

Results for SAT

SAT	Paradox 1.3	Paradox 2.0a	DarwinFM 1.3	Geo 2006i	Darwin 1.3	E 0.99
`ALG008-1`	⁺0.00	⁺0.00	⁺0.30	⁺0.10	Timeout	Timeout
`ANA006-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO019-1`	⁺0.00	⁺0.00	⁺38.10	⁺0.50	Timeout	Timeout
`BOO030-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO033-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout
`BOO057-1`	⁺2.50	⁺2.20	Timeout	Timeout	Timeout	Timeout
`BOO058-1`	⁺1.80	⁺3.20	Timeout	Timeout	Timeout	Timeout
`BOO061-1`	⁺12.80	⁺0.90	Timeout	Timeout	Timeout	Timeout
`CAT019-4`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`CAT019-5`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	Timeout	Timeout
`COL005-1`	⁺0.00	⁺0.00	⁺0.30	⁺0.10	Timeout	Timeout
`COL073-1`	⁺0.10	⁺0.10	⁺8.10	Timeout	Timeout	Timeout
`GEO078-6`	⁺0.10	⁺0.20	⁺1.00	⁺88.90	Timeout	Timeout
`GEO163-1`	⁺0.00	⁺0.00	⁺0.90	⁺36.90	Timeout	Timeout
`GRP025-2`	⁺0.10	⁺0.20	⁺146.10	⁺7.80	Timeout	Timeout
`GRP025-3`	⁺0.30	⁺0.50	⁺2.10	⁺0.80	Timeout	Timeout
`GRP026-2`	⁺0.30	⁺0.50	⁺60.00	⁺70.90	Timeout	Timeout
`GRP026-4`	⁺0.30	⁺0.50	⁺13.80	⁺82.50	Timeout	Timeout
`GRP027-2`	⁺0.10	⁺0.20	⁺4.40	⁺0.50	Timeout	Timeout
`GRP081-1`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`GRP112-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	Timeout	Timeout
`GRP207-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout
`GRP394-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT046-1`	⁺0.30	⁺0.80	⁺52.00	⁺269.60	Timeout	Unknown
`LAT047-1`	⁺0.10	⁺0.10	⁺2.70	⁺2.60	Timeout	Timeout
`LAT048-1`	⁺0.20	⁺0.80	⁺21.70	Timeout	Timeout	Timeout
`LAT049-1`	⁺0.50	⁺2.50	⁺212.00	⁺101.80	Timeout	Timeout
`LAT051-1`	⁺0.10	⁺0.40	⁺7.00	⁺3.00	Timeout	Timeout
`LAT053-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT106-1`	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT112-1`	⁺83.50	Timeout	Timeout	Timeout	Timeout	Unknown
`LAT117-1`	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT118-1`	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT121-1`	⁺3.60	⁺38.60	Timeout	⁺188.70	Timeout	Timeout
`LAT129-1`	⁺3.50	⁺49.20	Timeout	Timeout	Timeout	Timeout
`LAT133-1`	⁺2.70	⁺38.40	Timeout	Timeout	Timeout	Timeout
`LCL078-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout
`LCL165-1`	⁺0.10	⁺0.20	⁺7.60	Timeout	Timeout	Timeout
`LCL168-1`	⁺0.10	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL179-1`	⁺0.60	⁺4.40	⁺8.40	Timeout	Timeout	Timeout
`LCL183-1`	⁺3.00	⁺24.20	⁺170.90	Timeout	Timeout	Timeout
`LCL245-1`	⁺12.80	⁺34.00	Timeout	Timeout	Timeout	Timeout
`LCL246-1`	⁺4.00	⁺5.20	Timeout	Timeout	Timeout	Timeout
`LCL247-1`	⁺9.90	⁺60.70	Timeout	Timeout	Timeout	Timeout
`LCL252-1`	⁺13.20	⁺70.40	Timeout	Timeout	Timeout	Timeout
`LCL267-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.00	⁺0.20	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL411-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`MGT038-2`	⁺0.10	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout
`NLP028-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.20	⁺0.00	Timeout
`NLP034-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.20	⁺0.00	Timeout
`NLP052-1`	GaveUp	WCout	Timeout	Timeout	⁺174.00	0.00
`NLP069-1`	GaveUp	WCout	Timeout	Timeout	Timeout	0.00
`NLP071-1`	GaveUp	WCout	Timeout	Timeout	Timeout	0.00
`NLP072-1`	GaveUp	WCout	Timeout	Timeout	Timeout	0.00
`NLP087-1`	GaveUp	WCout	Timeout	Timeout	Timeout	0.00
`NLP164-1`	⁺0.10	⁺0.20	⁺0.50	⁺6.00	⁺0.00	Timeout
`NLP167-1`	⁺0.10	⁺0.20	⁺0.10	⁺3.80	⁺0.00	Timeout
`NLP193-1`	⁺0.10	⁺0.20	⁺0.10	⁺5.20	⁺0.00	Timeout
`NLP196-1`	⁺0.10	⁺0.20	⁺0.10	⁺7.50	⁺0.00	Timeout
`NLP211-1`	⁺0.40	⁺1.20	⁺0.50	Timeout	Timeout	Timeout
`NUM287-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`NUM288-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`PUZ015-3`	⁺2.00	⁺8.00	Timeout	Timeout	Timeout	Timeout
`PUZ059-1`	⁺3.80	⁺38.60	⁺109.90	Timeout	WCout	Timeout
`PUZ070-1`^*	⁺3.30	⁺134.60	Timeout	Timeout	⁺25.40	Timeout
`PUZ071-1`^*	⁺3.50	⁺135.20	Timeout	Timeout	⁺28.00	Timeout
`PUZ072-1`^*	⁺3.50	⁺136.10	Timeout	Timeout	⁺329.50	Timeout
`RNG031-6`	⁺181.80	⁺194.90	Timeout	Timeout	Timeout	Timeout
`ROB012-2`	⁺0.10	⁺0.20	⁺36.00	Timeout	Timeout	Timeout
`SWV018-1`	⁺0.10	⁺0.10	⁺0.10	⁺27.20	Timeout	0.00
`SYN305-1`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SYN316-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SYN324-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SYN330-1`	⁺0.50	⁺0.50	Timeout	Timeout	Timeout	0.00
`SYN335-1`	⁺137.00	⁺159.90	Timeout	Timeout	Timeout	0.00
`SYN751-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	⁺0.00	11.90
`SYN754-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.20
`SYN765-1`	⁺0.10	⁺0.10	⁺0.10	⁺0.10	⁺2.50	Timeout
`SYN779-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺8.90	Timeout
`SYN780-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	Timeout
`SYN783-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN790-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	41.80
`SYN792-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	Timeout
`SYN810-1`	⁺0.10	⁺0.20	⁺0.00	⁺0.00	⁺1.40	Timeout
`SYN904-1`	⁺1.50	⁺1.70	⁺0.60	⁺201.00	Timeout	Timeout
`SYN905-1`	⁺1.80	⁺2.20	⁺0.90	Timeout	Timeout	Timeout
`SYN906-1`	⁺1.10	⁺1.50	⁺0.90	Timeout	Timeout	Timeout
`SYN908-1`	⁺3.90	⁺3.90	⁺1.80	Timeout	Timeout	Timeout
`SYN910-1`	⁺5.70	⁺5.60	⁺7.30	Timeout	Timeout	Timeout
`SYN911-1`	⁺8.00	⁺8.10	Timeout	Timeout	Timeout	Timeout
`TOP005-1`	⁺0.40	⁺1.10	⁺0.60	Timeout	Timeout	Timeout
`TOP007-1`	⁺0.60	⁺1.30	⁺32.20	Timeout	Timeout	Timeout
`TOP008-1`	⁺0.20	⁺0.30	⁺0.50	Timeout	Timeout	Timeout
`TOP010-1`	⁺0.20	⁺0.30	⁺0.30	⁺3.70	Timeout	Timeout
`TOP012-1`	⁺0.20	⁺0.30	⁺1.40	⁺117.90	Timeout	Timeout
`TOP013-1`	⁺0.20	⁺0.30	⁺0.70	⁺100.30	Timeout	Timeout
`TOP014-1`	⁺0.20	⁺0.30	⁺0.30	⁺89.90	Timeout	Timeout
`TOP018-1`	⁺0.20	⁺0.30	⁺0.60	Timeout	Timeout	Timeout
Attempted	100	100	100	100	100	100
Solved	90	89	70	51	18	14
Av. Time	5.76	13.23	13.63	27.81	31.66	3.85
Solutions	90	89	70	51	18	0
New Attempted	3	3	3	3	3	3
New Solved	3	3	0	0	3	0

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

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

Results for EPR

EPR	Darwin 1.3	DCTP 10.21p	DarwinFM 1.3	E 0.99	Paradox 2.0a	Vampire 8.1	iProver 0.1	Geo 2006i	Equinox 1.0a
`GRP123-3.004`	⁺0.00	0.20	⁺0.10	1.50	⁺0.10	Timeout	0.20	⁺0.90	GaveUp
`GRP123-8.004`	⁺0.00	0.30	⁺0.20	86.80	⁺0.10	Timeout	0.10	⁺2.50	GaveUp
`GRP124-4.005`	⁺0.10	0.10	⁺0.20	Timeout	⁺0.10	Timeout	Timeout	⁺0.30	GaveUp
`GRP126-1.005`	⁺0.00	0.10	⁺0.10	Timeout	⁺0.00	Timeout	0.60	⁺0.20	GaveUp
`GRP127-1.005`	⁺0.00	0.10	⁺0.10	Timeout	⁺0.00	Timeout	0.30	⁺0.60	GaveUp
`GRP128-1.004`	⁺0.00	0.30	⁺0.10	12.00	⁺0.00	Timeout	0.10	⁺0.30	GaveUp
`GRP128-2.004`	⁺0.00	0.10	⁺0.10	349.30	⁺0.00	Timeout	0.10	⁺0.50	GaveUp
`GRP129-3.004`	0.00	0.60	0.60	2.50	0.10	⁺227.10	0.10	⁺2.10	GaveUp
`GRP133-1.004`	⁺0.00	0.10	⁺0.10	Timeout	⁺0.00	Timeout	0.20	⁺0.10	GaveUp
`GRP135-2.005`	⁺0.20	0.40	⁺0.30	Timeout	⁺0.10	Timeout	0.40	⁺120.30	GaveUp
`KRS004-1`	0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.00	0.00
`LAT005-1`	0.30	0.70	Timeout	1.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT005-2`	0.20	0.50	Timeout	1.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT267-2`^*	0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.00	0.00
`MGT014-1`	0.00	0.00	0.50	0.00	0.10	⁺0.00	0.00	⁺0.10	0.00
`MGT066-1`	⁺0.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout	0.00	⁺0.00	GaveUp
`NLP005-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.30	GaveUp
`NLP006-1`	⁺0.00	0.10	⁺0.10	0.00	⁺0.10	0.00	0.00	⁺1.20	GaveUp
`NLP012-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.30	GaveUp
`NLP013-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.30	GaveUp
`NLP023-1`	⁺0.00	0.10	⁺0.10	0.00	⁺0.10	0.00	0.10	⁺0.30	GaveUp
`NLP115-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.20	GaveUp
`NLP116-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.20	GaveUp
`NLP118-1`	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.00	0.00	⁺0.20	GaveUp
`NLP120-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.20	GaveUp
`NLP129-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.10	GaveUp
`PUZ001-3`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	GaveUp
`PUZ018-1`	0.00	0.10	0.10	0.00	0.00	⁺0.10	0.00	⁺10.20	0.30
`PUZ018-2`	⁺0.00	0.10	⁺0.10	Timeout	⁺0.00	Timeout	0.00	⁺3.40	GaveUp
`PUZ028-1`	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.00	0.00	⁺0.20	GaveUp
`PUZ028-2`	⁺0.00	0.10	⁺0.10	0.10	⁺0.00	0.50	0.00	⁺0.20	GaveUp
`PUZ028-3`	⁺0.00	0.40	⁺0.60	0.10	⁺0.80	2.10	0.10	⁺5.60	GaveUp
`PUZ028-4`	⁺0.00	0.40	⁺0.20	0.00	⁺0.40	2.00	0.10	⁺0.30	GaveUp
`PUZ035-1`	0.00	0.10	0.00	0.00	0.00	⁺0.00	0.00	⁺0.00	0.00
`PUZ036-1.005`	0.10	171.50	Timeout	0.00	Timeout	⁺0.00	0.50	⁺0.60	GaveUp
`PUZ037-1`	0.10	0.10	0.90	0.00	GaveUp	⁺0.00	0.00	⁺0.10	GaveUp
`PUZ037-2`	0.20	1.20	6.30	0.00	GaveUp	⁺0.10	0.20	⁺95.90	GaveUp
`PUZ037-3`	78.50	Timeout	182.10	52.40	GaveUp	⁺68.20	Timeout	Timeout	GaveUp
`SYN052-1`	0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.00	GaveUp
`SYN056-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	GaveUp
`SYN059-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.10	GaveUp
`SYN071-1`	0.00	0.00	0.00	0.00	0.00	⁺0.00	0.00	⁺0.00	GaveUp
`SYN113-1`	0.10	1.00	0.20	0.10	0.40	⁺0.10	0.20	⁺1.00	GaveUp
`SYN121-1`	0.10	1.00	1.90	0.10	0.40	⁺0.10	0.10	⁺1.50	GaveUp
`SYN138-1`	0.10	0.80	0.30	0.20	0.60	⁺0.10	0.20	⁺9.10	GaveUp
`SYN144-1`	0.10	0.80	0.50	0.10	0.60	⁺0.10	0.10	⁺10.20	GaveUp
`SYN168-1`	0.10	0.70	0.40	0.10	0.50	⁺0.10	0.00	⁺0.40	0.90
`SYN170-1`	0.10	0.80	0.30	0.10	0.60	⁺0.10	0.10	⁺0.30	0.70
`SYN193-1`	0.10	0.80	0.70	0.20	0.50	⁺0.10	0.10	⁺1.10	GaveUp
`SYN201-1`	0.10	0.80	0.60	0.10	0.40	⁺0.10	0.00	⁺0.80	GaveUp
`SYN203-1`	0.10	0.90	0.70	0.20	0.50	⁺0.10	0.10	⁺1.10	GaveUp
`SYN226-1`	0.10	0.70	0.40	0.10	0.50	⁺0.10	0.00	⁺1.90	GaveUp
`SYN227-1`	0.10	0.80	0.90	0.10	0.70	⁺0.10	0.10	⁺1.20	GaveUp
`SYN232-1`	0.10	0.70	0.20	0.10	0.40	⁺0.10	0.00	⁺1.00	GaveUp
`SYN233-1`	0.10	0.70	0.20	0.10	0.50	⁺0.10	0.00	⁺0.30	0.60
`SYN260-1`	0.10	0.80	0.10	0.00	0.40	⁺0.10	0.00	⁺0.30	0.60
`SYN268-1`	0.10	0.60	0.30	0.10	0.50	⁺0.10	0.10	⁺0.50	0.60
`SYN269-1`	0.10	0.70	2.60	0.40	0.60	⁺0.10	0.20	⁺8.80	GaveUp
`SYN291-1`	0.00	0.20	0.00	0.00	0.40	⁺0.10	0.00	⁺0.20	0.40
`SYN297-1`	0.10	0.10	0.20	0.00	0.40	⁺0.10	0.00	⁺0.30	GaveUp
`SYN307-1`	⁺0.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout	0.00	⁺0.00	GaveUp
`SYN317-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	GaveUp
`SYN322-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	GaveUp
`SYN419-1`	⁺0.10	1.10	⁺0.10	1.10	⁺0.60	Timeout	Timeout	⁺59.10	GaveUp
`SYN423-1`	⁺0.10	1.90	⁺11.20	Timeout	⁺1.10	Timeout	Timeout	Timeout	GaveUp
`SYN433-1`	⁺0.00	2.00	⁺0.00	0.00	⁺0.10	0.40	109.50	⁺0.40	GaveUp
`SYN440-1`	0.70	217.10	Timeout	Timeout	Timeout	⁺1.40	66.50	Timeout	Timeout
`SYN464-1`	⁺0.30	55.20	⁺210.90	Timeout	⁺0.30	4.40	15.80	Timeout	Timeout
`SYN473-1`	0.90	18.60	Timeout	243.50	88.80	⁺0.40	17.00	Timeout	109.20
`SYN474-1`	0.40	22.60	Timeout	50.40	92.10	⁺0.40	13.50	Timeout	23.50
`SYN485-1`	0.40	11.70	Timeout	12.00	14.50	⁺0.30	7.70	Timeout	22.40
`SYN494-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	GaveUp
`SYN501-1`	0.20	13.70	Timeout	32.00	4.80	⁺0.20	2.60	Timeout	9.10
`SYN521-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.50	GaveUp
`SYN534-1`	⁺0.00	0.10	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.10	GaveUp
`SYN539-1`	⁺0.00	0.20	⁺0.00	1.20	⁺0.20	1.50	0.00	⁺0.50	GaveUp
`SYN541-1`	⁺0.00	0.10	⁺0.00	Timeout	⁺0.20	0.20	0.00	⁺0.50	GaveUp
`SYN720-1`	⁺0.10	0.70	⁺0.10	2.00	⁺0.30	0.30	0.40	⁺0.30	GaveUp
`SYN823-1`	⁺0.50	1.60	⁺0.70	0.20	⁺15.00	0.40	284.40	Timeout	GaveUp
`SYN830-1`	⁺19.30	91.10	⁺37.80	14.70	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN831-1`	⁺18.50	75.90	⁺35.70	14.40	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN832-1`	⁺23.20	60.30	⁺37.10	11.60	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN834-1`	0.90	4.00	1.20	0.40	19.40	⁺0.70	Timeout	Timeout	GaveUp
`SYN840-1`	⁺21.00	97.90	⁺41.70	18.00	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN845-1`	0.60	6.20	1.10	0.40	20.40	⁺0.70	214.60	Timeout	GaveUp
`SYN847-1`	2.80	18.60	4.90	1.50	136.10	⁺3.00	Timeout	Timeout	GaveUp
`SYN852-1`	⁺75.70	129.10	⁺98.80	22.80	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN854-1`	⁺219.80	123.50	⁺256.20	24.90	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN856-1`	0.90	7.80	1.40	0.50	21.90	⁺0.80	Timeout	Timeout	GaveUp
`SYN857-1`	0.80	8.30	1.10	0.60	22.50	⁺0.90	Timeout	Timeout	GaveUp
`SYN872-1`	⁺0.50	0.60	⁺1.20	0.30	⁺179.80	0.50	Timeout	Timeout	GaveUp
`SYN874-1`	0.10	0.30	0.20	0.10	3.50	⁺0.20	5.40	Timeout	GaveUp
`SYN875-1`	0.10	0.30	0.10	0.00	2.70	⁺0.20	22.20	Timeout	GaveUp
`SYN882-1`	0.20	1.00	0.30	0.10	12.60	⁺0.70	Timeout	Timeout	GaveUp
`SYN886-1`	0.30	1.30	0.60	0.20	58.90	⁺1.80	Timeout	Timeout	GaveUp
`SYN888-1`	⁺0.80	1.80	⁺1.90	0.40	⁺281.70	0.60	Timeout	Timeout	GaveUp
`SYN892-1`	0.10	0.60	0.20	0.10	5.00	⁺0.30	3.10	Timeout	GaveUp
`SYN894-1`	0.20	0.80	0.40	0.10	19.60	⁺0.40	Timeout	Timeout	GaveUp
`SYN897-1`	0.40	1.80	0.80	0.20	78.70	⁺2.10	Timeout	Timeout	GaveUp
`SYN898-1`	0.40	2.80	0.80	0.20	78.90	⁺2.20	Timeout	Timeout	GaveUp
Attempted	100	100	100	100	100	100	100	100	100
Solved	100	99	92	88	87	78	77	68	15
Av. Time	4.72	11.84	10.33	10.95	13.46	4.19	9.96	5.14	11.22
Solutions	50	0	50	0	44	48	0	68	0
New Attempted	1	1	1	1	1	1	1	1	1
New Solved	1	1	1	1	1	1	1	1	1

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

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

Results for UEQ

UEQ	Waldmeister 806	Waldmeister 704	Vampire 8.1	E 0.99	Otter 3.3	Geo 2006i	Equinox 1.0a
`BOO023-1`	⁺0.30	⁺0.30	⁺5.90	0.90	GaveUp	Timeout	GaveUp
`BOO067-1`	⁺30.90	⁺32.70	⁺0.90	35.00	GaveUp	Timeout	GaveUp
`BOO073-1`	⁺1.30	⁺1.50	⁺38.60	5.20	GaveUp	Timeout	GaveUp
`COL002-5`	⁺0.00	GaveUp	Timeout	Timeout	⁺0.90	Timeout	GaveUp
`COL003-1`	⁺0.30	⁺0.30	⁺391.20	10.80	Unknown	Timeout	GaveUp
`COL004-3`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	GaveUp
`COL006-1`	⁺0.20	⁺0.20	⁺216.80	Timeout	Timeout	Timeout	GaveUp
`COL006-5`	⁺0.00	⁺0.00	Timeout	4.20	Timeout	Timeout	GaveUp
`COL006-7`	⁺0.00	⁺0.00	⁺39.20	Timeout	Timeout	Timeout	GaveUp
`COL034-1`	⁺0.00	⁺0.00	⁺0.10	10.40	⁺0.10	Timeout	GaveUp
`COL035-1`	⁺0.00	⁺0.00	⁺42.00	0.00	⁺0.60	Timeout	GaveUp
`COL036-1`	⁺0.10	⁺0.10	⁺160.50	2.00	⁺0.10	Timeout	GaveUp
`COL041-1`	⁺0.10	⁺0.10	⁺0.00	0.20	⁺0.10	Timeout	GaveUp
`COL042-1`	⁺0.20	⁺0.20	Timeout	56.10	GaveUp	Timeout	GaveUp
`COL043-3`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL044-1`	⁺0.00	⁺0.00	⁺5.80	0.20	⁺0.50	Timeout	GaveUp
`COL044-8`	⁺0.00	⁺0.00	⁺155.50	Timeout	Timeout	Timeout	GaveUp
`COL044-9`	⁺0.00	⁺0.00	⁺157.40	Timeout	Timeout	Timeout	GaveUp
`COL046-1`	⁺0.20	⁺0.20	⁺27.20	11.00	Timeout	Timeout	GaveUp
`COL057-1`	⁺0.00	⁺0.00	⁺5.20	2.00	⁺0.30	Timeout	GaveUp
`COL062-1`	⁺0.00	⁺0.00	⁺0.20	0.30	Timeout	Timeout	GaveUp
`COL063-1`	⁺0.00	⁺0.00	⁺0.40	0.50	Timeout	Timeout	GaveUp
`COL065-1`	⁺0.90	⁺0.90	⁺6.30	9.40	Timeout	Timeout	GaveUp
`GRP164-1`	⁺14.10	⁺23.00	Timeout	Timeout	GaveUp	Timeout	GaveUp
`GRP164-2`	⁺14.10	⁺22.70	Timeout	Timeout	GaveUp	Timeout	GaveUp
`GRP167-2`	⁺0.60	⁺0.60	⁺135.70	50.50	⁺51.20	Timeout	GaveUp
`GRP167-3`	⁺4.90	⁺5.40	⁺7.40	2.00	GaveUp	Timeout	GaveUp
`GRP178-1`	⁺0.20	⁺0.20	⁺105.30	2.50	GaveUp	Timeout	GaveUp
`GRP179-1`	⁺2.70	⁺2.90	⁺5.60	4.10	GaveUp	Timeout	GaveUp
`GRP179-3`	⁺0.40	⁺0.40	⁺5.60	3.30	GaveUp	Timeout	GaveUp
`GRP180-2`	⁺0.50	⁺0.60	⁺5.40	6.80	GaveUp	Timeout	GaveUp
`GRP181-1`	⁺3.80	⁺3.90	⁺12.70	21.70	GaveUp	Timeout	GaveUp
`GRP181-3`	⁺4.60	⁺4.80	⁺0.80	11.10	GaveUp	Timeout	GaveUp
`GRP181-4`	⁺4.80	⁺4.70	⁺0.80	1.00	⁺6.50	Timeout	GaveUp
`GRP183-4`	⁺0.40	⁺0.40	⁺153.10	6.50	GaveUp	Timeout	GaveUp
`GRP184-1`	⁺0.00	⁺0.00	⁺119.30	4.00	GaveUp	Timeout	GaveUp
`GRP185-2`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout	GaveUp
`GRP185-3`	⁺0.00	⁺0.00	Timeout	Timeout	⁺145.10	Timeout	GaveUp
`GRP186-1`	⁺0.40	⁺0.50	⁺5.50	2.50	GaveUp	Timeout	GaveUp
`GRP186-2`	⁺0.40	⁺0.50	⁺5.60	4.20	GaveUp	Timeout	GaveUp
`GRP196-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP202-1`	⁺0.20	⁺0.20	⁺8.50	2.00	⁺3.30	Timeout	GaveUp
`GRP404-1`	⁺0.10	⁺0.10	⁺12.00	6.20	⁺158.50	Timeout	GaveUp
`GRP411-1`	⁺0.30	⁺0.30	⁺3.30	12.00	GaveUp	Timeout	GaveUp
`GRP419-1`	⁺0.40	⁺0.40	⁺16.20	2.00	⁺142.20	Timeout	GaveUp
`GRP420-1`	⁺0.00	⁺0.00	⁺19.90	1.40	⁺123.50	Timeout	GaveUp
`GRP423-1`	⁺0.10	⁺0.10	⁺19.70	0.20	GaveUp	Timeout	GaveUp
`GRP440-1`	⁺0.10	⁺0.10	⁺6.40	0.40	⁺1.30	Timeout	GaveUp
`GRP441-1`	⁺0.10	⁺0.10	⁺7.50	0.60	GaveUp	Timeout	GaveUp
`GRP444-1`	⁺0.00	⁺0.00	⁺7.30	0.20	GaveUp	Timeout	GaveUp
`GRP453-1`	⁺0.00	⁺0.00	⁺0.00	3.60	GaveUp	Timeout	GaveUp
`GRP470-1`	⁺0.20	⁺0.20	⁺0.70	0.20	⁺108.70	Timeout	GaveUp
`GRP476-1`	⁺0.10	⁺0.10	⁺0.90	0.00	Timeout	Timeout	GaveUp
`GRP477-1`	⁺0.10	⁺0.10	⁺1.10	0.00	Timeout	Timeout	GaveUp
`GRP478-1`	⁺0.10	⁺0.10	⁺1.70	0.10	⁺15.00	Timeout	GaveUp
`GRP480-1`	⁺0.10	⁺0.10	⁺1.80	0.10	GaveUp	Timeout	GaveUp
`LAT007-1`	⁺0.00	⁺0.00	⁺6.30	0.80	⁺2.90	Timeout	GaveUp
`LAT018-1`	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LAT020-1`	⁺18.00	⁺19.40	⁺112.70	17.90	GaveUp	Timeout	GaveUp
`LAT023-1`	⁺1.00	⁺1.10	⁺21.90	12.00	⁺5.10	Timeout	GaveUp
`LAT038-1`	⁺0.80	⁺0.80	⁺54.20	2.20	⁺0.40	Timeout	GaveUp
`LAT080-1`	⁺3.50	⁺3.70	⁺0.70	1.50	Unknown	Timeout	GaveUp
`LAT086-1`	⁺3.70	⁺3.80	⁺1.00	0.90	Unknown	Timeout	GaveUp
`LAT087-1`	⁺3.50	⁺3.80	⁺0.90	0.90	Unknown	Timeout	GaveUp
`LAT096-1`	⁺1.90	⁺2.00	⁺0.70	0.40	Unknown	Timeout	GaveUp
`LAT143-1`	⁺0.20	⁺0.20	⁺1.30	5.60	Timeout	⁺311.40	GaveUp
`LAT145-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT146-1`	⁺160.40	⁺170.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT147-1`	⁺4.80	⁺5.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT148-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT155-1`	⁺235.60	⁺249.10	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT156-1`	Timeout	Timeout	Timeout	Timeout	⁺70.80	Timeout	GaveUp
`LAT157-1`	⁺227.30	⁺238.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT158-1`	⁺252.00	⁺267.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT160-1`	⁺5.10	⁺5.60	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT166-1`	⁺297.40	⁺311.90	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT168-1`	⁺0.20	⁺0.20	⁺0.30	Timeout	⁺0.10	Timeout	GaveUp
`LAT170-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT171-1`	⁺35.80	⁺38.30	Timeout	Timeout	⁺0.30	⁺137.90	GaveUp
`LAT172-1`	⁺194.70	⁺206.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT174-1`	⁺355.20	⁺377.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT175-1`	⁺191.00	⁺203.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT176-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL109-2`	⁺0.30	⁺0.30	⁺42.00	0.90	Timeout	Timeout	GaveUp
`LCL138-1`	⁺0.20	⁺0.20	⁺7.10	0.60	⁺3.30	Timeout	GaveUp
`RNG009-5`	⁺0.70	⁺0.80	⁺129.80	5.40	GaveUp	Timeout	GaveUp
`RNG020-6`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	Timeout	WCout
`RNG025-4`	⁺0.20	⁺0.30	Timeout	Timeout	⁺6.40	Timeout	GaveUp
`RNG025-5`	⁺0.20	⁺0.30	Timeout	Timeout	⁺16.30	Timeout	Timeout
`RNG025-6`	⁺0.00	⁺0.00	⁺296.10	2.10	⁺0.10	Timeout	WCout
`RNG025-7`	⁺0.00	⁺0.00	⁺175.40	3.80	Timeout	Timeout	WCout
`RNG026-6`	⁺0.00	⁺0.00	⁺0.00	0.10	GaveUp	Timeout	Timeout
`RNG027-5`	⁺1.20	⁺1.90	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG027-7`	⁺1.50	⁺1.90	Timeout	Timeout	Timeout	Timeout	WCout
`RNG027-8`	⁺1.80	⁺2.80	Timeout	Timeout	GaveUp	Timeout	GaveUp
`RNG027-9`	⁺2.50	⁺2.90	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG028-5`	⁺0.90	⁺1.70	Timeout	Timeout	GaveUp	Timeout	WCout
`RNG028-9`	⁺1.40	⁺2.50	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG035-7`	⁺2.40	⁺2.50	Timeout	27.00	Timeout	Timeout	GaveUp
`ROB026-1`	⁺6.80	⁺7.50	Timeout	Timeout	GaveUp	Timeout	GaveUp
Attempted	100	100	100	100	100	100	100
Solved	93	92	64	62	28	2	0
Av. Time	22.59	24.38	43.33	6.12	30.85	224.65	-
Solutions	93	92	64	0	28	2	0
New Attempted	0	0	0	0	0	0	0
New Solved	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 CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FNE

FNE	E 0.99	Vampire 8.1	EP 0.99	Vampire 8.0	Theo 2006	Geo 2006i	Darwin 1.3	Otter 3.3	Faust 1.0	Muscadet 2.6	Equinox 1.0a
`ALG211+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	Timeout	0.00
`GRP001+6`	0.40	⁺0.30	⁺0.70	⁺1.80	⁺0.60	⁺0.20	0.00	⁺0.00	Timeout	0.00	GaveUp
`GRP012+5`	0.10	⁺3.60	⁺0.20	⁺19.80	⁺0.10	⁺10.20	0.20	⁺0.10	Timeout	0.00	GaveUp
`LCL414+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.60	0.00	⁺0.00	⁺0.20	Timeout	GaveUp
`MGT022+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.00	⁺0.00	⁺0.10	0.00	GaveUp
`MGT022+2`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.00	⁺0.00	⁺0.10	0.00	GaveUp
`MGT028+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺1.70	Timeout	0.00
`MGT036+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺1.00	0.00	⁺0.00	⁺4.20	Timeout	0.00
`MGT036+3`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.00
`PUZ047+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.00	⁺0.00	Timeout	GaveUp	GaveUp
`SET009+3`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.50	⁺43.00	0.00	⁺0.10	⁺0.10	0.00	GaveUp
`SET588+3`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.40	⁺18.00	0.00	⁺0.20	⁺0.10	0.00	GaveUp
`SET589+3`	0.00	⁺0.20	⁺0.10	⁺0.00	⁺0.00	⁺0.30	0.00	⁺0.00	Unknown	0.20	GaveUp
`SET590+3`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	GaveUp
`SET631+3`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.50	0.00	⁺0.10	⁺0.10	0.00	GaveUp
`SET896+1`^*	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	GaveUp
`SET899+1`^*	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.00
`SET913+1`^*	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.00
`SET915+1`^*	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.00
`SET939+1`^*	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	GaveUp
`SET966+1`^*	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.10	0.00	⁺0.00	⁺0.10	0.10	GaveUp
`SWV011+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺20.50	0.00	⁺0.00	⁺0.10	0.60	0.00
`SWV014+1`	0.00	⁺0.00	⁺0.10	⁺0.10	⁺0.70	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`SYN081+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.00	⁺0.10	GaveUp	0.00
`SYN084+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.10	Timeout	GaveUp	GaveUp
`SYN364+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	GaveUp
`SYN365+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	0.00
`SYN728+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	GaveUp
`SYN730+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.00	⁺0.10	GaveUp	GaveUp
`SYN938+1`	2.10	⁺0.00	⁺3.00	⁺0.10	Unknown	⁺2.60	Timeout	Unknown	Timeout	Timeout	GaveUp
`SYN939+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺0.00	⁺0.20	GaveUp	GaveUp
`SYN940+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	GaveUp	0.00
`SYN941+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	GaveUp	GaveUp
`SYN943+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	GaveUp	0.00
`SYN980+1`	0.00	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.20	GaveUp	0.00
Attempted	35	35	35	35	35	35	35	35	35	35	35
Solved	35	35	35	35	34	34	33	33	24	17	13
Av. Time	0.07	0.12	0.20	0.62	0.08	2.86	0.01	0.02	0.35	0.05	0.00
Solutions	0	35	35	35	34	34	0	33	24	0	0
New Attempted	6	6	6	6	6	6	6	6	6	6	6
New Solved	6	6	6	6	6	6	6	6	6	6	3

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

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

Results for FEQ

FEQ	Vampire 8.1	E 0.99	EP 0.99	Vampire 8.0	Theo 2006	Geo 2006i	Muscadet 2.6	Darwin 1.3	Otter 3.3	Equinox 1.0a	Faust 1.0
`AGT005+2`	⁺3.70	0.30	⁺0.40	⁺0.10	⁺0.90	Timeout	Timeout	0.20	⁺0.20	GaveUp	WCout
`AGT007+2`	⁺167.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp	WCout
`AGT015+1`	⁺0.00	1.40	⁺1.90	⁺0.00	⁺5.30	Timeout	Timeout	0.10	⁺0.20	GaveUp	⁺2.00
`AGT018+1`	⁺14.80	Timeout	Timeout	⁺95.10	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	Timeout
`AGT024+2`	⁺29.90	Timeout	Timeout	Timeout	⁺264.50	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`ALG074+1`	⁺55.20	1.80	⁺3.40	⁺118.30	Timeout	⁺1.30	Timeout	227.90	⁺0.20	GaveUp	Timeout
`CSR001+1`	⁺357.30	75.50	87.10	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Unknown	WCout
`CSR002+1`	⁺95.00	26.80	28.20	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	WCout
`CSR005+2`	⁺76.50	34.30	35.70	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	WCout
`CSR007+1`	⁺1.10	46.80	51.60	⁺2.20	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	WCout
`CSR019+1`	⁺0.00	0.30	0.40	Unknown	⁺1.00	Timeout	GaveUp	0.20	Timeout	GaveUp	WCout
`CSR021+1`	⁺0.00	0.20	0.40	Unknown	⁺0.50	⁺31.80	GaveUp	0.30	Timeout	0.10	WCout
`CSR022+1`	⁺0.00	0.40	0.60	Unknown	⁺0.50	⁺20.20	GaveUp	0.20	Timeout	0.20	WCout
`CSR024+1.009`	⁺0.60	0.40	⁺0.70	Unknown	Unknown	Timeout	Timeout	Timeout	⁺101.80	GaveUp	Timeout
`GEO085+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.20	⁺0.70	Timeout	Timeout	⁺0.60	0.00	⁺0.20
`GEO088+1`	⁺115.10	Timeout	Timeout	⁺34.80	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Unknown
`GEO109+1`	⁺120.60	Timeout	Timeout	⁺32.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Unknown
`GRA002+1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	⁺13.60	Timeout	Timeout	Unknown	GaveUp	Unknown
`GRA002+2`^*	⁺49.90	Timeout	Timeout	Unknown	Timeout	⁺15.90	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRA002+4`^*	⁺0.00	0.00	⁺0.10	Unknown	⁺0.20	⁺0.90	Timeout	0.00	Unknown	GaveUp	⁺0.30
`GRA004+1`^*	⁺0.10	0.00	0.10	Unknown	⁺3.30	⁺4.10	Timeout	0.00	Unknown	0.30	Timeout
`GRA006+1`^*	⁺12.00	0.50	0.70	Unknown	Timeout	⁺7.00	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRA007+1`^*	⁺15.00	0.30	0.40	Unknown	Timeout	⁺3.00	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRA007+2`^*	⁺14.90	0.50	0.60	Unknown	Timeout	⁺12.90	Timeout	Timeout	Unknown	3.60	Timeout
`GRA008+1`^*	⁺23.40	3.60	4.10	Unknown	Timeout	⁺5.40	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRA009+2`^*	⁺139.70	4.80	5.80	Unknown	Timeout	⁺4.30	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRA010+1`^*	⁺0.00	0.10	0.10	Unknown	⁺0.90	⁺1.50	Timeout	0.00	Unknown	GaveUp	Timeout
`GRA011+1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	⁺15.00	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRA012+1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	⁺13.30	Timeout	Timeout	Unknown	GaveUp	Timeout
`MGT042+1`	⁺22.90	Timeout	Timeout	⁺84.40	⁺131.00	⁺3.20	Timeout	0.00	Timeout	GaveUp	Timeout
`MGT060+1`	⁺8.90	0.00	⁺0.10	⁺0.60	⁺0.20	⁺0.40	Timeout	0.00	⁺0.10	0.00	WCout
`MSC010+1`	⁺2.70	GaveUp	GaveUp	⁺0.00	Unknown	Timeout	Timeout	WCout	Unknown	GaveUp	Timeout
`NUM310+1`	⁺11.70	Timeout	Timeout	⁺79.90	19.00	Timeout	Timeout	Timeout	Unknown	Timeout	WCout
`NUM327+1`	⁺11.00	Timeout	Timeout	⁺79.70	⁺25.70	Timeout	Timeout	0.50	Unknown	367.70	WCout
`NUM329+1`	⁺10.80	Timeout	Timeout	⁺83.60	⁺26.30	Timeout	Timeout	0.60	Timeout	369.10	WCout
`NUM334+1`	⁺10.70	Timeout	Timeout	⁺79.60	⁺5.90	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`NUM398+1`^*	⁺0.00	0.10	⁺0.20	⁺0.00	⁺4.00	⁺0.20	Timeout	8.10	Timeout	GaveUp	WCout
`NUM400+1`^*	⁺81.10	0.10	⁺0.20	⁺0.70	⁺53.10	⁺149.70	Timeout	Timeout	Timeout	GaveUp	Unknown
`SET008+3`	⁺0.00	0.10	⁺0.20	⁺0.00	⁺0.10	⁺63.00	0.00	Timeout	⁺4.50	GaveUp	Timeout
`SET014+3`	⁺0.10	0.00	⁺0.20	⁺0.10	⁺0.10	⁺1.80	0.00	1.40	Timeout	GaveUp	Unknown
`SET067+1`	⁺0.00	0.10	⁺0.20	⁺0.10	⁺0.60	Timeout	0.90	Timeout	Timeout	GaveUp	Unknown
`SET094+1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺1.50	Timeout	0.80	Timeout	⁺55.90	0.10	Timeout
`SET099+1`	Timeout	57.40	62.90	⁺182.30	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SET144+3`	⁺173.00	Timeout	Timeout	⁺103.60	⁺15.90	⁺285.80	0.10	Timeout	Timeout	GaveUp	Unknown
`SET171+3`	⁺12.20	Timeout	Timeout	⁺102.60	⁺42.00	Timeout	0.10	Timeout	Timeout	GaveUp	Timeout
`SET200+3`	⁺2.00	0.10	⁺0.20	⁺0.20	⁺0.10	⁺12.40	0.00	Timeout	Timeout	GaveUp	Unknown
`SET577+3`	⁺0.10	0.20	⁺0.50	⁺0.20	⁺0.10	⁺5.40	0.00	4.00	Timeout	GaveUp	Unknown
`SET579+3`	⁺0.10	0.00	⁺0.10	⁺0.10	⁺6.30	⁺48.10	0.00	52.00	Timeout	GaveUp	Timeout
`SET582+3`	⁺145.90	36.90	⁺49.90	⁺115.60	Timeout	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout
`SET584+3`	⁺1.50	0.00	⁺0.20	⁺0.00	⁺0.00	⁺7.10	0.00	122.00	Timeout	GaveUp	Unknown
`SET587+3`	⁺0.10	0.00	⁺0.10	⁺0.00	⁺7.20	⁺7.60	0.00	209.30	Timeout	GaveUp	Timeout
`SET593+3`	⁺0.10	0.10	⁺0.20	⁺0.60	⁺7.70	⁺60.90	0.00	361.00	Timeout	0.10	Unknown
`SET594+3`	⁺0.60	1.10	⁺2.40	⁺0.00	⁺0.70	⁺100.10	0.00	2.00	Timeout	GaveUp	Unknown
`SET595+3`	⁺22.10	26.60	⁺39.70	⁺16.80	⁺1.40	⁺318.50	0.00	Timeout	Timeout	GaveUp	Timeout
`SET603+3`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.20	0.00	1.30	⁺38.40	GaveUp	Timeout
`SET623+3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	Timeout
`SET624+3`	⁺4.90	0.00	⁺0.10	⁺1.40	⁺1.30	⁺232.60	GaveUp	62.60	Timeout	GaveUp	Unknown
`SET655+3`	⁺1.50	0.40	⁺0.60	⁺204.10	⁺6.90	Timeout	Timeout	0.40	Timeout	Timeout	Timeout
`SET656+3`	⁺3.90	38.40	⁺49.80	⁺12.70	⁺0.10	Timeout	Timeout	Timeout	⁺35.80	Timeout	Timeout
`SET657+3`	⁺140.90	0.10	⁺0.20	⁺16.80	⁺0.70	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SET669+3`	⁺6.70	0.90	⁺1.30	⁺0.20	⁺3.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET680+3`	⁺0.10	0.00	⁺0.10	⁺0.50	⁺1.90	Timeout	Timeout	Timeout	Timeout	WCout	Unknown
`SET795+4`^*	⁺18.00	Timeout	Timeout	⁺0.10	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	Unknown
`SET796+4`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	Unknown
`SET798+4`^*	⁺11.90	0.10	⁺0.20	⁺39.60	⁺0.20	Timeout	0.00	0.30	Timeout	GaveUp	Unknown
`SET802+4`^*	⁺109.50	4.10	⁺5.30	⁺25.80	Timeout	Timeout	0.10	Timeout	Timeout	1.30	Unknown
`SET805+4`^*	Timeout	Timeout	Timeout	⁺343.60	Timeout	Timeout	0.10	Timeout	Timeout	2.80	Timeout
`SET806+4`^*	Timeout	Timeout	Timeout	⁺208.60	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	Timeout
`SET808+4`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	Timeout
`SET811+4`^*	Timeout	Timeout	Timeout	⁺207.10	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	Timeout
`SET812+4`^*	Timeout	Timeout	Timeout	⁺104.10	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	WCout
`SET814+4`^*	Timeout	2.90	⁺4.10	⁺10.90	⁺0.20	Timeout	0.10	Timeout	Timeout	GaveUp	Timeout
`SET815+4`^*	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	0.20	Timeout	Timeout	GaveUp	Unknown
`SET816+4`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10	Timeout	Timeout	GaveUp	Timeout
`SET919+1`^*	Timeout	Timeout	Timeout	Timeout	⁺21.20	Timeout	GaveUp	Timeout	Timeout	GaveUp	Timeout
`SET935+1`^*	⁺0.10	0.10	⁺0.30	⁺0.20	⁺1.90	Timeout	Timeout	Timeout	⁺37.20	GaveUp	Timeout
`SET942+1`^*	⁺0.00	0.00	⁺0.10	⁺5.90	⁺0.10	⁺6.30	0.00	Timeout	⁺10.10	GaveUp	Unknown
`SET951+1`^*	⁺0.10	Timeout	Timeout	⁺0.00	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	Unknown
`SET982+1`^*	⁺0.10	95.50	⁺99.90	⁺18.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SEU003+1`^*	⁺35.70	145.60	164.20	⁺149.90	GaveUp	Timeout	57.70	Timeout	Timeout	GaveUp	Unknown
`SEU009+1`^*	⁺0.20	0.00	⁺0.10	⁺0.00	⁺5.90	⁺69.10	0.50	Timeout	Timeout	GaveUp	Unknown
`SEU014+1`^*	Timeout	Timeout	Timeout	⁺204.50	Timeout	⁺26.10	47.10	Timeout	Timeout	GaveUp	Unknown
`SEU075+1`^*	Timeout	Timeout	Timeout	⁺106.80	GaveUp	Timeout	297.10	Timeout	Timeout	GaveUp	Timeout
`SEU086+1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	⁺16.50	Timeout	Timeout	Timeout	GaveUp	Unknown
`SWC078+1`	Timeout	95.70	118.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC231+1`	⁺21.50	2.20	2.50	⁺60.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC239+1`	⁺11.20	0.10	0.20	⁺1.30	⁺159.20	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SWV026+1`	⁺22.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV030+1`	⁺20.10	0.10	⁺0.20	Timeout	⁺376.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV033+1`	⁺54.00	5.40	⁺8.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV036+1`	⁺78.60	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`SWV038+1`	⁺22.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV039+1`	⁺21.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV041+1`	⁺0.00	0.10	⁺0.20	⁺0.10	⁺2.00	Timeout	Timeout	0.00	⁺178.30	15.50	Unknown
`SWV048+1`	⁺4.90	0.10	⁺0.20	⁺0.20	⁺124.50	Timeout	Timeout	Timeout	⁺358.10	Timeout	Unknown
`SWV050+1`	⁺4.90	0.00	⁺0.10	⁺0.20	Timeout	Timeout	Timeout	Timeout	⁺315.20	171.40	Unknown
`SWV053+1`	⁺62.50	13.40	⁺17.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV090+1`	Timeout	2.00	⁺3.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV092+1`	⁺5.30	0.10	⁺0.20	⁺0.20	⁺2.60	Timeout	Timeout	0.00	⁺118.20	0.80	Timeout
`SWV094+1`	⁺21.00	12.70	⁺15.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV096+1`	⁺6.60	2.00	⁺4.50	⁺12.20	⁺6.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV098+1`	⁺6.50	0.10	⁺0.20	⁺0.50	⁺64.20	Timeout	Timeout	Timeout	⁺32.70	Timeout	Unknown
`SWV103+1`	Timeout	2.40	⁺3.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SWV117+1`	⁺15.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV161+1`	⁺17.30	0.10	⁺0.20	⁺129.60	⁺3.40	Timeout	Timeout	Timeout	Timeout	0.40	Unknown
`SWV173+1`	⁺5.20	0.00	⁺0.10	⁺0.10	⁺1.20	⁺1.30	Timeout	0.00	Timeout	Timeout	Timeout
`SWV177+1`	⁺5.20	0.00	⁺0.10	⁺0.00	⁺2.90	Timeout	Timeout	0.00	Timeout	Timeout	Timeout
`SWV200+1`	⁺6.00	0.40	⁺0.90	⁺0.30	⁺1.50	Timeout	Timeout	0.10	Timeout	0.50	Unknown
`SWV209+1`	⁺52.70	0.10	⁺0.20	⁺162.70	⁺4.30	Timeout	Timeout	Timeout	Timeout	2.10	Timeout
`SWV233+1`^*	⁺130.10	0.20	0.30	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	WCout
`SWV234+1`^*	Timeout	Timeout	Timeout	⁺255.60	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	WCout
`SWV234+2`^*	⁺0.80	0.00	⁺0.20	⁺49.40	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	WCout
`SWV235+1`^*	⁺0.20	0.20	⁺0.30	⁺4.20	⁺1.60	Timeout	GaveUp	Timeout	Timeout	Timeout	WCout
`SWV236+1`^*	⁺0.10	0.00	⁺0.10	⁺0.90	⁺2.00	Timeout	GaveUp	118.70	⁺14.90	GaveUp	WCout
`SWV237+1`^*	⁺0.00	0.00	⁺0.10	⁺12.40	⁺0.90	⁺3.80	358.90	Timeout	⁺1.10	WCout	WCout
Attempted	115	115	115	115	115	115	115	115	115	115	115
Solved	93	77	77	74	60	39	33	31	19	18	3
Av. Time	29.46	9.69	11.50	48.17	23.81	40.28	23.16	37.85	68.61	52.00	0.83
Solutions	93	0	57	74	60	39	0	0	19	0	3
New Attempted	42	42	42	42	42	42	42	42	42	42	42
New Solved	25	23	23	23	14	19	18	6	4	4	1

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

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

Results for HNE

HNE	Vampire 8.0	Vampire 8.1	E 0.99	EP 0.99	Theo 2006	Otter 3.3	iProver 0.1	Geo 2006i	Darwin 1.3	Equinox 1.0a	Faust 1.0
`ANA003-2`	⁺23.20	⁺161.80	10.10	⁺13.10	⁺228.30	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout
`LCL028-1`	⁺197.30	⁺1.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp	Timeout
`LCL124-1`	⁺23.20	⁺3.40	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL125-1`	⁺68.10	⁺99.70	Timeout	Timeout	Timeout	⁺161.30	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL230-1`	⁺0.40	⁺3.90	3.00	⁺4.10	⁺2.10	GaveUp	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL249-1`	⁺14.60	⁺1.70	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL253-1`	⁺125.10	⁺27.50	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL423-1`	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp	Unknown
`LCL444-2`^*	⁺47.40	⁺80.00	Timeout	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	GaveUp	WCout
`NUM017-1`	⁺21.40	⁺76.20	10.90	⁺14.20	⁺88.30	⁺47.20	Timeout	Timeout	Timeout	GaveUp	Timeout
`PLA010-1`	⁺0.10	⁺0.20	0.10	⁺0.20	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout
`PLA014-1`	⁺0.00	⁺0.10	0.00	⁺0.10	⁺58.50	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout
`PLA016-1`	⁺0.00	⁺0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	0.50	GaveUp	WCout
`PLA018-1`	⁺0.00	⁺0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout
`RNG004-3`	⁺144.50	⁺175.40	6.80	⁺9.90	⁺2.20	⁺34.20	Timeout	⁺129.50	Timeout	GaveUp	WCout
`SWV014-1`	⁺0.10	⁺6.70	0.00	⁺0.10	⁺0.90	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN600-1`	⁺5.40	⁺25.20	6.50	⁺9.60	⁺0.50	⁺4.90	0.10	⁺2.70	Timeout	GaveUp	Unknown
`SYN640-1`	⁺0.60	⁺2.00	Timeout	Timeout	⁺9.90	⁺1.60	0.10	Timeout	Timeout	GaveUp	Timeout
`SYN707-1`	⁺3.60	⁺25.60	0.10	⁺0.10	⁺2.20	Timeout	0.80	Timeout	Timeout	GaveUp	Unknown
`SYN708-1`	⁺3.50	⁺25.60	1.50	⁺1.90	⁺2.80	Timeout	0.80	Timeout	Timeout	GaveUp	Unknown
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	19	19	13	13	10	5	4	2	1	0	0
Av. Time	35.71	37.69	3.02	4.15	39.57	49.84	0.45	66.10	0.50	-	-
Solutions	19	19	0	13	10	5	0	2	0	0	0
New Attempted	1	1	1	1	1	1	1	1	1	1	1
New Solved	1	1	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 CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for HEQ

HEQ	Vampire 8.0	Vampire 8.1	E 0.99	EP 0.99	Otter 3.3	Theo 2006	Darwin 1.3	Geo 2006i	iProver 0.1	Faust 1.0	Equinox 1.0a
`ANA008-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	Unknown	GaveUp
`ANA017-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺20.40	4.30	⁺125.40	Timeout	Unknown	GaveUp
`ANA030-2`^*	⁺0.00	⁺0.20	0.00	⁺0.10	⁺0.10	Timeout	Timeout	⁺27.70	Timeout	Timeout	GaveUp
`ANA040-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.20	Unknown	GaveUp
`ANA044-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.20	0.10	⁺0.10	311.60	⁺0.20	GaveUp
`ANA045-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	⁺0.10	0.00	⁺0.00	0.50	Unknown	GaveUp
`COL003-10`	⁺11.40	⁺40.50	25.20	⁺29.70	Unknown	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`COL003-2`	⁺1.40	⁺0.80	0.40	⁺0.80	Unknown	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`COL042-3`	⁺6.90	⁺39.00	5.70	⁺9.90	GaveUp	Timeout	Timeout	Timeout	Timeout	WCout	GaveUp
`HWV002-1`	⁺42.60	⁺26.00	37.30	⁺49.60	GaveUp	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp
`LAT263-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.80	0.10	⁺0.10	0.20	⁺0.10	GaveUp
`LAT277-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	GaveUp
`LCL109-4`	⁺33.50	⁺25.80	6.00	⁺9.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL145-1`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL151-1`	⁺89.50	⁺169.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL185-3`	⁺0.00	⁺0.00	2.00	⁺3.30	⁺0.30	⁺0.20	0.10	Timeout	Timeout	Timeout	GaveUp
`LCL222-3`	⁺21.70	⁺30.10	52.00	⁺68.70	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL237-3`	⁺0.00	⁺0.10	0.40	⁺0.80	⁺1.50	⁺86.10	79.80	Timeout	Timeout	Timeout	GaveUp
`SWV249-2`^*	⁺18.90	⁺4.00	Timeout	Timeout	⁺1.20	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV251-2`^*	⁺0.00	⁺0.00	0.10	⁺0.30	⁺0.80	⁺8.70	Timeout	⁺6.70	Timeout	Unknown	GaveUp
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	20	20	18	18	12	10	9	9	6	3	0
Av. Time	11.29	16.79	7.17	9.66	0.33	11.65	9.38	17.78	52.12	0.13	-
Solutions	20	20	0	18	12	10	0	9	0	3	0
New Attempted	10	10	10	10	10	10	10	10	10	10	10
New Solved	10	10	9	9	10	8	7	9	6	3	0

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

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

Results for NNE

NNE	Vampire 8.1	Vampire 8.0	E 0.99	EP 0.99	Darwin 1.3	Theo 2006	iProver 0.1	Geo 2006i	Otter 3.3	Faust 1.0	Equinox 1.0a
`ANA002-1`	⁺3.30	⁺2.30	19.20	⁺29.80	Timeout	⁺231.90	Timeout	Timeout	Timeout	Unknown	GaveUp
`ANA004-5`	⁺7.00	Timeout	Timeout	Timeout	Timeout	⁺279.80	Timeout	Timeout	Timeout	WCout	GaveUp
`COM005-1`	⁺183.60	⁺6.40	19.70	⁺29.80	Timeout	Timeout	72.90	Timeout	Timeout	Unknown	GaveUp
`FLD013-1`	⁺2.00	⁺2.50	22.80	⁺29.80	2.70	⁺1.20	2.40	⁺10.70	Timeout	WCout	GaveUp
`FLD060-3`	⁺0.20	⁺1.00	Timeout	Timeout	29.50	⁺1.10	Timeout	⁺93.70	Timeout	Unknown	GaveUp
`LAT273-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	GaveUp
`LCL442-2`^*	⁺0.10	⁺0.00	0.00	⁺0.10	0.00	⁺0.30	0.30	⁺328.80	⁺14.60	⁺0.30	GaveUp
`NLP080-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	GaveUp	0.00	⁺1.80	⁺0.00	Timeout	0.10
`PUZ035-4`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺4.50	0.00	⁺0.30	⁺0.00	⁺0.30	0.00
`SET013-1`	⁺1.20	⁺0.00	0.60	⁺0.90	47.70	⁺125.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET830-2`^*	⁺0.10	⁺5.80	0.00	⁺0.10	2.80	⁺0.40	0.60	⁺1.00	Timeout	⁺0.80	GaveUp
`SET834-2`^*	⁺0.00	⁺3.20	0.00	⁺0.10	2.80	⁺0.70	41.00	⁺38.50	GaveUp	⁺0.80	GaveUp
`SET863-2`^*	⁺0.00	⁺0.20	0.00	⁺0.10	0.10	⁺0.10	0.10	⁺20.80	⁺4.20	Unknown	GaveUp
`SWV248-2`^*	⁺1.20	⁺0.00	0.00	⁺0.10	0.10	Timeout	Timeout	⁺202.30	GaveUp	Timeout	GaveUp
`SWV291-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.10	0.00	⁺71.70	⁺0.00	⁺1.50	GaveUp
`SWV305-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	⁺0.20	0.00	⁺91.00	⁺0.00	⁺1.70	GaveUp
`SWV323-2`^*	⁺0.80	⁺0.00	0.00	⁺0.10	0.10	⁺0.50	56.20	Timeout	⁺6.60	Timeout	GaveUp
`SWV329-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.00	⁺1.70	⁺0.00	⁺0.20	GaveUp
`SYN036-3`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	Timeout	0.00	⁺11.60	⁺0.10	⁺10.30	GaveUp
`SYN067-3`	⁺0.80	⁺8.10	4.00	⁺6.10	0.10	Timeout	Timeout	Timeout	Timeout	Timeout	0.80
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	20	19	18	18	16	15	14	14	10	9	3
Av. Time	10.01	1.55	3.68	5.43	5.37	43.09	12.39	62.43	2.55	1.78	0.30
Solutions	20	19	0	18	0	15	0	14	10	9	0
New Attempted	10	10	10	10	10	10	10	10	10	10	10
New Solved	10	10	10	10	9	9	9	9	7	7	0

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

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

Results for NEQ

NEQ	Vampire 8.1	Vampire 8.0	E 0.99	EP 0.99	Theo 2006	iProver 0.1	Otter 3.3	Geo 2006i	Darwin 1.3	Equinox 1.0a	Faust 1.0
`ANA014-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	Timeout	⁺12.70	⁺10.90	Timeout	GaveUp	Timeout
`ANA016-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺9.40	75.70	⁺0.00	⁺0.10	Timeout	GaveUp	⁺1.80
`ANA022-1`^*	⁺211.10	Timeout	Timeout	Timeout	Unknown	WCout	GaveUp	Timeout	Timeout	Timeout	Timeout
`ANA037-1`^*	⁺6.70	⁺41.20	180.10	182.90	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`COL093-2`	Timeout	Timeout	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout
`COL112-1`^*	⁺0.10	⁺0.10	0.80	⁺1.10	⁺2.80	29.50	⁺2.60	Timeout	0.30	Timeout	Unknown
`COL119-1`^*	⁺0.10	⁺0.10	0.90	⁺1.10	⁺2.90	27.00	⁺4.30	Timeout	0.30	Timeout	Unknown
`COM009-1`^*	⁺0.10	⁺0.10	0.90	⁺1.10	⁺64.70	Timeout	⁺4.50	⁺261.80	Timeout	Timeout	⁺4.30
`GEO006-1`	⁺1.20	⁺0.20	0.00	⁺0.10	⁺14.30	Timeout	⁺271.20	Timeout	Timeout	GaveUp	Timeout
`GEO007-1`	⁺1.30	⁺58.80	152.10	179.50	⁺308.70	Timeout	Timeout	Timeout	Timeout	GaveUp	Unknown
`GEO011-1`	⁺1.10	⁺0.10	0.50	⁺1.10	⁺83.50	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`GEO051-3`	⁺1.20	⁺14.70	0.50	⁺0.90	⁺2.90	2.20	⁺7.80	⁺4.00	Timeout	GaveUp	WCout
`GEO076-4`	⁺0.10	⁺11.90	0.00	⁺0.10	Timeout	269.60	Timeout	⁺0.20	0.20	GaveUp	Timeout
`GEO083-1`	⁺0.00	⁺7.50	25.80	⁺29.20	⁺0.50	1.90	Timeout	Timeout	Timeout	GaveUp	Unknown
`GEO089-1`	⁺66.40	⁺1.80	Timeout	Timeout	Timeout	Timeout	Timeout	⁺23.20	Timeout	GaveUp	Unknown
`GRP039-5`	⁺0.10	⁺0.10	0.00	⁺0.10	⁺274.70	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`HWV016-1`	⁺0.00	⁺0.20	0.10	0.20	⁺109.20	95.40	Timeout	⁺9.60	Timeout	0.10	Timeout
`LAT003-1`	Timeout	Timeout	72.80	89.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL434-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	34.00	⁺0.00	⁺0.20	0.00	GaveUp	⁺0.10
`LCL439-1`^*	⁺26.90	⁺23.80	Timeout	Timeout	⁺18.00	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`MGT034-2`	⁺0.20	⁺0.00	0.40	⁺0.50	⁺2.00	0.20	⁺81.90	⁺13.20	Timeout	GaveUp	Timeout
`NUM010-1`	⁺74.40	⁺9.70	Timeout	Timeout	⁺125.30	Timeout	Timeout	Timeout	Timeout	WCout	WCout
`NUM058-1`	⁺77.50	⁺92.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout
`SET016-3`	⁺0.00	⁺47.80	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	WCout
`SET018-3`	⁺0.00	⁺4.90	126.60	156.60	Timeout	WCout	Timeout	Timeout	Timeout	WCout	WCout
`SET018-4`	⁺0.10	⁺56.10	118.60	139.40	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	WCout
`SET022-3`	⁺0.80	⁺0.40	8.90	⁺13.00	⁺1.30	Timeout	Timeout	⁺0.30	Timeout	WCout	WCout
`SET027-3`	⁺0.00	⁺0.10	0.10	⁺0.20	⁺0.60	WCout	⁺224.00	Timeout	318.60	WCout	Unknown
`SET028-3`	⁺35.60	⁺124.90	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Unknown
`SET035-3`	⁺117.90	⁺113.80	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	WCout	Unknown
`SET208-6`	⁺3.40	⁺18.00	Timeout	Timeout	⁺214.10	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SET787-2`	⁺261.10	⁺101.40	0.10	⁺0.20	Timeout	WCout	Timeout	Timeout	Timeout	0.30	WCout
`SET820-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	Timeout	⁺0.00	⁺0.00	0.00	GaveUp	Timeout
`SET823-1`^*	⁺0.10	⁺0.10	2.10	⁺2.60	⁺3.00	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SET827-1`^*	⁺0.10	⁺0.10	1.00	⁺1.20	⁺1.20	2.90	⁺2.50	⁺275.00	0.20	Timeout	⁺5.10
`SET831-2`^*	⁺0.40	⁺74.50	0.10	⁺0.20	Timeout	313.20	⁺0.40	⁺352.20	Timeout	GaveUp	Unknown
`SET834-1`^*	⁺62.10	⁺243.00	9.10	10.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SET841-1`^*	⁺0.10	⁺5.20	0.90	⁺1.10	⁺159.80	Timeout	⁺3.30	Timeout	16.60	Timeout	Unknown
`SET853-1`^*	⁺0.30	⁺75.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	5.30	Unknown
`SET861-2`^*	⁺12.60	⁺12.30	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	Unknown
`SWC169-1`	Timeout	Timeout	299.00	307.40	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Unknown
`SWC225-1`	⁺49.60	⁺22.80	0.10	0.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout
`SWV239-1`^*	⁺14.90	⁺88.60	2.30	⁺2.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV242-1`^*	⁺1.20	⁺0.80	3.50	⁺4.10	⁺262.50	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV243-1`^*	⁺1.10	⁺1.60	6.20	6.70	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown
`SWV247-1`^*	⁺52.60	⁺162.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SWV254-1`^*	⁺1.40	⁺2.40	6.90	7.40	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Unknown
`SWV256-1`^*	⁺0.80	⁺0.90	0.60	⁺0.80	Unknown	Timeout	GaveUp	Timeout	3.60	Timeout	Timeout
`SWV264-1`^*	⁺0.10	⁺0.10	0.60	⁺0.70	⁺6.20	0.40	⁺3.80	Timeout	0.20	Timeout	Unknown
`SWV267-1`^*	⁺1.40	⁺15.90	7.20	7.80	Unknown	96.40	GaveUp	Timeout	3.50	Timeout	Unknown
`SWV270-1`^*	⁺1.60	⁺36.00	6.30	6.60	Unknown	Timeout	GaveUp	Timeout	Timeout	28.40	Unknown
`SWV273-1`^*	⁺1.30	⁺4.00	6.30	6.90	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	WCout
`SWV274-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.20	0.20	⁺7.90	⁺0.90	0.00	GaveUp	Timeout
`SWV275-2`^*	⁺1.20	⁺2.90	2.30	⁺3.60	⁺0.30	150.50	Timeout	⁺221.50	0.00	GaveUp	Unknown
`SWV281-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	Timeout	Timeout	⁺0.20	Timeout	GaveUp	⁺0.10
`SWV282-2`^*	⁺0.00	⁺0.20	0.60	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SWV302-1`^*	⁺1.00	⁺0.40	1.00	⁺1.20	⁺14.20	Timeout	GaveUp	Timeout	Timeout	3.50	Unknown
`SWV315-1`^*	⁺2.00	⁺36.30	7.00	7.50	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV317-1`^*	⁺1.40	⁺3.00	6.70	7.30	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV319-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.50	0.10	⁺0.00	Timeout	Timeout	GaveUp	⁺4.60
`SWV325-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.60	0.10	⁺0.00	⁺58.80	2.00	GaveUp	Timeout
`SWV341-1`^*	⁺1.40	⁺18.60	8.00	8.50	Unknown	3.70	GaveUp	Timeout	Timeout	5.50	Timeout
`SWV342-1`^*	⁺84.70	Timeout	11.40	12.40	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV343-1`^*	⁺82.80	Timeout	12.50	13.10	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV349-1`^*	⁺0.20	⁺0.30	0.20	⁺0.40	Unknown	2.30	⁺0.90	Timeout	4.90	2.50	Timeout
`SWV354-1`^*	Timeout	Timeout	393.00	Timeout	Unknown	Timeout	GaveUp	Timeout	Timeout	6.30	Timeout
`SWV354-2`^*	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	6.20	⁺9.30	Timeout	Timeout	0.00	Unknown
`SWV355-1`^*	⁺83.60	Timeout	8.90	9.50	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SYN014-1`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	0.90	Timeout	⁺0.10	0.00	GaveUp	Timeout
`SYN015-1`	⁺0.00	⁺0.10	0.00	⁺0.10	Timeout	4.80	Timeout	⁺0.20	0.00	GaveUp	Timeout
Attempted	70	70	70	70	70	70	70	70	70	70	70
Solved	66	62	59	58	30	22	20	19	17	9	6
Av. Time	20.42	24.80	25.31	21.21	56.12	50.78	31.85	64.86	20.61	5.77	2.67
Solutions	66	62	0	38	30	0	20	19	0	0	6
New Attempted	43	43	43	43	43	43	43	43	43	43	43
New Solved	42	38	38	37	18	15	16	11	13	7	6

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

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

Results for PEQ

PEQ	E 0.99	EP 0.99	Vampire 8.0	Vampire 8.1	Otter 3.3	Darwin 1.3	Geo 2006i	Faust 1.0	Theo 2006	iProver 0.1	Equinox 1.0a
`BOO020-1`	9.90	⁺19.80	⁺1.20	⁺11.40	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP061-1`	0.60	⁺1.30	⁺13.20	⁺15.10	GaveUp	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP070-1`	0.00	⁺0.10	⁺0.20	⁺11.20	⁺1.00	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP074-1`	0.10	⁺0.30	⁺3.90	⁺0.10	GaveUp	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP082-1`	0.10	⁺0.30	⁺11.10	⁺0.20	GaveUp	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP085-1`	0.10	⁺0.40	⁺0.10	⁺0.00	⁺0.10	1.10	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP086-1`	0.10	⁺0.20	⁺0.00	⁺0.00	⁺0.10	150.80	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP102-1`	0.00	⁺0.10	⁺0.20	⁺1.60	⁺2.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP103-1`	0.90	⁺2.90	⁺0.50	⁺2.60	⁺8.40	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP110-1`	0.10	⁺0.50	⁺0.10	⁺0.00	⁺17.70	109.40	Timeout	Unknown	Timeout	Timeout	GaveUp
`GRP311-1`	2.10	2.70	⁺2.90	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`HWV003-2`	86.70	109.40	⁺40.00	⁺4.20	GaveUp	Timeout	Timeout	WCout	Timeout	Timeout	GaveUp
`LAT005-4`	1.20	⁺3.50	⁺12.20	⁺21.80	⁺140.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT198-1`	3.80	⁺9.40	⁺332.00	⁺55.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT201-1`	7.00	⁺9.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT209-1`	3.30	⁺8.60	⁺31.40	⁺22.60	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT219-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG027-2`	Timeout	Timeout	⁺75.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG029-3`	6.70	⁺9.90	⁺2.00	⁺0.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET838-2`^*	0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	⁺0.10	0.70	GaveUp
Attempted	20	20	20	20	20	20	20	20	20	20	20
Solved	18	18	18	17	8	4	1	1	1	1	0
Av. Time	6.82	9.97	29.23	8.71	21.29	65.33	0.00	0.10	0.10	0.70	-
Solutions	0	16	18	17	8	0	1	1	1	0	0
New Attempted	1	1	1	1	1	1	1	1	1	1	1
New Solved	1	1	1	1	1	1	1	1	1	1	0

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

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

Results for SNE

SNE	Paradox 1.3	Paradox 2.0a	DarwinFM 1.3	Geo 2006i	Darwin 1.3	E 0.99
`GRP025-3`	⁺0.30	⁺0.50	⁺2.10	⁺0.80	Timeout	Timeout
`GRP027-2`	⁺0.10	⁺0.20	⁺4.40	⁺0.50	Timeout	Timeout
`GRP394-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL078-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout
`LCL168-1`	⁺0.10	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL179-1`	⁺0.60	⁺4.40	⁺8.40	Timeout	Timeout	Timeout
`LCL183-1`	⁺3.00	⁺24.20	⁺170.90	Timeout	Timeout	Timeout
`LCL245-1`	⁺12.80	⁺34.00	Timeout	Timeout	Timeout	Timeout
`LCL246-1`	⁺4.00	⁺5.20	Timeout	Timeout	Timeout	Timeout
`LCL247-1`	⁺9.90	⁺60.70	Timeout	Timeout	Timeout	Timeout
`LCL252-1`	⁺13.20	⁺70.40	Timeout	Timeout	Timeout	Timeout
`LCL411-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`NLP028-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.20	⁺0.00	Timeout
`NLP034-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.20	⁺0.00	Timeout
`NLP164-1`	⁺0.10	⁺0.20	⁺0.50	⁺6.00	⁺0.00	Timeout
`NLP167-1`	⁺0.10	⁺0.20	⁺0.10	⁺3.80	⁺0.00	Timeout
`NLP193-1`	⁺0.10	⁺0.20	⁺0.10	⁺5.20	⁺0.00	Timeout
`NLP196-1`	⁺0.10	⁺0.20	⁺0.10	⁺7.50	⁺0.00	Timeout
`NUM287-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`NUM288-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`PUZ015-3`	⁺2.00	⁺8.00	Timeout	Timeout	Timeout	Timeout
`PUZ059-1`	⁺3.80	⁺38.60	⁺109.90	Timeout	WCout	Timeout
`SWV018-1`	⁺0.10	⁺0.10	⁺0.10	⁺27.20	Timeout	0.00
`SYN316-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SYN324-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SYN330-1`	⁺0.50	⁺0.50	Timeout	Timeout	Timeout	0.00
`SYN335-1`	⁺137.00	⁺159.90	Timeout	Timeout	Timeout	0.00
`SYN751-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	⁺0.00	11.90
`SYN754-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	⁺0.00	0.20
`SYN765-1`	⁺0.10	⁺0.10	⁺0.10	⁺0.10	⁺2.50	Timeout
`SYN779-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺8.90	Timeout
`SYN780-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	Timeout
`SYN783-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN790-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	41.80
`SYN792-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	Timeout
`SYN810-1`	⁺0.10	⁺0.20	⁺0.00	⁺0.00	⁺1.40	Timeout
`SYN904-1`	⁺1.50	⁺1.70	⁺0.60	⁺201.00	Timeout	Timeout
`SYN905-1`	⁺1.80	⁺2.20	⁺0.90	Timeout	Timeout	Timeout
`SYN906-1`	⁺1.10	⁺1.50	⁺0.90	Timeout	Timeout	Timeout
`SYN908-1`	⁺3.90	⁺3.90	⁺1.80	Timeout	Timeout	Timeout
`SYN910-1`	⁺5.70	⁺5.60	⁺7.30	Timeout	Timeout	Timeout
`SYN911-1`	⁺8.00	⁺8.10	Timeout	Timeout	Timeout	Timeout
`TOP005-1`	⁺0.40	⁺1.10	⁺0.60	Timeout	Timeout	Timeout
`TOP007-1`	⁺0.60	⁺1.30	⁺32.20	Timeout	Timeout	Timeout
`TOP008-1`	⁺0.20	⁺0.30	⁺0.50	Timeout	Timeout	Timeout
`TOP010-1`	⁺0.20	⁺0.30	⁺0.30	⁺3.70	Timeout	Timeout
`TOP012-1`	⁺0.20	⁺0.30	⁺1.40	⁺117.90	Timeout	Timeout
`TOP013-1`	⁺0.20	⁺0.30	⁺0.70	⁺100.30	Timeout	Timeout
`TOP014-1`	⁺0.20	⁺0.30	⁺0.30	⁺89.90	Timeout	Timeout
`TOP018-1`	⁺0.20	⁺0.30	⁺0.60	Timeout	Timeout	Timeout
Attempted	50	50	50	50	50	50
Solved	50	50	41	30	14	8
Av. Time	4.25	8.72	8.41	18.81	0.92	6.74
Solutions	50	50	41	30	14	0
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 CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for SEQ

SEQ	Paradox 1.3	Paradox 2.0a	DarwinFM 1.3	Geo 2006i	E 0.99	Darwin 1.3
`ALG008-1`	⁺0.00	⁺0.00	⁺0.30	⁺0.10	Timeout	Timeout
`ANA006-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO019-1`	⁺0.00	⁺0.00	⁺38.10	⁺0.50	Timeout	Timeout
`BOO030-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO033-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout
`BOO057-1`	⁺2.50	⁺2.20	Timeout	Timeout	Timeout	Timeout
`BOO058-1`	⁺1.80	⁺3.20	Timeout	Timeout	Timeout	Timeout
`BOO061-1`	⁺12.80	⁺0.90	Timeout	Timeout	Timeout	Timeout
`CAT019-4`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`CAT019-5`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	Timeout	Timeout
`COL005-1`	⁺0.00	⁺0.00	⁺0.30	⁺0.10	Timeout	Timeout
`COL073-1`	⁺0.10	⁺0.10	⁺8.10	Timeout	Timeout	Timeout
`GEO078-6`	⁺0.10	⁺0.20	⁺1.00	⁺88.90	Timeout	Timeout
`GEO163-1`	⁺0.00	⁺0.00	⁺0.90	⁺36.90	Timeout	Timeout
`GRP025-2`	⁺0.10	⁺0.20	⁺146.10	⁺7.80	Timeout	Timeout
`GRP026-2`	⁺0.30	⁺0.50	⁺60.00	⁺70.90	Timeout	Timeout
`GRP026-4`	⁺0.30	⁺0.50	⁺13.80	⁺82.50	Timeout	Timeout
`GRP081-1`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`GRP112-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	Timeout	Timeout
`GRP207-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout
`LAT046-1`	⁺0.30	⁺0.80	⁺52.00	⁺269.60	Unknown	Timeout
`LAT047-1`	⁺0.10	⁺0.10	⁺2.70	⁺2.60	Timeout	Timeout
`LAT048-1`	⁺0.20	⁺0.80	⁺21.70	Timeout	Timeout	Timeout
`LAT049-1`	⁺0.50	⁺2.50	⁺212.00	⁺101.80	Timeout	Timeout
`LAT051-1`	⁺0.10	⁺0.40	⁺7.00	⁺3.00	Timeout	Timeout
`LAT053-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT106-1`	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT112-1`	⁺83.50	Timeout	Timeout	Timeout	Unknown	Timeout
`LAT117-1`	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT118-1`	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT121-1`	⁺3.60	⁺38.60	Timeout	⁺188.70	Timeout	Timeout
`LAT129-1`	⁺3.50	⁺49.20	Timeout	Timeout	Timeout	Timeout
`LAT133-1`	⁺2.70	⁺38.40	Timeout	Timeout	Timeout	Timeout
`LCL165-1`	⁺0.10	⁺0.20	⁺7.60	Timeout	Timeout	Timeout
`LCL267-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.00	⁺0.20	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`MGT038-2`	⁺0.10	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout
`NLP052-1`	GaveUp	WCout	Timeout	Timeout	0.00	⁺174.00
`NLP069-1`	GaveUp	WCout	Timeout	Timeout	0.00	Timeout
`NLP071-1`	GaveUp	WCout	Timeout	Timeout	0.00	Timeout
`NLP072-1`	GaveUp	WCout	Timeout	Timeout	0.00	Timeout
`NLP087-1`	GaveUp	WCout	Timeout	Timeout	0.00	Timeout
`NLP211-1`	⁺0.40	⁺1.20	⁺0.50	Timeout	Timeout	Timeout
`PUZ070-1`^*	⁺3.30	⁺134.60	Timeout	Timeout	Timeout	⁺25.40
`PUZ071-1`^*	⁺3.50	⁺135.20	Timeout	Timeout	Timeout	⁺28.00
`PUZ072-1`^*	⁺3.50	⁺136.10	Timeout	Timeout	Timeout	⁺329.50
`RNG031-6`	⁺181.80	⁺194.90	Timeout	Timeout	Timeout	Timeout
`ROB012-2`	⁺0.10	⁺0.20	⁺36.00	Timeout	Timeout	Timeout
`SYN305-1`	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
Attempted	50	50	50	50	50	50
Solved	40	39	29	21	6	4
Av. Time	7.63	19.00	21.00	40.65	0.00	139.22
Solutions	40	39	29	21	0	4
New Attempted	3	3	3	3	3	3
New Solved	3	3	0	0	0	3

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

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

Results for EPT

EPT	Darwin 1.3	E 0.99	DCTP 10.21p	Vampire 8.1	Paradox 2.0a	DarwinFM 1.3	iProver 0.1	Geo 2006i	Equinox 1.0a
`GRP129-3.004`	0.00	2.50	0.60	⁺227.10	0.10	0.60	0.10	⁺2.10	GaveUp
`KRS004-1`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	0.00
`LAT005-1`	0.30	1.40	0.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT005-2`	0.20	1.40	0.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT267-2`^*	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	0.00
`MGT014-1`	0.00	0.00	0.00	⁺0.00	0.10	0.50	0.00	⁺0.10	0.00
`PUZ018-1`	0.00	0.00	0.10	⁺0.10	0.00	0.10	0.00	⁺10.20	0.30
`PUZ035-1`	0.00	0.00	0.10	⁺0.00	0.00	0.00	0.00	⁺0.00	0.00
`PUZ036-1.005`	0.10	0.00	171.50	⁺0.00	Timeout	Timeout	0.50	⁺0.60	GaveUp
`PUZ037-1`	0.10	0.00	0.10	⁺0.00	GaveUp	0.90	0.00	⁺0.10	GaveUp
`PUZ037-2`	0.20	0.00	1.20	⁺0.10	GaveUp	6.30	0.20	⁺95.90	GaveUp
`PUZ037-3`	78.50	52.40	Timeout	⁺68.20	GaveUp	182.10	Timeout	Timeout	GaveUp
`SYN052-1`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	GaveUp
`SYN071-1`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	GaveUp
`SYN113-1`	0.10	0.10	1.00	⁺0.10	0.40	0.20	0.20	⁺1.00	GaveUp
`SYN121-1`	0.10	0.10	1.00	⁺0.10	0.40	1.90	0.10	⁺1.50	GaveUp
`SYN138-1`	0.10	0.20	0.80	⁺0.10	0.60	0.30	0.20	⁺9.10	GaveUp
`SYN144-1`	0.10	0.10	0.80	⁺0.10	0.60	0.50	0.10	⁺10.20	GaveUp
`SYN168-1`	0.10	0.10	0.70	⁺0.10	0.50	0.40	0.00	⁺0.40	0.90
`SYN170-1`	0.10	0.10	0.80	⁺0.10	0.60	0.30	0.10	⁺0.30	0.70
`SYN193-1`	0.10	0.20	0.80	⁺0.10	0.50	0.70	0.10	⁺1.10	GaveUp
`SYN201-1`	0.10	0.10	0.80	⁺0.10	0.40	0.60	0.00	⁺0.80	GaveUp
`SYN203-1`	0.10	0.20	0.90	⁺0.10	0.50	0.70	0.10	⁺1.10	GaveUp
`SYN226-1`	0.10	0.10	0.70	⁺0.10	0.50	0.40	0.00	⁺1.90	GaveUp
`SYN227-1`	0.10	0.10	0.80	⁺0.10	0.70	0.90	0.10	⁺1.20	GaveUp
`SYN232-1`	0.10	0.10	0.70	⁺0.10	0.40	0.20	0.00	⁺1.00	GaveUp
`SYN233-1`	0.10	0.10	0.70	⁺0.10	0.50	0.20	0.00	⁺0.30	0.60
`SYN260-1`	0.10	0.00	0.80	⁺0.10	0.40	0.10	0.00	⁺0.30	0.60
`SYN268-1`	0.10	0.10	0.60	⁺0.10	0.50	0.30	0.10	⁺0.50	0.60
`SYN269-1`	0.10	0.40	0.70	⁺0.10	0.60	2.60	0.20	⁺8.80	GaveUp
`SYN291-1`	0.00	0.00	0.20	⁺0.10	0.40	0.00	0.00	⁺0.20	0.40
`SYN297-1`	0.10	0.00	0.10	⁺0.10	0.40	0.20	0.00	⁺0.30	GaveUp
`SYN440-1`	0.70	Timeout	217.10	⁺1.40	Timeout	Timeout	66.50	Timeout	Timeout
`SYN473-1`	0.90	243.50	18.60	⁺0.40	88.80	Timeout	17.00	Timeout	109.20
`SYN474-1`	0.40	50.40	22.60	⁺0.40	92.10	Timeout	13.50	Timeout	23.50
`SYN485-1`	0.40	12.00	11.70	⁺0.30	14.50	Timeout	7.70	Timeout	22.40
`SYN501-1`	0.20	32.00	13.70	⁺0.20	4.80	Timeout	2.60	Timeout	9.10
`SYN834-1`	0.90	0.40	4.00	⁺0.70	19.40	1.20	Timeout	Timeout	GaveUp
`SYN845-1`	0.60	0.40	6.20	⁺0.70	20.40	1.10	214.60	Timeout	GaveUp
`SYN847-1`	2.80	1.50	18.60	⁺3.00	136.10	4.90	Timeout	Timeout	GaveUp
`SYN856-1`	0.90	0.50	7.80	⁺0.80	21.90	1.40	Timeout	Timeout	GaveUp
`SYN857-1`	0.80	0.60	8.30	⁺0.90	22.50	1.10	Timeout	Timeout	GaveUp
`SYN874-1`	0.10	0.10	0.30	⁺0.20	3.50	0.20	5.40	Timeout	GaveUp
`SYN875-1`	0.10	0.00	0.30	⁺0.20	2.70	0.10	22.20	Timeout	GaveUp
`SYN882-1`	0.20	0.10	1.00	⁺0.70	12.60	0.30	Timeout	Timeout	GaveUp
`SYN886-1`	0.30	0.20	1.30	⁺1.80	58.90	0.60	Timeout	Timeout	GaveUp
`SYN892-1`	0.10	0.10	0.60	⁺0.30	5.00	0.20	3.10	Timeout	GaveUp
`SYN894-1`	0.20	0.10	0.80	⁺0.40	19.60	0.40	Timeout	Timeout	GaveUp
`SYN897-1`	0.40	0.20	1.80	⁺2.10	78.70	0.80	Timeout	Timeout	GaveUp
`SYN898-1`	0.40	0.20	2.80	⁺2.20	78.90	0.80	Timeout	Timeout	GaveUp
Attempted	50	50	50	50	50	50	50	50	50
Solved	50	49	49	48	43	42	38	29	15
Av. Time	1.83	8.21	10.72	6.54	16.03	5.10	9.33	5.14	11.22
Solutions	0	0	0	48	0	0	0	29	0
New Attempted	1	1	1	1	1	1	1	1	1
New Solved	1	1	1	1	1	1	1	1	1

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

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

Results for EPS

EPS	Darwin 1.3	DCTP 10.21p	DarwinFM 1.3	Paradox 2.0a	Geo 2006i	iProver 0.1	E 0.99	Vampire 8.1	Equinox 1.0a
`GRP123-3.004`	⁺0.00	0.20	⁺0.10	⁺0.10	⁺0.90	0.20	1.50	Timeout	GaveUp
`GRP123-8.004`	⁺0.00	0.30	⁺0.20	⁺0.10	⁺2.50	0.10	86.80	Timeout	GaveUp
`GRP124-4.005`	⁺0.10	0.10	⁺0.20	⁺0.10	⁺0.30	Timeout	Timeout	Timeout	GaveUp
`GRP126-1.005`	⁺0.00	0.10	⁺0.10	⁺0.00	⁺0.20	0.60	Timeout	Timeout	GaveUp
`GRP127-1.005`	⁺0.00	0.10	⁺0.10	⁺0.00	⁺0.60	0.30	Timeout	Timeout	GaveUp
`GRP128-1.004`	⁺0.00	0.30	⁺0.10	⁺0.00	⁺0.30	0.10	12.00	Timeout	GaveUp
`GRP128-2.004`	⁺0.00	0.10	⁺0.10	⁺0.00	⁺0.50	0.10	349.30	Timeout	GaveUp
`GRP133-1.004`	⁺0.00	0.10	⁺0.10	⁺0.00	⁺0.10	0.20	Timeout	Timeout	GaveUp
`GRP135-2.005`	⁺0.20	0.40	⁺0.30	⁺0.10	⁺120.30	0.40	Timeout	Timeout	GaveUp
`MGT066-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	Timeout	GaveUp
`NLP005-1`	⁺0.00	0.10	⁺0.00	⁺0.10	⁺0.30	0.00	0.00	0.00	GaveUp
`NLP006-1`	⁺0.00	0.10	⁺0.10	⁺0.10	⁺1.20	0.00	0.00	0.00	GaveUp
`NLP012-1`	⁺0.00	0.10	⁺0.00	⁺0.10	⁺0.30	0.00	0.00	0.00	GaveUp
`NLP013-1`	⁺0.00	0.10	⁺0.00	⁺0.10	⁺0.30	0.00	0.00	0.00	GaveUp
`NLP023-1`	⁺0.00	0.10	⁺0.10	⁺0.10	⁺0.30	0.10	0.00	0.00	GaveUp
`NLP115-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.20	0.00	0.00	0.00	GaveUp
`NLP116-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.20	0.00	0.00	0.00	GaveUp
`NLP118-1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.20	0.00	0.00	0.00	GaveUp
`NLP120-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.20	0.00	0.00	0.00	GaveUp
`NLP129-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.10	0.00	0.00	0.00	GaveUp
`PUZ001-3`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00	GaveUp
`PUZ018-2`	⁺0.00	0.10	⁺0.10	⁺0.00	⁺3.40	0.00	Timeout	Timeout	GaveUp
`PUZ028-1`	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.20	0.00	0.00	0.00	GaveUp
`PUZ028-2`	⁺0.00	0.10	⁺0.10	⁺0.00	⁺0.20	0.00	0.10	0.50	GaveUp
`PUZ028-3`	⁺0.00	0.40	⁺0.60	⁺0.80	⁺5.60	0.10	0.10	2.10	GaveUp
`PUZ028-4`	⁺0.00	0.40	⁺0.20	⁺0.40	⁺0.30	0.10	0.00	2.00	GaveUp
`SYN056-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00	GaveUp
`SYN059-1`	⁺0.00	0.10	⁺0.00	⁺0.00	⁺0.10	0.00	0.00	0.00	GaveUp
`SYN307-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	Timeout	GaveUp
`SYN317-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00	GaveUp
`SYN322-1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00	GaveUp
`SYN419-1`	⁺0.10	1.10	⁺0.10	⁺0.60	⁺59.10	Timeout	1.10	Timeout	GaveUp
`SYN423-1`	⁺0.10	1.90	⁺11.20	⁺1.10	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN433-1`	⁺0.00	2.00	⁺0.00	⁺0.10	⁺0.40	109.50	0.00	0.40	GaveUp
`SYN464-1`	⁺0.30	55.20	⁺210.90	⁺0.30	Timeout	15.80	Timeout	4.40	Timeout
`SYN494-1`	⁺0.00	0.10	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00	GaveUp
`SYN521-1`	⁺0.00	0.10	⁺0.00	⁺0.10	⁺0.50	0.00	0.00	0.00	GaveUp
`SYN534-1`	⁺0.00	0.10	⁺0.00	⁺0.10	⁺0.10	0.00	0.00	0.00	GaveUp
`SYN539-1`	⁺0.00	0.20	⁺0.00	⁺0.20	⁺0.50	0.00	1.20	1.50	GaveUp
`SYN541-1`	⁺0.00	0.10	⁺0.00	⁺0.20	⁺0.50	0.00	Timeout	0.20	GaveUp
`SYN720-1`	⁺0.10	0.70	⁺0.10	⁺0.30	⁺0.30	0.40	2.00	0.30	GaveUp
`SYN823-1`	⁺0.50	1.60	⁺0.70	⁺15.00	Timeout	284.40	0.20	0.40	GaveUp
`SYN830-1`	⁺19.30	91.10	⁺37.80	Timeout	Timeout	Timeout	14.70	Unknown	Timeout
`SYN831-1`	⁺18.50	75.90	⁺35.70	Timeout	Timeout	Timeout	14.40	Unknown	Timeout
`SYN832-1`	⁺23.20	60.30	⁺37.10	Timeout	Timeout	Timeout	11.60	Unknown	Timeout
`SYN840-1`	⁺21.00	97.90	⁺41.70	Timeout	Timeout	Timeout	18.00	Unknown	Timeout
`SYN852-1`	⁺75.70	129.10	⁺98.80	Timeout	Timeout	Timeout	22.80	Unknown	Timeout
`SYN854-1`	⁺219.80	123.50	⁺256.20	Timeout	Timeout	Timeout	24.90	Unknown	Timeout
`SYN872-1`	⁺0.50	0.60	⁺1.20	⁺179.80	Timeout	Timeout	0.30	0.50	GaveUp
`SYN888-1`	⁺0.80	1.80	⁺1.90	⁺281.70	Timeout	Timeout	0.40	0.60	GaveUp
Attempted	50	50	50	50	50	50	50	50	50
Solved	50	50	50	44	39	39	39	30	0
Av. Time	7.60	12.93	14.72	10.95	5.13	10.57	14.39	0.43	-
Solutions	50	0	50	44	39	0	0	0	0
New Attempted	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0

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

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