Results

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

Results for MIX

MIX	Vampire 6.0	E-SETHEO csp03	E 0.8	Vampire 5.0	EP 0.8	Gandalf c-2.6	Gandalf c-2.6-PRF	DCTP 10.2p	DCTP 1.3	THEO J2003	Otter 3.2	CARINE 0.72
`ANA002-1`	⁺5.00	Timeout	Timeout	⁺22.00	Timeout	339.00	Unknown	Timeout	Timeout	⁺221.00	Timeout	Timeout
`ANA002-2`	⁺4.00	74.00	27.00	⁺7.00	⁺39.00	299.00	Unknown	244.00	Timeout	⁺135.00	Timeout	Timeout
`ANA003-1`	⁺380.00	4.00	1.00	Timeout	⁺1.00	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA004-4`	⁺20.00	0.00	0.00	⁺0.00	⁺0.00	489.00	Unknown	Timeout	Timeout	⁺47.00	Timeout	Timeout
`BOO014-1`	⁺117.00	10.00	7.00	⁺31.00	⁺9.00	Unknown	Unknown	Timeout	Timeout	Timeout	⁺14.00	Timeout
`CAT004-2`	⁺1.00	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺12.00	Timeout	Timeout
`CAT005-3`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	19.00	⁺19.00	0.00	0.00	⁺0.00	⁺0.00	Timeout
`CAT014-3`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	19.00	⁺19.00	0.00	0.00	⁺4.00	⁺254.00	⁺0.00
`COL003-7`	⁺86.00	20.00	16.00	⁺13.00	⁺29.00	19.00	⁺19.00	Timeout	Timeout	GaveUp	Unknown	Timeout
`COL003-9`	⁺86.00	20.00	16.00	⁺13.00	⁺29.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	Unknown	Timeout
`COL006-2`	⁺232.00	7.00	5.00	⁺25.00	⁺9.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`COL006-3`	Timeout	Timeout	Timeout	⁺8.00	Timeout	0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`COL044-5`	⁺28.00	3.00	0.00	⁺8.00	⁺1.00	9.00	⁺9.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`COL078-2`	⁺23.00	0.00	0.00	⁺1.00	⁺0.00	29.00	⁺29.00	0.00	0.00	GaveUp	Timeout	Timeout
`COM003-1`	⁺0.00	4.00	3.00	⁺1.00	⁺5.00	149.00	Unknown	0.00	9.00	Timeout	Timeout	Timeout
`FLD028-1`	Timeout	Unknown	172.00	Timeout	⁺189.00	Unknown	Unknown	Timeout	Unknown	GaveUp	Timeout	Timeout
`FLD041-4`	⁺11.00	96.00	Timeout	⁺14.00	Timeout	0.00	⁺0.00	4.00	49.00	⁺18.00	⁺8.00	Timeout
`FLD050-3`	⁺124.00	Unknown	Timeout	⁺26.00	Timeout	Unknown	Unknown	Timeout	Unknown	GaveUp	Timeout	Timeout
`FLD062-3`	⁺25.00	22.00	22.00	⁺109.00	⁺28.00	Unknown	Unknown	Timeout	Unknown	⁺10.00	Timeout	Timeout
`GEO011-1`	⁺11.00	8.00	0.00	⁺1.00	⁺0.00	39.00	⁺39.00	338.00	69.00	⁺110.00	Timeout	Timeout
`GEO027-2`	⁺26.00	8.00	1.00	⁺8.00	⁺2.00	9.00	⁺9.00	17.00	0.00	⁺0.00	⁺176.00	Timeout
`GEO040-3`	⁺2.00	8.00	0.00	⁺0.00	⁺0.00	109.00	⁺89.00	0.00	0.00	⁺6.00	⁺237.00	Timeout
`GEO046-2`	⁺39.00	Timeout	Timeout	⁺15.00	Timeout	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
`GEO060-2`	⁺131.00	Timeout	Timeout	⁺92.00	Timeout	19.00	⁺19.00	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO083-1`	⁺32.00	0.00	Timeout	⁺4.00	Timeout	69.00	⁺29.00	Timeout	Timeout	⁺1.00	Timeout	Timeout
`GEO084-1`	⁺32.00	0.00	Timeout	⁺4.00	Timeout	19.00	⁺19.00	11.00	Timeout	⁺1.00	Timeout	⁺0.00
`GEO089-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
`GEO112-1`	⁺124.00	0.00	4.00	⁺47.00	⁺7.00	0.00	⁺0.00	16.00	0.00	⁺0.00	⁺1.00	Timeout
`GEO126-1`	⁺0.00	13.00	4.00	⁺0.00	⁺7.00	29.00	⁺29.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`GRP026-1`	⁺14.00	54.00	37.00	⁺93.00	⁺49.00	Timeout	Unknown	Timeout	Unknown	GaveUp	Timeout	Timeout
`GRP039-1`	⁺28.00	8.00	0.00	⁺0.00	⁺0.00	149.00	Unknown	Timeout	129.00	GaveUp	Timeout	Timeout
`GRP039-3`	⁺54.00	8.00	0.00	⁺0.00	⁺0.00	29.00	⁺29.00	17.00	0.00	GaveUp	Timeout	Timeout
`GRP039-5`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	19.00	⁺19.00	16.00	0.00	GaveUp	Timeout	Timeout
`GRP040-3`	⁺13.00	8.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	352.00	Timeout	⁺38.00	Timeout	Timeout
`GRP049-1`	⁺42.00	3.00	2.00	⁺9.00	⁺5.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP054-1`	⁺87.00	1.00	0.00	⁺14.00	⁺1.00	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP056-1`	⁺28.00	1.00	1.00	⁺4.00	⁺2.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP072-1`	⁺30.00	0.00	0.00	⁺11.00	⁺0.00	59.00	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP073-1`	⁺36.00	0.00	0.00	⁺10.00	⁺0.00	49.00	⁺49.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`GRP083-1`	⁺22.00	1.00	1.00	⁺2.00	⁺2.00	9.00	⁺9.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP085-1`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	0.00	0.00	GaveUp	⁺0.00	Timeout
`GRP087-1`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	0.00	0.00	GaveUp	⁺1.00	Timeout
`GRP098-1`	⁺0.00	0.00	0.00	⁺69.00	⁺0.00	Unknown	Unknown	0.00	0.00	GaveUp	⁺1.00	Timeout
`GRP108-1`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	0.00	0.00	GaveUp	⁺1.00	Timeout
`GRP197-1`	Timeout	504.00	Timeout	Timeout	Timeout	19.00	⁺19.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`GRP198-1`	Timeout	Timeout	Timeout	Timeout	Timeout	19.00	⁺19.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`GRP364-1`	⁺1.00	5.00	1.00	⁺3.00	⁺2.00	59.00	⁺59.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`HWC003-2`	Timeout	3.00	0.00	Timeout	⁺0.00	39.00	⁺39.00	0.00	0.00	Timeout	Timeout	Timeout
`HWV004-1`	Timeout	Timeout	11.00	Timeout	⁺19.00	219.00	Unknown	Timeout	Timeout	Timeout	GaveUp	Timeout
`HWV013-2`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺206.00	Timeout	Timeout
`HWV014-2`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺204.00	⁺417.00	Timeout
`HWV016-1`	⁺0.00	9.00	1.00	⁺0.00	⁺1.00	19.00	⁺19.00	Timeout	Timeout	⁺197.00	Timeout	Timeout
`HWV016-2`	⁺56.00	9.00	0.00	⁺1.00	⁺0.00	119.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV018-2`	⁺0.00	4.00	0.00	⁺0.00	⁺0.00	29.00	⁺29.00	16.00	0.00	⁺6.00	Timeout	Timeout
`HWV022-1`	⁺19.00	1.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	3.00	Timeout	⁺105.00	⁺261.00	Timeout
`HWV023-2`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	49.00	⁺39.00	0.00	0.00	⁺298.00	Timeout	Timeout
`HWV033-1`	⁺581.00	18.00	30.00	Timeout	⁺39.00	99.00	Unknown	Timeout	Timeout	⁺8.00	Timeout	Timeout
`LAT001-1`	⁺105.00	6.00	191.00	Timeout	248.00	Timeout	⁺190.00	Timeout	GaveUp	GaveUp	Timeout	Timeout
`LAT005-3`	⁺98.00	250.00	23.00	⁺223.00	⁺39.00	189.00	⁺189.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LAT015-1`	⁺21.00	Timeout	40.00	⁺165.00	⁺49.00	Timeout	Unknown	Timeout	Timeout	GaveUp	Unknown	Timeout
`LAT030-1`	⁺10.00	21.00	19.00	⁺0.00	⁺19.00	39.00	⁺39.00	Timeout	Timeout	Timeout	Unknown	Timeout
`LCL016-1`	⁺8.00	10.00	0.00	⁺6.00	⁺1.00	259.00	Unknown	Timeout	219.00	GaveUp	⁺19.00	Timeout
`LCL109-4`	⁺460.00	33.00	24.00	⁺88.00	⁺39.00	79.00	⁺69.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`LCL127-1`	⁺181.00	15.00	6.00	⁺101.00	⁺9.00	19.00	⁺19.00	Timeout	Timeout	GaveUp	⁺35.00	Timeout
`LCL219-3`	⁺7.00	3.00	0.00	⁺0.00	⁺1.00	29.00	⁺29.00	33.00	29.00	GaveUp	⁺42.00	Timeout
`LCL222-1`	⁺190.00	Timeout	Timeout	⁺105.00	Timeout	Unknown	Unknown	3.00	Timeout	⁺53.00	GaveUp	Timeout
`LCL223-1`	⁺169.00	Timeout	Timeout	⁺12.00	Timeout	29.00	Unknown	299.00	Timeout	GaveUp	GaveUp	Timeout
`LCL225-1`	⁺31.00	Timeout	Timeout	⁺2.00	Timeout	129.00	Unknown	159.00	Timeout	GaveUp	GaveUp	Timeout
`LCL229-3`	Timeout	13.00	9.00	Timeout	⁺15.00	Timeout	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL231-3`	⁺62.00	0.00	1.00	⁺10.00	⁺3.00	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL255-3`	Timeout	71.00	59.00	Timeout	⁺69.00	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL256-1`	⁺0.00	23.00	13.00	⁺0.00	⁺19.00	0.00	⁺0.00	40.00	0.00	GaveUp	⁺1.00	Timeout
`LCL300-3`	⁺43.00	4.00	1.00	⁺83.00	⁺1.00	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL389-1`	⁺263.00	24.00	14.00	⁺7.00	⁺19.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`MGT020-1`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	Timeout
`MGT029-1`	⁺161.00	9.00	1.00	⁺27.00	⁺2.00	9.00	⁺9.00	0.00	0.00	GaveUp	Timeout	Timeout
`MGT034-2`	⁺53.00	8.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺5.00	⁺234.00	Timeout
`MGT035-1`	⁺164.00	10.00	2.00	⁺30.00	⁺3.00	19.00	⁺19.00	4.00	0.00	GaveUp	Timeout	Timeout
`MGT039-2`	⁺220.00	8.00	0.00	⁺41.00	⁺0.00	19.00	⁺19.00	0.00	0.00	⁺224.00	Timeout	Timeout
`MGT043-1`	⁺0.00	6.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	⁺531.00	⁺289.00
`MGT065-1`	⁺1.00	8.00	0.00	⁺0.00	⁺0.00	19.00	⁺19.00	0.00	0.00	⁺30.00	⁺240.00	⁺247.00
`NUM007-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	⁺10.00	Timeout	Timeout
`NUM011-1`	⁺23.00	2.00	4.00	⁺39.00	⁺5.00	Unknown	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM159-1`	⁺147.00	426.00	Timeout	⁺41.00	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA009-2`	⁺69.00	0.00	0.00	⁺0.00	⁺0.00	49.00	⁺49.00	0.00	0.00	⁺6.00	Timeout	Timeout
`PLA016-1`	⁺69.00	0.00	0.00	⁺0.00	⁺0.00	49.00	⁺49.00	4.00	0.00	GaveUp	Timeout	Timeout
`PLA021-1`	⁺69.00	5.00	0.00	⁺0.00	⁺0.00	139.00	Unknown	0.00	9.00	⁺61.00	Timeout	Timeout
`PUZ039-1`^*	⁺0.00	3.00	6.00	⁺68.00	⁺7.00	0.00	⁺0.00	33.00	0.00	Timeout	⁺3.00	Timeout
`PUZ040-1`^*	⁺0.00	0.00	0.00	⁺67.00	⁺0.00	0.00	⁺0.00	30.00	0.00	Timeout	⁺0.00	Timeout
`PUZ042-1`	⁺0.00	4.00	35.00	⁺77.00	⁺36.00	0.00	⁺0.00	34.00	0.00	Timeout	⁺4.00	Timeout
`RNG001-2`	⁺130.00	356.00	Timeout	⁺99.00	Timeout	59.00	⁺59.00	0.00	Timeout	⁺24.00	Timeout	Timeout
`RNG001-5`	⁺109.00	356.00	Timeout	⁺29.00	Timeout	49.00	⁺49.00	6.00	Timeout	⁺3.00	⁺235.00	Timeout
`RNG004-3`	⁺275.00	30.00	27.00	Timeout	⁺39.00	Unknown	Unknown	Timeout	Timeout	⁺3.00	⁺27.00	Timeout
`RNG025-1`	Timeout	7.00	8.00	Timeout	⁺19.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG029-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG029-3`	⁺98.00	15.00	14.00	Timeout	⁺19.00	19.00	⁺19.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG040-1`	⁺6.00	0.00	0.00	⁺1.00	⁺0.00	0.00	⁺0.00	1.00	0.00	⁺0.00	⁺0.00	Timeout
`RNG040-2`	⁺16.00	7.00	0.00	⁺3.00	⁺0.00	0.00	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	Timeout
`ROB014-1`	⁺569.00	25.00	21.00	Timeout	⁺27.00	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
`ROB015-2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
`ROB019-1`	⁺379.00	238.00	236.00	Timeout	⁺258.00	Timeout	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`SET012-2`	⁺0.00	0.00	0.00	⁺7.00	⁺0.00	0.00	⁺0.00	12.00	0.00	⁺4.00	Timeout	Timeout
`SET013-3`	⁺19.00	Timeout	Timeout	Timeout	Timeout	369.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SET014-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	⁺7.00	Timeout	Timeout
`SET015-1`	⁺1.00	13.00	3.00	⁺1.00	⁺5.00	349.00	Unknown	Timeout	Timeout	⁺40.00	Timeout	Timeout
`SET016-3`	⁺13.00	9.00	4.00	⁺82.00	⁺5.00	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SET018-1`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	GaveUp	⁺52.00	Timeout
`SET019-3`	⁺368.00	0.00	12.00	Timeout	⁺14.00	29.00	⁺29.00	240.00	Timeout	⁺4.00	⁺36.00	Timeout
`SET022-3`	⁺14.00	8.00	0.00	⁺56.00	⁺0.00	19.00	⁺19.00	Timeout	Timeout	⁺2.00	Timeout	Timeout
`SET023-3`	⁺10.00	8.00	0.00	⁺55.00	⁺1.00	0.00	⁺0.00	Timeout	Timeout	⁺54.00	Timeout	Timeout
`SET027-3`	⁺1.00	3.00	18.00	⁺17.00	⁺22.00	29.00	⁺29.00	3.00	0.00	⁺1.00	Timeout	⁺4.00
`SET027-4`	⁺0.00	0.00	0.00	⁺6.00	⁺0.00	0.00	⁺0.00	1.00	0.00	⁺0.00	⁺377.00	⁺4.00
`SET042-3`	⁺0.00	1.00	Timeout	⁺5.00	Timeout	0.00	⁺0.00	Timeout	Timeout	⁺46.00	Timeout	Timeout
`SET411-6`	⁺0.00	0.00	26.00	⁺0.00	⁺39.00	19.00	⁺19.00	0.00	0.00	⁺10.00	Timeout	⁺190.00
`SET468-6`	⁺43.00	44.00	36.00	⁺18.00	⁺49.00	79.00	Unknown	Timeout	Timeout	Timeout	⁺163.00	Timeout
`SET473-6`	⁺43.00	19.00	11.00	⁺22.00	⁺18.00	79.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SET505-6`	⁺19.00	13.00	5.00	⁺12.00	⁺9.00	89.00	Unknown	Timeout	Unknown	Timeout	Timeout	Timeout
`SET508-6`	Timeout	19.00	11.00	Timeout	⁺19.00	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC098-1`	⁺1.00	1.00	0.00	⁺0.00	⁺0.00	79.00	Unknown	246.00	Timeout	GaveUp	Timeout	Timeout
`SWC277-1`	⁺4.00	0.00	0.00	⁺4.00	⁺0.00	89.00	Unknown	1.00	0.00	GaveUp	Timeout	Timeout
`SWC345-1`	Timeout	239.00	74.00	GaveUp	⁺89.00	Timeout	Unknown	16.00	Timeout	Timeout	Timeout	Timeout
`SWC407-1`	⁺10.00	0.00	0.00	⁺1.00	⁺1.00	379.00	Unknown	0.00	269.00	GaveUp	Timeout	Timeout
`SWV014-1`	⁺69.00	9.00	0.00	⁺0.00	⁺0.00	69.00	Unknown	Unknown	Unknown	⁺8.00	Timeout	Timeout
`SYN014-1`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	490.00	Unknown	86.00	Timeout	GaveUp	Timeout	Timeout
`SYN015-1`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	240.00	Timeout	GaveUp	Timeout	Timeout
`SYN036-3`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	Timeout	⁺0.00	Timeout
`SYN037-1`	⁺0.00	0.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	0.00	Timeout	⁺0.00	Timeout
`SYN067-1`	⁺14.00	109.00	537.00	⁺0.00	579.00	Timeout	Unknown	14.00	79.00	Timeout	Timeout	Timeout
`SYN067-2`	⁺50.00	Timeout	Timeout	⁺2.00	Timeout	Timeout	Unknown	33.00	119.00	Timeout	Timeout	Timeout
`SYN067-3`	⁺15.00	102.00	425.00	⁺0.00	498.00	Timeout	Unknown	4.00	0.00	GaveUp	Timeout	GaveUp
`SYN076-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
`SYN077-1`	⁺0.00	8.00	0.00	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	9.00	GaveUp	Timeout	Timeout
`SYN311-1`	⁺38.00	9.00	0.00	⁺0.00	⁺0.00	19.00	⁺19.00	0.00	9.00	0.00	GaveUp	Timeout
`SYN614-1`	Timeout	156.00	83.00	Timeout	⁺89.00	19.00	Unknown	0.00	Timeout	GaveUp	Timeout	Timeout
`SYN617-1`	Timeout	364.00	Timeout	⁺327.00	Timeout	39.00	⁺39.00	528.00	Timeout	12.00	GaveUp	Timeout
`SYN690-1`	Timeout	1.00	1.00	Timeout	⁺2.00	9.00	⁺9.00	0.00	0.00	GaveUp	Timeout	Timeout
`SYN762-1`	⁺176.00	2.00	1.00	⁺0.00	⁺3.00	199.00	⁺200.00	1.00	Timeout	Timeout	Timeout	Timeout
`SYN784-1`	⁺21.00	0.00	0.00	⁺0.00	⁺1.00	299.00	⁺299.00	8.00	Timeout	GaveUp	Timeout	GaveUp
`SYN796-1`	⁺4.00	0.00	0.00	⁺0.00	⁺0.00	309.00	⁺299.00	3.00	Timeout	Timeout	Timeout	GaveUp
`SYN802-1`	⁺188.00	Timeout	Timeout	⁺4.00	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp	Timeout	Timeout
Attempted	140	140	140	140	140	140	140	140	140	140	140	140
Solved	120	119	113	113	113	102	79	72	55	49	34	7
Av. Time	65.64	34.65	20.91	23.08	25.35	67.75	30.94	43.28	18.15	45.59	99.12	104.86
Solutions	120	0	0	113	110	0	79	0	0	47	34	7
New Attempted	2	2	2	2	2	2	2	2	2	2	2	2
New Solved	2	2	2	2	2	2	2	2	2	0	2	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 FOF

