Results

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

Results for FOF

FOF	Vampire 9.0	Vampire 8.1	Fampire 1.3	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	leanCoP 2.0	Otter 3.3	Metis 2.0	Geo 2007f	ileanCoP 1.2	Muscadet 2.7
`AGT003+2`	⁺0.00	⁺3.70	4.10	0.20	Timeout	0.40	1.00	0.20	⁺0.20	Timeout	Timeout	0.20	GaveUp
`AGT006+2`	Timeout	⁺285.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`AGT012+2`	⁺13.10	⁺101.30	131.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`AGT013+1`	⁺149.60	⁺14.10	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT020+1`	⁺10.30	⁺37.50	86.70	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT022+1`	⁺162.40	⁺106.40	9.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT023+2`	⁺9.50	⁺22.30	24.70	Timeout	Timeout	Timeout	Timeout	13.10	GaveUp	Timeout	Timeout	235.80	GaveUp
`ALG018+1`	⁺0.30	⁺0.10	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.20	⁺0.40	⁺0.00	Timeout	GaveUp
`ALG019+1`	⁺0.10	⁺0.00	0.40	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.10	⁺0.10	⁺0.00	Timeout	GaveUp
`ALG072+1`	⁺236.20	⁺69.40	20.80	2.30	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	⁺0.70	Timeout	GaveUp
`ALG073+1`	⁺0.00	⁺0.00	0.10	8.70	⁺0.50	145.90	0.00	Timeout	⁺0.10	WCout	⁺0.10	Timeout	GaveUp
`ALG074+1`	⁺3.90	⁺54.30	40.80	1.40	Timeout	Timeout	0.40	Timeout	⁺0.20	Timeout	⁺0.40	Timeout	GaveUp
`ALG210+2`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	WCout	Timeout	Timeout	⁺0.10	⁺241.20	Timeout	Timeout	GaveUp
`COM003+2`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	56.00	0.40	⁺0.10	⁺0.40	⁺20.80	1.70	GaveUp
`COM003+3`	⁺0.00	⁺0.00	0.10	92.30	⁺0.20	15.70	25.00	226.10	Timeout	Timeout	⁺0.30	Timeout	GaveUp
`COM008+1`	⁺46.90	Timeout	2.20	0.60	⁺1.00	Timeout	Timeout	Timeout	GaveUp	Timeout	⁺0.30	Timeout	0.20
`CSR001+1`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR001+2`	⁺2.40	⁺19.40	19.60	13.30	⁺37.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR004+1`	Timeout	Timeout	Unknown	128.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR005+1`	⁺94.90	⁺84.00	60.00	69.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR006+1`	⁺42.40	⁺0.90	0.80	23.30	⁺29.90	Timeout	Timeout	Timeout	Timeout	⁺16.70	Timeout	Timeout	GaveUp
`CSR008+1`	⁺42.60	⁺0.10	1.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺13.70	Timeout	Timeout	GaveUp
`CSR011+1`	⁺133.60	⁺93.20	211.40	159.00	Timeout	Timeout	64.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR018+1`	⁺0.00	⁺0.00	0.20	2.00	⁺4.00	2.80	6.40	Timeout	Timeout	⁺0.20	Timeout	Timeout	GaveUp
`CSR019+1`	⁺0.00	⁺0.00	0.20	0.20	⁺0.20	2.00	15.60	Timeout	Timeout	⁺0.10	⁺58.00	Timeout	GaveUp
`CSR021+1`	⁺0.00	⁺0.10	0.20	0.20	⁺1.00	1.80	0.50	Timeout	Timeout	⁺0.20	⁺121.50	Timeout	GaveUp
`CSR024+1.009`	⁺93.30	⁺0.50	0.30	0.30	Timeout	Timeout	Timeout	Unknown	⁺98.60	Timeout	Timeout	Timeout	GaveUp
`CSR024+1.010`	⁺110.70	⁺92.70	0.50	0.60	Timeout	WCout	Timeout	Timeout	⁺151.70	Timeout	Timeout	Timeout	GaveUp
`GEO083+1`	⁺10.30	⁺106.10	39.80	99.50	⁺59.50	2.10	Timeout	4.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO089+1`	⁺54.20	⁺110.00	Unknown	143.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO093+1`	⁺8.20	⁺0.10	20.00	10.50	⁺27.40	Timeout	Timeout	136.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO094+1`	⁺39.30	⁺101.10	0.80	0.00	⁺0.10	47.70	Timeout	Timeout	⁺29.70	Timeout	⁺3.60	Timeout	GaveUp
`GEO124+1`	⁺0.20	⁺0.00	0.20	0.00	⁺0.10	2.30	0.40	26.80	⁺28.50	Timeout	Timeout	Timeout	GaveUp
`GEO127+1`	⁺0.00	⁺0.00	6.60	0.10	⁺0.10	76.10	Timeout	Timeout	Timeout	Timeout	⁺2.90	Timeout	GaveUp
`GEO146+1`	⁺0.40	⁺0.00	0.10	0.10	⁺0.20	0.90	0.10	1.30	Timeout	⁺13.20	⁺78.40	0.50	GaveUp
`GEO147+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.50	0.10	0.20	⁺9.10	⁺0.90	Timeout	0.90	GaveUp
`GEO169+1`	⁺8.80	⁺0.60	0.70	2.60	Timeout	0.90	69.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRA002+2`	⁺87.60	⁺50.80	21.90	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	⁺9.20	Timeout	GaveUp
`GRA003+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.70	0.10	3.50	⁺0.60	⁺7.30	⁺0.60	226.70	0.60
`GRA004+1`	⁺0.00	⁺0.10	22.70	0.00	⁺0.10	3.80	0.50	19.90	Timeout	Timeout	⁺0.80	Timeout	GaveUp
`GRA008+1`	⁺9.70	⁺22.10	75.00	2.40	⁺3.50	Timeout	Timeout	Timeout	Timeout	Timeout	⁺2.70	Timeout	GaveUp
`GRA010+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	0.10	0.20	Timeout	0.00	⁺1.80	0.50	GaveUp
`GRA011+1`	⁺202.70	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺6.50	Timeout	GaveUp
`GRA012+1`	⁺203.10	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺7.10	Timeout	GaveUp
`HAL001+2`	Timeout	⁺2.30	130.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`KRS132+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺0.10	⁺0.00	⁺0.00	Timeout	GaveUp
`KRS151+1`	⁺0.10	⁺0.10	0.20	0.10	⁺0.20	0.10	12.50	11.70	⁺0.10	Timeout	⁺114.10	Timeout	GaveUp
`KRS153+1`	⁺0.00	⁺0.10	0.20	0.20	⁺0.20	0.40	97.00	1.00	⁺0.10	Timeout	Timeout	Timeout	Unknown
`KRS154+1`	⁺0.00	⁺0.00	0.10	0.10	⁺0.20	0.10	0.40	0.20	⁺0.10	⁺5.10	⁺4.10	3.60	GaveUp
`KRS155+1`	⁺0.10	⁺0.00	0.30	0.10	⁺0.20	0.40	0.40	351.90	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`KRS161+1`	⁺0.10	⁺0.10	0.20	0.10	⁺0.20	0.20	2.00	0.30	⁺0.10	Timeout	Timeout	226.20	GaveUp
`LAT258+1`	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺190.20	Timeout	GaveUp
`LCL414+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	Timeout	0.10	⁺0.10	⁺0.10	⁺0.30	0.10	GaveUp
`LCL462+1`^*	⁺95.80	⁺58.10	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL468+1`^*	⁺98.90	⁺59.50	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL488+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.30	Timeout	Timeout	Timeout	GaveUp
`LCL496+1`^*	⁺0.00	⁺16.00	38.30	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL505+1`^*	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL510+1`^*	⁺75.30	⁺4.80	Unknown	0.30	Timeout	WCout	Timeout	Timeout	⁺102.10	Timeout	Timeout	Timeout	GaveUp
`LCL512+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.20	0.20	⁺0.20	⁺0.00	⁺0.80	1.90	GaveUp
`LCL523+1`^*	⁺31.80	⁺4.70	75.20	1.80	⁺3.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL524+1`^*	⁺20.60	⁺1.70	75.50	65.80	99.40	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL525+1`^*	⁺0.00	⁺0.00	0.90	0.00	⁺0.10	0.00	Timeout	Timeout	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`LCL536+1`^*	⁺0.00	⁺0.00	0.90	0.00	⁺0.10	0.00	Timeout	0.20	⁺0.30	⁺0.40	Timeout	0.40	GaveUp
`LCL540+1`^*	⁺0.00	⁺0.00	9.40	0.10	⁺0.10	0.00	Timeout	6.00	⁺2.60	Timeout	⁺62.90	0.60	GaveUp
`LCL544+1`^*	⁺0.00	⁺0.00	1.40	0.10	⁺0.20	0.10	Timeout	3.00	⁺0.40	Timeout	⁺246.80	Timeout	GaveUp
`LCL546+1`^*	⁺9.20	⁺0.70	74.90	0.80	⁺1.80	WCout	Timeout	Timeout	⁺193.80	Timeout	Timeout	Timeout	GaveUp
`LCL551+1`^*	⁺89.90	⁺54.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL555+1`^*	⁺18.40	⁺37.20	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`LCL558+1`^*	⁺108.70	⁺103.80	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL559+1`^*	⁺105.50	⁺101.20	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL562+1`^*	⁺17.20	⁺54.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL568+1`^*	⁺83.60	⁺54.60	Unknown	1.30	169.50	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`MED002+1`	⁺0.00	⁺0.00	0.10	Timeout	⁺0.20	0.10	2.80	226.60	⁺0.20	⁺28.50	⁺0.00	9.50	GaveUp
`MED003+1`	⁺4.70	⁺1.60	0.10	0.90	⁺0.20	0.10	1.00	226.20	⁺9.00	Timeout	⁺0.00	0.30	GaveUp
`MED005+1`	⁺1.90	⁺0.40	0.40	0.20	⁺0.40	0.10	Timeout	275.50	Timeout	Timeout	⁺2.20	Timeout	GaveUp
`MED006+1`	⁺0.10	⁺0.20	0.20	0.20	⁺0.40	0.10	217.00	312.30	Timeout	⁺2.00	⁺1.10	Timeout	GaveUp
`MED007+1`	⁺21.20	⁺25.50	1.70	11.60	⁺16.10	0.10	172.50	244.50	Timeout	Timeout	⁺0.80	Timeout	GaveUp
`MED008+1`	⁺0.50	⁺0.20	0.30	1.10	⁺1.60	0.10	Timeout	Timeout	⁺310.90	⁺1.60	⁺1.60	Timeout	GaveUp
`MED009+1`	⁺20.20	⁺24.50	2.90	11.20	⁺26.60	0.10	Timeout	Timeout	Timeout	Timeout	⁺1.20	Timeout	GaveUp
`MED010+1`	⁺1.30	⁺0.40	0.50	0.20	⁺0.50	0.20	Timeout	237.50	Timeout	Timeout	⁺0.90	Timeout	GaveUp
`MGT029+1`	⁺131.60	⁺7.00	0.50	0.60	⁺279.00	2.00	1.70	Timeout	Timeout	⁺49.80	⁺4.20	Timeout	6.20
`MGT034+2`	⁺0.00	⁺0.00	0.20	0.20	⁺0.70	1.00	0.50	Timeout	⁺49.70	⁺0.50	⁺21.10	Timeout	GaveUp
`MGT042+1`	⁺14.40	⁺22.20	0.30	Timeout	Timeout	70.90	2.00	Timeout	Timeout	⁺1.10	⁺6.10	Timeout	GaveUp
`MGT047+1`	⁺39.80	⁺38.90	1.60	0.30	⁺56.80	44.80	2.50	Timeout	Timeout	⁺56.20	⁺25.50	Timeout	GaveUp
`MGT051+1`	⁺39.50	⁺38.00	0.90	0.30	⁺48.90	19.30	9.80	Timeout	Timeout	⁺14.30	⁺15.10	Timeout	GaveUp
`NLP081+1`	⁺0.00	⁺0.10	0.20	0.00	⁺0.10	0.80	0.10	0.20	Timeout	⁺65.20	⁺0.20	0.30	GaveUp
`NLP094+1`	⁺0.00	⁺0.00	0.20	26.10	⁺116.80	61.20	0.00	0.20	Timeout	⁺0.30	⁺0.10	0.20	GaveUp
`NLP122+1`	⁺0.00	⁺0.00	0.10	0.60	⁺0.50	0.20	0.00	0.10	Timeout	⁺0.00	⁺0.10	0.20	GaveUp
`NUM304+1`	⁺0.10	⁺0.60	0.20	0.00	⁺0.10	1.50	3.30	0.20	⁺1.00	⁺0.10	Timeout	226.40	GaveUp
`NUM316+1`	⁺17.00	⁺10.70	36.40	Timeout	Timeout	Timeout	Timeout	4.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`NUM334+1`	⁺8.80	⁺10.90	36.40	Timeout	Timeout	Timeout	Timeout	0.20	GaveUp	Timeout	Timeout	0.50	GaveUp
`NUM335+1`	⁺11.60	⁺19.50	36.30	Timeout	Timeout	Timeout	Timeout	0.20	Timeout	Timeout	Timeout	0.30	GaveUp
`NUM340+1`	⁺9.10	⁺10.70	36.60	Timeout	Timeout	Timeout	Timeout	0.20	GaveUp	⁺9.50	Timeout	0.40	GaveUp
`NUM346+1`	⁺10.00	⁺24.50	41.90	Timeout	Timeout	Timeout	Timeout	8.50	GaveUp	Timeout	Timeout	227.90	GaveUp
`NUM386+1`	⁺0.00	⁺0.30	0.10	0.00	⁺0.20	40.30	0.30	3.70	Timeout	Timeout	Timeout	18.20	GaveUp
`NUM398+1`	⁺0.00	⁺0.10	0.10	0.10	⁺0.20	0.10	7.70	2.10	Timeout	⁺8.90	⁺0.40	12.40	0.10
`PUZ031+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.10	0.20	⁺0.10	⁺0.00	⁺0.10	94.20	GaveUp
`SET008+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	Timeout	0.20	⁺1.00	⁺20.10	⁺4.30	33.30	0.00
`SET010+3`	⁺92.30	⁺16.90	7.20	Timeout	Timeout	4.50	Timeout	234.10	Timeout	Timeout	Timeout	Timeout	0.10
`SET014+3`	⁺4.30	⁺0.10	0.20	0.10	⁺0.30	0.30	0.10	0.30	Timeout	Timeout	⁺0.50	0.40	0.00
`SET015+4`	⁺3.70	⁺9.10	88.90	28.60	⁺39.90	0.50	Timeout	0.80	Timeout	Timeout	Timeout	21.40	0.00
`SET016+1`	Timeout	⁺3.00	Unknown	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	5.30
`SET056+1`	⁺0.10	⁺0.00	10.00	0.00	⁺0.10	0.10	Timeout	1.40	⁺288.70	⁺28.60	Timeout	Timeout	GaveUp
`SET067+1`	⁺5.40	⁺0.00	16.20	0.10	⁺0.20	WCout	Timeout	3.30	Timeout	Timeout	Timeout	232.60	0.80
`SET082+1`	⁺3.90	⁺0.00	65.40	0.10	⁺0.10	Timeout	4.60	227.90	⁺32.00	⁺21.20	Timeout	41.60	0.80
`SET083+1`	⁺0.00	⁺0.10	10.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.50	⁺86.00	Timeout	Timeout	0.70
`SET101+1`	⁺0.10	⁺0.00	0.30	0.00	⁺0.20	1.00	5.90	Timeout	⁺0.10	⁺0.00	Timeout	Timeout	0.80
`SET105+1`	Timeout	Timeout	Unknown	24.00	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET173+3`	⁺0.00	⁺0.10	0.10	0.10	⁺0.10	0.40	Timeout	0.10	⁺7.40	⁺4.60	⁺0.50	0.40	0.00
`SET577+3`	⁺0.00	⁺0.10	0.10	0.20	⁺0.40	0.20	0.30	0.20	Timeout	⁺3.20	⁺2.00	1.10	0.00
`SET580+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.00	Timeout	Timeout	Timeout	⁺1.50	Timeout	0.20
`SET587+3`	⁺0.00	⁺0.10	0.10	0.00	⁺0.10	0.30	Timeout	0.40	Timeout	⁺0.20	⁺2.80	Timeout	0.00
`SET593+3`	⁺12.80	⁺0.10	0.10	0.10	⁺1.00	0.80