Results

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

Results for MIX

MIX	Vampire 7.0	E-SETHEO csp04	E 0.82	EP 0.82	Vampire 6.0	DCTP 10.21p	THEO J2004	DCTP 1.31	SOS 1.0	Otter 3.3
`ALG004-1`	⁺122.30	473.90	Timeout	Timeout	⁺65.40	Timeout	Timeout	Timeout	Timeout	Timeout
`ALG012-1`^*	⁺2.30	18.60	17.70	⁺25.00	⁺39.50	22.40	Timeout	109.60	Timeout	Timeout
`ANA002-1`	⁺1.80	7.70	38.50	⁺50.70	⁺2.70	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA003-1`	⁺7.10	3.30	0.20	⁺0.40	⁺333.80	Timeout	Timeout	Timeout	Timeout	GaveUp
`ANA003-2`	⁺11.70	24.70	18.10	⁺26.20	⁺209.10	Timeout	Timeout	WCout	Timeout	GaveUp
`ANA003-4`	⁺0.10	1.60	0.00	⁺0.10	⁺0.10	WCout	⁺80.70	Timeout	GaveUp	GaveUp
`ANA004-1`	Timeout	34.50	29.60	⁺39.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`ANA004-4`	⁺0.10	1.10	0.00	⁺0.10	⁺15.90	WCout	⁺388.80	Timeout	GaveUp	GaveUp
`ANA005-1`	Timeout	31.80	28.50	⁺38.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`BOO038-1`	⁺93.80	3.70	3.60	⁺9.00	⁺58.40	Timeout	Timeout	Timeout	⁺9.60	GaveUp
`CAT004-3`	⁺75.10	40.80	22.70	⁺40.40	⁺22.80	Timeout	⁺0.40	Timeout	Timeout	⁺307.10
`CAT009-3`	⁺1.80	0.30	1.20	⁺3.80	⁺0.10	Timeout	⁺197.50	Timeout	Timeout	Timeout
`COL003-10`	⁺67.80	37.40	34.30	⁺46.60	⁺56.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL003-7`	⁺67.80	37.40	34.20	⁺49.40	⁺56.80	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL003-9`	⁺67.70	37.40	34.80	⁺45.10	⁺56.80	GaveUp	Timeout	Timeout	Timeout	GaveUp
`COL006-2`	⁺3.70	10.60	7.40	⁺9.30	⁺213.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL006-3`	⁺266.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL006-4`	⁺261.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL043-2`	⁺62.70	3.50	0.30	⁺0.90	⁺49.70	0.10	Timeout	Timeout	Timeout	Timeout
`COL044-2`	⁺62.80	3.30	0.20	⁺0.60	⁺17.40	0.10	Timeout	Timeout	Timeout	Timeout
`COL044-3`	⁺62.70	3.40	0.30	⁺0.70	⁺17.30	128.70	Timeout	Timeout	Timeout	Timeout
`COL044-4`	⁺8.10	3.30	0.20	⁺0.60	⁺17.80	Timeout	Timeout	Timeout	Timeout	Timeout
`COL076-2`	Timeout	0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL078-1`	Timeout	1.90	1.80	⁺4.70	⁺201.40	Timeout	Timeout	Timeout	Timeout	Timeout
`COL079-2`	⁺34.40	347.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL088-2`^*	⁺64.80	280.40	Timeout	Timeout	⁺200.20	Timeout	⁺4.40	Timeout	Timeout	Timeout
`COL089-1`^*	⁺0.00	0.50	Timeout	Timeout	⁺0.20	19.10	⁺0.20	9.80	Timeout	Timeout
`COL089-2`^*	⁺64.90	281.40	Timeout	Timeout	Timeout	Timeout	⁺5.80	Timeout	Timeout	Timeout
`COL090-2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL090-3`^*	⁺28.70	0.20	143.50	⁺157.40	⁺1.90	0.10	⁺0.20	0.00	GaveUp	GaveUp
`COL091-1`^*	⁺0.00	19.20	0.00	⁺0.10	⁺0.10	0.10	⁺0.10	0.00	Timeout	Timeout
`COL091-2`^*	GaveUp	326.00	Timeout	Timeout	⁺302.60	59.50	⁺97.60	0.00	Timeout	Timeout
`COL092-1`^*	⁺0.10	40.70	21.40	⁺27.80	⁺9.50	26.20	⁺149.60	0.00	Timeout	Timeout
`COL092-2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	29.90	Timeout	Timeout
`COL093-1`^*	⁺0.00	37.40	18.20	⁺19.60	⁺21.10	26.20	⁺154.10	0.00	Timeout	Timeout
`COL093-2`^*	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL098-2`^*	⁺471.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL099-2`^*	⁺119.20	1.80	Timeout	Timeout	Timeout	0.30	⁺2.80	0.00	Timeout	Timeout
`COM003-1`	⁺0.10	2.00	0.10	⁺0.20	⁺0.20	21.70	Timeout	0.00	Timeout	Timeout
`COM005-1`^*	⁺61.90	Timeout	Timeout	Timeout	⁺82.70	Timeout	Timeout	Timeout	Timeout	Timeout
`FLD007-1`	⁺86.40	Timeout	Timeout	Timeout	Timeout	Timeout	⁺9.90	Timeout	Timeout	Timeout
`FLD009-1`	⁺0.90	11.30	18.60	⁺28.20	⁺99.90	Timeout	⁺29.10	Timeout	Timeout	Timeout
`FLD023-1`	⁺0.10	1.20	0.10	⁺0.40	⁺4.60	0.20	⁺0.10	Timeout	Timeout	Timeout
`FLD031-1`	⁺0.10	11.20	0.10	⁺0.40	⁺0.10	147.30	⁺2.00	173.60	Timeout	Timeout
`FLD047-4`	⁺3.80	Timeout	309.00	⁺310.50	⁺11.00	Timeout	⁺230.40	Unknown	Timeout	Timeout
`FLD050-4`	⁺5.40	56.80	23.70	⁺36.10	⁺0.60	62.10	⁺1.00	0.00	⁺450.30	⁺16.30
`FLD060-2`	⁺2.20	3.10	0.10	⁺0.30	⁺5.60	33.60	⁺8.80	0.00	Timeout	Timeout
`FLD062-3`	⁺2.80	106.70	5.70	⁺9.10	Timeout	46.30	⁺1.70	Timeout	Timeout	Timeout
`FLD063-1`	⁺15.60	187.40	125.70	⁺140.20	Timeout	Timeout	⁺29.00	Timeout	Timeout	Timeout
`GEO006-1`	⁺2.90	0.20	0.00	⁺0.10	⁺4.50	1.20	Timeout	Timeout	⁺299.90	⁺254.40
`GEO007-1`	⁺40.10	0.30	0.00	⁺0.10	⁺56.30	121.00	⁺535.30	Timeout	Timeout	Timeout
`GEO008-1`	⁺183.60	19.00	0.80	⁺1.60	⁺304.80	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO026-2`	⁺44.00	1.70	3.00	⁺5.10	⁺58.20	0.50	⁺1.00	Timeout	⁺9.80	⁺0.30
`GEO030-3`	⁺0.20	40.80	34.80	⁺48.30	⁺566.30	0.30	⁺0.10	Timeout	⁺0.00	⁺3.50
`GEO036-2`	⁺0.00	0.30	0.00	⁺0.10	⁺0.10	84.80	⁺2.30	Timeout	⁺9.80	⁺8.50
`GEO043-3`	⁺3.70	0.40	0.00	⁺0.10	⁺1.50	0.50	⁺0.30	0.00	⁺39.00	⁺88.60
`GEO045-2`	⁺74.60	Timeout	Timeout	Timeout	⁺29.50	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO083-1`	⁺71.80	1.80	Timeout	Timeout	⁺37.10	22.60	⁺0.20	Timeout	Timeout	Timeout
`GEO146-1`	⁺0.10	0.50	0.10	⁺0.20	⁺0.20	14.90	⁺1.20	Timeout	Timeout	Timeout
`GRP039-1`	⁺0.10	0.20	0.00	⁺0.10	⁺17.30	1.80	Timeout	29.70	Timeout	Timeout
`GRP039-2`	⁺0.40	0.40	0.20	⁺0.40	⁺0.00	0.70	Timeout	0.00	Timeout	Timeout
`GRP039-4`	⁺0.20	0.30	0.00	⁺0.20	⁺10.50	Timeout	⁺226.50	Unknown	Timeout	Timeout
`GRP039-5`	⁺0.50	1.50	0.10	⁺0.20	⁺0.00	27.50	Timeout	0.00	Timeout	Timeout
`GRP039-6`	⁺0.20	32.20	0.80	⁺1.80	⁺0.60	12.80	Timeout	0.00	Timeout	Timeout
`GRP039-7`	⁺0.30	1.80	0.10	⁺0.30	⁺0.00	62.80	459.70	0.00	Timeout	Timeout
`GRP040-3`	⁺0.30	0.60	0.10	⁺0.30	⁺9.50	26.50	Timeout	Timeout	⁺239.30	⁺88.80
`GRP040-4`	⁺0.00	0.30	0.20	⁺0.40	⁺2.10	0.10	⁺0.90	0.00	⁺59.80	⁺96.60
`GRP054-1`	⁺181.40	0.40	0.30	⁺0.80	⁺66.80	Timeout	Timeout	Timeout	GaveUp	GaveUp
`GRP084-1`^*	⁺374.60	WCout	Timeout	Timeout	⁺48.30	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP086-1`^*	⁺0.00	0.10	0.00	⁺0.10	⁺0.10	3.20	Timeout	0.00	⁺9.90	⁺0.10
`GRP113-1`	Timeout	21.70	21.50	⁺34.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP197-1`	⁺40.30	347.70	Timeout	GaveUp	⁺485.70	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP198-1`	⁺40.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP199-1`	⁺122.70	WCout	Timeout	Timeout	⁺532.70	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP273-1`	⁺5.50	0.50	0.40	⁺0.80	⁺5.00	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP401-1`	⁺34.40	27.50	26.60	⁺35.80	⁺42.20	Timeout	Timeout	Timeout	Timeout	Timeout
`HWC003-1`	⁺264.10	3.20	0.00	⁺0.10	Timeout	4.20	Timeout	39.50	⁺379.60	Timeout
`HWC003-2`	⁺262.20	3.30	0.00	⁺0.10	Timeout	4.10	Timeout	0.00	⁺9.90	GaveUp
`HWV002-1`	⁺14.30	53.90	50.40	⁺72.10	⁺100.90	Timeout	Timeout	Unknown	GaveUp	GaveUp
`HWV003-1`	Timeout	57.90	53.90	72.80	Timeout	Timeout	Timeout	Unknown	GaveUp	GaveUp
`HWV017-2`	⁺45.20	19.50	0.80	⁺1.90	⁺54.60	58.90	⁺487.70	0.00	Timeout	Timeout
`HWV018-2`	⁺0.10	0.60	0.10	⁺0.20	⁺0.10	26.30	⁺4.60	0.00	Timeout	Timeout
`HWV029-1`	⁺191.60	4.90	3.10	⁺6.20	⁺274.60	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV033-1`	Timeout	3.10	0.30	⁺0.80	⁺572.90	Timeout	⁺6.40	Timeout	Timeout	Timeout
`LAT001-1`	⁺197.80	Timeout	Timeout	Timeout	⁺94.80	Timeout	Timeout	Unknown	GaveUp	GaveUp
`LAT002-1`	⁺497.20	4.60	1.40	⁺5.00	Timeout	Timeout	Timeout	Unknown	GaveUp	GaveUp
`LAT003-1`	Timeout	44.90	26.40	⁺40.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT015-1`	⁺28.00	13.00	12.80	⁺27.70	⁺18.10	GaveUp	Timeout	Unknown	GaveUp	GaveUp
`LAT036-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺0.00	⁺1.80
`LAT041-1`	⁺109.70	Timeout	Timeout	Timeout	⁺87.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT066-1`	⁺16.60	11.50	11.60	⁺25.70	⁺171.30	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL012-1`	⁺21.60	22.50	3.10	⁺5.80	⁺6.90	Timeout	Timeout	Timeout	⁺189.60	⁺20.00
`LCL018-1`	⁺21.60	7.50	0.40	⁺0.90	⁺8.10	187.10	Timeout	Timeout	⁺411.00	⁺18.90
`LCL052-1`	⁺12.90	13.50	6.40	⁺8.60	⁺0.20	33.50	Timeout	Timeout	⁺9.80	⁺1.00
`LCL068-1`	⁺15.40	1.30	0.30	⁺0.70	⁺9.40	0.40	⁺430.00	0.00	⁺0.00	⁺9.20
`LCL109-3`	⁺0.70	2.90	2.70	⁺8.70	⁺23.80	Timeout	⁺37.90	Timeout	⁺189.70	⁺451.00
`LCL109-4`	⁺7.80	27.30	24.20	⁺33.70	⁺37.30	Timeout	Timeout	Unknown	Timeout	Timeout
`LCL152-1`	⁺126.80	21.00	17.80	⁺24.60	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`LCL166-1`	⁺22.10	8.50	0.30	⁺0.80	⁺47.00	Timeout	Timeout	Timeout	Timeout	⁺35.90
`LCL191-1`	⁺63.50	242.00	235.20	⁺233.50	⁺4.40	134.00	Timeout	0.00	⁺0.00	GaveUp
`LCL195-1`	⁺32.70	0.60	593.40	Timeout	⁺2.50	20.40	⁺2.40	0.00	⁺0.00	GaveUp
`LCL221-1`	⁺84.80	1.80	Timeout	Timeout	⁺172.00	21.20	⁺420.20	Timeout	GaveUp	GaveUp
`LCL222-3`	⁺53.00	55.60	52.30	⁺63.10	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL225-1`	⁺10.00	24.70	4.30	⁺6.40	⁺18.70	Timeout	Timeout	260.20	GaveUp	GaveUp
`LCL227-1`	⁺11.90	Timeout	Timeout	Timeout	⁺233.50	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL237-3`	⁺0.00	0.20	0.40	⁺1.00	⁺10.70	8.40	⁺15.30	0.00	⁺59.50	⁺1.10
`LCL243-3`	⁺8.60	5.60	2.50	⁺4.90	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL249-3`	⁺0.10	3.50	0.40	⁺0.80	⁺13.60	21.40	Timeout	Timeout	⁺169.80	⁺77.20
`LCL253-1`	⁺247.90	17.40	Timeout	Timeout	⁺438.30	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL253-3`	⁺2.40	5.70	2.60	⁺5.00	⁺435.80	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL278-3`	⁺37.10	23.10	19.90	⁺25.20	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL324-3`	⁺273.80	49.90	46.50	⁺58.60	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL341-3`	⁺0.10	4.40	1.30	⁺2.80	⁺38.40	127.30	Timeout	Timeout	Timeout	GaveUp
`MGT029-1`	⁺0.90	0.30	0.10	⁺0.30	⁺157.80	0.20	Timeout	0.00	Timeout	Timeout
`MGT035-1`	⁺2.10	13.90	0.20	⁺0.50	⁺157.90	1.00	Timeout	0.00	Timeout	Timeout
`MGT039-2`	⁺2.40	11.30	0.40	⁺0.70	⁺157.80	0.50	⁺299.50	0.00	GaveUp	Timeout
`MGT051-1`	⁺5.40	0.80	1.20	⁺2.50	⁺23.70	345.20	⁺8.00	Timeout	Timeout	Timeout
`MGT060-1`	⁺0.00	1.70	4.90	⁺12.90	⁺1.50	0.10	⁺1.50	0.00	⁺80.00	⁺0.10
`MGT063-1`	⁺0.20	0.30	0.00	⁺0.10	⁺14.80	4.80	Timeout	Timeout	Timeout	Timeout
`NUM007-1`	Timeout	205.30	186.40	224.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM011-1`	⁺60.60	13.00	15.10	⁺19.80	⁺24.90	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA004-2`	⁺0.00	6.20	0.00	⁺0.10	⁺67.70	0.10	⁺2.80	0.00	Timeout	Timeout
`PLA005-2`	⁺0.00	6.20	0.00	⁺0.10	⁺67.70	0.10	⁺325.20	0.00	Timeout	Timeout
`PLA009-2`	⁺0.10	6.20	0.00	⁺0.10	⁺67.80	0.10	⁺19.40	0.00	Timeout	Timeout
`PLA011-1`	⁺0.00	6.20	0.00	⁺0.10	⁺67.70	0.10	⁺226.60	0.00	Timeout	Timeout
`PLA012-1`	⁺0.00	6.40	0.10	⁺0.20	⁺68.00	4.20	Timeout	Unknown	Timeout	Timeout
`PLA021-1`	⁺0.10	6.20	0.00	⁺0.10	⁺67.80	0.10	⁺411.40	9.20	Timeout	Timeout
`PLA023-1`	⁺0.10	6.60	0.10	⁺0.20	⁺67.70	4.30	Timeout	Timeout	Timeout	Timeout
`PUZ035-7`	⁺0.00	0.20	0.00	⁺0.10	⁺0.00	0.10	⁺0.30	0.00	⁺309.60	Timeout
`PUZ039-1`	⁺60.30	1.60	3.80	⁺4.20	⁺0.10	21.60	Timeout	0.00	Unknown	⁺1.70
`PUZ040-1`	⁺60.40	0.20	0.10	⁺0.10	⁺0.10	20.10	Timeout	0.00	Unknown	⁺0.10
`PUZ042-1`	⁺60.40	2.40	49.90	⁺48.40	⁺0.20	22.40	Timeout	0.00	Unknown	⁺2.50
`PUZ056-1`^*	Timeout	225.80	222.20	305.00	Timeout	Timeout	Timeout	Timeout	⁺0.00	⁺0.90
`RNG001-2`	⁺17.00	584.50	Timeout	Timeout	⁺115.10	153.90	⁺5.80	Timeout	Timeout	⁺244.10
`RNG001-5`	⁺2.60	18.50	15.00	⁺23.00	⁺127.00	131.40	⁺3.00	Timeout	Timeout	⁺197.90
`RNG004-3`	⁺67.90	89.20	65.00	⁺77.10	⁺190.50	Timeout	⁺6.90	WCout	⁺0.00	⁺10.50
`RNG025-1`	⁺41.80	25.60	24.70	⁺34.50	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`RNG029-3`	⁺3.60	4.70	4.50	⁺8.80	⁺28.60	Timeout	Timeout	Timeout	Timeout	Timeout
`ROB014-1`	⁺221.70	15.10	12.00	⁺16.90	⁺501.10	Timeout	Timeout	Unknown	Timeout	GaveUp
`ROB015-2`	⁺128.50	5.20	2.10	⁺3.90	Timeout	Timeout	Timeout	Timeout	⁺169.60	Timeout
`ROB018-1`	⁺114.30	404.90	403.70	440.20	⁺339.80	Timeout	Timeout	Unknown	Timeout	GaveUp
`ROB019-1`	⁺114.20	403.90	399.80	443.30	⁺341.50	Timeout	Timeout	Unknown	Timeout	GaveUp
`SET010-1`	⁺