FOF	Vampire 5.0	Vampire 6.0	E-SETHEO csp03	DCTP 10.2p	Otter 3.2	MUSCADET 2.4
`COM003+1`	⁺0.00	⁺0.00	5.00	2.00	Timeout	GaveUp
`GEO084+1`	⁺10.00	⁺15.00	0.00	13.00	Timeout	GaveUp
`GEO092+1`	⁺22.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO094+1`	⁺12.00	⁺84.00	9.00	1.00	⁺147.00	GaveUp
`GEO103+1`	⁺11.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO122+1`	⁺0.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO124+1`	⁺0.00	⁺4.00	3.00	1.00	⁺65.00	GaveUp
`GEO125+1`	⁺0.00	⁺4.00	3.00	1.00	⁺56.00	GaveUp
`HAL001+2`^*	⁺43.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`HAL002+1`^*	Timeout	Timeout	39.00	37.00	Timeout	GaveUp
`HAL004+1`^*	Timeout	Timeout	476.00	Timeout	Timeout	GaveUp
`HAL006+1`^*	Timeout	⁺177.00	580.00	Timeout	⁺25.00	GaveUp
`MGT025+1`	⁺0.00	⁺0.00	8.00	0.00	Timeout	GaveUp
`MGT039+1`	⁺0.00	⁺1.00	8.00	0.00	⁺0.00	GaveUp
`MGT039+2`	⁺60.00	⁺138.00	9.00	1.00	Timeout	GaveUp
`MGT062+1`	⁺0.00	⁺2.00	2.00	115.00	Timeout	GaveUp
`MGT063+1`	⁺11.00	⁺19.00	23.00	388.00	Timeout	GaveUp
`MGT065+1`	⁺0.00	⁺0.00	9.00	9.00	⁺138.00	GaveUp
`NLP079+1`	⁺20.00	⁺26.00	Timeout	184.00	Timeout	GaveUp
`NLP080+1`	⁺20.00	⁺25.00	Timeout	172.00	Timeout	GaveUp
`NLP081+1`	⁺16.00	⁺21.00	GaveUp	154.00	Timeout	GaveUp
`NLP094+1`	⁺0.00	⁺0.00	339.00	69.00	Timeout	GaveUp
`NLP122+1`	⁺0.00	⁺0.00	9.00	9.00	Timeout	GaveUp
`SET011+3`	⁺5.00	⁺86.00	0.00	Timeout	Timeout	0.00
`SET018+4`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET020+1`	⁺71.00	⁺152.00	Timeout	346.00	Timeout	GaveUp
`SET055+1`	Timeout	Timeout	Unknown	Unknown	⁺0.00	Unknown
`SET067+1`	⁺0.00	⁺79.00	560.00	Timeout	Timeout	3.00
`SET076+1`	⁺4.00	⁺74.00	Timeout	Timeout	Timeout	Unknown
`SET082+1`	⁺0.00	⁺5.00	269.00	Timeout	⁺98.00	3.00
`SET102+1`	⁺0.00	⁺71.00	12.00	17.00	⁺0.00	GaveUp
`SET108+1`	⁺0.00	⁺68.00	1.00	1.00	Timeout	GaveUp
`SET169+3`	Timeout	⁺400.00	Timeout	Timeout	Timeout	0.00
`SET171+3`	Timeout	⁺530.00	Timeout	Timeout	Timeout	0.00
`SET580+3`	⁺0.00	⁺0.00	8.00	8.00	Timeout	0.00
`SET594+3`	⁺9.00	⁺3.00	0.00	1.00	Timeout	0.00
`SET595+3`	⁺8.00	⁺80.00	0.00	Timeout	Timeout	GaveUp
`SET634+3`	⁺33.00	⁺90.00	Timeout	Timeout	Timeout	GaveUp
`SET650+3`	⁺4.00	⁺6.00	0.00	Timeout	⁺2.00	GaveUp
`SET651+3`	⁺5.00	⁺0.00	1.00	328.00	Timeout	GaveUp
`SET652+3`	⁺5.00	⁺1.00	1.00	88.00	Timeout	GaveUp
`SET656+3`	⁺63.00	⁺1.00	1.00	1.00	⁺66.00	GaveUp
`SET657+3`	⁺9.00	⁺38.00	63.00	Timeout	Timeout	GaveUp
`SET667+3`	⁺1.00	⁺22.00	20.00	124.00	Timeout	GaveUp
`SET671+3`	⁺87.00	⁺74.00	1.00	Timeout	Timeout	GaveUp
`SET673+3`	⁺86.00	⁺74.00	8.00	Timeout	Timeout	GaveUp
`SET680+3`	⁺0.00	⁺2.00	1.00	2.00	Timeout	GaveUp
`SET685+3`	⁺0.00	⁺74.00	1.00	5.00	Timeout	GaveUp
`SET694+4`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET723+4`	Timeout	Timeout	Timeout	Unknown	Timeout	0.00
`SET743+4`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET750+4`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET752+4`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SWC011+1`	⁺0.00	⁺1.00	6.00	25.00	Timeout	Unknown
`SWC023+1`	⁺0.00	⁺8.00	6.00	6.00	⁺108.00	Unknown
`SWC106+1`	⁺0.00	⁺4.00	6.00	6.00	Timeout	Unknown
`SWC120+1`	⁺4.00	⁺74.00	182.00	Timeout	Timeout	GaveUp
`SWC239+1`	⁺60.00	⁺104.00	Timeout	132.00	Timeout	Unknown
`SWC259+1`	⁺0.00	⁺1.00	6.00	7.00	Timeout	Unknown
`SYN353+1`	⁺0.00	⁺0.00	0.00	426.00	Timeout	GaveUp
`SYN458+1`	⁺0.00	⁺0.00	42.00	25.00	Timeout	GaveUp
`SYN475+1`	⁺0.00	⁺1.00	82.00	32.00	Timeout	GaveUp
`SYN477+1`	⁺0.00	⁺0.00	69.00	56.00	Timeout	GaveUp
`SYN484+1`	⁺0.00	⁺1.00	7.00	7.00	Timeout	GaveUp
`SYN485+1`	⁺0.00	⁺1.00	201.00	245.00	Timeout	GaveUp
`SYN548+1`	⁺186.00	⁺523.00	49.00	30.00	⁺241.00	GaveUp
`SYN550+1`	⁺0.00	⁺0.00	49.00	33.00	Timeout	GaveUp
`SYN551+2`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`SYN551+3`	⁺0.00	⁺0.00	0.00	1.00	⁺62.00	Unknown
`SYN723+1`	Unknown	Unknown	Timeout	Timeout	Unknown	GaveUp
Attempted	70	70	70	70	70	70
Solved	57	56	48	42	14	13
Av. Time	15.18	56.50	66.12	74.00	72.00	0.46
Solutions	57	56	0	0	14	0
New Attempted	4	4	4	4	4	4
New Solved	1	1	3	1	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 SAT

