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`	⁺5.10	2.00	25.80	⁺29.00	⁺20.10	0.10	⁺1.40	0.00	Timeout	Timeout
`SET012-3`	⁺0.40	Timeout	293.10	⁺308.80	⁺15.10	Timeout	⁺60.10	Timeout	Timeout	Timeout
`SET013-1`	⁺0.00	11.60	4.00	⁺7.40	⁺1.10	Timeout	⁺0.90	Timeout	Timeout	Timeout
`SET013-2`	⁺0.10	74.10	12.90	⁺19.50	⁺4.60	35.10	Timeout	0.00	⁺459.80	⁺314.30
`SET014-3`	⁺90.00	Timeout	Timeout	Timeout	Timeout	Timeout	⁺20.70	Timeout	Timeout	Timeout
`SET014-4`	⁺70.70	9.40	7.60	⁺11.60	⁺59.50	Timeout	⁺0.20	Timeout	Timeout	Timeout
`SET015-1`	⁺10.80	11.10	4.80	⁺9.10	⁺1.00	Timeout	⁺2.00	Timeout	Timeout	Timeout
`SET016-3`	⁺34.80	Timeout	Timeout	Timeout	⁺14.60	150.10	Timeout	Timeout	Timeout	Timeout
`SET019-4`	⁺8.70	0.40	21.30	⁺29.20	⁺186.40	205.20	⁺2.10	Timeout	⁺170.10	⁺1.60
`SET021-3`	Timeout	0.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET022-3`	⁺60.60	6.70	5.30	⁺7.60	⁺14.10	Timeout	⁺13.20	Timeout	Timeout	Timeout
`SET025-8`	⁺0.10	0.40	0.10	⁺0.10	⁺0.20	0.60	⁺56.70	0.00	Timeout	Timeout
`SET031-3`	⁺76.90	19.50	17.30	⁺19.30	⁺287.10	Timeout	⁺3.70	Timeout	Timeout	Timeout
`SET041-3`	⁺7.40	0.40	27.60	⁺29.40	⁺12.80	3.70	⁺3.20	0.00	Timeout	Timeout
`SET082-6`	⁺0.60	7.50	0.10	⁺0.20	⁺0.30	26.80	⁺1.00	Timeout	⁺129.80	⁺2.20
`SET121-7`	⁺15.80	15.10	11.90	⁺24.50	⁺11.70	60.90	⁺4.00	Unknown	Timeout	Timeout
`SET199-6`	⁺0.10	0.40	0.70	⁺1.40	⁺14.30	110.70	⁺1.20	190.10	Timeout	Timeout
`SET215-6`	⁺0.80	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout
`SET230-6`	⁺2.40	Timeout	Timeout	Timeout	⁺218.70	Timeout	Timeout	Timeout	Timeout	Timeout
`SET235-6`	⁺0.00	11.40	1.20	⁺2.50	⁺117.20	35.80	⁺10.20	119.80	Timeout	Timeout
`SET260-6`	⁺21.60	Timeout	Timeout	Timeout	⁺22.20	Timeout	Timeout	Timeout	Timeout	Timeout
`SET386-6`	⁺0.20	0.80	0.00	⁺0.20	⁺0.40	26.50	⁺1.10	10.00	Timeout	⁺273.50
`SET787-1`^*	⁺67.90	0.20	Timeout	Timeout	⁺6.30	26.20	⁺0.10	0.00	⁺0.00	⁺0.20
`SET787-2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺101.90	Timeout	Timeout	Timeout
`SWC113-1`	Timeout	9.00	8.70	⁺17.90	Timeout	185.10	Timeout	WCout	Timeout	Timeout
`SWC123-1`	⁺26.00	0.80	0.60	⁺1.60	⁺187.40	Timeout	Timeout	WCout	Timeout	Timeout
`SWC166-1`	⁺7.20	44.90	44.50	⁺57.20	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SWC286-1`	⁺0.10	0.20	0.10	⁺0.20	⁺0.10	0.70	Timeout	0.00	⁺230.20	⁺185.10
`SWC293-1`	⁺0.10	0.20	0.10	⁺0.20	⁺0.00	1.40	Timeout	0.00	Timeout	Timeout
`SWC295-1`	⁺487.10	1.80	1.60	⁺4.10	⁺546.10	Timeout	Timeout	WCout	Timeout	Timeout
`SWC375-1`	⁺0.00	0.20	0.00	⁺0.10	⁺0.00	0.30	Timeout	0.00	⁺0.00	⁺0.20
`SWV014-1`	⁺0.00	6.20	0.00	⁺0.10	⁺67.40	Timeout	⁺10.20	WCout	Timeout	Timeout
`SYN036-1`	⁺0.10	0.50	14.40	⁺19.20	⁺0.10	1.40	Timeout	Timeout	Timeout	Timeout
`SYN036-4`	⁺0.00	0.10	0.10	⁺0.20	⁺0.10	0.10	Timeout	0.00	⁺39.50	⁺19.20
`SYN067-1`	⁺60.50	6.80	6.90	⁺9.50	⁺7.50	5.70	Timeout	29.70	Timeout	Timeout
`SYN067-2`	⁺61.00	83.80	22.50	⁺28.80	⁺29.20	12.00	Timeout	49.70	Timeout	Timeout
`SYN076-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SYN077-1`	⁺0.00	0.30	0.00	⁺0.10	⁺0.00	0.10	⁺435.30	0.00	Timeout	Timeout
`SYN311-1`	⁺0.00	6.20	0.00	⁺0.10	⁺22.90	0.10	⁺0.10	0.00	GaveUp	GaveUp
`SYN312-1`	⁺4.70	6.20	0.00	⁺0.10	⁺3.90	0.10	⁺1.00	0.00	GaveUp	GaveUp
`SYN314-1.002.001`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`SYN353-1`	⁺0.00	0.20	0.00	⁺0.10	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN597-1`	⁺206.90	6.20	2.10	⁺2.50	⁺68.10	0.10	⁺0.10	Timeout	⁺360.00	GaveUp
`SYN602-1`	⁺34.10	0.50	3.60	⁺5.70	⁺67.70	0.10	⁺0.40	0.00	⁺9.30	⁺24.20
`SYN603-1`	⁺211.10	3.00	3.10	⁺5.50	⁺67.60	95.70	⁺0.50	70.00	⁺9.90	Timeout
`SYN609-1`	⁺60.50	0.20	2.40	⁺3.50	Timeout	22.10	⁺5.60	Timeout	Timeout	Timeout
`SYN610-1`	⁺60.50	0.20	33.00	⁺36.30	Timeout	22.20	⁺4.10	Timeout	Timeout	Timeout
`SYN611-1`	⁺60.60	0.20	1.80	⁺2.50	⁺249.40	22.10	⁺0.20	Timeout	Timeout	Timeout
`SYN612-1`	⁺60.60	0.20	2.90	⁺4.00	⁺16.40	22.10	⁺0.20	Timeout	Timeout	Timeout
`SYN650-1`	⁺196.60	11.20	0.90	⁺1.40	Timeout	8.80	Timeout	Timeout	Timeout	Timeout
`SYN653-1`	⁺16.80	0.20	22.40	⁺24.50	⁺0.10	0.30	Timeout	0.00	Timeout	Timeout
`SYN704-1`	⁺0.10	0.20	4.30	⁺7.00	⁺0.10	0.30	⁺0.50	0.00	⁺9.90	⁺0.10
`SYN708-1`	⁺4.50	6.20	30.40	⁺37.50	⁺0.20	2.00	⁺1.60	Timeout	Timeout	Timeout
`SYN711-1`	⁺0.10	0.30	6.80	⁺9.20	⁺0.10	0.10	Unknown	0.00	⁺319.80	GaveUp
`SYN755-1`	⁺0.20	0.20	0.10	⁺0.20	⁺0.20	0.10	Timeout	0.00	Timeout	Timeout
`SYN758-1`	⁺60.80	1.00	8.50	⁺9.40	⁺83.30	0.50	Timeout	Timeout	Timeout	Timeout
`SYN796-1`	⁺4.40	2.00	0.10	⁺0.20	⁺2.90	0.70	Timeout	Timeout	Timeout	Timeout
`SYN802-1`	⁺66.20	68.50	7.20	⁺9.70	⁺197.00	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	200	200	200	200	200	200	200	200	200	200
Solved	180	174	162	161	157	103	83	66	39	37
Av. Time	51.36	36.02	26.41	27.69	80.33	33.19	73.25	17.13	124.20	74.56
Solutions	180	0	0	156	157	0	82	0	39	37
New Attempted	20	20	20	20	20	20	20	20	20	20
New Solved	14	13	7	7	12	10	11	11	3	3

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

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

Results for FOF

FOF	Vampire 7.0	Vampire 5.0	E-SETHEO csp04	E 0.82	EP 0.82	DCTP 10.21p	Otter 3.3	Dilemma 0.1
`AGT006+1`^*	GaveUp	Timeout	11.40	Timeout	Timeout	0.60	⁺7.60	Timeout
`ALG033+1`^*	GaveUp	Unknown	GaveUp	GaveUp	GaveUp	GaveUp	GaveUp	Timeout
`ALG042+1`^*	⁺0.10	⁺0.10	1.30	0.10	⁺0.20	1.30	⁺9.00	Timeout
`ALG043+1`^*	GaveUp	Unknown	GaveUp	GaveUp	GaveUp	GaveUp	GaveUp	Timeout
`ALG060+1`^*	GaveUp	Unknown	GaveUp	GaveUp	GaveUp	GaveUp	GaveUp	Timeout
`ALG071+1`^*	⁺1.50	⁺0.60	88.50	83.60	⁺93.80	Timeout	GaveUp	Timeout
`ALG072+1`^*	⁺49.60	⁺43.20	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`ALG079+1`^*	⁺0.30	⁺0.20	9.90	0.10	⁺0.20	9.90	⁺17.50	Timeout
`ALG087+1`^*	⁺0.20	⁺0.10	11.40	0.10	⁺0.20	11.30	⁺17.00	Timeout
`ALG110+1`^*	⁺401.80	⁺560.00	15.30	0.70	⁺4.40	15.30	GaveUp	Timeout
`ALG170+1`^*	⁺35.60	Timeout	125.80	2.30	⁺5.30	238.00	GaveUp	Timeout
`ALG189+1`^*	GaveUp	Unknown	GaveUp	GaveUp	GaveUp	GaveUp	GaveUp	Timeout
`COM003+1`	⁺0.20	⁺0.00	61.80	0.40	⁺0.90	256.30	Timeout	0.20
`COM003+3`	⁺0.30	⁺0.10	0.20	0.10	⁺0.20	0.80	Timeout	0.20
`GEO082+1`	⁺0.10	⁺7.70	16.00	0.20	⁺0.30	0.30	⁺0.70	Timeout
`GEO087+1`	⁺14.10	⁺0.10	0.30	0.00	⁺0.10	0.10	⁺0.60	Timeout
`GEO093+1`	⁺80.90	⁺10.40	0.20	48.30	⁺61.40	Timeout	Timeout	Timeout
`GEO146+1`	⁺0.10	⁺0.20	0.60	0.10	⁺0.20	187.90	Timeout	WCout
`GEO147+1`	⁺0.00	⁺0.20	0.50	0.00	⁺0.10	0.20	⁺25.60	Timeout
`HAL006+1`	⁺155.60	Timeout	37.20	125.70	⁺144.30	Timeout	⁺12.00	Timeout
`MGT025+1`	⁺0.10	⁺0.00	0.30	0.00	⁺0.10	0.10	Timeout	Timeout
`MGT039+1`	⁺0.10	⁺0.00	0.20	0.00	⁺0.10	0.10	⁺0.40	0.20
`MGT050+1`	⁺0.20	⁺0.00	0.30	0.10	⁺0.20	81.30	⁺324.90	Timeout
`MGT054+1`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	Timeout	Timeout
`MGT063+1`	⁺77.00	⁺8.50	0.30	0.10	⁺0.20	Timeout	Timeout	Timeout
`NLP001+1`	⁺0.10	⁺0.00	0.30	0.20	⁺0.40	0.20	Timeout	0.10
`NLP079+1`	⁺25.50	⁺10.90	99.90	26.80	⁺29.50	Timeout	GaveUp	Timeout
`NLP080+1`	⁺22.20	⁺11.10	92.60	25.40	⁺28.90	Timeout	GaveUp	Timeout
`NLP094+1`	⁺0.90	⁺0.20	116.90	60.70	⁺69.00	40.90	Timeout	0.20
`NLP117+1`	⁺0.30	⁺0.10	0.40	0.20	⁺0.50	0.40	Timeout	0.10
`NLP122+1`	⁺0.20	⁺0.00	0.40	0.20	⁺0.50	0.30	Timeout	0.10
`SET009+3`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	⁺0.00	0.00
`SET011+3`	⁺62.70	⁺2.70	29.40	11.70	⁺19.70	Timeout	Timeout	Timeout
`SET056+1`^*	⁺2.70	⁺0.00	0.50	0.10	⁺0.30	4.30	⁺2.90	Timeout
`SET083+1`	⁺0.10	⁺0.00	0.80	0.20	⁺0.60	0.20	⁺0.80	Timeout
`SET099+1`^*	⁺230.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET103+1`	⁺0.00	⁺0.20	18.70	0.20	⁺0.50	Timeout	⁺17.60	Timeout
`SET108+1`	⁺0.00	⁺0.00	0.30	0.10	⁺0.30	0.20	Timeout	Timeout
`SET144+3`	⁺176.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET159+3`	⁺100.00	⁺12.60	22.70	7.20	⁺17.30	Timeout	Timeout	Timeout
`SET577+3`	⁺18.30	⁺0.00	0.60	0.00	⁺0.10	87.00	Timeout	Timeout
`SET587+3`	⁺36.60	⁺0.00	0.30	0.10	⁺0.20	Timeout	Timeout	Timeout
`SET588+3`	⁺0.00	⁺0.00	0.20	0.40	⁺0.90	0.10	⁺1.00	0.00
`SET593+3`	⁺0.00	⁺13.80	18.40	0.10	⁺0.20	0.60	Timeout	Timeout
`SET594+3`	⁺0.10	⁺8.50	20.60	37.50	⁺51.60	0.60	Timeout	Timeout
`SET595+3`	⁺108.60	⁺4.10	0.30	5.50	⁺9.00	Timeout	Timeout	Timeout
`SET598+3`	⁺0.00	⁺1.80	0.30	0.00	⁺0.10	26.20	⁺0.10	Timeout
`SET603+3`	⁺0.10	⁺0.00	0.20	0.00	⁺0.10	60.30	⁺35.90	Timeout
`SET606+3`	⁺62.20	⁺5.30	48.60	29.50	⁺36.00	Timeout	Timeout	Timeout
`SET608+3`	⁺82.90	⁺3.80	WCout	399.40	465.80	Timeout	Timeout	Timeout
`SET609+3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET611+3`	⁺60.40	⁺0.10	22.80	22.20	⁺29.50	Timeout	⁺121.20	Timeout
`SET614+3`	⁺116.00	⁺118.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET621+3`	⁺286.50	⁺191.20	0.30	0.00	⁺0.10	Timeout	⁺0.10	Timeout
`SET634+3`	⁺110.60	⁺20.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET647+3`	⁺64.50	⁺4.00	19.50	0.40	⁺0.70	132.20	Timeout	Timeout
`SET648+3`	⁺64.50	⁺4.00	19.30	0.40	⁺0.60	132.10	Timeout	Timeout
`SET656+3`	⁺0.60	⁺62.60	0.40	0.00	⁺0.20	0.60	⁺83.50	0.20
`SET660+3`	⁺13.90	⁺1.20	21.10	25.50	⁺31.00	Timeout	Timeout	Timeout
`SET664+3`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	⁺0.10	Timeout
`SET665+3`	⁺59.60	Timeout	21.10	Timeout	Timeout	86.00	Timeout	Timeout
`SET666+3`	⁺0.00	⁺0.00	0.20	0.10	⁺0.10	2.10	Timeout	Timeout
`SET667+3`	⁺0.10	⁺0.70	0.70	0.10	⁺0.20	Timeout	Timeout	Timeout
`SET668+3`	⁺0.30	⁺0.20	3.20	0.20	⁺0.40	0.20	Timeout	Unknown
`SET673+3`	⁺47.10	⁺76.20	3.00	Timeout	Timeout	Timeout	Timeout	Timeout
`SET678+3`	⁺1.80	⁺5.30	7.70	3.20	⁺5.00	Timeout	Timeout	Timeout
`SET684+3`	⁺0.30	⁺19.00	22.30	3.60	⁺6.00	60.70	Timeout	Timeout
`SET715+4`	⁺135.10	⁺127.00	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SET735+4`	GaveUp	⁺0.70	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SET764+4`	⁺0.10	⁺0.40	0.60	0.10	⁺0.20	8.80	Timeout	Timeout
`SWC124+1`	⁺6.30	⁺2.10	1.40	1.20	⁺2.40	0.50	Timeout	Timeout
`SWC170+1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC171+1`	⁺45.30	Timeout	23.00	22.20	⁺32.20	Timeout	Timeout	Timeout
`SWC258+1`	⁺0.30	⁺0.10	0.20	0.10	⁺0.20	0.20	Timeout	Timeout
`SWC339+1`	⁺0.10	⁺0.00	0.30	0.10	⁺0.20	0.30	⁺1.60	Timeout
`SWV014+1`	⁺0.00	⁺0.00	6.20	0.00	⁺0.10	Timeout	Timeout	Timeout
`SYN067+1`	⁺5.80	⁺0.10	78.80	15.50	⁺18.10	11.60	Timeout	Timeout
`SYN332+1`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	GaveUp	Timeout
`SYN353+1`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout
`SYN462+1`	⁺0.70	⁺0.10	4.80	20.30	⁺29.10	4.80	Timeout	Timeout
`SYN471+1`	⁺1.30	⁺0.30	22.00	21.20	⁺28.90	21.90	Timeout	Timeout
`SYN474+1`	⁺2.20	⁺0.20	6.00	47.90	⁺56.80	5.90	Timeout	Timeout
`SYN488+1`	⁺1.50	⁺0.90	57.10	57.00	⁺66.60	57.00	Timeout	Timeout
`SYN489+1`	⁺1.70	⁺0.30	24.40	60.40	⁺80.70	24.30	Timeout	Timeout
`SYN499+1`	⁺0.80	⁺0.40	6.30	10.20	⁺15.90	6.20	Timeout	Timeout
`SYN548+1`	⁺0.10	⁺101.30	49.50	16.40	⁺19.10	0.20	⁺105.10	Timeout
`SYN550+1`	⁺0.20	⁺0.10	49.20	29.70	⁺39.30	0.40	Timeout	0.20
`SYN551+2`	⁺0.00	⁺0.00	5.60	12.50	⁺18.10	Timeout	Timeout	Timeout
Attempted	88	88	88	88	88	88	88	88
Solved	80	75	74	72	72	52	23	11
Av. Time	34.69	19.25	18.00	17.19	21.19	30.41	34.14	0.14
Solutions	80	75	0	0	71	0	23	0
New Attempted	14	14	14	14	14	14	14	14
New Solved	9	7	8	7	7	7	5	0

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

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

Results for SAT

SAT	Gandalf c-2.6-SAT	Paradox 1.0	Paradox 1.1-casc	Mace4 2004-D	Mace2 2.2	E-SETHEO csp04-SAT	DCTP 10.21p-SAT	DCTP 1.31-SAT
`ANA006-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`ANA006-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.00	34.10	0.10	0.00
`BOO033-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`BOO061-1`	⁺159.80	⁺9.70	⁺8.80	Timeout	⁺161.70	WCout	Timeout	Timeout
`CAT001-2`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout	Unknown
`CAT002-2`	⁺0.00	⁺0.20	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout	Unknown
`COL047-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`COL071-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`GEO078-6`^*	⁺189.80	⁺0.20	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO078-7`^*	⁺0.00	⁺0.20	⁺0.10	Timeout	⁺63.70	Timeout	Timeout	Timeout
`GEO162-1`^*	⁺150.10	⁺0.20	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO163-1`^*	360.00	⁺0.10	⁺0.10	Timeout	⁺0.10	Timeout	Timeout	Timeout
`GRP024-4`	⁺0.00	⁺0.30	⁺0.20	⁺0.10	Timeout	Timeout	Timeout	Timeout
`GRP026-4`	⁺0.00	⁺0.20	⁺0.20	⁺0.10	Timeout	WCout	WCout	Timeout
`GRP027-2`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout	WCout
`GRP392-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.10	0.10	0.10	0.00
`GRP394-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.10	0.10	0.10	0.00
`GRP395-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.10	0.10	0.10	0.00
`GRP397-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.20	0.10	0.00
`GRP398-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.10	0.10	0.00
`HEN013-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.10	0.10	0.00
`HEN013-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.10	0.10	0.10	0.00
`HWV035-2`^*	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.10	0.10	0.10	0.00
`HWV036-2`^*	⁺0.00	⁺0.10	⁺0.00	⁺0.00	⁺0.10	0.10	0.10	0.00
`LAT046-1`	⁺0.00	⁺0.60	⁺0.30	⁺0.00	⁺0.50	Timeout	Timeout	Timeout
`LAT048-1`	⁺0.00	⁺0.60	⁺0.20	⁺0.10	⁺0.10	Timeout	Timeout	Timeout
`LAT049-1`	⁺0.00	⁺1.60	⁺0.70	⁺0.10	⁺0.60	Timeout	Timeout	Unknown
`LAT050-1`	⁺0.00	⁺7.80	⁺8.70	⁺0.20	⁺100.10	Timeout	Timeout	Timeout
`LAT052-1`	⁺0.00	⁺5.70	⁺2.10	⁺0.10	⁺2.90	Timeout	Timeout	Timeout
`LAT063-1`	⁺0.00	⁺9.60	⁺3.50	⁺0.20	⁺67.40	Timeout	Timeout	Timeout
`LCL137-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout	Timeout
`LCL168-1`	⁺0.00	⁺0.40	⁺0.60	⁺5.80	⁺13.80	Timeout	Timeout	Timeout
`LCL180-1`	⁺159.80	⁺1.20	⁺0.90	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL219-1`	355.20	⁺13.20	⁺1.70	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL220-1`	359.90	⁺45.60	⁺12.80	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL235-1`	329.90	⁺1.90	⁺3.90	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL239-1`	330.10	⁺3.60	⁺2.20	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL242-1`	369.40	⁺7.80	⁺57.10	Timeout	Timeout	Timeout	Timeout	Unknown
`LCL245-1`	481.40	⁺64.60	⁺14.80	Timeout	Timeout	Timeout	Timeout	Unknown
`LCL247-1`	340.30	⁺23.80	⁺59.30	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL248-1`	379.90	⁺14.90	⁺6.00	Timeout	Timeout	Timeout	Timeout	Unknown
`LCL252-1`	361.00	⁺90.10	⁺63.70	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.10	⁺0.10	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`LCL288-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Unknown
`LCL411-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	6.10	0.00	0.00
`LCL411-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.00	0.10	0.10	0.00
`LCL415-1`	Unknown	Timeout	Timeout	Timeout	Timeout	0.10	WCout	Unknown
`NLP030-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	GaveUp	165.00	0.10	Timeout
`NLP034-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.00	GaveUp	0.10	14.10	Timeout
`NLP050-1`	231.80	WCout	GaveUp	Timeout	GaveUp	0.10	0.10	0.00
`NLP051-1`	229.90	WCout	GaveUp	Timeout	GaveUp	0.10	0.10	0.00
`NLP053-1`	229.90	Timeout	GaveUp	Timeout	GaveUp	0.10	0.10	0.00
`NLP057-1`	Timeout	⁺53.00	⁺0.80	Timeout	GaveUp	0.10	0.10	0.00
`NLP062-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	GaveUp	0.10	0.10	0.00
`NLP063-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	GaveUp	164.70	569.30	0.00
`NLP091-1`	Timeout	Timeout	GaveUp	Timeout	GaveUp	0.20	0.10	0.00
`NLP161-1`	⁺180.10	⁺0.10	⁺0.10	⁺0.80	Timeout	0.20	0.10	0.00
`NLP162-1`	⁺159.80	⁺0.10	⁺0.10	⁺0.90	Timeout	0.10	0.10	0.00
`NLP183-1`	109.50	⁺0.40	⁺0.20	GaveUp	Timeout	Timeout	Timeout	Timeout
`NLP187-1`	299.50	⁺0.40	⁺0.20	GaveUp	Timeout	21.30	Timeout	Timeout
`NLP190-1`	372.20	⁺0.10	⁺0.10	⁺17.50	Timeout	0.20	0.20	0.00
`NLP191-1`	360.10	⁺0.10	⁺0.10	⁺17.20	Timeout	0.20	0.20	0.00
`NLP211-1`	229.70	⁺0.70	⁺0.40	GaveUp	Timeout	76.40	18.20	WCout
`NLP212-1`	238.80	⁺1.10	⁺0.30	GaveUp	Timeout	Timeout	Timeout	Timeout
`NLP214-1`	249.90	⁺0.80	⁺0.40	GaveUp	Timeout	Timeout	Timeout	WCout
`NLP216-1`	200.00	⁺0.80	⁺0.30	GaveUp	Timeout	Timeout	Timeout	WCout
`NLP219-1`	220.30	⁺0.80	⁺0.40	GaveUp	Timeout	Timeout	Timeout	Timeout
`NUM288-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.10	26.10	0.10	0.00
`PUZ015-1`	⁺279.70	⁺17.70	⁺3.40	Timeout	GaveUp	Timeout	WCout	WCout
`PUZ015-3`^*	109.80	⁺7.30	⁺2.90	Timeout	GaveUp	Timeout	Timeout	Timeout
`PUZ058-1`^*	⁺120.80	⁺0.10	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG031-7`	⁺160.00	⁺61.30	Timeout	⁺0.50	Timeout	Timeout	Timeout	Timeout
`RNG043-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.10	0.20	0.10	0.00
`ROB029-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.10	0.10	0.00
`SWV012-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	GaveUp	6.10	0.10	0.00
`SWV021-1`^*	Timeout	GaveUp	GaveUp	Timeout	Timeout	0.20	Timeout	Timeout
`SYN750-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout	Timeout
`SYN753-1`	⁺19.60	⁺0.10	⁺0.10	⁺0.10	⁺0.10	Timeout	Timeout	Timeout
`SYN763-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.00	0.10	0.10	Timeout
`SYN766-1`	⁺0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.10	GaveUp	Timeout	Timeout
`SYN770-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	⁺0.00	Timeout	Timeout	Timeout
`SYN773-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.10	70.10	0.10	Timeout
`SYN786-1`	⁺200.10	⁺0.10	⁺0.10	⁺0.10	⁺0.10	0.10	0.10	0.00
`SYN789-1`	238.00	⁺0.10	⁺0.10	⁺0.90	⁺0.10	Timeout	Timeout	Timeout
`SYN790-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.10	151.30	32.10	Timeout
`SYN903-1`	350.30	⁺0.50	⁺0.40	Timeout	GaveUp	1.20	1.10	0.00
`SYN905-1`	351.10	⁺1.10	⁺0.90	Timeout	GaveUp	4.80	4.90	0.00
`SYN907-1`	350.20	⁺1.00	⁺0.80	Timeout	GaveUp	3.00	2.90	0.00
`SYN909-1`	350.20	⁺1.50	⁺1.20	Timeout	GaveUp	2.30	2.30	0.00
`SYN910-1`	Unknown	⁺2.30	⁺1.80	Timeout	GaveUp	5.00	5.20	0.00
`SYN912-1`	369.80	⁺3.20	⁺2.50	Timeout	GaveUp	9.80	10.10	0.00
`SYN913-1`	359.30	⁺2.40	⁺1.90	Timeout	GaveUp	66.40	Timeout	Timeout
`TOP003-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.10	⁺0.00	0.10	0.10	0.00
`TOP005-1`	⁺320.10	⁺4.50	⁺0.30	Timeout	GaveUp	Timeout	Timeout	Timeout
`TOP008-1`	⁺89.80	⁺0.30	⁺0.20	Timeout	GaveUp	Timeout	Timeout	Timeout
`TOP010-1`	⁺0.00	⁺0.20	⁺0.20	Timeout	GaveUp	0.20	14.10	Timeout
`TOP013-1`	⁺89.40	⁺0.30	⁺0.20	Timeout	GaveUp	Timeout	Timeout	Timeout
`TOP017-1`	⁺90.00	⁺0.30	⁺0.20	Timeout	GaveUp	Timeout	Timeout	Timeout
`TOP018-1`	⁺89.90	⁺0.30	⁺0.20	Timeout	GaveUp	Timeout	Timeout	Timeout
Attempted	100	100	100	100	100	100	100	100
Solved	95	94	92	55	46	46	42	35
Av. Time	121.85	4.99	2.94	0.85	8.98	17.77	16.13	0.00
Solutions	65	94	92	55	46	0	0	0
New Attempted	9	9	9	9	9	9	9	9
New Solved	8	8	7	2	4	3	2	2

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

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

