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