SAT	Gandalf c-2.6-SAT	Paradox 1.0-casc	Gandalf c-2.5-SAT	E-SETHEO csp03-SAT	DCTP 10.2p-SAT	DCTP 1.3-SAT
`ALG008-1`	⁺0.00	⁺0.00	0.00	Timeout	Unknown	Unknown
`BOO019-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`BOO056-1`	⁺0.00	⁺7.00	0.00	Unknown	Timeout	Timeout
`BOO060-1`	408.00	⁺15.00	428.00	Timeout	Timeout	Timeout
`BOO061-1`	⁺189.00	⁺3.00	129.00	Unknown	Timeout	Timeout
`CAT019-5`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`COL047-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GEO158-1`	Unknown	Timeout	Timeout	0.00	Timeout	Timeout
`GEO161-1`	Unknown	Timeout	Timeout	0.00	Timeout	Timeout
`GRP024-4`	⁺9.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GRP025-3`	⁺19.00	⁺0.00	59.00	Timeout	Timeout	Timeout
`GRP026-3`	⁺0.00	⁺1.00	0.00	Timeout	Timeout	Timeout
`GRP081-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GRP207-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GRP394-2`	⁺0.00	⁺0.00	0.00	4.00	0.00	0.00
`HWV037-1`	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
`LAT024-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LAT025-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LAT050-1`	⁺0.00	⁺12.00	0.00	Timeout	Timeout	Timeout
`LAT062-1`	⁺0.00	⁺21.00	0.00	Timeout	Timeout	Timeout
`LCL078-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL142-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL179-1`	⁺179.00	⁺3.00	338.00	Timeout	Timeout	Timeout
`LCL181-1`	358.00	⁺22.00	528.00	Timeout	Timeout	Timeout
`LCL183-1`	349.00	⁺18.00	458.00	Timeout	Timeout	Timeout
`LCL235-1`	359.00	⁺6.00	359.00	Timeout	Timeout	Unknown
`LCL240-1`	367.00	⁺10.00	498.00	Timeout	Timeout	Timeout
`LCL288-3`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL290-3`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`NLP028-1`	⁺0.00	⁺0.00	0.00	5.00	Timeout	Timeout
`NLP051-1`	230.00	Timeout	Timeout	0.00	16.00	0.00
`NLP070-1`	230.00	Timeout	Timeout	1.00	16.00	0.00
`NLP072-1`	229.00	GaveUp	Timeout	1.00	16.00	0.00
`NLP082-1`	229.00	Timeout	Timeout	1.00	16.00	0.00
`NLP162-1`	340.00	⁺0.00	69.00	1.00	0.00	0.00
`NLP167-1`	340.00	⁺0.00	289.00	0.00	0.00	0.00
`NLP187-1`	228.00	⁺0.00	Timeout	28.00	Timeout	Timeout
`NLP215-1`	388.00	⁺1.00	Timeout	Timeout	Timeout	Timeout
`NLP253-1`	240.00	⁺0.00	Timeout	0.00	0.00	0.00
`NUM287-1`	⁺0.00	⁺0.00	0.00	4.00	0.00	0.00
`PUZ015-1`	Timeout	⁺157.00	Timeout	Timeout	Timeout	Unknown
`PUZ048-1`^*	Unknown	⁺22.00	Unknown	Timeout	1.00	GaveUp
`PUZ049-1`^*	49.00	GaveUp	Unknown	Timeout	31.00	0.00
`RNG007-5`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`RNG031-6`	⁺159.00	⁺56.00	69.00	Timeout	Timeout	Timeout
`ROB012-1`	⁺169.00	⁺0.00	29.00	Timeout	Timeout	Timeout
`ROB012-2`	⁺170.00	⁺0.00	29.00	Timeout	Timeout	Timeout
`SET781-3`	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
`SET782-1`	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
`SWV012-1`	⁺0.00	⁺0.00	0.00	4.00	0.00	0.00
`SYN766-1`	⁺19.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`SYN786-1`	⁺200.00	⁺0.00	169.00	0.00	0.00	0.00
`SYN790-1`	⁺0.00	⁺0.00	0.00	0.00	358.00	Timeout
`SYN806-1`	⁺300.00	⁺0.00	139.00	67.00	Timeout	Timeout
`SYN903-1`	349.00	⁺1.00	328.00	2.00	2.00	0.00
`SYN907-1`	349.00	⁺2.00	Timeout	11.00	7.00	0.00
`SYN908-1`	359.00	⁺4.00	Unknown	41.00	23.00	19.00
`SYN909-1`	349.00	⁺3.00	Unknown	17.00	12.00	9.00
`SYN910-1`	359.00	⁺5.00	Unknown	44.00	65.00	19.00
`SYN911-1`	369.00	⁺6.00	Unknown	GaveUp	Timeout	Timeout
`SYN913-1`	359.00	⁺5.00	Unknown	38.00	Timeout	Timeout
`TOP001-1`	⁺0.00	⁺0.00	0.00	0.00	Timeout	0.00
`TOP003-1`	⁺0.00	⁺0.00	0.00	0.00	Timeout	Timeout
`TOP003-2`	⁺0.00	⁺0.00	0.00	0.00	0.00	0.00
`TOP007-1`	350.00	⁺11.00	289.00	Timeout	Timeout	Timeout
`TOP008-1`	⁺89.00	⁺0.00	99.00	Timeout	Timeout	Timeout
`TOP014-1`	⁺89.00	⁺0.00	99.00	85.00	26.00	Timeout
`TOP016-1`	⁺89.00	⁺0.00	99.00	85.00	26.00	Timeout
`TOP019-1`	⁺89.00	⁺0.00	99.00	Timeout	Timeout	Timeout
Attempted	70	70	70	70	70	70
Solved	63	60	49	31	22	19
Av. Time	142.16	6.52	93.94	14.16	27.95	2.47
Solutions	40	60	0	0	0	0
New Attempted	2	2	2	2	2	2
New Solved	1	1	0	0	2	1

^* 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 1.3-EPR	Gandalf c-2.6-SAT	E-SETHEO csp02	E-SETHEO csp03	DCTP 10.2p	Paradox 1.0-casc	Vampire 6.0	E 0.8
`GRP124-6.005`	9.00	259.00	0.00	6.00	6.00	⁺0.00	Timeout	Timeout
`GRP124-7.005`	0.00	259.00	1.00	1.00	1.00	⁺0.00	Timeout	Timeout
`GRP125-1.004`	0.00	109.00	0.00	0.00	0.00	⁺0.00	136.00	0.00
`GRP126-2.005`	0.00	259.00	0.00	0.00	0.00	⁺0.00	156.00	Timeout
`GRP127-2.005`	0.00	139.00	0.00	1.00	1.00	⁺0.00	138.00	0.00
`GRP127-2.006`	0.00	79.00	0.00	19.00	62.00	0.00	Timeout	2.00
`GRP128-1.004`	0.00	139.00	2.00	0.00	0.00	⁺0.00	139.00	4.00
`GRP128-2.006`	9.00	39.00	15.00	23.00	66.00	0.00	Timeout	193.00
`GRP130-2.005`	0.00	139.00	8.00	17.00	60.00	⁺0.00	Timeout	26.00
`GRP131-2.005`	0.00	259.00	5.00	17.00	60.00	⁺0.00	Timeout	Timeout
`GRP132-2.005`	9.00	260.00	0.00	59.00	102.00	⁺0.00	Timeout	Timeout
`GRP133-2.004`	0.00	139.00	0.00	0.00	0.00	⁺0.00	148.00	32.00
`GRP134-2.005`	0.00	259.00	1.00	5.00	5.00	⁺0.00	Timeout	Timeout
`MGT066-1`	0.00	189.00	0.00	0.00	0.00	⁺0.00	136.00	Timeout
`PUZ018-2`	0.00	209.00	0.00	0.00	0.00	⁺0.00	GaveUp	Timeout
`PUZ037-3`	Timeout	29.00	317.00	596.00	Timeout	GaveUp	Timeout	7.00
`SYN307-1`	0.00	419.00	0.00	0.00	0.00	⁺0.00	Timeout	Timeout
`SYN418-1`	0.00	378.00	0.00	3.00	3.00	⁺1.00	Timeout	Timeout
`SYN420-1`	0.00	378.00	1.00	1.00	1.00	⁺1.00	Timeout	418.00
`SYN423-1`	0.00	378.00	1.00	3.00	3.00	⁺1.00	Timeout	Timeout
`SYN426-1`	0.00	259.00	3.00	5.00	5.00	⁺2.00	Timeout	Timeout
`SYN434-1`	0.00	259.00	15.00	17.00	60.00	⁺0.00	120.00	Timeout
`SYN435-1`	19.00	259.00	15.00	0.00	0.00	⁺0.00	130.00	Timeout
`SYN436-1`	139.00	259.00	15.00	114.00	158.00	Timeout	⁺21.00	Timeout
`SYN442-1`	139.00	259.00	15.00	57.00	58.00	Timeout	⁺3.00	76.00
`SYN447-1`	Timeout	259.00	16.00	174.00	215.00	Timeout	⁺2.00	Timeout
`SYN448-1`	89.00	259.00	15.00	16.00	17.00	70.00	⁺5.00	34.00
`SYN449-1`	249.00	259.00	15.00	69.00	112.00	⁺2.00	22.00	Timeout
`SYN450-1`	39.00	259.00	15.00	88.00	22.00	31.00	⁺1.00	248.00
`SYN451-1`	49.00	259.00	15.00	70.00	19.00	52.00	⁺6.00	14.00
`SYN452-1`	49.00	259.00	15.00	48.00	23.00	66.00	⁺36.00	94.00
`SYN454-1`	49.00	259.00	15.00	5.00	5.00	131.00	⁺5.00	Timeout
`SYN456-1`	19.00	259.00	18.00	61.00	44.00	⁺0.00	32.00	Timeout
`SYN457-1`	Timeout	259.00	19.00	337.00	384.00	Timeout	⁺11.00	Timeout
`SYN465-1`	129.00	259.00	15.00	108.00	153.00	15.00	⁺2.00	96.00
`SYN466-1`	69.00	259.00	16.00	110.00	154.00	Timeout	⁺1.00	172.00
`SYN467-1`	169.00	259.00	16.00	136.00	22.00	95.00	⁺5.00	262.00
`SYN469-1`	49.00	259.00	15.00	11.00	11.00	114.00	⁺13.00	55.00
`SYN473-1`	149.00	269.00	16.00	93.00	23.00	Timeout	⁺4.00	310.00
`SYN476-1`	299.00	259.00	16.00	125.00	168.00	510.00	⁺25.00	285.00
`SYN478-1`	49.00	259.00	15.00	13.00	13.00	4.00	⁺2.00	122.00
`SYN483-1`	99.00	259.00	15.00	10.00	10.00	22.00	⁺3.00	70.00
`SYN485-1`	219.00	259.00	15.00	70.00	31.00	149.00	⁺2.00	33.00
`SYN486-1`	49.00	259.00	15.00	77.00	36.00	7.00	⁺19.00	54.00
`SYN488-1`	219.00	259.00	16.00	275.00	315.00	414.00	⁺11.00	118.00
`SYN489-1`	99.00	259.00	16.00	138.00	30.00	Timeout	⁺8.00	176.00
`SYN498-1`	89.00	259.00	15.00	14.00	14.00	210.00	⁺1.00	41.00
`SYN499-1`	29.00	259.00	15.00	139.00	22.00	109.00	⁺1.00	70.00
`SYN500-1`	169.00	260.00	16.00	141.00	37.00	112.00	⁺2.00	124.00
`SYN503-1`	39.00	259.00	15.00	76.00	18.00	116.00	⁺2.00	Timeout
`SYN506-1`	49.00	259.00	15.00	36.00	26.00	139.00	⁺2.00	23.00
`SYN507-1`	239.00	259.00	15.00	6.00	6.00	Timeout	⁺19.00	157.00
`SYN508-1`	19.00	259.00	15.00	70.00	21.00	240.00	⁺4.00	189.00
`SYN513-1`	0.00	379.00	0.00	1.00	1.00	⁺0.00	Timeout	Timeout
`SYN544-1`	0.00	318.00	1.00	1.00	1.00	⁺1.00	Timeout	Timeout
`SYN545-1`	0.00	368.00	1.00	1.00	1.00	⁺1.00	Timeout	33.00
`SYN812-1`	Timeout	359.00	Timeout	Timeout	Timeout	GaveUp	188.00	22.00
`SYN814-1`	129.00	259.00	571.00	595.00	Timeout	⁺299.00	40.00	6.00
`SYN817-1`	539.00	169.00	Timeout	Timeout	Timeout	GaveUp	36.00	13.00
`SYN829-1`	319.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	26.00
`SYN830-1`	369.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	29.00
`SYN832-1`	229.00	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	23.00
`SYN841-1`	409.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	32.00
`SYN850-1`	99.00	299.00	Timeout	Timeout	Timeout	GaveUp	⁺91.00	11.00
`SYN851-1`	109.00	Timeout	Timeout	Timeout	Timeout	GaveUp	53.00	11.00
`SYN854-1`	549.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	39.00
`SYN861-1`	119.00	Timeout	Timeout	Timeout	Timeout	GaveUp	⁺123.00	11.00
`SYN864-1`	99.00	Timeout	Timeout	Timeout	Timeout	GaveUp	185.00	11.00
`SYN865-1`	119.00	109.00	Timeout	Timeout	Timeout	GaveUp	⁺125.00	12.00
`SYN866-1`	139.00	Timeout	Timeout	Timeout	Timeout	GaveUp	⁺122.00	11.00
Attempted	70	70	70	70	70	70	70	70
Solved	66	61	57	57	55	48	47	47
Av. Time	95.83	248.13	24.95	71.19	47.36	60.71	49.70	80.74
Solutions	0	0	0	0	0	26	32	0
New Attempted	0	0	0	0	0	0	0	0
New Solved	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 UEQ

UEQ	Waldmeister 702	Waldmeister 703	E 0.8	E-SETHEO csp03	Vampire 6.0	Gandalf c-2.6	CiME 2.01	Otter 3.2
`BOO067-1`^*	⁺9.00	⁺8.00	221.00	Timeout	⁺0.00	79.00	Timeout	GaveUp
`BOO073-1`^*	⁺1.00	⁺1.00	12.00	10.00	⁺87.00	Unknown	Timeout	GaveUp
`BOO076-1`^*	⁺65.00	⁺63.00	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`COL002-5`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	0.00	Timeout	⁺0.00
`COL003-1`	⁺0.00	⁺0.00	2.00	2.00	Timeout	Timeout	Timeout	Unknown
`COL003-20`	⁺0.00	⁺0.00	0.00	0.00	⁺15.00	Timeout	506.00	⁺3.00
`COL004-1`	⁺0.00	⁺0.00	0.00	0.00	Timeout	119.00	Timeout	Timeout
`COL006-6`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
`COL011-1`	⁺0.00	⁺0.00	Timeout	439.00	Timeout	299.00	Timeout	⁺0.00
`COL034-1`	⁺0.00	⁺0.00	13.00	14.00	Timeout	79.00	Timeout	⁺0.00
`COL037-1`	⁺0.00	⁺0.00	0.00	1.00	Timeout	119.00	Timeout	⁺1.00
`COL038-1`	⁺0.00	⁺0.00	Timeout	503.00	Timeout	329.00	Timeout	Timeout
`COL042-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp
`COL060-1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	11.00	Timeout
`COL062-1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	Timeout	Timeout
`COL063-1`	⁺0.00	⁺0.00	0.00	1.00	⁺1.00	0.00	Timeout	Timeout
`GRP114-1`	⁺0.00	⁺0.00	4.00	9.00	⁺2.00	0.00	439.00	GaveUp
`GRP164-1`	⁺44.00	⁺48.00	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp
`GRP167-4`	⁺1.00	⁺1.00	4.00	12.00	⁺98.00	Unknown	Timeout	GaveUp
`GRP178-1`	⁺0.00	⁺0.00	4.00	22.00	Timeout	59.00	8.00	GaveUp
`GRP178-2`	⁺0.00	⁺0.00	3.00	18.00	Timeout	69.00	5.00	GaveUp
`GRP179-1`	⁺0.00	⁺0.00	5.00	12.00	⁺107.00	Unknown	Timeout	GaveUp
`GRP179-2`	⁺0.00	⁺0.00	3.00	10.00	⁺101.00	29.00	Timeout	GaveUp
`GRP181-1`	⁺9.00	⁺8.00	11.00	17.00	⁺120.00	540.00	Timeout	GaveUp
`GRP181-2`	⁺10.00	⁺9.00	17.00	18.00	⁺118.00	Timeout	Timeout	GaveUp
`GRP183-1`	⁺0.00	⁺0.00	4.00	13.00	⁺101.00	Unknown	Timeout	GaveUp
`GRP183-2`	⁺0.00	⁺0.00	4.00	14.00	⁺103.00	Unknown	Timeout	GaveUp
`GRP185-2`	⁺0.00	⁺0.00	Timeout	Timeout	⁺258.00	0.00	0.00	GaveUp
`GRP186-2`	⁺1.00	⁺0.00	4.00	12.00	⁺98.00	Unknown	Timeout	GaveUp
`GRP187-1`	⁺24.00	⁺21.00	13.00	34.00	⁺117.00	Unknown	Timeout	GaveUp
`GRP404-1`^*	⁺0.00	⁺0.00	9.00	Timeout	⁺11.00	0.00	Timeout	⁺270.00
`GRP405-1`^*	⁺0.00	⁺0.00	9.00	341.00	⁺12.00	0.00	Timeout	⁺4.00
`GRP411-1`^*	⁺0.00	⁺0.00	265.00	Timeout	⁺2.00	0.00	17.00	GaveUp
`GRP420-1`^*	⁺1.00	⁺1.00	1.00	3.00	⁺32.00	9.00	Timeout	⁺187.00
`GRP422-1`^*	⁺0.00	⁺0.00	3.00	11.00	⁺25.00	9.00	Timeout	⁺11.00
`GRP423-1`^*	⁺0.00	⁺0.00	2.00	4.00	⁺27.00	0.00	Timeout	GaveUp
`GRP444-1`^*	⁺0.00	⁺0.00	0.00	0.00	⁺5.00	0.00	172.00	GaveUp
`GRP453-1`^*	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	109.00	GaveUp
`GRP475-1`^*	⁺0.00	⁺0.00	0.00	0.00	⁺8.00	99.00	14.00	Timeout
`GRP476-1`^*	⁺0.00	⁺0.00	0.00	0.00	⁺6.00	59.00	9.00	Timeout
`GRP477-1`^*	⁺0.00	⁺0.00	0.00	0.00	⁺6.00	59.00	18.00	Timeout
`GRP480-1`^*	⁺0.00	⁺0.00	0.00	0.00	⁺1.00	89.00	Timeout	GaveUp
`GRP505-1`^*	⁺5.00	⁺5.00	Timeout	Timeout	⁺223.00	Unknown	Timeout	Timeout
`GRP506-1`^*	⁺5.00	⁺5.00	Timeout	Timeout	⁺210.00	Unknown	Timeout	Timeout
`GRP507-1`^*	⁺6.00	⁺6.00	Timeout	Timeout	⁺216.00	Unknown	Timeout	Timeout
`LAT070-1`^*	⁺170.00	⁺168.00	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp
`LAT080-1`^*	Timeout	Timeout	59.00	66.00	⁺1.00	0.00	21.00	Unknown
`LAT081-1`^*	Timeout	Timeout	60.00	67.00	⁺2.00	410.00	Timeout	Unknown
`LAT082-1`^*	Timeout	Timeout	69.00	79.00	⁺29.00	Unknown	Timeout	Unknown
`LAT083-1`^*	Timeout	Timeout	59.00	66.00	⁺1.00	0.00	13.00	Unknown
`LAT084-1`^*	Timeout	Timeout	62.00	69.00	⁺2.00	Unknown	Timeout	Unknown
`LAT085-1`^*	Timeout	Timeout	67.00	74.00	⁺15.00	Timeout	Timeout	Unknown
`LAT086-1`^*	Timeout	Timeout	60.00	67.00	⁺1.00	0.00	Timeout	Unknown
`LAT087-1`^*	Timeout	Timeout	60.00	68.00	⁺1.00	0.00	Timeout	Unknown
`LAT092-1`^*	Unknown	Unknown	36.00	40.00	⁺0.00	0.00	39.00	Unknown
`LAT093-1`^*	Unknown	Unknown	36.00	41.00	⁺0.00	9.00	Timeout	Unknown
`LAT094-1`^*	Unknown	Unknown	36.00	40.00	⁺0.00	0.00	40.00	Unknown
`LAT095-1`^*	Unknown	Unknown	36.00	40.00	⁺0.00	19.00	Timeout	Unknown
`LAT096-1`^*	Unknown	Unknown	36.00	41.00	⁺0.00	0.00	101.00	Unknown
`LAT097-1`^*	Unknown	Unknown	36.00	40.00	⁺0.00	0.00	168.00	Unknown
`RNG009-5`	⁺1.00	⁺1.00	7.00	9.00	⁺358.00	99.00	Timeout	Timeout
`RNG009-7`	⁺1.00	⁺1.00	5.00	1.00	⁺4.00	119.00	Timeout	GaveUp
`RNG019-7`	⁺0.00	⁺0.00	0.00	0.00	Timeout	269.00	0.00	⁺0.00
`RNG025-5`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	269.00	281.00	⁺9.00
`RNG026-6`	⁺0.00	⁺0.00	0.00	0.00	Timeout	59.00	0.00	Timeout
`RNG027-5`	⁺3.00	⁺1.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`RNG028-9`	⁺3.00	⁺1.00	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp
`RNG029-6`	⁺2.00	⁺1.00	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`RNG035-7`	⁺6.00	⁺6.00	60.00	50.00	Timeout	Unknown	Timeout	Timeout
`ROB006-1`	⁺19.00	⁺34.00	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp
Attempted	70	70	70	70	70	70	70	70
Solved	56	56	53	52	48	45	21	11
Av. Time	6.89	6.95	26.36	45.73	52.58	73.29	93.86	44.09
Solutions	56	56	0	0	48	0	0	11
New Attempted	33	33	33	33	33	33	33	33
New Solved	19	19	28	25	31	24	12	4

