Results

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

Results for MIX

MIX	Vampire 5.0	Vampire 5.0-CASC	Vampire 2.0-CASC	E-SETHEO csp02	E 0.7	EP 0.7	Gandalf c-2.5	Gandalf c-2.5-PROOF	Bliksem 1.12a	DCTP 10.1p	SCOTT 6.1	Otter 3.2	DCTP 1.2
`ALG003-1`^*	⁺63.10	⁺63.00	⁺61.30	Timeout	5.70	⁺10.50	200.10	⁺200.10	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA002-1`	⁺24.40	⁺24.50	⁺19.40	Timeout	Timeout	Timeout	360.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA002-3`	Timeout	Timeout	⁺536.00	1.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA002-4`	⁺54.10	⁺54.10	⁺51.10	1.20	Timeout	Timeout	280.30	⁺480.40	⁺549.20	1.60	Timeout	Timeout	Timeout
`ANA003-2`	⁺5.30	⁺5.40	⁺41.00	0.30	0.20	⁺0.30	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA004-1`	Timeout	Timeout	Timeout	24.00	6.30	⁺9.20	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO008-1`	⁺12.70	⁺12.60	⁺1.00	23.90	2.10	⁺3.20	60.00	⁺60.00	⁺1.10	5.70	⁺270.20	⁺8.70	0.00
`BOO015-1`	⁺27.60	⁺36.50	⁺1.00	51.70	11.20	⁺14.30	Unknown	GaveUp	⁺1.30	Timeout	⁺70.00	⁺16.30	Unknown
`BOO017-1`	⁺0.50	⁺0.50	⁺0.10	2.70	0.60	⁺1.10	50.00	⁺50.00	⁺0.00	1.70	⁺10.00	⁺0.20	0.00
`BOO020-1`	⁺0.80	⁺0.70	⁺16.40	24.00	23.90	⁺49.60	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO039-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`CAT002-1`	⁺28.30	⁺28.20	⁺405.00	16.80	0.60	⁺0.90	0.00	⁺0.00	⁺7.20	0.20	⁺170.20	⁺1.70	0.00
`CAT004-2`	⁺0.20	⁺0.20	⁺12.80	0.30	0.10	⁺0.40	0.00	⁺0.00	⁺0.70	0.20	GaveUp	Timeout	0.00
`CAT011-4`	⁺0.10	⁺0.10	⁺0.10	16.20	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.10	Timeout	⁺0.20	0.00
`CAT018-3`	⁺3.20	⁺3.20	⁺1.40	0.70	0.10	⁺0.20	20.00	⁺20.00	Timeout	0.60	GaveUp	Timeout	0.00
`CAT018-4`	⁺3.80	⁺3.80	⁺4.80	16.20	0.10	⁺0.20	0.00	⁺0.00	⁺0.00	1.00	Timeout	Timeout	0.00
`COL003-2`	⁺5.70	⁺1.60	⁺3.90	17.20	0.90	⁺1.80	330.20	⁺330.20	Timeout	Timeout	⁺20.00	GaveUp	Timeout
`COL006-3`	⁺8.60	⁺8.50	⁺8.00	GaveUp	Timeout	Timeout	110.10	⁺110.10	Timeout	Timeout	Timeout	Timeout	Timeout
`COL042-5`	⁺12.80	⁺3.00	⁺7.40	29.10	20.50	⁺33.10	590.50	⁺590.50	Timeout	Timeout	Timeout	GaveUp	Timeout
`COL044-2`	⁺117.80	⁺11.60	⁺0.80	18.70	1.90	⁺3.40	510.50	⁺510.40	Timeout	347.20	Timeout	Timeout	Timeout
`COL044-3`	⁺117.20	⁺11.10	⁺0.90	19.10	2.90	⁺5.20	520.50	⁺500.40	Timeout	377.60	Timeout	Timeout	Timeout
`COL044-5`	⁺8.20	⁺11.10	⁺0.90	28.20	12.00	⁺19.70	520.50	⁺510.30	Timeout	Timeout	Timeout	Timeout	Timeout
`COL076-1`	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	290.20	⁺180.10	Timeout	Timeout	GaveUp	Timeout	Timeout
`COL076-2`	Timeout	Timeout	Timeout	26.20	25.70	⁺57.30	290.30	⁺290.20	Timeout	Timeout	Timeout	Timeout	Timeout
`COL077-1`	⁺405.70	Timeout	⁺14.50	26.00	25.80	⁺48.80	70.10	⁺70.00	⁺4.50	Timeout	⁺30.00	Timeout	Timeout
`COL080-1`	Timeout	Timeout	⁺246.30	GaveUp	Timeout	Timeout	200.20	⁺190.10	⁺0.20	Timeout	⁺10.00	Timeout	Timeout
`COL081-1`	⁺33.00	⁺18.00	⁺35.20	13.10	22.60	⁺43.80	190.20	⁺190.10	⁺6.40	Timeout	⁺60.00	Timeout	Timeout
`FLD022-1`	Timeout	Timeout	⁺227.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`FLD036-3`	⁺6.00	⁺6.00	⁺29.50	2.70	1.40	⁺2.50	0.00	⁺0.00	Timeout	2.50	⁺90.10	⁺12.10	50.00
`FLD068-1`	⁺141.80	⁺231.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO001-1`^*	⁺0.10	⁺0.10	⁺0.10	0.10	0.00	⁺0.10	0.00	⁺0.00	Timeout	0.10	⁺70.00	⁺314.00	0.00
`GEO002-1`^*	⁺0.00	⁺0.10	⁺0.10	0.10	0.00	⁺0.10	0.00	⁺0.00	⁺0.10	0.10	⁺0.00	⁺301.60	0.00
`GEO002-4`	⁺0.00	⁺0.00	⁺1.30	0.10	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.10	⁺40.00	⁺0.10	0.00
`GEO006-1`^*	⁺0.10	⁺5.70	⁺0.20	0.20	0.00	⁺0.20	0.00	⁺0.00	Timeout	0.20	⁺120.10	⁺429.20	0.00
`GEO007-1`^*	⁺2.40	⁺38.60	⁺0.20	15.60	0.30	⁺0.70	110.00	⁺100.10	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO008-1`^*	⁺103.10	⁺100.80	⁺224.90	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO009-1`^*	⁺18.20	⁺303.50	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO010-1`^*	⁺0.30	⁺96.60	⁺0.30	15.40	0.00	⁺0.10	180.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO011-1`^*	⁺0.90	⁺7.30	⁺0.30	15.40	0.30	⁺0.60	90.10	⁺90.10	Timeout	Timeout	⁺330.30	Timeout	Timeout
`GEO083-1`	⁺8.70	⁺8.60	⁺137.50	5.20	6.10	⁺9.60	80.00	⁺79.90	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP002-1`	⁺101.30	⁺101.30	⁺0.30	566.30	316.70	⁺364.50	40.00	⁺39.70	⁺0.20	79.60	⁺100.00	Timeout	80.00
`GRP026-1`	⁺90.00	⁺89.90	Timeout	24.20	3.30	⁺6.00	Timeout	Timeout	⁺14.20	Timeout	Timeout	Timeout	Unknown
`GRP039-2`	⁺0.30	⁺0.30	⁺0.20	2.80	0.00	⁺0.20	20.00	⁺19.80	⁺0.30	2.80	Timeout	Timeout	0.00
`GRP039-6`	⁺9.50	⁺9.50	⁺53.00	31.90	1.60	⁺3.20	0.00	⁺0.00	⁺0.10	75.30	Timeout	Timeout	Timeout
`GRP040-3`	⁺0.50	⁺0.50	⁺0.20	0.60	0.10	⁺0.20	0.00	⁺0.00	⁺0.00	0.60	Timeout	⁺419.90	0.00
`GRP048-2`	⁺6.60	⁺6.60	⁺33.80	0.70	0.60	⁺1.20	0.00	⁺0.00	⁺0.10	131.30	⁺40.00	⁺5.60	100.10
`GRP054-1`	⁺14.00	⁺11.90	⁺27.20	7.00	6.80	⁺10.40	Timeout	Timeout	Unknown	Timeout	GaveUp	GaveUp	Timeout
`GRP056-1`	⁺4.00	⁺4.00	⁺34.40	52.30	52.10	⁺84.70	Timeout	Timeout	Timeout	Timeout	Unknown	GaveUp	Timeout
`GRP074-1`	⁺1.70	⁺1.70	⁺3.00	11.30	11.10	⁺22.30	90.10	⁺90.00	Timeout	Timeout	GaveUp	GaveUp	Timeout
`GRP086-1`	⁺0.20	⁺0.20	⁺23.70	0.20	0.10	⁺0.30	0.00	⁺0.00	⁺67.60	0.30	Timeout	⁺0.20	0.00
`GRP108-1`	⁺0.20	⁺0.20	⁺46.80	0.10	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	94.70	Timeout	⁺1.60	0.00
`GRP111-1`	⁺0.50	⁺0.50	⁺48.20	0.20	0.10	⁺0.50	220.20	⁺50.00	⁺0.10	Timeout	Timeout	⁺11.50	Timeout
`GRP198-1`	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	90.10	Unknown	Timeout	Timeout	⁺10.00	Timeout	Timeout
`GRP210-1`^*	⁺45.40	⁺45.50	Timeout	21.70	21.20	⁺39.90	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP242-1`^*	⁺1.70	⁺1.60	⁺0.90	0.70	0.90	⁺1.90	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP254-1`^*	⁺1.70	⁺1.70	⁺147.90	1.00	1.20	⁺2.40	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP255-1`^*	⁺2.60	⁺2.40	⁺89.40	GaveUp	Timeout	Timeout	GaveUp	GaveUp	⁺3.70	Timeout	Timeout	Timeout	Timeout
`GRP263-1`^*	⁺0.80	⁺0.80	⁺0.90	0.80	0.30	⁺0.80	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP281-1`^*	⁺40.50	⁺40.30	Timeout	92.70	101.70	⁺166.70	GaveUp	GaveUp	⁺1.90	Timeout	Timeout	Timeout	Timeout
`GRP283-1`^*	⁺20.20	⁺20.10	⁺1.40	62.10	2.20	⁺4.70	GaveUp	GaveUp	⁺5.70	Timeout	Timeout	Timeout	Timeout
`GRP297-1`^*	⁺0.10	⁺0.10	Timeout	0.20	0.10	⁺0.20	420.30	⁺430.30	⁺0.20	Timeout	Timeout	Timeout	Timeout
`GRP305-1`^*	⁺82.80	⁺82.90	⁺91.70	6.60	48.40	⁺90.30	GaveUp	GaveUp	⁺0.30	Timeout	Timeout	Timeout	Timeout
`GRP312-1`^*	⁺1.10	⁺1.10	⁺107.10	2.80	2.50	⁺4.70	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP313-1`^*	⁺1.30	⁺1.30	⁺35.70	2.70	19.50	⁺23.20	GaveUp	GaveUp	⁺0.90	Timeout	Timeout	Timeout	Timeout
`GRP330-1`^*	⁺1.10	⁺1.10	⁺52.70	0.50	0.70	⁺1.70	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP332-1`^*	⁺4.10	⁺4.10	⁺91.20	GaveUp	49.50	⁺85.30	GaveUp	GaveUp	⁺1.50	Timeout	Timeout	Timeout	Timeout
`GRP339-1`^*	⁺2.90	⁺2.90	⁺53.60	19.40	3.50	⁺6.90	GaveUp	GaveUp	⁺54.20	Timeout	Timeout	⁺260.00	Timeout
`GRP369-1`^*	⁺0.30	⁺0.30	⁺31.00	0.70	0.50	⁺1.10	GaveUp	GaveUp	⁺10.80	Timeout	Timeout	Timeout	Timeout
`GRP401-1`^*	⁺38.10	⁺38.20	⁺0.40	GaveUp	Timeout	Timeout	Unknown	Unknown	⁺0.90	Timeout	⁺39.90	Timeout	Timeout
`HEN003-1`	⁺0.00	⁺0.00	⁺0.10	16.20	0.10	⁺0.20	0.00	⁺0.00	⁺0.10	0.10	⁺60.00	⁺0.10	0.00
`HEN003-2`	⁺0.00	⁺0.00	⁺0.00	16.20	0.00	⁺0.20	0.00	⁺0.00	⁺0.10	0.10	⁺70.00	⁺0.10	0.00
`HEN004-2`	⁺0.10	⁺0.00	⁺0.10	GaveUp	Timeout	Timeout	0.00	⁺0.00	⁺0.10	Timeout	⁺170.10	⁺0.20	Timeout
`HEN005-4`	⁺0.00	⁺0.00	⁺0.10	16.20	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.10	⁺10.00	⁺0.20	0.00
`HEN006-1`	⁺0.20	⁺0.20	⁺0.20	16.50	0.30	⁺0.80	0.00	⁺0.00	⁺0.50	0.20	⁺0.00	⁺0.20	0.00
`HEN006-2`	⁺0.10	⁺0.20	⁺0.10	20.10	3.90	⁺10.30	0.00	⁺0.00	⁺0.10	0.30	⁺70.10	⁺0.30	0.00
`HEN006-6`	⁺0.00	⁺0.00	⁺0.10	16.20	3.90	⁺9.60	0.00	⁺0.00	⁺0.00	0.70	⁺0.00	⁺1.90	0.00
`HEN006-7`	⁺0.10	⁺0.10	⁺0.20	16.40	0.20	⁺0.60	0.00	⁺0.00	⁺1.10	0.90	⁺0.00	⁺0.20	0.00
`HEN007-1`	⁺0.20	⁺0.20	⁺0.10	16.40	0.20	⁺0.60	0.00	⁺0.00	⁺1.60	Timeout	⁺0.00	⁺0.90	Timeout
`HEN010-7`	⁺1.10	⁺1.20	⁺0.10	20.30	3.80	⁺7.40	0.00	⁺0.00	⁺0.20	0.20	⁺0.00	⁺0.20	0.00
`HEN012-1`	⁺0.00	⁺0.00	⁺0.10	16.80	0.60	⁺1.30	0.00	⁺0.00	⁺0.10	Timeout	⁺40.00	⁺0.10	Timeout
`HWC001-1`	⁺1.50	⁺1.50	⁺0.10	16.20	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.10	⁺19.90	⁺0.10	0.00
`HWC003-2`	Timeout	⁺46.20	Timeout	16.30	0.10	⁺0.20	80.10	⁺80.00	Timeout	0.20	⁺220.00	Timeout	0.00
`HWV002-1`	⁺200.70	⁺200.60	⁺206.90	357.50	343.30	⁺410.50	GaveUp	GaveUp	⁺376.50	Timeout	Timeout	GaveUp	Timeout
`HWV006-1`	⁺65.00	⁺64.80	⁺0.10	62.20	0.10	⁺0.20	0.00	⁺0.00	⁺0.10	0.20	⁺0.00	⁺0.10	0.00
`HWV006-2`	⁺166.60	⁺166.60	⁺0.10	0.40	0.10	⁺0.20	0.00	⁺0.00	⁺0.10	1.30	⁺0.00	⁺0.10	0.00
`HWV007-2`	⁺141.20	⁺141.50	⁺0.10	8.00	0.10	⁺0.20	0.00	⁺0.00	⁺0.00	1.10	⁺0.00	⁺0.10	0.00
`HWV013-2`^*	⁺0.10	⁺0.10	⁺0.20	0.20	0.10	⁺0.20	30.00	⁺30.00	Timeout	0.20	Timeout	Timeout	0.00
`HWV016-1`^*	⁺0.30	⁺0.30	⁺1.20	16.90	333.50	Timeout	20.00	⁺20.00	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV017-1`^*	⁺0.10	⁺0.10	⁺1.00	12.60	1.80	⁺3.80	20.00	⁺19.90	⁺127.80	Timeout	Timeout	⁺263.50	Timeout
`HWV022-1`^*	⁺0.20	⁺0.20	⁺0.60	15.30	0.10	⁺0.20	20.00	⁺20.00	Timeout	56.00	Timeout	⁺320.70	119.90
`HWV023-2`^*	⁺0.10	⁺0.10	⁺0.20	0.70	0.10	⁺0.20	50.00	⁺50.00	Timeout	0.70	Timeout	Timeout	0.00
`HWV027-2`^*	⁺0.00	⁺0.00	⁺0.10	0.30	0.10	⁺0.20	50.00	⁺49.90	Timeout	0.20	Timeout	Timeout	0.00
`HWV029-2`^*	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	340.30	⁺440.30	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV033-1`^*	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	60.00	⁺60.00	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT002-1`	Timeout	Timeout	Timeout	425.80	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	⁺440.40	Timeout	Unknown
`LAT005-5`	⁺17.60	⁺17.50	⁺37.80	94.60	80.70	⁺88.20	0.00	⁺0.00	Timeout	Timeout	⁺0.00	⁺2.80	Timeout
`LAT015-1`	⁺163.30	⁺163.10	Timeout	40.70	40.70	⁺64.10	Unknown	Unknown	Unknown	Timeout	Timeout	GaveUp	Unknown
`LAT030-1`	⁺0.50	⁺0.50	⁺0.60	19.10	19.00	⁺20.00	10.00	⁺10.00	Unknown	Timeout	Timeout	GaveUp	Unknown
`LCL012-1`	⁺5.30	⁺5.30	⁺44.10	6.20	6.10	⁺9.60	10.00	⁺10.00	⁺478.20	Timeout	⁺500.50	⁺34.50	Timeout
`LCL024-1`	⁺5.10	⁺5.10	⁺38.60	1.40	1.30	⁺2.30	230.10	⁺230.10	⁺141.00	Timeout	Timeout	⁺38.10	Timeout
`LCL030-1`	⁺13.20	⁺13.20	⁺397.40	GaveUp	Timeout	Timeout	0.00	⁺0.00	⁺534.40	Timeout	⁺89.90	⁺19.80	Timeout
`LCL048-1`	⁺0.20	⁺0.20	⁺7.70	10.80	10.70	⁺16.70	0.00	⁺0.00	⁺0.40	3.10	⁺80.00	⁺0.30	Timeout
`LCL109-5`	⁺0.10	⁺0.10	⁺0.10	16.20	0.00	⁺0.10	0.00	⁺0.00	⁺0.00	0.10	⁺0.00	⁺0.10	0.00
`LCL152-1`	Timeout	Timeout	⁺11.90	121.30	105.10	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL191-1`	⁺14.60	⁺14.60	⁺216.40	Timeout	Timeout	Timeout	40.00	⁺40.00	⁺159.90	Timeout	⁺230.10	GaveUp	Timeout
`LCL223-1`	⁺5.80	⁺64.40	⁺0.30	95.30	Timeout	Timeout	GaveUp	GaveUp	Timeout	Timeout	GaveUp	GaveUp	300.20
`LCL224-1`	⁺0.20	⁺12.30	⁺0.10	58.90	15.00	⁺22.20	90.10	⁺90.10	⁺43.30	Timeout	GaveUp	GaveUp	280.30
`LCL225-1`	⁺3.20	⁺4.90	⁺1.20	35.30	14.30	⁺20.80	90.10	⁺90.10	⁺38.70	Timeout	GaveUp	GaveUp	330.30
`LCL227-1`	⁺0.50	⁺190.00	⁺151.90	29.30	10.60	⁺15.00	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL249-1`	⁺10.40	⁺191.40	⁺221.30	20.60	49.50	⁺72.60	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL253-1`	GaveUp	Timeout	⁺310.10	548.50	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL300-3`	⁺107.10	⁺107.20	Timeout	71.90	9.70	⁺14.80	GaveUp	GaveUp	Timeout	Timeout	Timeout	GaveUp	Timeout
`LCL402-1`	⁺1.00	⁺1.00	⁺301.70	20.70	20.60	⁺32.10	0.00	⁺0.00	⁺0.90