Results for EPR

EPR	DCTP 10.21p	E-SETHEO csp04	DCTP 1.31-EPR	DCTP 1.3-EPR	Paradox 1.1-casc	Vampire 7.0
`GRP123-1.005`	0.20	0.20	0.00	0.00	⁺0.10	Timeout
`GRP123-2.005`	0.10	0.20	0.00	0.00	⁺0.10	Timeout
`GRP123-7.005`	0.10	0.20	0.00	0.00	⁺0.10	Timeout
`GRP124-1.005`	0.20	0.30	0.00	0.00	⁺0.00	Timeout
`GRP124-7.005`	0.20	0.30	0.00	0.00	⁺0.10	Timeout
`GRP124-8.005`	18.40	18.50	29.90	29.80	⁺0.10	Timeout
`GRP126-2.005`	0.10	0.10	0.00	0.00	⁺0.00	Timeout
`GRP127-1.005`	0.10	0.20	0.00	0.00	⁺0.00	Timeout
`GRP128-2.006`	0.80	0.90	0.00	0.00	0.10	Timeout
`GRP128-3.005`	0.40	0.50	0.00	0.00	0.10	Timeout
`GRP129-2.005`	0.10	0.20	0.00	0.00	⁺0.00	Timeout
`GRP131-2.005`	1.40	1.50	279.80	312.00	⁺0.00	Timeout
`GRP132-1.005`	0.60	0.60	30.00	29.80	⁺0.10	Timeout
`GRP134-2.005`	0.20	0.20	0.00	0.00	⁺0.00	Timeout
`GRP135-1.005`	1.50	1.50	19.90	19.80	⁺0.10	Timeout
`LAT005-1`	1.40	1.40	390.10	350.20	Timeout	⁺558.30
`MGT066-1`	0.10	0.10	0.00	0.00	⁺0.00	Timeout
`PUZ018-2`	0.10	0.10	0.00	0.00	⁺0.00	Timeout
`PUZ036-1.005`	0.10	0.20	0.00	0.00	Timeout	⁺0.00
`PUZ037-1`	0.10	0.20	0.00	0.00	GaveUp	⁺0.00
`PUZ037-2`	0.90	0.90	0.00	0.00	GaveUp	⁺0.10
`PUZ037-3`	7.80	7.90	0.00	0.00	GaveUp	⁺3.60
`SYN307-1`	0.10	0.10	0.00	0.00	⁺0.00	Timeout
`SYN418-1`	1.80	1.80	0.00	0.00	⁺0.40	Timeout
`SYN424-1`	4.70	4.80	0.00	0.00	⁺0.60	Timeout
`SYN427-1`	3.20	3.30	0.00	0.00	⁺1.10	Timeout
`SYN434-1`	65.10	197.90	Timeout	Timeout	⁺0.20	5.50
`SYN440-1`	99.90	233.00	Timeout	Timeout	Timeout	⁺1.10
`SYN441-1`	93.70	227.50	Timeout	Timeout	⁺0.30	5.40
`SYN447-1`	171.30	304.50	Timeout	Timeout	64.00	⁺0.30
`SYN448-1`	13.40	13.50	19.80	19.70	3.10	⁺0.50
`SYN449-1`	17.00	17.00	60.00	60.00	⁺0.50	2.70
`SYN457-1`	105.10	238.40	Timeout	Timeout	Timeout	⁺0.80
`SYN460-1`	126.30	259.20	Timeout	Timeout	35.70	⁺0.30
`SYN464-1`	70.60	203.90	Timeout	Timeout	⁺0.20	5.70
`SYN470-1`	23.50	23.60	69.40	69.20	273.80	⁺0.90
`SYN472-1`	25.90	26.00	110.40	110.00	52.60	⁺0.40
`SYN473-1`	21.00	21.00	150.00	169.70	341.00	⁺0.60
`SYN474-1`	4.40	4.50	30.00	30.00	121.30	⁺0.60
`SYN476-1`	56.10	56.20	99.90	110.10	69.50	⁺1.00
`SYN480-1`	17.30	17.30	19.90	29.70	15.20	⁺0.40
`SYN481-1`	21.80	22.00	50.50	49.80	139.30	⁺0.90
`SYN487-1`	21.40	21.40	29.90	29.70	Timeout	⁺4.00
`SYN488-1`	56.30	56.40	69.80	70.00	257.20	⁺1.60
`SYN489-1`	26.10	26.10	19.70	20.00	450.10	⁺1.00
`SYN498-1`	32.30	32.40	60.00	60.00	31.80	⁺0.30
`SYN503-1`	16.30	16.20	19.90	19.90	31.90	⁺3.90
`SYN511-1`	7.30	7.30	20.00	19.60	73.10	⁺0.50
`SYN514-1`	1.00	1.10	0.00	0.00	⁺0.30	Timeout
`SYN518-1`	1.90	1.90	0.00	0.00	⁺0.50	Timeout
`SYN543-1`	56.90	57.10	560.50	560.50	⁺0.20	Timeout
`SYN544-1`	0.70	0.70	0.00	0.00	⁺0.50	Timeout
`SYN546-1`	5.10	5.20	0.00	0.00	⁺0.50	Timeout
`SYN815-1`	28.00	28.00	20.00	220.00	GaveUp	27.00
`SYN816-1`	26.80	25.90	19.70	210.00	102.00	25.50
`SYN817-1`	31.90	32.00	18.50	290.40	GaveUp	27.50
`SYN820-1`	13.00	13.10	9.90	10.00	3.70	⁺7.00
`SYN825-1`	36.10	37.20	19.90	80.10	GaveUp	GaveUp
`SYN828-1`	15.10	15.20	0.00	29.80	GaveUp	11.40
`SYN829-1`	69.90	70.00	39.80	160.10	Unknown	GaveUp
`SYN830-1`	77.80	78.10	37.90	198.10	GaveUp	GaveUp
`SYN839-1`	97.50	92.20	49.90	220.10	GaveUp	GaveUp
`SYN840-1`	92.40	92.40	49.90	259.90	GaveUp	GaveUp
`SYN846-1`	18.50	18.60	9.60	9.80	20.60	⁺5.10
`SYN850-1`	23.40	23.40	9.90	59.80	GaveUp	⁺18.70
`SYN851-1`	21.80	21.80	9.90	49.80	GaveUp	14.50
`SYN852-1`	124.30	126.70	68.20	328.90	GaveUp	GaveUp
`SYN854-1`	120.30	120.80	69.80	310.00	GaveUp	GaveUp
`SYN861-1`	24.20	24.20	9.90	60.00	GaveUp	⁺19.30
`SYN862-1`	24.80	24.90	9.90	70.00	GaveUp	⁺19.10
`SYN866-1`	24.00	24.10	9.80	69.80	GaveUp	⁺18.70
`SYN885-1`	1.40	1.40	0.00	0.00	19.40	⁺4.10
`SYN886-1`	1.20	1.30	0.00	0.00	19.80	⁺2.80
`SYN887-1`	1.30	1.40	0.00	0.00	10.40	⁺3.80
`SYN897-1`	1.60	1.70	0.00	0.00	24.10	⁺3.80
`SYN898-1`	2.30	2.40	0.00	0.00	23.70	⁺3.70
`SYN899-1`	2.90	3.00	0.00	0.00	23.10	⁺3.30
`SYN900-1`	2.40	2.40	0.00	0.00	21.70	⁺3.00
`SYN901-1`	4.40	4.50	0.00	0.00	GaveUp	⁺8.50
`SYN914-1`^*	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
Attempted	80	80	80	80	80	80
Solved	79	79	72	72	56	46
Av. Time	26.45	38.28	36.14	66.75	39.90	17.98
Solutions	0	0	0	0	28	37
New Attempted	1	1	1	1	1	1
New Solved	0	0	0	0	1	0

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

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