^* 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 5.0	Gandalf c-2.6	Vampire 6.0	E-SETHEO csp03	DCTP 10.2p	E 0.8	EP 0.8	Gandalf c-2.6-PRF	THEO J2003	DCTP 1.3	Otter 3.2	CARINE 0.72
`LCL016-1`	⁺6.00	259.00	⁺8.00	10.00	Timeout	0.00	⁺1.00	Unknown	GaveUp	219.00	⁺19.00	Timeout
`LCL127-1`	⁺101.00	19.00	⁺181.00	15.00	Timeout	6.00	⁺9.00	⁺19.00	GaveUp	Timeout	⁺35.00	Timeout
`LCL222-1`	⁺105.00	Unknown	⁺190.00	Timeout	3.00	Timeout	Timeout	Unknown	⁺53.00	Timeout	GaveUp	Timeout
`LCL223-1`	⁺12.00	29.00	⁺169.00	Timeout	299.00	Timeout	Timeout	Unknown	GaveUp	Timeout	GaveUp	Timeout
`LCL225-1`	⁺2.00	129.00	⁺31.00	Timeout	159.00	Timeout	Timeout	Unknown	GaveUp	Timeout	GaveUp	Timeout
`LCL256-1`	⁺0.00	0.00	⁺0.00	23.00	40.00	13.00	⁺19.00	⁺0.00	GaveUp	0.00	⁺1.00	Timeout
`LCL389-1`	⁺7.00	0.00	⁺263.00	24.00	Timeout	14.00	⁺19.00	⁺0.00	GaveUp	Timeout	Timeout	Timeout
`PLA009-2`	⁺0.00	49.00	⁺69.00	0.00	0.00	0.00	⁺0.00	⁺49.00	⁺6.00	0.00	Timeout	Timeout
`PLA016-1`	⁺0.00	49.00	⁺69.00	0.00	4.00	0.00	⁺0.00	⁺49.00	GaveUp	0.00	Timeout	Timeout
`PLA021-1`	⁺0.00	139.00	⁺69.00	5.00	0.00	0.00	⁺0.00	Unknown	⁺61.00	9.00	Timeout	Timeout
`PUZ039-1`^*	⁺68.00	0.00	⁺0.00	3.00	33.00	6.00	⁺7.00	⁺0.00	Timeout	0.00	⁺3.00	Timeout
`PUZ040-1`^*	⁺67.00	0.00	⁺0.00	0.00	30.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	⁺0.00	Timeout
`PUZ042-1`	⁺77.00	0.00	⁺0.00	4.00	34.00	35.00	⁺36.00	⁺0.00	Timeout	0.00	⁺4.00	Timeout
`RNG001-2`	⁺99.00	59.00	⁺130.00	356.00	0.00	Timeout	Timeout	⁺59.00	⁺24.00	Timeout	Timeout	Timeout
`RNG001-5`	⁺29.00	49.00	⁺109.00	356.00	6.00	Timeout	Timeout	⁺49.00	⁺3.00	Timeout	⁺235.00	Timeout
`RNG004-3`	Timeout	Unknown	⁺275.00	30.00	Timeout	27.00	⁺39.00	Unknown	⁺3.00	Timeout	⁺27.00	Timeout
`SWV014-1`	⁺0.00	69.00	⁺69.00	9.00	Unknown	0.00	⁺0.00	Unknown	⁺8.00	Unknown	Timeout	Timeout
`SYN311-1`	⁺0.00	19.00	⁺38.00	9.00	0.00	0.00	⁺0.00	⁺19.00	0.00	9.00	GaveUp	Timeout
`SYN614-1`	Timeout	19.00	Timeout	156.00	0.00	83.00	⁺89.00	Unknown	GaveUp	Timeout	Timeout	Timeout
`SYN617-1`	⁺327.00	39.00	Timeout	364.00	528.00	Timeout	Timeout	⁺39.00	12.00	Timeout	GaveUp	Timeout
Attempted	20	20	20	20	20	20	20	20	20	20	20	20
Solved	18	18	18	17	15	14	14	12	9	9	8	0
Av. Time	50.00	51.50	92.78	80.24	75.73	13.14	15.64	23.58	18.89	26.33	40.50	-
Solutions	18	0	18	0	0	0	14	12	7	0	8	0
New Attempted	2	2	2	2	2	2	2	2	2	2	2	2
New Solved	2	2	2	2	2	2	2	2	0	2	2	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.8	EP 0.8	E-SETHEO csp03	Vampire 6.0	Vampire 5.0	Gandalf c-2.6-PRF	Gandalf c-2.6	DCTP 1.3	DCTP 10.2p	Otter 3.2	CARINE 0.72	THEO J2003
`ANA003-1`	1.00	⁺1.00	4.00	⁺380.00	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO014-1`	7.00	⁺9.00	10.00	⁺117.00	⁺31.00	Unknown	Unknown	Timeout	Timeout	⁺14.00	Timeout	Timeout
`COL003-7`	16.00	⁺29.00	20.00	⁺86.00	⁺13.00	⁺19.00	19.00	Timeout	Timeout	Unknown	Timeout	GaveUp
`COL003-9`	16.00	⁺29.00	20.00	⁺86.00	⁺13.00	⁺0.00	0.00	Timeout	Timeout	Unknown	Timeout	GaveUp
`COL006-2`	5.00	⁺9.00	7.00	⁺232.00	⁺25.00	⁺0.00	0.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL006-3`	Timeout	Timeout	Timeout	Timeout	⁺8.00	⁺0.00	0.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL044-5`	0.00	⁺1.00	3.00	⁺28.00	⁺8.00	⁺9.00	9.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`HWC003-2`	0.00	⁺0.00	3.00	Timeout	Timeout	⁺39.00	39.00	0.00	0.00	Timeout	Timeout	Timeout
`HWV004-1`	11.00	⁺19.00	Timeout	Timeout	Timeout	Unknown	219.00	Timeout	Timeout	GaveUp	Timeout	Timeout
`LAT001-1`	191.00	248.00	6.00	⁺105.00	Timeout	⁺190.00	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`LAT005-3`	23.00	⁺39.00	250.00	⁺98.00	⁺223.00	⁺189.00	189.00	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL109-4`	24.00	⁺39.00	33.00	⁺460.00	⁺88.00	⁺69.00	79.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL219-3`	0.00	⁺1.00	3.00	⁺7.00	⁺0.00	⁺29.00	29.00	29.00	33.00	⁺42.00	Timeout	GaveUp
`LCL229-3`	9.00	⁺15.00	13.00	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL231-3`	1.00	⁺3.00	0.00	⁺62.00	⁺10.00	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL255-3`	59.00	⁺69.00	71.00	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL300-3`	1.00	⁺1.00	4.00	⁺43.00	⁺83.00	Unknown	Unknown	Timeout	Timeout	GaveUp	Timeout	GaveUp
`ROB014-1`	21.00	⁺27.00	25.00	⁺569.00	Timeout	Unknown	Unknown	Timeout	Timeout	Timeout	Timeout	GaveUp
`ROB015-2`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`ROB019-1`	236.00	⁺258.00	238.00	⁺379.00	Timeout	Unknown	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
Attempted	20	20	20	20	20	20	20	20	20	20	20	20
Solved	18	18	17	14	11	10	10	2	2	2	0	0
Av. Time	34.50	44.28	41.76	189.43	45.64	54.40	58.30	14.50	16.50	28.00	-	-
Solutions	0	17	0	14	11	10	0	0	0	2	0	0
New Attempted	0	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	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 NNE

