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