Results for UEQ

UEQ	Waldmeister 704	Waldmeister 702	E-SETHEO csp04	Vampire 7.0	E 0.82	SOS 1.0	Otter 3.3
`BOO022-1`	⁺0.10	⁺0.10	1.30	⁺7.10	1.20	⁺9.40	⁺4.20
`BOO023-1`	⁺0.30	⁺0.30	0.70	⁺8.20	0.60	GaveUp	GaveUp
`BOO067-1`	⁺32.10	⁺4.40	27.60	⁺24.30	27.00	⁺493.90	GaveUp
`BOO073-1`	⁺1.40	⁺0.90	3.90	⁺28.80	3.80	⁺9.00	GaveUp
`BOO076-1`	⁺44.90	⁺32.30	Timeout	Timeout	Timeout	Timeout	Timeout
`COL003-12`	⁺0.00	⁺0.00	0.30	⁺1.20	0.10	⁺0.00	⁺0.30
`COL006-1`	⁺0.20	⁺1.10	Timeout	Timeout	Timeout	⁺19.90	GaveUp
`COL006-5`	⁺0.00	⁺0.00	26.30	Timeout	26.30	Timeout	Timeout
`COL006-6`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	⁺209.90	GaveUp
`COL006-7`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	⁺69.90	Timeout
`COL011-1`	⁺0.10	⁺0.10	472.50	Timeout	Timeout	⁺0.00	⁺0.40
`COL034-1`	⁺0.10	⁺0.00	8.20	Timeout	8.00	⁺0.00	⁺0.10
`COL035-1`	⁺0.00	⁺0.00	0.20	⁺25.10	0.00	⁺0.00	⁺0.60
`COL036-1`	⁺0.10	⁺0.10	158.00	Timeout	158.00	⁺0.00	⁺0.10
`COL037-1`	⁺0.10	⁺0.20	0.70	⁺572.40	0.50	⁺0.00	⁺0.90
`COL038-1`	⁺0.30	⁺0.10	470.00	Timeout	Timeout	Timeout	GaveUp
`COL041-1`	⁺0.20	⁺0.00	2.00	⁺450.40	1.80	⁺0.00	⁺0.10
`COL042-1`	⁺0.20	⁺0.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL044-6`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-7`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	⁺550.50	Timeout
`COL044-9`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`COL046-1`	⁺0.20	⁺0.00	13.60	Timeout	13.40	Timeout	Timeout
`COL049-1`	⁺0.10	⁺0.20	0.20	⁺3.80	0.10	⁺0.00	⁺0.10
`COL057-1`	⁺0.00	⁺0.10	2.60	Timeout	2.40	⁺0.00	⁺0.20
`COL060-1`	⁺0.00	⁺0.00	0.20	⁺0.10	0.10	⁺0.00	Timeout
`COL061-1`	⁺0.20	⁺0.30	0.20	⁺0.10	0.10	⁺0.00	GaveUp
`COL062-1`	⁺0.00	⁺0.00	0.30	⁺0.70	0.20	Timeout	GaveUp
`COL063-1`	⁺0.00	⁺0.00	0.60	⁺1.40	0.40	Timeout	Timeout
`COL064-1`	⁺0.20	⁺0.20	2.20	⁺9.10	2.00	Timeout	Timeout
`COL065-1`	⁺0.90	⁺1.40	9.90	⁺70.00	9.20	Timeout	Timeout
`GRP114-1`	⁺0.10	⁺0.10	6.50	⁺18.20	6.70	⁺29.90	GaveUp
`GRP122-1`	⁺0.10	⁺0.00	0.20	⁺7.10	0.10	⁺0.00	⁺31.00
`GRP164-1`	⁺22.20	⁺22.10	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRP167-4`	⁺5.20	⁺0.60	4.00	⁺15.10	3.90	⁺9.60	GaveUp
`GRP177-2`	⁺2.50	⁺1.50	Timeout	Timeout	Timeout	⁺0.00	GaveUp
`GRP179-1`	⁺2.80	⁺0.40	2.10	⁺15.50	2.30	GaveUp	GaveUp
`GRP179-2`	⁺0.40	⁺0.40	2.10	⁺15.40	2.00	⁺10.00	GaveUp
`GRP179-3`	⁺0.40	⁺0.40	4.00	⁺15.00	3.80	⁺110.10	GaveUp
`GRP180-1`	⁺0.60	⁺0.60	16.50	⁺19.40	16.40	⁺60.00	GaveUp
`GRP181-1`	⁺3.70	⁺4.80	10.40	⁺23.30	10.20	⁺20.00	GaveUp
`GRP181-4`	⁺4.60	⁺3.20	11.90	⁺4.10	11.70	⁺0.00	⁺3.40
`GRP183-1`	⁺1.50	⁺0.40	2.60	⁺188.40	2.50	⁺9.90	GaveUp
`GRP183-2`	⁺1.60	⁺0.40	3.70	⁺189.30	3.60	⁺59.80	GaveUp
`GRP183-4`	⁺0.40	⁺0.40	5.00	⁺189.10	3.90	⁺9.90	GaveUp
`GRP185-2`	⁺0.10	⁺0.10	Timeout	⁺332.70	Timeout	Timeout	GaveUp
`GRP185-4`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	⁺9.90	⁺114.20
`GRP186-1`	⁺0.50	⁺0.50	2.40	⁺15.40	1.90	⁺129.20	GaveUp
`GRP187-1`	⁺10.00	⁺12.20	8.90	⁺395.70	8.60	GaveUp	GaveUp
`GRP200-1`	⁺0.20	⁺0.10	1.60	⁺4.70	1.30	⁺30.00	GaveUp
`GRP201-1`	⁺0.10	⁺0.10	1.70	⁺7.20	1.60	Timeout	GaveUp
`GRP202-1`	⁺0.20	⁺0.20	2.10	⁺7.30	1.90	Timeout	GaveUp
`GRP205-1`	⁺0.20	⁺0.20	2.20	⁺7.20	2.10	Timeout	GaveUp
`GRP404-1`	⁺0.10	⁺0.10	0.50	⁺7.70	0.40	⁺60.00	⁺152.90
`GRP410-1`	⁺0.50	⁺0.40	1.10	⁺4.10	0.90	⁺0.00	GaveUp
`GRP411-1`	⁺0.30	⁺0.20	1.80	⁺5.30	1.60	⁺0.00	GaveUp
`GRP420-1`	⁺0.00	⁺0.90	0.40	⁺5.90	0.30	⁺39.80	⁺124.60
`GRP421-1`	⁺0.00	⁺0.10	0.20	⁺1.00	0.10	⁺20.00	⁺0.40
`GRP422-1`	⁺0.20	⁺0.30	0.40	⁺4.40	0.20	⁺40.00	⁺5.10
`GRP423-1`	⁺0.10	⁺0.20	0.30	⁺4.40	0.20	⁺39.90	GaveUp
`GRP441-1`	⁺0.10	⁺0.10	0.50	⁺3.20	0.40	⁺110.00	GaveUp
`GRP444-1`	⁺0.10	⁺0.10	0.30	⁺4.10	0.20	⁺39.80	GaveUp
`GRP505-1`	⁺6.00	⁺2.70	Timeout	⁺20.00	Timeout	Timeout	Timeout
`GRP506-1`	⁺6.30	⁺2.90	Timeout	⁺19.50	Timeout	Timeout	Timeout
`GRP507-1`	⁺6.50	⁺3.40	Timeout	⁺25.40	Timeout	Timeout	Timeout
`GRP508-1`^*	⁺6.20	⁺2.80	Timeout	⁺21.30	Timeout	Timeout	Timeout
`LAT006-1`	⁺0.00	⁺0.00	0.50	⁺1.40	0.30	⁺0.00	⁺1.50
`LAT007-1`	⁺0.00	⁺0.10	1.00	⁺7.00	0.80	⁺19.90	GaveUp
`LAT020-1`	⁺19.00	⁺8.40	72.10	⁺454.50	74.60	Timeout	⁺15.70
`LAT022-1`	⁺0.90	⁺4.30	11.40	⁺10.50	11.30	⁺9.90	⁺15.60
`LAT023-1`	⁺1.10	⁺3.50	1.90	⁺9.60	1.70	⁺0.00	⁺12.70
`LAT081-1`	⁺3.80	Unknown	0.60	⁺16.30	0.40	GaveUp	GaveUp
`LAT082-1`	⁺4.00	Unknown	1.50	⁺36.40	1.40	GaveUp	GaveUp
`LAT084-1`	⁺4.50	Unknown	2.30	⁺16.70	2.20	GaveUp	GaveUp
`LAT085-1`	⁺4.80	Unknown	13.20	⁺40.30	12.90	GaveUp	GaveUp
`LAT086-1`	⁺3.70	Unknown	0.50	⁺5.90	0.40	GaveUp	GaveUp
`LAT095-1`	⁺2.00	Unknown	0.40	⁺20.40	0.20	GaveUp	GaveUp
`LCL109-2`	⁺0.30	⁺0.30	0.80	⁺24.20	0.70	⁺49.80	GaveUp
`LCL111-2`	⁺0.20	⁺0.20	0.70	⁺2.00	0.60	⁺0.00	⁺0.40
`LCL138-1`	⁺0.20	⁺0.20	0.70	⁺2.30	0.60	⁺0.00	⁺3.10
`LCL162-1`	⁺0.00	⁺0.10	Timeout	⁺11.20	Timeout	⁺0.00	⁺22.30
`LCL163-1`	⁺0.00	⁺0.10	200.90	⁺0.40	199.00	⁺19.80	GaveUp
`RNG009-5`	⁺0.70	⁺0.70	4.50	⁺12.50	4.40	Timeout	GaveUp
`RNG009-7`	⁺0.70	⁺0.70	2.80	⁺4.80	2.70	Timeout	GaveUp
`RNG020-6`	⁺0.00	⁺0.00	0.20	⁺0.00	0.00	⁺19.80	⁺0.10
`RNG020-7`	⁺0.00	⁺0.00	0.20	⁺0.00	0.00	⁺19.90	⁺0.10
`RNG021-6`	⁺0.00	⁺0.00	0.20	⁺0.00	0.10	⁺28.90	⁺2.50
`RNG021-7`	⁺0.00	⁺0.00	0.20	⁺0.00	0.10	⁺9.90	⁺0.10
`RNG025-4`	⁺0.30	⁺0.10	Timeout	Timeout	Timeout	⁺47.60	⁺2.60
`RNG025-5`	⁺0.30	⁺0.10	Timeout	Timeout	Timeout	⁺179.90	⁺11.60
`RNG025-6`	⁺0.00	⁺0.00	4.90	⁺262.60	4.70	GaveUp	⁺22.10
`RNG025-7`	⁺0.00	⁺0.00	6.00	⁺212.00	5.90	⁺50.00	GaveUp
`RNG026-6`	⁺0.00	⁺0.00	0.20	⁺0.00	0.10	Timeout	GaveUp
`RNG026-7`	⁺0.00	⁺0.00	0.20	⁺0.00	0.10	Timeout	GaveUp
`RNG027-5`	⁺1.90	⁺1.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG027-9`	⁺2.90	⁺1.90	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG029-5`	⁺1.00	⁺1.10	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG029-6`	⁺2.30	⁺1.10	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG029-7`	⁺2.30	⁺1.10	Timeout	Timeout	Timeout	Timeout	GaveUp
`ROB006-1`	⁺7.20	⁺9.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`ROB006-2`	⁺5.70	⁺7.20	Timeout	Timeout	Timeout	Timeout	GaveUp
Attempted	100	100	100	100	100	100	100
Solved	100	94	74	73	72	58	31
Av. Time	2.35	1.56	21.93	54.11	9.29	45.79	17.71
Solutions	100	94	0	73	0	58	31
New Attempted	1	1	1	1	1	1	1
New Solved	1	1	0	1	0	0	0

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

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

Results for HNE

HNE	Vampire 7.0	Vampire 6.0	E-SETHEO csp04	E 0.82	EP 0.82	DCTP 10.21p	DCTP 1.31	THEO J2004	Otter 3.3	SOS 1.0
`ANA003-2`	⁺11.70	⁺209.10	24.70	18.10	⁺26.20	Timeout	WCout	Timeout	GaveUp	Timeout
`LCL012-1`	⁺21.60	⁺6.90	22.50	3.10	⁺5.80	Timeout	Timeout	Timeout	⁺20.00	⁺189.60
`LCL018-1`	⁺21.60	⁺8.10	7.50	0.40	⁺0.90	187.10	Timeout	Timeout	⁺18.90	⁺411.00
`LCL052-1`	⁺12.90	⁺0.20	13.50	6.40	⁺8.60	33.50	Timeout	Timeout	⁺1.00	⁺9.80
`LCL068-1`	⁺15.40	⁺9.40	1.30	0.30	⁺0.70	0.40	0.00	⁺430.00	⁺9.20	⁺0.00
`LCL166-1`	⁺22.10	⁺47.00	8.50	0.30	⁺0.80	Timeout	Timeout	Timeout	⁺35.90	Timeout
`LCL191-1`	⁺63.50	⁺4.40	242.00	235.20	⁺233.50	134.00	0.00	Timeout	GaveUp	⁺0.00
`LCL195-1`	⁺32.70	⁺2.50	0.60	593.40	Timeout	20.40	0.00	⁺2.40	GaveUp	⁺0.00
`LCL221-1`	⁺84.80	⁺172.00	1.80	Timeout	Timeout	21.20	Timeout	⁺420.20	GaveUp	GaveUp
`LCL225-1`	⁺10.00	⁺18.70	24.70	4.30	⁺6.40	Timeout	260.20	Timeout	GaveUp	GaveUp
`LCL227-1`	⁺11.90	⁺233.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL253-1`	⁺247.90	⁺438.30	17.40	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`PLA004-2`	⁺0.00	⁺67.70	6.20	0.00	⁺0.10	0.10	0.00	⁺2.80	Timeout	Timeout
`PLA005-2`	⁺0.00	⁺67.70	6.20	0.00	⁺0.10	0.10	0.00	⁺325.20	Timeout	Timeout
`PLA009-2`	⁺0.10	⁺67.80	6.20	0.00	⁺0.10	0.10	0.00	⁺19.40	Timeout	Timeout
`PLA011-1`	⁺0.00	⁺67.70	6.20	0.00	⁺0.10	0.10	0.00	⁺226.60	Timeout	Timeout
`PLA012-1`	⁺0.00	⁺68.00	6.40	0.10	⁺0.20	4.20	Unknown	Timeout	Timeout	Timeout
`PLA021-1`	⁺0.10	⁺67.80	6.20	0.00	⁺0.10	0.10	9.20	⁺411.40	Timeout	Timeout
`PLA023-1`	⁺0.10	⁺67.70	6.60	0.10	⁺0.20	4.30	Timeout	Timeout	Timeout	Timeout
`PUZ039-1`	⁺60.30	⁺0.10	1.60	3.80	⁺4.20	21.60	0.00	Timeout	⁺1.70	Unknown
`PUZ040-1`	⁺60.40	⁺0.10	0.20	0.10	⁺0.10	20.10	0.00	Timeout	⁺0.10	Unknown
`PUZ042-1`	⁺60.40	⁺0.20	2.40	49.90	⁺48.40	22.40	0.00	Timeout	⁺2.50	Unknown
`RNG001-2`	⁺17.00	⁺115.10	584.50	Timeout	Timeout	153.90	Timeout	⁺5.80	⁺244.10	Timeout
`RNG001-5`	⁺2.60	⁺127.00	18.50	15.00	⁺23.00	131.40	Timeout	⁺3.00	⁺197.90	Timeout
`RNG004-3`	⁺67.90	⁺190.50	89.20	65.00	⁺77.10	Timeout	WCout	⁺6.90	⁺10.50	⁺0.00
`SWV014-1`	⁺0.00	⁺67.40	6.20	0.00	⁺0.10	Timeout	WCout	⁺10.20	Timeout	Timeout
`SYN311-1`	⁺0.00	⁺22.90	6.20	0.00	⁺0.10	0.10	0.00	⁺0.10	GaveUp	GaveUp
`SYN312-1`	⁺4.70	⁺3.90	6.20	0.00	⁺0.10	0.10	0.00	⁺1.00	GaveUp	GaveUp
`SYN597-1`	⁺206.90	⁺68.10	6.20	2.10	⁺2.50	0.10	Timeout	⁺0.10	GaveUp	⁺360.00
`SYN602-1`	⁺34.10	⁺67.70	0.50	3.60	⁺5.70	0.10	0.00	⁺0.40	⁺24.20	⁺9.30
`SYN603-1`	⁺211.10	⁺67.60	3.00	3.10	⁺5.50	95.70	70.00	⁺0.50	Timeout	⁺9.90
`SYN653-1`	⁺16.80	⁺0.10	0.20	22.40	⁺24.50	0.30	0.00	Timeout	Timeout	Timeout
`SYN704-1`	⁺0.10	⁺0.10	0.20	4.30	⁺7.00	0.30	0.00	⁺0.50	⁺0.10	⁺9.90
`SYN708-1`	⁺4.50	⁺0.20	6.20	30.40	⁺37.50	2.00	Timeout	⁺1.60	Timeout	Timeout
`SYN711-1`	⁺0.10	⁺0.10	0.30	6.80	⁺9.20	0.10	0.00	Unknown	GaveUp	⁺319.80
Attempted	35	35	35	35	35	35	35	35	35	35
Solved	35	35	34	31	30	27	19	19	13	12
Av. Time	37.24	67.30	33.53	34.46	17.63	31.62	17.86	98.32	43.55	109.94
Solutions	35	35	0	0	30	0	0	19	13	12
New Attempted	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	0	0	0	0	0	0	0	0

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

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