NNE	Vampire 5.0	Vampire 6.0	E-SETHEO csp03	E 0.8	EP 0.8	DCTP 10.2p	Gandalf c-2.6	DCTP 1.3	Gandalf c-2.6-PRF	THEO J2003	Otter 3.2	CARINE 0.72
`ANA002-1`	⁺22.00	⁺5.00	Timeout	Timeout	Timeout	Timeout	339.00	Timeout	Unknown	⁺221.00	Timeout	Timeout
`ANA002-2`	⁺7.00	⁺4.00	74.00	27.00	⁺39.00	244.00	299.00	Timeout	Unknown	⁺135.00	Timeout	Timeout
`ANA004-4`	⁺0.00	⁺20.00	0.00	0.00	⁺0.00	Timeout	489.00	Timeout	Unknown	⁺47.00	Timeout	Timeout
`COM003-1`	⁺1.00	⁺0.00	4.00	3.00	⁺5.00	0.00	149.00	9.00	Unknown	Timeout	Timeout	Timeout
`FLD028-1`	Timeout	Timeout	Unknown	172.00	⁺189.00	Timeout	Unknown	Unknown	Unknown	GaveUp	Timeout	Timeout
`FLD041-4`	⁺14.00	⁺11.00	96.00	Timeout	Timeout	4.00	0.00	49.00	⁺0.00	⁺18.00	⁺8.00	Timeout
`FLD050-3`	⁺26.00	⁺124.00	Unknown	Timeout	Timeout	Timeout	Unknown	Unknown	Unknown	GaveUp	Timeout	Timeout
`FLD062-3`	⁺109.00	⁺25.00	22.00	22.00	⁺28.00	Timeout	Unknown	Unknown	Unknown	⁺10.00	Timeout	Timeout
`SET012-2`	⁺7.00	⁺0.00	0.00	0.00	⁺0.00	12.00	0.00	0.00	⁺0.00	⁺4.00	Timeout	Timeout
`SET015-1`	⁺1.00	⁺1.00	13.00	3.00	⁺5.00	Timeout	349.00	Timeout	Unknown	⁺40.00	Timeout	Timeout
`SYN036-3`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout
`SYN037-1`	⁺0.00	⁺0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout
`SYN067-1`	⁺0.00	⁺14.00	109.00	537.00	579.00	14.00	Timeout	79.00	Unknown	Timeout	Timeout	Timeout
`SYN067-2`	⁺2.00	⁺50.00	Timeout	Timeout	Timeout	33.00	Timeout	119.00	Unknown	Timeout	Timeout	Timeout
`SYN067-3`	⁺0.00	⁺15.00	102.00	425.00	498.00	4.00	Timeout	0.00	Unknown	GaveUp	Timeout	GaveUp
`SYN690-1`	Timeout	Timeout	1.00	1.00	⁺2.00	0.00	9.00	0.00	⁺9.00	GaveUp	Timeout	Timeout
`SYN762-1`	⁺0.00	⁺176.00	2.00	1.00	⁺3.00	1.00	199.00	Timeout	⁺200.00	Timeout	Timeout	Timeout
`SYN784-1`	⁺0.00	⁺21.00	0.00	0.00	⁺1.00	8.00	299.00	Timeout	⁺299.00	GaveUp	Timeout	GaveUp
`SYN796-1`	⁺0.00	⁺4.00	0.00	0.00	⁺0.00	3.00	309.00	Timeout	⁺299.00	Timeout	Timeout	GaveUp
`SYN802-1`	⁺4.00	⁺188.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp	Timeout	Timeout
Attempted	20	20	20	20	20	20	20	20	20	20	20	20
Solved	18	18	15	15	15	13	13	9	8	7	3	0
Av. Time	10.72	36.56	28.20	79.40	89.93	24.85	187.77	28.44	100.88	67.86	2.67	-
Solutions	18	18	0	0	13	0	0	0	8	7	3	0
New Attempted	0	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	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 NEQ

NEQ	Vampire 6.0	E-SETHEO csp03	Vampire 5.0	E 0.8	EP 0.8	Gandalf c-2.6	Gandalf c-2.6-PRF	DCTP 10.2p	THEO J2003	DCTP 1.3	Otter 3.2	CARINE 0.72
`CAT005-3`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	19.00	⁺19.00	0.00	⁺0.00	0.00	⁺0.00	Timeout
`CAT014-3`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	19.00	⁺19.00	0.00	⁺4.00	0.00	⁺254.00	⁺0.00
`GEO011-1`	⁺11.00	8.00	⁺1.00	0.00	⁺0.00	39.00	⁺39.00	338.00	⁺110.00	69.00	Timeout	Timeout
`GEO027-2`	⁺26.00	8.00	⁺8.00	1.00	⁺2.00	9.00	⁺9.00	17.00	⁺0.00	0.00	⁺176.00	Timeout
`GEO040-3`	⁺2.00	8.00	⁺0.00	0.00	⁺0.00	109.00	⁺89.00	0.00	⁺6.00	0.00	⁺237.00	Timeout
`GEO046-2`	⁺39.00	Timeout	⁺15.00	Timeout	Timeout	Unknown	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout
`GEO060-2`	⁺131.00	Timeout	⁺92.00	Timeout	Timeout	19.00	⁺19.00	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO083-1`	⁺32.00	0.00	⁺4.00	Timeout	Timeout	69.00	⁺29.00	Timeout	⁺1.00	Timeout	Timeout	Timeout
`GEO084-1`	⁺32.00	0.00	⁺4.00	Timeout	Timeout	19.00	⁺19.00	11.00	⁺1.00	Timeout	Timeout	⁺0.00
`GEO089-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout
`GEO112-1`	⁺124.00	0.00	⁺47.00	4.00	⁺7.00	0.00	⁺0.00	16.00	⁺0.00	0.00	⁺1.00	Timeout
`GEO126-1`	⁺0.00	13.00	⁺0.00	4.00	⁺7.00	29.00	⁺29.00	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP026-1`	⁺14.00	54.00	⁺93.00	37.00	⁺49.00	Timeout	Unknown	Timeout	GaveUp	Unknown	Timeout	Timeout
`GRP039-1`	⁺28.00	8.00	⁺0.00	0.00	⁺0.00	149.00	Unknown	Timeout	GaveUp	129.00	Timeout	Timeout
`GRP039-3`	⁺54.00	8.00	⁺0.00	0.00	⁺0.00	29.00	⁺29.00	17.00	GaveUp	0.00	Timeout	Timeout
`GRP039-5`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	19.00	⁺19.00	16.00	GaveUp	0.00	Timeout	Timeout
`GRP040-3`	⁺13.00	8.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	352.00	⁺38.00	Timeout	Timeout	Timeout
`HWV013-2`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺206.00	0.00	Timeout	Timeout
`HWV014-2`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺204.00	0.00	⁺417.00	Timeout
`HWV016-1`	⁺0.00	9.00	⁺0.00	1.00	⁺1.00	19.00	⁺19.00	Timeout	⁺197.00	Timeout	Timeout	Timeout
`HWV016-2`	⁺56.00	9.00	⁺1.00	0.00	⁺0.00	119.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV018-2`	⁺0.00	4.00	⁺0.00	0.00	⁺0.00	29.00	⁺29.00	16.00	⁺6.00	0.00	Timeout	Timeout
`HWV022-1`	⁺19.00	1.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	3.00	⁺105.00	Timeout	⁺261.00	Timeout
`HWV023-2`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	49.00	⁺39.00	0.00	⁺298.00	0.00	Timeout	Timeout
`HWV033-1`	⁺581.00	18.00	Timeout	30.00	⁺39.00	99.00	Unknown	Timeout	⁺8.00	Timeout	Timeout	Timeout
`MGT020-1`	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	Timeout
`MGT029-1`	⁺161.00	9.00	⁺27.00	1.00	⁺2.00	9.00	⁺9.00	0.00	GaveUp	0.00	Timeout	Timeout
`MGT034-2`	⁺53.00	8.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺5.00	0.00	⁺234.00	Timeout
`MGT035-1`	⁺164.00	10.00	⁺30.00	2.00	⁺3.00	19.00	⁺19.00	4.00	GaveUp	0.00	Timeout	Timeout
`MGT039-2`	⁺220.00	8.00	⁺41.00	0.00	⁺0.00	19.00	⁺19.00	0.00	⁺224.00	0.00	Timeout	Timeout
`MGT043-1`	⁺0.00	6.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺531.00	⁺289.00
`MGT065-1`	⁺1.00	8.00	⁺0.00	0.00	⁺0.00	19.00	⁺19.00	0.00	⁺30.00	0.00	⁺240.00	⁺247.00
`NUM007-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	⁺10.00	Timeout	Timeout	Timeout
`NUM011-1`	⁺23.00	2.00	⁺39.00	4.00	⁺5.00	Unknown	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM159-1`	⁺147.00	426.00	⁺41.00	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG040-1`	⁺6.00	0.00	⁺1.00	0.00	⁺0.00	0.00	⁺0.00	1.00	⁺0.00	0.00	⁺0.00	Timeout
`RNG040-2`	⁺16.00	7.00	⁺3.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	Timeout
`SET013-3`	⁺19.00	Timeout	Timeout	Timeout	Timeout	369.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SET014-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	⁺7.00	Timeout	Timeout	Timeout
`SET016-3`	⁺13.00	9.00	⁺82.00	4.00	⁺5.00	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SET018-1`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	GaveUp	0.00	⁺52.00	Timeout
`SET019-3`	⁺368.00	0.00	Timeout	12.00	⁺14.00	29.00	⁺29.00	240.00	⁺4.00	Timeout	⁺36.00	Timeout
`SET022-3`	⁺14.00	8.00	⁺56.00	0.00	⁺0.00	19.00	⁺19.00	Timeout	⁺2.00	Timeout	Timeout	Timeout
`SET023-3`	⁺10.00	8.00	⁺55.00	0.00	⁺1.00	0.00	⁺0.00	Timeout	⁺54.00	Timeout	Timeout	Timeout
`SET027-3`	⁺1.00	3.00	⁺17.00	18.00	⁺22.00	29.00	⁺29.00	3.00	⁺1.00	0.00	Timeout	⁺4.00
`SET027-4`	⁺0.00	0.00	⁺6.00	0.00	⁺0.00	0.00	⁺0.00	1.00	⁺0.00	0.00	⁺377.00	⁺4.00
`SET042-3`	⁺0.00	1.00	⁺5.00	Timeout	Timeout	0.00	⁺0.00	Timeout	⁺46.00	Timeout	Timeout	Timeout
`SET411-6`	⁺0.00	0.00	⁺0.00	26.00	⁺39.00	19.00	⁺19.00	0.00	⁺10.00	0.00	Timeout	⁺190.00
`SET468-6`	⁺43.00	44.00	⁺18.00	36.00	⁺49.00	79.00	Unknown	Timeout	Timeout	Timeout	⁺163.00	Timeout
`SET473-6`	⁺43.00	19.00	⁺22.00	11.00	⁺18.00	79.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SET505-6`	⁺19.00	13.00	⁺12.00	5.00	⁺9.00	89.00	Unknown	Timeout	Timeout	Unknown	Timeout	Timeout
`SET508-6`	Timeout	19.00	Timeout	11.00	⁺19.00	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`SWC098-1`	⁺1.00	1.00	⁺0.00	0.00	⁺0.00	79.00	Unknown	246.00	GaveUp	Timeout	Timeout	Timeout
`SWC277-1`	⁺4.00	0.00	⁺4.00	0.00	⁺0.00	89.00	Unknown	1.00	GaveUp	0.00	Timeout	Timeout
`SWC345-1`	Timeout	239.00	GaveUp	74.00	⁺89.00	Timeout	Unknown	16.00	Timeout	Timeout	Timeout	Timeout
`SWC407-1`	⁺10.00	0.00	⁺1.00	0.00	⁺1.00	379.00	Unknown	0.00	GaveUp	269.00	Timeout	Timeout
`SYN014-1`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	490.00	Unknown	86.00	GaveUp	Timeout	Timeout	Timeout
`SYN015-1`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	Unknown	Unknown	240.00	GaveUp	Timeout	Timeout	Timeout
`SYN076-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	GaveUp	Timeout	Timeout	Timeout
`SYN077-1`	⁺0.00	8.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	GaveUp	9.00	Timeout	Timeout
Attempted	60	60	60	60	60	60	60	60	60	60	60	60
Solved	54	53	51	49	49	48	37	36	32	29	17	7
Av. Time	46.26	20.15	14.22	5.73	7.78	55.38	15.35	45.11	49.28	16.41	175.24	104.86
Solutions	54	0	51	0	49	0	37	0	32	0	17	7
New Attempted	0	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	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 PEQ

PEQ	E 0.8	EP 0.8	E-SETHEO csp03	Vampire 6.0	Vampire 5.0	Gandalf c-2.6	Gandalf c-2.6-PRF	DCTP 10.2p	DCTP 1.3	Otter 3.2	THEO J2003	CARINE 0.72
`CAT004-2`	0.00	⁺0.00	0.00	⁺1.00	⁺0.00	0.00	⁺0.00	0.00	0.00	Timeout	⁺12.00	Timeout
`COL078-2`	0.00	⁺0.00	0.00	⁺23.00	⁺1.00	29.00	⁺29.00	0.00	0.00	Timeout	GaveUp	Timeout
`GRP049-1`	2.00	⁺5.00	3.00	⁺42.00	⁺9.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP054-1`	0.00	⁺1.00	1.00	⁺87.00	⁺14.00	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP056-1`	1.00	⁺2.00	1.00	⁺28.00	⁺4.00	0.00	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP072-1`	0.00	⁺0.00	0.00	⁺30.00	⁺11.00	59.00	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP073-1`	0.00	⁺0.00	0.00	⁺36.00	⁺10.00	49.00	⁺49.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`GRP083-1`	1.00	⁺2.00	1.00	⁺22.00	⁺2.00	9.00	⁺9.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP085-1`	0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	0.00	0.00	⁺0.00	GaveUp	Timeout
`GRP087-1`	0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	0.00	0.00	⁺1.00	GaveUp	Timeout
`GRP098-1`	0.00	⁺0.00	0.00	⁺0.00	⁺69.00	Unknown	Unknown	0.00	0.00	⁺1.00	GaveUp	Timeout
`GRP108-1`	0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Unknown	Unknown	0.00	0.00	⁺1.00	GaveUp	Timeout
`GRP197-1`	Timeout	Timeout	504.00	Timeout	Timeout	19.00	⁺19.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`GRP198-1`	Timeout	Timeout	Timeout	Timeout	Timeout	19.00	⁺19.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`GRP364-1`	1.00	⁺2.00	5.00	⁺1.00	⁺3.00	59.00	⁺59.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`LAT015-1`	40.00	⁺49.00	Timeout	⁺21.00	⁺165.00	Timeout	Unknown	Timeout	Timeout	Unknown	GaveUp	Timeout
`LAT030-1`	19.00	⁺19.00	21.00	⁺10.00	⁺0.00	39.00	⁺39.00	Timeout	Timeout	Unknown	Timeout	Timeout
`RNG025-1`	8.00	⁺19.00	7.00	Timeout	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`RNG029-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	Timeout	GaveUp	Timeout
`RNG029-3`	14.00	⁺19.00	15.00	⁺98.00	Timeout	19.00	⁺19.00	Timeout	Timeout	Timeout	GaveUp	Timeout
Attempted	20	20	20	20	20	20	20	20	20	20	20	20
Solved	17	17	17	16	15	13	12	6	6	4	1	0
Av. Time	5.06	6.94	32.82	24.94	19.20	23.15	20.17	0.00	0.00	0.75	12.00	-
Solutions	0	17	0	16	15	0	12	0	0	4	1	0
New Attempted	0	0	0	0	0	0	0	0	0	0	0	0
New Solved	0	0	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 FNE