Results for HEQ

HEQ	E 0.82	E-SETHEO csp04	EP 0.82	Vampire 7.0	Vampire 6.0	DCTP 10.21p	SOS 1.0	DCTP 1.31	Otter 3.3	THEO J2004
`ANA003-1`	0.20	3.30	⁺0.40	⁺7.10	⁺333.80	Timeout	Timeout	Timeout	GaveUp	Timeout
`ANA004-1`	29.60	34.50	⁺39.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`ANA005-1`	28.50	31.80	⁺38.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL003-10`	34.30	37.40	⁺46.60	⁺67.80	⁺56.70	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL003-7`	34.20	37.40	⁺49.40	⁺67.80	⁺56.80	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL003-9`	34.80	37.40	⁺45.10	⁺67.70	⁺56.80	GaveUp	Timeout	Timeout	GaveUp	Timeout
`COL006-2`	7.40	10.60	⁺9.30	⁺3.70	⁺213.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL006-3`	Timeout	Timeout	Timeout	⁺266.00	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL006-4`	Timeout	Timeout	Timeout	⁺261.60	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL043-2`	0.30	3.50	⁺0.90	⁺62.70	⁺49.70	0.10	Timeout	Timeout	Timeout	Timeout
`COL044-2`	0.20	3.30	⁺0.60	⁺62.80	⁺17.40	0.10	Timeout	Timeout	Timeout	Timeout
`COL044-3`	0.30	3.40	⁺0.70	⁺62.70	⁺17.30	128.70	Timeout	Timeout	Timeout	Timeout
`COL044-4`	0.20	3.30	⁺0.60	⁺8.10	⁺17.80	Timeout	Timeout	Timeout	Timeout	Timeout
`HWC003-1`	0.00	3.20	⁺0.10	⁺264.10	Timeout	4.20	⁺379.60	39.50	Timeout	Timeout
`HWC003-2`	0.00	3.30	⁺0.10	⁺262.20	Timeout	4.10	⁺9.90	0.00	GaveUp	Timeout
`HWV002-1`	50.40	53.90	⁺72.10	⁺14.30	⁺100.90	Timeout	GaveUp	Unknown	GaveUp	Timeout
`HWV003-1`	53.90	57.90	72.80	Timeout	Timeout	Timeout	GaveUp	Unknown	GaveUp	Timeout
`LAT001-1`	Timeout	Timeout	Timeout	⁺197.80	⁺94.80	Timeout	GaveUp	Unknown	GaveUp	Timeout
`LAT002-1`	1.40	4.60	⁺5.00	⁺497.20	Timeout	Timeout	GaveUp	Unknown	GaveUp	Timeout
`LAT041-1`	Timeout	Timeout	Timeout	⁺109.70	⁺87.70	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL109-4`	24.20	27.30	⁺33.70	⁺7.80	⁺37.30	Timeout	Timeout	Unknown	Timeout	Timeout
`LCL152-1`	17.80	21.00	⁺24.60	⁺126.80	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`LCL222-3`	52.30	55.60	⁺63.10	⁺53.00	Timeout	Timeout	GaveUp	Timeout	GaveUp	Timeout
`LCL237-3`	0.40	0.20	⁺1.00	⁺0.00	⁺10.70	8.40	⁺59.50	0.00	⁺1.10	⁺15.30
`LCL243-3`	2.50	5.60	⁺