FNE	Vampire 5.0	Vampire 6.0	DCTP 10.2p	E-SETHEO csp03	Otter 3.2	MUSCADET 2.4
`COM003+1`	⁺0.00	⁺0.00	2.00	5.00	Timeout	GaveUp
`NLP079+1`	⁺20.00	⁺26.00	184.00	Timeout	Timeout	GaveUp
`NLP080+1`	⁺20.00	⁺25.00	172.00	Timeout	Timeout	GaveUp
`NLP081+1`	⁺16.00	⁺21.00	154.00	GaveUp	Timeout	GaveUp
`NLP094+1`	⁺0.00	⁺0.00	69.00	339.00	Timeout	GaveUp
`NLP122+1`	⁺0.00	⁺0.00	9.00	9.00	Timeout	GaveUp
`SYN353+1`	⁺0.00	⁺0.00	426.00	0.00	Timeout	GaveUp
`SYN458+1`	⁺0.00	⁺0.00	25.00	42.00	Timeout	GaveUp
`SYN475+1`	⁺0.00	⁺1.00	32.00	82.00	Timeout	GaveUp
`SYN477+1`	⁺0.00	⁺0.00	56.00	69.00	Timeout	GaveUp
`SYN484+1`	⁺0.00	⁺1.00	7.00	7.00	Timeout	GaveUp
`SYN485+1`	⁺0.00	⁺1.00	245.00	201.00	Timeout	GaveUp
`SYN548+1`	⁺186.00	⁺523.00	30.00	49.00	⁺241.00	GaveUp
`SYN550+1`	⁺0.00	⁺0.00	33.00	49.00	Timeout	GaveUp
`SYN723+1`	Unknown	Unknown	Timeout	Timeout	Unknown	GaveUp
Attempted	15	15	15	15	15	15
Solved	14	14	14	11	1	0
Av. Time	17.29	42.71	103.14	77.45	241.00	-
Solutions	14	14	0	0	1	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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for FEQ

FEQ	Vampire 5.0	Vampire 6.0	E-SETHEO csp03	DCTP 10.2p	MUSCADET 2.4	Otter 3.2
`GEO084+1`	⁺10.00	⁺15.00	0.00	13.00	GaveUp	Timeout
`GEO092+1`	⁺22.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`GEO094+1`	⁺12.00	⁺84.00	9.00	1.00	GaveUp	⁺147.00
`GEO103+1`	⁺11.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`GEO122+1`	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`GEO124+1`	⁺0.00	⁺4.00	3.00	1.00	GaveUp	⁺65.00
`GEO125+1`	⁺0.00	⁺4.00	3.00	1.00	GaveUp	⁺56.00
`HAL001+2`^*	⁺43.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`HAL002+1`^*	Timeout	Timeout	39.00	37.00	GaveUp	Timeout
`HAL004+1`^*	Timeout	Timeout	476.00	Timeout	GaveUp	Timeout
`HAL006+1`^*	Timeout	⁺177.00	580.00	Timeout	GaveUp	⁺25.00
`MGT025+1`	⁺0.00	⁺0.00	8.00	0.00	GaveUp	Timeout
`MGT039+1`	⁺0.00	⁺1.00	8.00	0.00	GaveUp	⁺0.00
`MGT039+2`	⁺60.00	⁺138.00	9.00	1.00	GaveUp	Timeout
`MGT062+1`	⁺0.00	⁺2.00	2.00	115.00	GaveUp	Timeout
`MGT063+1`	⁺11.00	⁺19.00	23.00	388.00	GaveUp	Timeout
`MGT065+1`	⁺0.00	⁺0.00	9.00	9.00	GaveUp	⁺138.00
`SET011+3`	⁺5.00	⁺86.00	0.00	Timeout	0.00	Timeout
`SET018+4`	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
`SET020+1`	⁺71.00	⁺152.00	Timeout	346.00	GaveUp	Timeout
`SET055+1`	Timeout	Timeout	Unknown	Unknown	Unknown	⁺0.00
`SET067+1`	⁺0.00	⁺79.00	560.00	Timeout	3.00	Timeout
`SET076+1`	⁺4.00	⁺74.00	Timeout	Timeout	Unknown	Timeout
`SET082+1`	⁺0.00	⁺5.00	269.00	Timeout	3.00	⁺98.00
`SET102+1`	⁺0.00	⁺71.00	12.00	17.00	GaveUp	⁺0.00
`SET108+1`	⁺0.00	⁺68.00	1.00	1.00	GaveUp	Timeout
`SET169+3`	Timeout	⁺400.00	Timeout	Timeout	0.00	Timeout
`SET171+3`	Timeout	⁺530.00	Timeout	Timeout	0.00	Timeout
`SET580+3`	⁺0.00	⁺0.00	8.00	8.00	0.00	Timeout
`SET594+3`	⁺9.00	⁺3.00	0.00	1.00	0.00	Timeout
`SET595+3`	⁺8.00	⁺80.00	0.00	Timeout	GaveUp	Timeout
`SET634+3`	⁺33.00	⁺90.00	Timeout	Timeout	GaveUp	Timeout
`SET650+3`	⁺4.00	⁺6.00	0.00	Timeout	GaveUp	⁺2.00
`SET651+3`	⁺5.00	⁺0.00	1.00	328.00	GaveUp	Timeout
`SET652+3`	⁺5.00	⁺1.00	1.00	88.00	GaveUp	Timeout
`SET656+3`	⁺63.00	⁺1.00	1.00	1.00	GaveUp	⁺66.00
`SET657+3`	⁺9.00	⁺38.00	63.00	Timeout	GaveUp	Timeout
`SET667+3`	⁺1.00	⁺22.00	20.00	124.00	GaveUp	Timeout
`SET671+3`	⁺87.00	⁺74.00	1.00	Timeout	GaveUp	Timeout
`SET673+3`	⁺86.00	⁺74.00	8.00	Timeout	GaveUp	Timeout
`SET680+3`	⁺0.00	⁺2.00	1.00	2.00	GaveUp	Timeout
`SET685+3`	⁺0.00	⁺74.00	1.00	5.00	GaveUp	Timeout
`SET694+4`	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
`SET723+4`	Timeout	Timeout	Timeout	Unknown	0.00	Timeout
`SET743+4`	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
`SET750+4`	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
`SET752+4`	Timeout	Timeout	Timeout	Timeout	0.00	Timeout
`SWC011+1`	⁺0.00	⁺1.00	6.00	25.00	Unknown	Timeout
`SWC023+1`	⁺0.00	⁺8.00	6.00	6.00	Unknown	⁺108.00
`SWC106+1`	⁺0.00	⁺4.00	6.00	6.00	Unknown	Timeout
`SWC120+1`	⁺4.00	⁺74.00	182.00	Timeout	GaveUp	Timeout
`SWC239+1`	⁺60.00	⁺104.00	Timeout	132.00	Unknown	Timeout
`SWC259+1`	⁺0.00	⁺1.00	6.00	7.00	Unknown	Timeout
`SYN551+2`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`SYN551+3`	⁺0.00	⁺0.00	0.00	1.00	Unknown	⁺62.00
Attempted	55	55	55	55	55	55
Solved	43	42	37	28	13	13
Av. Time	14.49	61.10	62.76	59.43	0.46	59.00
Solutions	43	42	0	0	0	13
New Attempted	4	4	4	4	4	4
New Solved	1	1	3	1	0	1

^* 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 SNE

SNE	Paradox 1.0-casc	Gandalf c-2.6-SAT	Gandalf c-2.5-SAT	E-SETHEO csp03-SAT	DCTP 10.2p-SAT	DCTP 1.3-SAT
`GRP025-3`	⁺0.00	⁺19.00	59.00	Timeout	Timeout	Timeout
`GRP026-3`	⁺1.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GRP394-2`	⁺0.00	⁺0.00	0.00	4.00	0.00	0.00
`LCL078-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL179-1`	⁺3.00	⁺179.00	338.00	Timeout	Timeout	Timeout
`LCL181-1`	⁺22.00	358.00	528.00	Timeout	Timeout	Timeout
`LCL183-1`	⁺18.00	349.00	458.00	Timeout	Timeout	Timeout
`LCL235-1`	⁺6.00	359.00	359.00	Timeout	Timeout	Unknown
`LCL240-1`	⁺10.00	367.00	498.00	Timeout	Timeout	Timeout
`NLP028-1`	⁺0.00	⁺0.00	0.00	5.00	Timeout	Timeout
`NLP162-1`	⁺0.00	340.00	69.00	1.00	0.00	0.00
`NLP167-1`	⁺0.00	340.00	289.00	0.00	0.00	0.00
`NUM287-1`	⁺0.00	⁺0.00	0.00	4.00	0.00	0.00
`PUZ048-1`^*	⁺22.00	Unknown	Unknown	Timeout	1.00	GaveUp
`PUZ049-1`^*	GaveUp	49.00	Unknown	Timeout	31.00	0.00
`SWV012-1`	⁺0.00	⁺0.00	0.00	4.00	0.00	0.00
`SYN766-1`	⁺0.00	⁺19.00	0.00	Timeout	Timeout	Timeout
`SYN786-1`	⁺0.00	⁺200.00	169.00	0.00	0.00	0.00
`SYN790-1`	⁺0.00	⁺0.00	0.00	0.00	358.00	Timeout
`SYN806-1`	⁺0.00	⁺300.00	139.00	67.00	Timeout	Timeout
`SYN903-1`	⁺1.00	349.00	328.00	2.00	2.00	0.00
`SYN907-1`	⁺2.00	349.00	Timeout	11.00	7.00	0.00
`SYN908-1`	⁺4.00	359.00	Unknown	41.00	23.00	19.00
`SYN909-1`	⁺3.00	349.00	Unknown	17.00	12.00	9.00
`SYN910-1`	⁺5.00	359.00	Unknown	44.00	65.00	19.00
`SYN911-1`	⁺6.00	369.00	Unknown	GaveUp	Timeout	Timeout
`SYN913-1`	⁺5.00	359.00	Unknown	38.00	Timeout	Timeout
`TOP001-1`	⁺0.00	⁺0.00	0.00	0.00	Timeout	0.00
`TOP003-1`	⁺0.00	⁺0.00	0.00	0.00	Timeout	Timeout
`TOP003-2`	⁺0.00	⁺0.00	0.00	0.00	0.00	0.00
`TOP007-1`	⁺11.00	350.00	289.00	Timeout	Timeout	Timeout
`TOP008-1`	⁺0.00	⁺89.00	99.00	Timeout	Timeout	Timeout
`TOP014-1`	⁺0.00	⁺89.00	99.00	85.00	26.00	Timeout
`TOP016-1`	⁺0.00	⁺89.00	99.00	85.00	26.00	Timeout
`TOP019-1`	⁺0.00	⁺89.00	99.00	Timeout	Timeout	Timeout
Attempted	35	35	35	35	35	35
Solved	34	34	27	20	17	14
Av. Time	3.50	178.76	145.15	20.40	32.41	3.36
Solutions	34	19	0	0	0	0
New Attempted	2	2	2	2	2	2
New Solved	1	1	0	0	2	1

^* 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 SEQ

SEQ	Gandalf c-2.6-SAT	Paradox 1.0-casc	Gandalf c-2.5-SAT	E-SETHEO csp03-SAT	DCTP 1.3-SAT	DCTP 10.2p-SAT
`ALG008-1`	⁺0.00	⁺0.00	0.00	Timeout	Unknown	Unknown
`BOO019-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`BOO056-1`	⁺0.00	⁺7.00	0.00	Unknown	Timeout	Timeout
`BOO060-1`	408.00	⁺15.00	428.00	Timeout	Timeout	Timeout
`BOO061-1`	⁺189.00	⁺3.00	129.00	Unknown	Timeout	Timeout
`CAT019-5`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`COL047-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GEO158-1`	Unknown	Timeout	Timeout	0.00	Timeout	Timeout
`GEO161-1`	Unknown	Timeout	Timeout	0.00	Timeout	Timeout
`GRP024-4`	⁺9.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GRP081-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`GRP207-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`HWV037-1`	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
`LAT024-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LAT025-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LAT050-1`	⁺0.00	⁺12.00	0.00	Timeout	Timeout	Timeout
`LAT062-1`	⁺0.00	⁺21.00	0.00	Timeout	Timeout	Timeout
`LCL142-1`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL288-3`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL290-3`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`NLP051-1`	230.00	Timeout	Timeout	0.00	0.00	16.00
`NLP070-1`	230.00	Timeout	Timeout	1.00	0.00	16.00
`NLP072-1`	229.00	GaveUp	Timeout	1.00	0.00	16.00
`NLP082-1`	229.00	Timeout	Timeout	1.00	0.00	16.00
`NLP187-1`	228.00	⁺0.00	Timeout	28.00	Timeout	Timeout
`NLP215-1`	388.00	⁺1.00	Timeout	Timeout	Timeout	Timeout
`NLP253-1`	240.00	⁺0.00	Timeout	0.00	0.00	0.00
`PUZ015-1`	Timeout	⁺157.00	Timeout	Timeout	Unknown	Timeout
`RNG007-5`	⁺0.00	⁺0.00	0.00	Timeout	Timeout	Timeout
`RNG031-6`	⁺159.00	⁺56.00	69.00	Timeout	Timeout	Timeout
`ROB012-1`	⁺169.00	⁺0.00	29.00	Timeout	Timeout	Timeout
`ROB012-2`	⁺170.00	⁺0.00	29.00	Timeout	Timeout	Timeout
`SET781-3`	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
`SET782-1`	Timeout	Timeout	Timeout	0.00	Timeout	Timeout
Attempted	35	35	35	35	35	35
Solved	29	26	22	11	5	5
Av. Time	99.24	10.46	31.09	2.82	0.00	12.80
Solutions	21	26	0	0	0	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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for EPT

EPT	Gandalf c-2.6-SAT	Vampire 6.0	DCTP 1.3-EPR	E-SETHEO csp02	E-SETHEO csp03	DCTP 10.2p	E 0.8	Paradox 1.0-casc
`GRP127-2.006`	79.00	Timeout	0.00	0.00	19.00	62.00	2.00	0.00
`GRP128-2.006`	39.00	Timeout	9.00	15.00	23.00	66.00	193.00	0.00
`PUZ037-3`	29.00	Timeout	Timeout	317.00	596.00	Timeout	7.00	GaveUp
`SYN436-1`	259.00	⁺21.00	139.00	15.00	114.00	158.00	Timeout	Timeout
`SYN442-1`	259.00	⁺3.00	139.00	15.00	57.00	58.00	76.00	Timeout
`SYN447-1`	259.00	⁺2.00	Timeout	16.00	174.00	215.00	Timeout	Timeout
`SYN448-1`	259.00	⁺5.00	89.00	15.00	16.00	17.00	34.00	70.00
`SYN450-1`	259.00	⁺1.00	39.00	15.00	88.00	22.00	248.00	31.00
`SYN451-1`	259.00	⁺6.00	49.00	15.00	70.00	19.00	14.00	52.00
`SYN452-1`	259.00	⁺36.00	49.00	15.00	48.00	23.00	94.00	66.00
`SYN454-1`	259.00	⁺5.00	49.00	15.00	5.00	5.00	Timeout	131.00
`SYN457-1`	259.00	⁺11.00	Timeout	19.00	337.00	384.00	Timeout	Timeout
`SYN465-1`	259.00	⁺2.00	129.00	15.00	108.00	153.00	96.00	15.00
`SYN466-1`	259.00	⁺1.00	69.00	16.00	110.00	154.00	172.00	Timeout
`SYN467-1`	259.00	⁺5.00	169.00	16.00	136.00	22.00	262.00	95.00
`SYN469-1`	259.00	⁺13.00	49.00	15.00	11.00	11.00	55.00	114.00
`SYN473-1`	269.00	⁺4.00	149.00	16.00	93.00	23.00	310.00	Timeout
`SYN476-1`	259.00	⁺25.00	299.00	16.00	125.00	168.00	285.00	510.00
`SYN478-1`	259.00	⁺2.00	49.00	15.00	13.00	13.00	122.00	4.00
`SYN483-1`	259.00	⁺3.00	99.00	15.00	10.00	10.00	70.00	22.00
`SYN485-1`	259.00	⁺2.00	219.00	15.00	70.00	31.00	33.00	149.00
`SYN486-1`	259.00	⁺19.00	49.00	15.00	77.00	36.00	54.00	7.00
`SYN488-1`	259.00	⁺11.00	219.00	16.00	275.00	315.00	118.00	414.00
`SYN489-1`	259.00	⁺8.00	99.00	16.00	138.00	30.00	176.00	Timeout
`SYN498-1`	259.00	⁺1.00	89.00	15.00	14.00	14.00	41.00	210.00
`SYN499-1`	259.00	⁺1.00	29.00	15.00	139.00	22.00	70.00	109.00
`SYN500-1`	260.00	⁺2.00	169.00	16.00	141.00	37.00	124.00	112.00
`SYN503-1`	259.00	⁺2.00	39.00	15.00	76.00	18.00	Timeout	116.00
`SYN506-1`	259.00	⁺2.00	49.00	15.00	36.00	26.00	23.00	139.00
`SYN507-1`	259.00	⁺19.00	239.00	15.00	6.00	6.00	157.00	Timeout
`SYN508-1`	259.00	⁺4.00	19.00	15.00	70.00	21.00	189.00	240.00
`SYN850-1`	299.00	⁺91.00	99.00	Timeout	Timeout	Timeout	11.00	GaveUp
`SYN861-1`	Timeout	⁺123.00	119.00	Timeout	Timeout	Timeout	11.00	GaveUp
`SYN865-1`	109.00	⁺125.00	119.00	Timeout	Timeout	Timeout	12.00	GaveUp
`SYN866-1`	Timeout	⁺122.00	139.00	Timeout	Timeout	Timeout	11.00	GaveUp
Attempted	35	35	35	35	35	35	35	35
Solved	33	32	32	31	31	30	30	22
Av. Time	236.91	21.16	102.16	24.65	103.06	71.30	102.33	118.45
Solutions	0	32	0	0	0	0	0	0
New Attempted	0	0	0	0	0	0	0	0
New Solved	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 EPS

EPS	DCTP 1.3-EPR	Gandalf c-2.6-SAT	Paradox 1.0-casc	E-SETHEO csp02	E-SETHEO csp03	DCTP 10.2p	E 0.8	Vampire 6.0
`GRP124-6.005`	9.00	259.00	⁺0.00	0.00	6.00	6.00	Timeout	Timeout
`GRP124-7.005`	0.00	259.00	⁺0.00	1.00	1.00	1.00	Timeout	Timeout
`GRP125-1.004`	0.00	109.00	⁺0.00	0.00	0.00	0.00	0.00	136.00
`GRP126-2.005`	0.00	259.00	⁺0.00	0.00	0.00	0.00	Timeout	156.00
`GRP127-2.005`	0.00	139.00	⁺0.00	0.00	1.00	1.00	0.00	138.00
`GRP128-1.004`	0.00	139.00	⁺0.00	2.00	0.00	0.00	4.00	139.00
`GRP130-2.005`	0.00	139.00	⁺0.00	8.00	17.00	60.00	26.00	Timeout
`GRP131-2.005`	0.00	259.00	⁺0.00	5.00	17.00	60.00	Timeout	Timeout
`GRP132-2.005`	9.00	260.00	⁺0.00	0.00	59.00	102.00	Timeout	Timeout
`GRP133-2.004`	0.00	139.00	⁺0.00	0.00	0.00	0.00	32.00	148.00
`GRP134-2.005`	0.00	259.00	⁺0.00	1.00	5.00	5.00	Timeout	Timeout
`MGT066-1`	0.00	189.00	⁺0.00	0.00	0.00	0.00	Timeout	136.00
`PUZ018-2`	0.00	209.00	⁺0.00	0.00	0.00	0.00	Timeout	GaveUp
`SYN307-1`	0.00	419.00	⁺0.00	0.00	0.00	0.00	Timeout	Timeout
`SYN418-1`	0.00	378.00	⁺1.00	0.00	3.00	3.00	Timeout	Timeout
`SYN420-1`	0.00	378.00	⁺1.00	1.00	1.00	1.00	418.00	Timeout
`SYN423-1`	0.00	378.00	⁺1.00	1.00	3.00	3.00	Timeout	Timeout
`SYN426-1`	0.00	259.00	⁺2.00	3.00	5.00	5.00	Timeout	Timeout
`SYN434-1`	0.00	259.00	⁺0.00	15.00	17.00	60.00	Timeout	120.00
`SYN435-1`	19.00	259.00	⁺0.00	15.00	0.00	0.00	Timeout	130.00
`SYN449-1`	249.00	259.00	⁺2.00	15.00	69.00	112.00	Timeout	22.00
`SYN456-1`	19.00	259.00	⁺0.00	18.00	61.00	44.00	Timeout	32.00
`SYN513-1`	0.00	379.00	⁺0.00	0.00	1.00	1.00	Timeout	Timeout
`SYN544-1`	0.00	318.00	⁺1.00	1.00	1.00	1.00	Timeout	Timeout
`SYN545-1`	0.00	368.00	⁺1.00	1.00	1.00	1.00	33.00	Timeout
`SYN812-1`	Timeout	359.00	GaveUp	Timeout	Timeout	Timeout	22.00	188.00
`SYN814-1`	129.00	259.00	⁺299.00	571.00	595.00	Timeout	6.00	40.00
`SYN817-1`	539.00	169.00	GaveUp	Timeout	Timeout	Timeout	13.00	36.00
`SYN829-1`	319.00	Timeout	Timeout	Timeout	Timeout	Timeout	26.00	Timeout
`SYN830-1`	369.00	Timeout	Timeout	Timeout	Timeout	Timeout	29.00	Timeout
`SYN832-1`	229.00	Timeout	GaveUp	Timeout	Timeout	Timeout	23.00	Timeout
`SYN841-1`	409.00	Timeout	Timeout	Timeout	Timeout	Timeout	32.00	GaveUp
`SYN851-1`	109.00	Timeout	GaveUp	Timeout	Timeout	Timeout	11.00	53.00
`SYN854-1`	549.00	Timeout	Timeout	Timeout	Timeout	Timeout	39.00	GaveUp
`SYN864-1`	99.00	Timeout	GaveUp	Timeout	Timeout	Timeout	11.00	185.00
Attempted	35	35	35	35	35	35	35	35
Solved	34	28	26	26	26	25	17	15
Av. Time	89.88	261.36	11.85	25.31	33.19	18.64	42.65	110.60
Solutions	0	0	26	0	0	0	0	0
New Attempted	0	0	0	0	0	0	0	0
New Solved	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