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	333.50	⁺10.00	⁺1.60	Timeout
`LCL416-1`^*	⁺0.10	⁺0.10	⁺0.50	0.80	0.60	⁺1.20	30.00	⁺30.00	⁺1.00	Timeout	⁺70.10	⁺5.50	230.20
`LCL417-1`^*	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA005-1`	⁺7.50	⁺18.10	⁺5.60	15.40	9.50	⁺15.80	29.90	⁺30.00	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA006-2`	⁺4.70	⁺18.20	⁺69.20	15.70	0.40	⁺0.90	0.00	⁺0.00	⁺51.60	Timeout	Timeout	⁺273.10	Timeout
`LDA007-1`	⁺0.00	⁺0.00	⁺20.40	8.30	0.10	⁺0.20	20.00	⁺20.00	Unknown	104.20	⁺70.10	⁺8.70	Timeout
`LDA007-2`	⁺6.10	⁺6.10	⁺4.00	3.20	0.10	⁺0.30	0.00	⁺0.00	⁺1.60	3.20	⁺0.00	⁺3.00	0.00
`LDA008-1`	⁺325.90	Timeout	⁺126.60	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA010-1`	⁺7.10	⁺7.10	⁺136.10	51.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA011-1`	⁺0.40	⁺0.40	⁺0.10	15.40	0.30	⁺0.60	30.00	⁺30.00	⁺65.30	Timeout	Timeout	Timeout	Timeout
`MGT029-1`	⁺33.40	⁺33.40	⁺12.10	0.60	2.00	⁺3.50	GaveUp	GaveUp	Timeout	0.60	GaveUp	Timeout	0.00
`NUM007-1`	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM017-1`	⁺32.00	⁺31.90	⁺81.60	GaveUp	Timeout	Timeout	60.00	⁺60.00	⁺0.10	Timeout	⁺320.30	⁺238.10	370.20
`PLA008-1`	⁺0.10	⁺0.10	⁺0.40	0.30	0.60	⁺0.80	350.30	⁺350.20	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA010-1`	⁺0.10	⁺0.20	⁺0.20	1.80	1.60	⁺1.90	350.30	⁺350.30	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA015-1`	⁺0.10	⁺0.10	⁺0.30	3.40	7.00	⁺7.30	340.30	⁺340.20	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA018-1`	⁺0.00	⁺0.00	⁺0.10	0.20	0.00	⁺0.10	100.00	⁺100.00	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ042-1`	⁺76.30	⁺76.30	⁺305.30	95.30	95.50	⁺97.10	0.00	⁺0.00	Timeout	381.20	GaveUp	⁺5.00	200.20
`RNG001-5`	⁺99.60	⁺99.60	⁺196.40	32.20	31.70	⁺43.40	50.00	⁺50.00	⁺90.90	37.20	Timeout	⁺12.00	Timeout
`RNG004-3`	⁺8.20	⁺8.20	⁺15.50	GaveUp	Timeout	Timeout	GaveUp	GaveUp	⁺104.80	Timeout	⁺130.00	⁺29.20	Timeout
`RNG005-1`	⁺0.30	⁺0.30	⁺0.40	0.30	0.10	⁺0.20	0.00	⁺0.00	⁺0.10	0.10	⁺0.00	⁺0.30	0.00
`RNG008-6`	⁺31.70	⁺31.60	⁺0.50	25.60	20.20	⁺26.50	19.90	⁺19.90	⁺0.50	Timeout	⁺60.00	⁺7.20	Timeout
`RNG029-3`	Timeout	Timeout	Timeout	34.50	34.40	⁺91.10	Unknown	Unknown	Timeout	Timeout	Timeout	Timeout	Unknown
`RNG039-2`	⁺1.10	⁺1.10	⁺2.00	0.90	0.70	⁺1.20	30.00	⁺30.00	⁺3.70	105.10	⁺60.00	⁺2.70	0.00
`SET010-1`	⁺23.90	⁺23.80	⁺354.00	15.80	25.20	⁺26.40	30.00	⁺30.00	Timeout	1.20	Timeout	Timeout	0.00
`SET013-1`	⁺1.20	⁺1.20	⁺0.70	1.20	2.10	⁺4.00	310.30	⁺310.20	⁺81.70	Timeout	Timeout	Timeout	Timeout
`SET013-2`	⁺7.20	⁺7.20	⁺0.20	89.60	25.80	⁺33.80	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`SET014-2`	⁺11.50	⁺11.10	⁺0.20	0.30	Timeout	Timeout	20.00	⁺20.00	Timeout	8.90	⁺100.10	Timeout	460.40
`SET022-3`	⁺53.70	⁺92.80	⁺296.40	10.00	187.80	⁺260.80	19.90	⁺19.90	Timeout	Timeout	Timeout	Timeout	Timeout
`SET042-3`	⁺1.60	⁺1.60	⁺1.20	GaveUp	Timeout	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`SET497-6`	⁺15.90	⁺204.30	⁺24.20	16.50	1.90	⁺2.80	119.90	⁺120.10	⁺458.20	Timeout	Timeout	Timeout	Timeout
`SWC049-1`	⁺0.10	⁺0.10	⁺0.20	47.40	0.10	⁺0.30	189.90	⁺190.10	Timeout	48.50	Timeout	Timeout	Timeout
`SYN014-1`	⁺0.00	⁺0.00	⁺0.10	15.20	0.20	⁺0.60	340.20	GaveUp	Timeout	57.40	Timeout	Timeout	Timeout
`SYN036-1`	⁺0.10	⁺0.10	⁺158.10	63.80	0.80	⁺1.80	120.10	⁺120.10	⁺0.00	2.60	Timeout	Timeout	Timeout
`SYN067-1`	⁺0.60	⁺0.60	Timeout	153.40	123.40	⁺174.30	Timeout	Timeout	Timeout	23.10	Timeout	Timeout	0.00
`SYN353-1`	⁺0.00	⁺0.00	⁺0.10	30.20	0.00	⁺0.20	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout
`SYN556-1`^*	⁺52.20	⁺52.20	⁺0.10	542.20	Timeout	Timeout	70.00	⁺69.80	⁺80.20	0.10	Timeout	Timeout	Timeout
`SYN568-1`^*	⁺0.00	⁺0.00	⁺0.10	0.10	0.40	⁺0.80	0.00	⁺0.00	⁺0.00	0.10	⁺40.00	⁺0.10	0.00
`SYN576-1`^*	⁺92.90	⁺92.90	⁺120.50	0.10	Timeout	Timeout	10.00	⁺9.90	⁺4.90	Timeout	⁺10.00	⁺6.40	Timeout
`SYN597-1`^*	⁺52.30	⁺52.30	⁺2.00	542.20	Timeout	Timeout	80.10	⁺80.00	Timeout	0.10	Timeout	GaveUp	Timeout
`SYN600-1`^*	⁺1.80	⁺1.90	⁺0.40	542.20	Timeout	Timeout	40.00	⁺40.00	Timeout	8.40	Timeout	⁺9.90	Timeout
`SYN601-1`^*	⁺59.30	⁺59.30	⁺90.50	542.20	Timeout	Timeout	80.10	⁺80.10	Timeout	12.00	Timeout	GaveUp	Timeout
`SYN602-1`^*	⁺52.60	⁺52.70	⁺150.80	542.20	Timeout	Timeout	30.00	⁺30.00	Timeout	0.10	Timeout	⁺55.60	0.00
`SYN607-1`^*	⁺24.70	⁺24.40	⁺7.10	0.10	Timeout	Timeout	39.90	⁺40.00	Timeout	0.10	⁺20.00	Timeout	Timeout
`SYN616-1`^*	⁺52.70	⁺52.70	⁺9.30	542.20	Timeout	Timeout	200.20	⁺190.20	Timeout	1.00	Timeout	Timeout	Timeout
`SYN628-1`^*	⁺52.20	⁺52.20	⁺0.10	542.20	Timeout	Timeout	10.00	⁺10.00	Timeout	0.30	Timeout	Timeout	Timeout
`SYN631-1`^*	⁺60.30	⁺60.30	⁺0.10	GaveUp	Timeout	Timeout	9.90	⁺10.00	Timeout	37.30	⁺90.10	⁺52.30	0.00
`SYN633-1`^*	⁺0.00	⁺0.00	⁺0.20	0.10	5.30	⁺7.90	30.00	⁺19.90	⁺6.80	0.10	⁺10.00	Timeout	Timeout
`SYN634-1`^*	⁺0.00	⁺0.00	⁺0.10	0.20	0.10	⁺0.30	20.00	⁺20.00	⁺115.30	0.70	⁺40.00	Timeout	Timeout
`SYN635-1`^*	⁺0.00	⁺0.00	⁺0.20	0.10	0.10	⁺0.20	29.90	⁺29.80	Timeout	0.70	⁺29.90	Timeout	Timeout
`SYN641-1`^*	⁺12.20	⁺12.20	⁺0.10	0.10	0.60	⁺1.10	0.00	⁺0.00	⁺1.10	13.20	⁺10.00	⁺3.80	0.00
`SYN642-1`^*	⁺0.20	⁺0.20	⁺0.10	0.10	43.10	⁺53.10	0.00	⁺0.00	⁺0.00	13.30	⁺0.00	⁺3.60	0.00
`SYN653-1`^*	⁺1.40	⁺1.40	⁺28.40	GaveUp	2.10	⁺3.10	50.00	⁺50.00	⁺0.20	0.10	⁺69.90	Timeout	0.00
`SYN657-1`^*	⁺0.00	⁺0.00	⁺0.10	0.10	0.20	⁺0.50	30.00	⁺30.00	⁺0.10	0.60	⁺10.00	⁺191.10	Timeout
`SYN673-1`^*	⁺14.40	⁺14.40	⁺43.50	0.20	Timeout	Timeout	0.00	⁺0.00	⁺4.40	0.60	⁺60.00	⁺3.90	Timeout
`SYN694-1`^*	⁺7.50	⁺7.60	⁺1.10	0.10	152.40	⁺195.40	39.90	⁺40.00	⁺9.50	377.30	Timeout	Timeout	Timeout
`SYN698-1`^*	⁺82.40	⁺82.40	⁺1.40	0.10	119.70	⁺158.80	40.00	⁺40.00	⁺11.70	344.30	Timeout	Timeout	Timeout
`SYN755-1`^*	⁺0.00	⁺0.00	Timeout	62.30	0.30	⁺0.60	10.00	⁺9.90	⁺0.10	22.90	Timeout	Timeout	0.00
`SYN758-1`^*	⁺0.20	⁺0.20	⁺398.90	Timeout	Timeout	Timeout	Timeout	Timeout	⁺43.10	Timeout	Timeout	Timeout	Timeout
`SYN759-1`^*	⁺0.20	⁺0.20	Timeout	Timeout	Timeout	Timeout	140.00	⁺140.10	⁺73.90	Timeout	Timeout	Timeout	Timeout
`SYN784-1`^*	⁺0.10	⁺0.10	⁺301.50	64.50	6.70	⁺10.30	10.00	⁺10.00	⁺21.40	Timeout	Timeout	Timeout	Timeout
`SYN796-1`^*	⁺0.10	⁺0.10	⁺245.70	64.60	2.40	⁺4.20	90.10	⁺90.10	⁺0.70	Timeout	Timeout	Timeout	Timeout
`SYN802-1`^*	⁺5.50	⁺5.50	⁺480.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	175	175	175	175	175	175	175	175	175	175	175	175	175
Solved	158	157	152	145	131	129	129	125	88	76	63	60	56
Av. Time	25.25	27.28	57.33	57.60	21.35	25.58	82.92	77.47	43.99	41.18	74.48	56.34	45.03
Solutions	158	157	152	0	0	129	0	125	88	0	63	60	0
New Attempted	63	63	63	63	63	63	63	63	63	63	63	63	63
New Solved	59	59	53	48	41	40	42	41	30	28	18	16	15

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.
CADE-19 in Miami ... It's going to be Hot!

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

Results for UEQ

UEQ	Waldmeister 702	Waldmeister 601	E-SETHEO csp02	E 0.7	Gandalf c-2.5	Vampire 5.0	Otter 3.2	SCOTT 6.1	CiME 2	Bliksem 1.12a
`BOO034-1`	⁺0.00	⁺0.00	0.20	0.00	0.00	⁺97.80	⁺43.20	Timeout	0.00	Timeout
`COL003-20`	⁺0.00	⁺0.00	0.50	0.30	70.00	⁺9.80	⁺3.40	⁺30.00	Timeout	⁺30.40
`COL006-1`	⁺1.50	⁺0.40	254.60	Timeout	60.00	Timeout	Timeout	Timeout	Timeout	Timeout
`COL006-5`	⁺0.00	⁺0.00	68.40	68.00	210.20	Timeout	Timeout	Timeout	Timeout	Timeout
`COL006-6`	⁺0.00	⁺0.00	GaveUp	Timeout	0.00	Timeout	Timeout	Timeout	Timeout	⁺114.40
`COL006-7`	⁺0.00	⁺0.00	GaveUp	Timeout	190.20	Timeout	Timeout	Timeout	Timeout	Timeout
`COL011-1`	⁺0.20	⁺0.20	13.90	13.70	140.10	Timeout	⁺0.50	⁺10.00	Timeout	Timeout
`COL036-1`	⁺0.10	⁺0.10	16.30	16.90	50.00	Timeout	⁺0.20	⁺39.90	Timeout	⁺5.90
`COL037-1`	⁺0.10	⁺0.00	3.70	3.60	50.00	Timeout	⁺1.60	⁺20.00	Timeout	Timeout
`COL042-1`	⁺0.00	⁺0.60	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL043-1`	⁺0.00	⁺0.90	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`COL043-3`	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-1`	⁺0.10	⁺0.00	1.50	1.40	60.00	⁺282.60	⁺0.80	⁺30.00	Timeout	⁺0.10
`COL044-6`	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp	⁺116.50	Timeout	⁺170.10	Timeout	Timeout
`COL044-7`	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp	⁺122.50	Timeout	Timeout	Timeout	Timeout
`COL044-8`	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-9`	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`COL065-1`	⁺4.10	⁺4.30	58.70	58.80	20.00	⁺76.70	Timeout	Timeout	Timeout	Timeout
`COL066-1`	⁺0.30	⁺1.00	126.90	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP024-5`	⁺3.20	⁺3.00	19.40	31.30	49.90	⁺45.70	Timeout	Timeout	Timeout	Timeout
`GRP164-1`	⁺43.70	⁺41.80	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP167-3`	⁺1.20	⁺1.00	4.70	5.10	GaveUp	⁺64.90	Timeout	Timeout	Timeout	⁺221.30
`GRP167-4`	⁺1.20	⁺1.00	4.60	4.80	GaveUp	⁺65.40	Timeout	⁺280.20	Timeout	Timeout
`GRP177-2`	⁺2.90	⁺2.60	GaveUp	Timeout	30.00	Timeout	GaveUp	⁺120.00	0.00	⁺87.30
`GRP178-2`	⁺0.60	⁺0.50	6.10	3.20	250.10	Timeout	GaveUp	Timeout	160.10	Timeout
`GRP179-1`	⁺0.80	⁺0.80	5.50	6.40	GaveUp	⁺71.60	Timeout	Timeout	Timeout	Timeout
`GRP179-2`	⁺0.80	⁺0.80	4.60	7.10	GaveUp	⁺71.20	Timeout	⁺220.10	Timeout	⁺143.30
`GRP180-1`	⁺1.30	⁺1.10	19.50	19.40	GaveUp	⁺76.20	Timeout	⁺290.30	Timeout	Timeout
`GRP180-2`	⁺1.30	⁺1.00	24.90	24.90	GaveUp	⁺79.50	Timeout	Timeout	Timeout	Timeout
`GRP181-1`	⁺9.80	⁺9.10	11.20	23.20	GaveUp	⁺72.40	GaveUp	Timeout	Timeout	Timeout
`GRP181-2`	⁺10.00	⁺9.50	7.10	7.00	Timeout	⁺88.20	GaveUp	Timeout	Timeout	Timeout
`GRP183-1`	⁺0.90	⁺0.80	6.80	5.40	GaveUp	⁺71.70	⁺186.20	Timeout	Timeout	⁺180.60
`GRP183-2`	⁺0.90	⁺0.90	5.70	5.20	GaveUp	⁺67.00	Timeout	Timeout	Timeout	Timeout
`GRP183-3`	⁺0.90	⁺0.80	7.10	6.90	GaveUp	⁺69.10	⁺162.80	⁺220.20	Timeout	Timeout
`GRP183-4`	⁺0.90	⁺0.90	5.70	13.60	GaveUp	⁺72.70	⁺154.50	Timeout	Timeout	Timeout
`GRP184-1`	⁺0.10	⁺0.10	6.50	7.40	230.20	⁺14.90	Timeout	Timeout	Timeout	Timeout
`GRP184-3`	⁺0.10	⁺0.10	10.20	10.10	29.90	⁺13.30	Timeout	Timeout	Timeout	Timeout
`GRP185-3`	⁺0.10	⁺0.10	GaveUp	Timeout	20.00	Timeout	⁺58.20	⁺200.20	0.00	⁺62.60
`GRP185-4`	⁺0.10	⁺0.10	GaveUp	Timeout	20.00	Timeout	⁺113.30	Timeout	0.00	⁺252.60
`GRP186-1`	⁺1.00	⁺1.00	4.30	5.70	GaveUp	⁺72.60	Timeout	⁺160.10	Timeout	Timeout
`GRP187-1`	⁺23.70	⁺22.40	28.70	36.10	GaveUp	⁺73.10	GaveUp	Timeout	Timeout	Timeout
`LAT017-1`	⁺1.50	⁺0.40	6.90	10.40	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT020-1`	⁺18.90	⁺26.20	10.80	10.60	GaveUp	⁺115.90	Timeout	Timeout	Timeout	Timeout
`LCL160-1`	⁺1.20	⁺0.00	2.70	2.50	29.90	⁺0.80	Timeout	Timeout	Timeout	⁺47.60
`RNG019-6`	⁺0.00	⁺0.00	12.60	Timeout	130.10	Timeout	GaveUp	Timeout	0.00	Timeout
`RNG019-7`	⁺0.00	⁺0.00	22.20	Timeout	20.00	Timeout	⁺0.10	Timeout	0.00	Timeout
`RNG020-6`	⁺0.00	⁺0.00	22.20	22.20	130.10	Timeout	Timeout	⁺60.00	0.00	Timeout
`RNG020-7`	⁺0.00	⁺0.00	12.60	12.40	140.00	Timeout	⁺0.20	Timeout	0.00	Timeout
`RNG021-6`	⁺0.00	⁺0.00	22.20	Timeout	130.10	Timeout	Timeout	⁺110.10	0.00	Timeout
`RNG021-7`	⁺0.00	⁺0.00	22.20	22.10	20.00	Timeout	Timeout	Timeout	0.00	Timeout
`RNG025-4`	⁺0.20	⁺0.20	GaveUp	Timeout	Timeout	Timeout	⁺20.30	⁺170.10	Timeout	Timeout
`RNG025-5`	⁺0.20	⁺0.20	GaveUp	Timeout	GaveUp	Timeout	⁺12.50	Timeout	Timeout	Timeout
`RNG025-6`	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout	Timeout	⁺7.40	⁺90.00	160.10	Timeout
`RNG025-7`	⁺0.00	⁺0.00	GaveUp	0.50	Timeout	Timeout	⁺1.80	Timeout	229.40	Timeout
`RNG026-6`	⁺0.00	⁺0.00	1.70	0.00	20.00	Timeout	GaveUp	Timeout	0.00	Timeout
`RNG026-7`	⁺0.00	⁺0.00	1.80	1.80	29.90	Timeout	Timeout	Timeout	0.00	Timeout
`RNG027-5`	⁺3.00	⁺3.90	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG027-7`	⁺3.00	⁺4.00	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG027-8`	⁺3.90	⁺4.20	GaveUp	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`RNG027-9`	⁺3.90	⁺4.20	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG028-5`	⁺3.20	⁺4.80	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG028-8`	⁺3.60	⁺4.80	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG028-9`	⁺3.60	⁺4.80	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG029-5`	⁺2.30	⁺3.40	GaveUp	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG029-6`	⁺2.30	⁺3.40	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG029-7`	⁺2.30	⁺3.50	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG035-7`	⁺6.30	⁺5.70	91.40	91.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ROB006-1`	⁺19.10	⁺30.00	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`ROB006-2`	⁺14.10	⁺48.90	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`ROB026-1`	⁺19.00	⁺30.20	GaveUp	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	70	70	70	70	70	70	70	70	70	70
Solved	70	70	40	36	27	25	17	17	15	11
Av. Time	3.19	4.14	23.92	15.55	78.91	76.48	45.12	130.66	36.64	104.19
Solutions	70	70	0	0	0	25	17	17	0	11
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.
CADE-19 in Miami ... It's going to be Hot!

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

Results for SAT

SAT	Gandalf c-2.5-SAT	ICGNS 2002b	GandalfSat 1.0	SCOTT 6.1	E-SETHEO csp02-SAT	DCTP 10.1p-SAT	DCTP 1.2-SAT
`BOO019-1`	0.00	0.10	30.00	0.00	Timeout	Timeout	Timeout
`BOO033-1`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`BOO037-1`^*	0.00	0.10	0.00	0.00	0.10	0.10	0.00
`BOO056-1`^*	0.00	0.40	Unknown	Timeout	Timeout	Timeout	Timeout
`BOO057-1`^*	0.00	0.40	Unknown	Timeout	Timeout	Timeout	Timeout
`CAT001-2`	0.00	0.10	Unknown	0.00	0.30	Timeout	Timeout
`CAT020-2`^*	0.00	0.10	0.00	0.00	299.20	0.10	0.00
`COL073-1`	0.00	0.10	Unknown	0.00	Timeout	Timeout	Timeout
`GRP204-1`	0.00	0.10	9.90	0.00	Timeout	Timeout	Timeout
`GRP394-2`^*	0.00	0.10	0.00	0.00	7.10	0.10	0.00
`GRP395-1`^*	0.00	0.10	0.00	0.00	0.10	0.10	0.00
`GRP397-1`^*	0.00	0.10	0.00	GaveUp	299.20	0.10	0.00
`HEN013-3`^*	0.00	0.10	0.00	0.00	299.20	0.10	0.00
`HWV035-1`^*	0.00	0.10	0.00	GaveUp	0.10	0.10	0.00
`HWV036-1`^*	0.00	0.10	0.00	GaveUp	0.10	0.10	0.00
`HWV036-2`^*	0.00	0.10	0.00	GaveUp	0.10	0.10	0.00
`LAT047-1`^*	0.00	0.10	40.00	0.00	Timeout	Timeout	Timeout
`LAT048-1`^*	0.00	0.10	Unknown	Timeout	Timeout	Timeout	Timeout
`LAT050-1`^*	0.00	0.30	Unknown	Timeout	Timeout	Timeout	Timeout
`LAT051-1`^*	0.00	0.10	30.00	0.00	Timeout	Timeout	Timeout
`LAT054-1`^*	9.90	2.60	Unknown	Timeout	Timeout	Timeout	Timeout
`LAT056-1`^*	0.00	0.10	0.00	0.00	299.20	0.10	0.00
`LAT058-1`^*	0.00	0.10	0.00	0.00	0.10	0.10	0.00
`LAT063-1`^*	0.00	0.30	Unknown	Timeout	Timeout	Timeout	Timeout
`LCL136-1`	0.00	0.10	20.00	0.00	Timeout	Timeout	Timeout
`LCL142-1`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`LCL240-1`	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`LCL248-1`	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`LCL280-3`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`LCL338-3`	0.00	0.10	20.00	0.00	Timeout	Timeout	Timeout
`LCL411-2`^*	0.00	0.10	0.00	0.00	0.10	0.10	0.00
`LCL412-1`^*	0.00	0.10	0.00	0.00	0.10	0.10	0.00
`LCL415-1`^*	Timeout	Timeout	GaveUp	GaveUp	0.10	Unknown	Timeout
`NLP026-1`	0.00	Timeout	0.00	0.00	3.90	0.10	0.00
`NLP052-1`	Timeout	Timeout	Unknown	GaveUp	0.20	0.20	0.00
`NLP053-1`	Timeout	Timeout	Unknown	Timeout	0.20	0.20	0.00
`NLP056-1`	190.10	Timeout	Unknown	Timeout	0.20	0.10	0.00
`NLP186-1`	100.00	GaveUp	Unknown	Timeout	0.20	0.20	0.00
`NLP191-1`	Timeout	Timeout	0.00	Timeout	0.20	0.10	0.00
`NUM287-1`^*	0.00	0.10	0.00	0.00	7.10	0.10	0.00
`NUM288-1`^*	0.00	0.10	0.00	0.00	0.20	0.10	0.00
`PUZ045-1`^*	0.00	0.10	0.00	GaveUp	Timeout	0.10	Timeout
`PUZ046-1`^*	0.00	5.00	0.00	GaveUp	7.20	0.10	0.00
`RNG007-5`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`RNG031-6`	0.00	0.50	Unknown	Timeout	Timeout	Timeout	Timeout
`RNG031-7`	0.00	1.10	Unknown	Timeout	Timeout	Timeout	Timeout
`ROB015-1`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`ROB029-1`^*	0.00	0.10	0.00	0.00	0.10	0.10	0.00
`SWV016-1`	20.00	11.80	GaveUp	0.00	0.20	Timeout	Timeout
`SYN303-1`	0.00	GaveUp	30.00	GaveUp	0.10	0.10	Timeout
`SYN330-1`	0.00	5.30	29.90	Timeout	Timeout	Timeout	Timeout
`SYN351-1`	0.00	0.10	10.00	Timeout	Timeout	Timeout	Timeout
`SYN736-1`^*	0.00	0.20	0.00	0.00	Timeout	Timeout	Timeout
`SYN754-1`^*	0.00	0.20	0.00	0.00	Timeout	Timeout	Timeout
`SYN770-1`^*	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`SYN776-1`^*	70.00	0.20	0.00	Timeout	Timeout	Timeout	Timeout
`SYN786-1`^*	80.10	0.20	0.00	0.00	0.10	0.10	0.00
`SYN806-1`^*	0.00	0.20	0.00	Timeout	14.10	Timeout	Timeout
`SYN904-1`^*	Timeout	Timeout	Unknown	Timeout	Unknown	Unknown	Timeout
`SYN907-1`^*	Timeout	Timeout	Unknown	Timeout	Timeout	Unknown	Timeout
`SYN912-1`^*	Unknown	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout
`TOP006-1`	40.00	Timeout	GaveUp	0.00	4.20	14.20	Timeout
`TOP009-1`	0.00	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`TOP010-1`	0.00	Timeout	0.00	Timeout	0.20	18.20	Timeout
`TOP011-1`	0.00	0.20	0.00	0.00	0.10	14.20	Timeout
`TOP012-1`	29.90	0.20	GaveUp	0.00	Timeout	Timeout	Timeout
`TOP013-1`	40.00	Timeout	GaveUp	0.00	Timeout	Timeout	Timeout
`TOP014-1`	40.00	Timeout	30.00	Timeout	0.20	18.10	Timeout
`TOP016-1`	40.00	Timeout	0.00	0.00	0.10	18.10	Timeout
`TOP018-1`	40.00	Timeout	GaveUp	0.00	Timeout	Timeout	Timeout
Attempted	70	70	70	70	70	70	70
Solved	61	50	44	37	34	31	24
Av. Time	11.48	0.65	5.68	0.00	36.59	2.76	0.00
Solutions	0	0	0	0	0	0	0
New Attempted	36	36	36	36	36	36	36
New Solved	32	32	26	18	20	19	18

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.
CADE-19 in Miami ... It's going to be Hot!

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

Results for FOF

FOF	Vampire 5.0	E-SETHEO csp02	DCTP 10.1p	Bliksem 1.12a	SCOTT 6.1	Otter 3.2
`GEO089+1`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`GEO093+1`	⁺11.00	222.90	Timeout	Timeout	Timeout	Timeout
`GEO094+1`	⁺12.20	41.80	8.70	Timeout	⁺0.00	⁺126.90
`GEO103+1`	⁺11.10	GaveUp	Timeout	Timeout	Timeout	Timeout
`GEO104+1`	⁺11.00	GaveUp	Timeout	Timeout	Timeout	Timeout
`GEO113+1`	⁺0.00	GaveUp	Timeout	Timeout	Timeout	Timeout
`GEO122+1`	⁺0.10	GaveUp	Timeout	Timeout	Timeout	Timeout
`GEO125+1`	⁺0.20	1.60	2.00	Timeout	⁺0.00	⁺46.10
`GEO127+1`	⁺0.50	9.10	Timeout	Timeout	Timeout	Timeout
`GEO146+1`	⁺0.30	5.00	19.10	Timeout	Timeout	Timeout
`MGT034+2`	⁺0.10	0.50	1.60	⁺0.10	GaveUp	⁺208.20
`MGT039+2`	⁺59.20	1.00	2.00	⁺0.30	GaveUp	Timeout
`MGT061+1`	⁺0.00	1.80	2.70	Timeout	⁺30.00	Timeout
`MGT064+1`	⁺0.10	17.20	Timeout	Timeout	Timeout	Timeout
`SET014+4`	Timeout	GaveUp	281.00	Timeout	Timeout	Timeout
`SET017+1`	⁺0.10	0.80	1.90	⁺144.90	Timeout	Timeout
`SET067+1`	⁺0.60	8.40	Timeout	Timeout	Timeout	Timeout
`SET076+1`	⁺4.00	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET086+1`	⁺0.00	0.70	1.70	⁺0.20	Timeout	⁺73.00
`SET096+1`	⁺17.00	9.60	113.70	⁺7.10	Timeout	⁺239.60
`SET108+1`	⁺0.00	0.70	1.60	⁺64.70	Timeout	Timeout
`SET143+3`	⁺99.80	8.30	Timeout	Timeout	Timeout	Timeout
`SET143+4`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET171+3`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET580+3`	⁺0.10	0.40	1.50	Timeout	⁺0.00	Timeout
`SET601+3`	Timeout	GaveUp	Timeout	Timeout	⁺10.00	Timeout
`SET606+3`	⁺8.10	5.20	Timeout	Timeout	Timeout	Timeout
`SET607+3`	⁺1.70	8.00	Timeout	Timeout	Timeout	Timeout
`SET609+3`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET611+3`	⁺0.10	5.20	Timeout	Timeout	⁺10.00	⁺221.60
`SET612+3`	Timeout	GaveUp	Timeout	Timeout	GaveUp	Timeout
`SET614+3`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET615+3`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET624+3`	⁺0.80	0.70	1.70	Timeout	Timeout	Timeout
`SET630+3`	⁺62.30	0.40	1.50	Timeout	⁺20.00	Timeout
`SET640+3`	⁺63.60	0.60	1.60	⁺0.10	⁺19.90	⁺18.70
`SET646+3`	⁺9.40	5.60	Timeout	Timeout	⁺70.00	Timeout
`SET647+3`	⁺5.00	4.20	Timeout	⁺5.40	⁺0.00	Timeout
`SET648+3`	⁺4.90	4.00	Timeout	⁺0.70	⁺0.00	Timeout
`SET649+3`	⁺5.10	5.60	33.30	⁺22.10	⁺0.00	⁺17.50
`SET651+3`	⁺5.00	4.30	Timeout	⁺94.70	⁺0.00	Timeout
`SET657+3`	⁺9.50	8.30	Timeout	Timeout	Timeout	Timeout
`SET669+3`	⁺0.40	3.50	3.80	⁺1.50	⁺180.20	Timeout
`SET671+3`	⁺86.70	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET673+3`	⁺84.50	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET680+3`	⁺0.10	3.70	50.60	Timeout	Timeout	Timeout
`SET683+3`	⁺0.00	GaveUp	Timeout	⁺0.10	Timeout	⁺8.30
`SET684+3`	⁺21.10	Timeout	Timeout	Timeout	Timeout	Timeout
`SET686+3`	⁺0.20	6.70	35.60	Timeout	Timeout	Timeout
`SET716+4`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET724+4`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET747+4`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SET764+4`	⁺0.70	8.60	10.60	Timeout	Timeout	Timeout
`SET770+4`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWC022+1`	⁺3.10	35.70	Timeout	Timeout	Timeout	Timeout
`SWC287+1`	⁺0.20	6.70	3.80	⁺0.60	Timeout	Timeout
`SWC315+1`	⁺97.80	32.00	Timeout	Timeout	Timeout	Timeout
`SWC330+1`	⁺0.50	54.80	95.20	⁺37.70	Timeout	Timeout
`SWC420+1`	Timeout	35.60	Timeout	Timeout	Timeout	Timeout
`SWV014+1`	⁺0.00	0.50	Timeout	Timeout	Timeout	Timeout
`SYN457+1`	⁺0.40	19.90	GaveUp	Timeout	Timeout	Timeout
`SYN460+1`	⁺0.80	19.00	Timeout	Timeout	Timeout	Timeout
`SYN466+1`	⁺0.40	15.60	Timeout	Timeout	Timeout	Timeout
`SYN471+1`	⁺0.50	10.80	76.30	Timeout	Timeout	Timeout
`SYN474+1`	⁺0.40	14.30	Timeout	Timeout	Timeout	Timeout
`SYN482+1`	⁺0.60	14.10	Timeout	Timeout	Timeout	Timeout
`SYN503+1`	⁺0.40	15.40	203.50	Timeout	Timeout	Timeout
`SYN548+1`	⁺170.60	22.60	23.60	Timeout	⁺120.10	⁺241.20
`SYN551+2`	⁺0.00	GaveUp	Timeout	Timeout	GaveUp	Timeout
`SYN723+1`^*	Unknown	Unknown	Unknown	Timeout	Timeout	Timeout
Attempted	70	70	70	70	70	70
Solved	55	46	25	15	15	10
Av. Time	15.86	15.25	39.14	25.35	30.68	120.11
Solutions	55	0	0	15	15	10
New Attempted	1	1	1	1	1	1
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.
CADE-19 in Miami ... It's going to be Hot!

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

Results for EPR

EPR	E-SETHEO csp02	Gandalf c-2.5-SAT	DCTP 1.2-EPR	GrAnDe 1.1	Vampire 5.0	DCTP 10.1p	SCOTT 6.1
`GRP123-1.005`	0.20	100.10	0.00	0.10	Timeout	Unknown	Timeout
`GRP123-2.005`	0.20	80.10	0.00	0.10	138.60	Unknown	Timeout
`GRP123-6.005`	8.20	100.10	0.00	0.10	Timeout	Unknown	Timeout
`GRP124-3.005`	8.40	100.10	120.00	0.30	Timeout	Unknown	Timeout
`GRP124-4.005`	0.20	100.10	0.00	0.10	Timeout	Unknown	Timeout
`GRP126-1.005`	0.80	100.00	0.00	0.10	Timeout	Unknown	Timeout
`GRP127-1.005`	0.30	100.10	0.00	0.10	Timeout	Unknown	Timeout
`GRP127-2.006`	0.40	0.00	0.00	0.10	Timeout	0.30	⁺29.90
`GRP128-2.006`	10.80	50.00	50.00	0.10	Timeout	Timeout	⁺60.00
`GRP128-3.005`	8.40	70.00	Timeout	0.10	Timeout	11.80	Timeout
`GRP129-1.005`	8.20	100.10	100.10	0.10	Timeout	Unknown	Timeout
`GRP130-1.005`	8.20	100.10	19.80	0.10	Timeout	Unknown	Timeout
`GRP130-2.005`	1.20	70.00	0.00	0.10	Timeout	Unknown	Timeout
`GRP130-4.004`	0.30	40.00	0.00	0.10	Timeout	Unknown	GaveUp
`GRP132-2.005`	8.40	100.10	40.00	0.20	Timeout	Unknown	Timeout
`GRP135-1.005`	8.40	100.10	210.10	0.10	Timeout	Timeout	Timeout
`MGT066-1`^*	0.10	90.10	0.00	0.00	134.40	Unknown	0.00
`PUZ010-1`	8.30	100.00	160.00	0.10	Timeout	24.80	Timeout
`PUZ017-1`	GaveUp	100.00	100.10	7.50	⁺0.10	176.10	Timeout
`PUZ037-2`	9.10	0.00	10.00	Unknown	⁺0.10	35.40	⁺0.00
`PUZ037-3`	166.50	80.00	Timeout	Timeout	⁺8.60	Timeout	Timeout
`SYN307-1`	0.10	100.10	0.00	0.00	Timeout	Unknown	0.00
`SYN418-1`	0.80	160.10	0.00	Timeout	Timeout	Unknown	Timeout
`SYN423-1`	1.60	170.00	0.00	Timeout	Timeout	Unknown	Timeout
`SYN424-1`	2.90	170.10	0.00	Timeout	Timeout	Unknown	Timeout
`SYN429-1`	2.30	170.10	0.00	Timeout	Timeout	Unknown	Timeout
`SYN440-1`	12.70	100.10	Timeout	0.20	⁺2.60	Timeout	Timeout
`SYN441-1`	8.40	100.00	Timeout	0.20	35.30	Timeout	Timeout
`SYN447-1`	14.90	100.10	Timeout	0.20	⁺3.00	Timeout	Timeout
`SYN449-1`	8.40	100.10	Timeout	0.10	11.50	Timeout	Timeout
`SYN454-1`	8.40	100.10	Timeout	0.10	⁺1.50	Timeout	Timeout
`SYN457-1`	10.50	100.10	Timeout	0.20	⁺2.20	Timeout	Timeout
`SYN462-1`	8.40	100.00	Timeout	0.10	⁺0.70	73.60	Timeout
`SYN466-1`	10.40	100.10	Timeout	0.10	⁺1.50	Timeout	Timeout
`SYN470-1`	9.00	100.00	Timeout	0.10	⁺3.50	142.60	Timeout
`SYN475-1`	9.00	100.10	Timeout	0.10	⁺1.00	94.50	Timeout
`SYN483-1`	8.50	100.10	Timeout	0.10	⁺1.40	130.20	Timeout
`SYN487-1`	8.60	100.00	Timeout	0.10	⁺6.20	Timeout	Timeout
`SYN498-1`	9.00	100.10	Timeout	0.10	⁺1.80	104.10	Timeout
`SYN500-1`	8.90	100.10	Timeout	0.20	⁺1.50	Timeout	Timeout
`SYN501-1`	8.60	100.10	Timeout	0.10	⁺0.90	283.00	Timeout
`SYN504-1`	9.00	100.10	Timeout	0.10	⁺2.30	112.70	Timeout
`SYN507-1`	8.80	100.10	Timeout	0.10	⁺9.70	Timeout	Timeout
`SYN510-1`	8.50	100.10	Timeout	0.10	⁺0.80	73.70	Timeout
`SYN513-1`	0.50	170.10	0.00	Timeout	Timeout	Unknown	Timeout
`SYN518-1`	1.70	170.10	0.00	Timeout	Timeout	Unknown	Timeout
`SYN545-1`	1.00	170.10	0.00	Timeout	Timeout	Unknown	Timeout
`SYN811-1`^*	105.90	Unknown	20.00	Unknown	Timeout	Unknown	GaveUp
`SYN813-1`^*	244.50	100.10	240.20	Timeout	⁺5.70	61.80	GaveUp
`SYN820-1`^*	204.60	Unknown	9.60	Timeout	⁺1.80	49.80	⁺0.10
`SYN821-1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp
`SYN827-1`^*	8.80	Unknown	0.00	Timeout	1.50	Unknown	GaveUp
`SYN834-1`^*	10.30	10.00	0.00	Timeout	⁺1.50	10.40	⁺0.10
`SYN835-1`^*	10.50	Unknown	0.00	Timeout	12.20	Unknown	GaveUp
`SYN839-1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN841-1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN842-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN844-1`^*	12.40	9.90	0.00	Timeout	⁺2.20	21.60	⁺0.10
`SYN845-1`^*	12.40	59.90	0.00	Timeout	⁺1.60	25.80	⁺10.00
`SYN848-1`^*	296.70	19.90	29.80	Unknown	⁺65.80	137.00	GaveUp
`SYN851-1`^*	Timeout	Unknown	220.10	Unknown	Timeout	Timeout	GaveUp
`SYN854-1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN855-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN859-1`^*	Timeout	19.90	30.00	Unknown	⁺5.40	142.20	GaveUp
`SYN863-1`^*	Timeout	Unknown	229.90	Unknown	Timeout	Timeout	Timeout
`SYN876-1`^*	1.10	0.00	0.00	Unknown	Timeout	1.10	GaveUp
`SYN883-1`^*	1.40	0.00	0.00	Unknown	Timeout	1.40	GaveUp
`SYN886-1`^*	1.70	0.10	0.00	Unknown	Timeout	1.60	GaveUp
`SYN887-1`^*	2.40	10.00	0.00	Unknown	Timeout	2.30	GaveUp
`SYN900-1`^*	3.60	0.10	0.00	Unknown	Timeout	3.70	GaveUp
Attempted	70	70	70	70	70	70	70
Solved	60	58	44	38	32	25	9
Av. Time	22.56	86.09	36.13	0.31	14.59	68.86	11.13
Solutions	0	0	0	0	26	0	7
New Attempted	24	24	24	24	24	24	24
New Solved	15	12	18	1	10	12	5

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.
CADE-19 in Miami ... It's going to be Hot!

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

Results for HNE

HNE	Vampire 2.0-CASC	Vampire 5.0	Vampire 5.0-CASC	Gandalf c-2.5-PROOF	Gandalf c-2.5	E-SETHEO csp02	E 0.7	EP 0.7	Bliksem 1.12a	Otter 3.2	DCTP 10.1p	SCOTT 6.1	DCTP 1.2
`ANA003-2`	⁺41.00	⁺5.30	⁺5.40	GaveUp	GaveUp	0.30	0.20	⁺0.30	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO002-4`	⁺1.30	⁺0.00	⁺0.00	⁺0.00	0.00	0.10	0.00	⁺0.10	⁺0.00	⁺0.10	0.10	⁺40.00	0.00
`GRP048-2`	⁺33.80	⁺6.60	⁺6.60	⁺0.00	0.00	0.70	0.60	⁺1.20	⁺0.10	⁺5.60	131.30	⁺40.00	100.10
`LCL012-1`	⁺44.10	⁺5.30	⁺5.30	⁺10.00	10.00	6.20	6.10	⁺9.60	⁺478.20	⁺34.50	Timeout	⁺500.50	Timeout
`LCL024-1`	⁺38.60	⁺5.10	⁺5.10	⁺230.10	230.10	1.40	1.30	⁺2.30	⁺141.00	⁺38.10	Timeout	Timeout	Timeout
`LCL030-1`	⁺397.40	⁺13.20	⁺13.20	⁺0.00	0.00	GaveUp	Timeout	Timeout	⁺534.40	⁺19.80	Timeout	⁺89.90	Timeout
`LCL048-1`	⁺7.70	⁺0.20	⁺0.20	⁺0.00	0.00	10.80	10.70	⁺16.70	⁺0.40	⁺0.30	3.10	⁺80.00	Timeout
`LCL191-1`	⁺216.40	⁺14.60	⁺14.60	⁺40.00	40.00	Timeout	Timeout	Timeout	⁺159.90	GaveUp	Timeout	⁺230.10	Timeout
`LCL223-1`	⁺0.30	⁺5.80	⁺64.40	GaveUp	GaveUp	95.30	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp	300.20
`LCL224-1`	⁺0.10	⁺0.20	⁺12.30	⁺90.10	90.10	58.90	15.00	⁺22.20	⁺43.30	GaveUp	Timeout	GaveUp	280.30
`LCL225-1`	⁺1.20	⁺3.20	⁺4.90	⁺90.10	90.10	35.30	14.30	⁺20.80	⁺38.70	GaveUp	Timeout	GaveUp	330.30
`LCL227-1`	⁺151.90	⁺0.50	⁺190.00	Unknown	Unknown	29.30	10.60	⁺15.00	Timeout	GaveUp	Timeout	GaveUp	Timeout
`LCL249-1`	⁺221.30	⁺10.40	⁺191.40	Unknown	Unknown	20.60	49.50	⁺72.60	Timeout	GaveUp	Timeout	GaveUp	Timeout
`LCL253-1`	⁺310.10	GaveUp	Timeout	Unknown	Unknown	548.50	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp	Timeout
`LCL402-1`	⁺301.70	⁺1.00	⁺1.00	⁺0.00	0.00	20.70	20.60	⁺32.10	⁺0.90	⁺1.60	333.50	⁺10.00	Timeout
`LCL416-1`^*	⁺0.50	⁺0.10	⁺0.10	⁺30.00	30.00	0.80	0.60	⁺1.20	⁺1.00	⁺5.50	Timeout	⁺70.10	230.20
`LCL417-1`^*	Timeout	Timeout	Timeout	GaveUp	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM017-1`	⁺81.60	⁺32.00	⁺31.90	⁺60.00	60.00	GaveUp	Timeout	Timeout	⁺0.10	⁺238.10	Timeout	⁺320.30	370.20
`PLA008-1`	⁺0.40	⁺0.10	⁺0.10	⁺350.20	350.30	0.30	0.60	⁺0.80	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA010-1`	⁺0.20	⁺0.10	⁺0.20	⁺350.30	350.30	1.80	1.60	⁺1.90	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA015-1`	⁺0.30	⁺0.10	⁺0.10	⁺340.20	340.30	3.40	7.00	⁺7.30	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA018-1`	⁺0.10	⁺0.00	⁺0.00	⁺100.00	100.00	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ042-1`	⁺305.30	⁺76.30	⁺76.30	⁺0.00	0.00	95.30	95.50	⁺97.10	Timeout	⁺5.00	381.20	GaveUp	200.20
`RNG001-5`	⁺196.40	⁺99.60	⁺99.60	⁺50.00	50.00	32.20	31.70	⁺43.40	⁺90.90	⁺12.00	37.20	Timeout	Timeout
`RNG004-3`	⁺15.50	⁺8.20	⁺8.20	GaveUp	GaveUp	GaveUp	Timeout	Timeout	⁺104.80	⁺29.20	Timeout	⁺130.00	Timeout
`RNG039-2`	⁺2.00	⁺1.10	⁺1.10	⁺30.00	30.00	0.90	0.70	⁺1.20	⁺3.70	⁺2.70	105.10	⁺60.00	0.00
`SYN556-1`^*	⁺0.10	⁺52.20	⁺52.20	⁺69.80	70.00	542.20	Timeout	Timeout	⁺80.20	Timeout	0.10	Timeout	Timeout
`SYN597-1`^*	⁺2.00	⁺52.30	⁺52.30	⁺80.00	80.10	542.20	Timeout	Timeout	Timeout	GaveUp	0.10	Timeout	Timeout
`SYN600-1`^*	⁺0.40	⁺1.80	⁺1.90	⁺40.00	40.00	542.20	Timeout	Timeout	Timeout	⁺9.90	8.40	Timeout	Timeout
`SYN601-1`^*	⁺90.50	⁺59.30	⁺59.30	⁺80.10	80.10	542.20	Timeout	Timeout	Timeout	GaveUp	12.00	Timeout	Timeout
`SYN602-1`^*	⁺150.80	⁺52.60	⁺52.70	⁺30.00	30.00	542.20	Timeout	Timeout	Timeout	⁺55.60	0.10	Timeout	0.00
`SYN616-1`^*	⁺9.30	⁺52.70	⁺52.70	⁺190.20	200.20	542.20	Timeout	Timeout	Timeout	Timeout	1.00	Timeout	Timeout
`SYN628-1`^*	⁺0.10	⁺52.20	⁺52.20	⁺10.00	10.00	542.20	Timeout	Timeout	Timeout	Timeout	0.30	Timeout	Timeout
`SYN631-1`^*	⁺0.10	⁺60.30	⁺60.30	⁺10.00	9.90	GaveUp	Timeout	Timeout	Timeout	⁺52.30	37.30	⁺90.10	0.00
`SYN653-1`^*	⁺28.40	⁺1.40	⁺1.40	⁺50.00	50.00	GaveUp	2.10	⁺3.10	⁺0.20	Timeout	0.10	⁺69.90	0.00
Attempted	35	35	35	35	35	35	35	35	35	35	35	35	35
Solved	34	33	33	28	28	28	20	20	17	16	16	13	12
Av. Time	77.97	20.42	33.85	83.25	83.62	169.94	13.43	17.45	98.69	31.89	65.68	133.15	150.96
Solutions	34	33	33	28	0	0	0	20	17	16	0	13	0
New Attempted	11	11	11	11	11	11	11	11	11	11	11	11	11
New Solved	10	10	10	10	10	8	2	2	3	4	9	3	4

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.
CADE-19 in Miami ... It's going to be Hot!

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

Results for HEQ

HEQ	E-SETHEO csp02	Vampire 5.0-CASC	E 0.7	Vampire 2.0-CASC	Vampire 5.0	EP 0.7	Gandalf c-2.5-PROOF	Gandalf c-2.5	SCOTT 6.1	Bliksem 1.12a	Otter 3.2	DCTP 10.1p	DCTP 1.2
`ANA004-1`	24.00	Timeout	6.30	Timeout	Timeout	⁺9.20	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO008-1`	23.90	⁺12.60	2.10	⁺1.00	⁺12.70	⁺3.20	⁺60.00	60.00	⁺270.20	⁺1.10	⁺8.70	5.70	0.00
`BOO015-1`	51.70	⁺36.50	11.20	⁺1.00	⁺27.60	⁺14.30	GaveUp	Unknown	⁺70.00	⁺1.30	⁺16.30	Timeout	Unknown
`BOO017-1`	2.70	⁺0.50	0.60	⁺0.10	⁺0.50	⁺1.10	⁺50.00	50.00	⁺10.00	⁺0.00	⁺0.20	1.70	0.00
`CAT002-1`	16.80	⁺28.20	0.60	⁺405.00	⁺28.30	⁺0.90	⁺0.00	0.00	⁺170.20	⁺7.20	⁺1.70	0.20	0.00
`CAT011-4`	16.20	⁺0.10	0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.00	0.00	Timeout	⁺0.00	⁺0.20	0.10	0.00
`CAT018-4`	16.20	⁺3.80	0.10	⁺4.80	⁺3.80	⁺0.20	⁺0.00	0.00	Timeout	⁺0.00	Timeout	1.00	0.00
`COL003-2`	17.20	⁺1.60	0.90	⁺3.90	⁺5.70	⁺1.80	⁺330.20	330.20	⁺20.00	Timeout	GaveUp	Timeout	Timeout
`COL006-3`	GaveUp	⁺8.50	Timeout	⁺8.00	⁺8.60	Timeout	⁺110.10	110.10	Timeout	Timeout	Timeout	Timeout	Timeout
`COL042-5`	29.10	⁺3.00	20.50	⁺7.40	⁺12.80	⁺33.10	⁺590.50	590.50	Timeout	Timeout	GaveUp	Timeout	Timeout
`COL044-2`	18.70	⁺11.60	1.90	⁺0.80	⁺117.80	⁺3.40	⁺510.40	510.50	Timeout	Timeout	Timeout	347.20	Timeout
`COL044-3`	19.10	⁺11.10	2.90	⁺0.90	⁺117.20	⁺5.20	⁺500.40	520.50	Timeout	Timeout	Timeout	377.60	Timeout
`COL044-5`	28.20	⁺11.10	12.00	⁺0.90	⁺8.20	⁺19.70	⁺510.30	520.50	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP002-1`	566.30	⁺101.30	316.70	⁺0.30	⁺101.30	⁺364.50	⁺39.70	40.00	⁺100.00	⁺0.20	Timeout	79.60	80.00
`HEN003-1`	16.20	⁺0.00	0.10	⁺0.10	⁺0.00	⁺0.20	⁺0.00	0.00	⁺60.00	⁺0.10	⁺0.10	0.10	0.00
`HEN003-2`	16.20	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.20	⁺0.00	0.00	⁺70.00	⁺0.10	⁺0.10	0.10	0.00
`HEN004-2`	GaveUp	⁺0.00	Timeout	⁺0.10	⁺0.10	Timeout	⁺0.00	0.00	⁺170.10	⁺0.10	⁺0.20	Timeout	Timeout
`HEN005-4`	16.20	⁺0.00	0.00	⁺0.10	⁺0.00	⁺0.10	⁺0.00	0.00	⁺10.00	⁺0.00	⁺0.20	0.10	0.00
`HEN006-1`	16.50	⁺0.20	0.30	⁺0.20	⁺0.20	⁺0.80	⁺0.00	0.00	⁺0.00	⁺0.50	⁺0.20	0.20	0.00
`HEN006-2`	20.10	⁺0.20	3.90	⁺0.10	⁺0.10	⁺10.30	⁺0.00	0.00	⁺70.10	⁺0.10	⁺0.30	0.30	0.00
`HEN006-6`	16.20	⁺0.00	3.90	⁺0.10	⁺0.00	⁺9.60	⁺0.00	0.00	⁺0.00	⁺0.00	⁺1.90	0.70	0.00
`HEN006-7`	16.40	⁺0.10	0.20	⁺0.20	⁺0.10	⁺0.60	⁺0.00	0.00	⁺0.00	⁺1.10	⁺0.20	0.90	0.00
`HEN007-1`	16.40	⁺0.20	0.20	⁺0.10	⁺0.20	⁺0.60	⁺0.00	0.00	⁺0.00	⁺1.60	⁺0.90	Timeout	Timeout
`HEN010-7`	20.30	⁺1.20	3.80	⁺0.10	⁺1.10	⁺7.40	⁺0.00	0.00	⁺0.00	⁺0.20	⁺0.20	0.20	0.00
`HEN012-1`	16.80	⁺0.00	0.60	⁺0.10	⁺0.00	⁺1.30	⁺0.00	0.00	⁺40.00	⁺0.10	⁺0.10	Timeout	Timeout
`HWC001-1`	16.20	⁺1.50	0.00	⁺0.10	⁺1.50	⁺0.10	⁺0.00	0.00	⁺19.90	⁺0.00	⁺0.10	0.10	0.00
`HWC003-2`	16.30	⁺46.20	0.10	Timeout	Timeout	⁺0.20	⁺80.00	80.10	⁺220.00	Timeout	Timeout	0.20	0.00
`HWV002-1`	357.50	⁺200.60	343.30	⁺206.90	⁺200.70	⁺410.50	GaveUp	GaveUp	Timeout	⁺376.50	GaveUp	Timeout	Timeout
`LAT002-1`	425.80	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	⁺440.40	Timeout	Timeout	Timeout	Unknown
`LAT005-5`	94.60	⁺17.50	80.70	⁺37.80	⁺17.60	⁺88.20	⁺0.00	0.00	⁺0.00	Timeout	⁺2.80	Timeout	Timeout
`LCL109-5`	16.20	⁺0.10	0.00	⁺0.10	⁺0.10	⁺0.10	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.10	0.10	0.00
`LCL152-1`	121.30	Timeout	105.10	⁺11.90	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL300-3`	71.90	⁺107.20	9.70	Timeout	⁺107.10	⁺14.80	GaveUp	GaveUp	Timeout	Timeout	GaveUp	Timeout	Timeout
`RNG005-1`	0.30	⁺0.30	0.10	⁺0.40	⁺0.30	⁺0.20	⁺0.00	0.00	⁺0.00	⁺0.10	⁺0.30	0.10	0.00
`RNG008-6`	25.60	⁺31.60	20.20	⁺0.50	⁺31.70	⁺26.50	⁺19.90	19.90	⁺60.00	⁺0.50	⁺7.20	Timeout	Timeout
Attempted	35	35	35	35	35	35	35	35	35	35	35	35	35
Solved	33	32	32	31	31	31	29	29	24	23	21	20	18
Av. Time	65.06	19.90	29.63	22.36	25.98	33.17	96.60	97.67	75.04	16.99	2.00	40.81	4.44
Solutions	0	32	0	31	31	31	29	0	24	23	21	0	0
New Attempted	0	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	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.
CADE-19 in Miami ... It's going to be Hot!

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

Results for NNE

NNE	Vampire 5.0	Vampire 5.0-CASC	Vampire 2.0-CASC	E-SETHEO csp02	Gandalf c-2.5	Gandalf c-2.5-PROOF	E 0.7	EP 0.7	DCTP 10.1p	Bliksem 1.12a	SCOTT 6.1	DCTP 1.2	Otter 3.2
`ANA002-1`	⁺24.40	⁺24.50	⁺19.40	Timeout	360.20	Timeout	Timeout	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	280.30	⁺480.40	Timeout	Timeout	1.60	⁺549.20	Timeout	Timeout	Timeout
`FLD022-1`	Timeout	Timeout	⁺227.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`FLD036-3`	⁺6.00	⁺6.00	⁺29.50	2.70	0.00	⁺0.00	1.40	⁺2.50	2.50	Timeout	⁺90.10	50.00	⁺12.10
`FLD068-1`	⁺141.80	⁺231.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP039-6`	⁺9.50	⁺9.50	⁺53.00	31.90	0.00	⁺0.00	1.60	⁺3.20	75.30	⁺0.10	Timeout	Timeout	Timeout
`HWV006-1`	⁺65.00	⁺64.80	⁺0.10	62.20	0.00	⁺0.00	0.10	⁺0.20	0.20	⁺0.10	⁺0.00	0.00	⁺0.10
`HWV006-2`	⁺166.60	⁺166.60	⁺0.10	0.40	0.00	⁺0.00	0.10	⁺0.20	1.30	⁺0.10	⁺0.00	0.00	⁺0.10
`HWV007-2`	⁺141.20	⁺141.50	⁺0.10	8.00	0.00	⁺0.00	0.10	⁺0.20	1.10	⁺0.00	⁺0.00	0.00	⁺0.10
`SET010-1`	⁺23.90	⁺23.80	⁺354.00	15.80	30.00	⁺30.00	25.20	⁺26.40	1.20	Timeout	Timeout	0.00	Timeout
`SET013-1`	⁺1.20	⁺1.20	⁺0.70	1.20	310.30	⁺310.20	2.10	⁺4.00	Timeout	⁺81.70	Timeout	Timeout	Timeout
`SET013-2`	⁺7.20	⁺7.20	⁺0.20	89.60	0.00	⁺0.00	25.80	⁺33.80	Timeout	Timeout	Timeout	Timeout	Timeout
`SET014-2`	⁺11.50	⁺11.10	⁺0.20	0.30	20.00	⁺20.00	Timeout	Timeout	8.90	Timeout	⁺100.10	460.40	Timeout
`SYN036-1`	⁺0.10	⁺0.10	⁺158.10	63.80	120.10	⁺120.10	0.80	⁺1.80	2.60	⁺0.00	Timeout	Timeout	Timeout
`SYN067-1`	⁺0.60	⁺0.60	Timeout	153.40	Timeout	Timeout	123.40	⁺174.30	23.10	Timeout	Timeout	0.00	Timeout
`SYN353-1`	⁺0.00	⁺0.00	⁺0.10	30.20	0.00	⁺0.00	0.00	⁺0.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN568-1`^*	⁺0.00	⁺0.00	⁺0.10	0.10	0.00	⁺0.00	0.40	⁺0.80	0.10	⁺0.00	⁺40.00	0.00	⁺0.10
`SYN576-1`^*	⁺92.90	⁺92.90	⁺120.50	0.10	10.00	⁺9.90	Timeout	Timeout	Timeout	⁺4.90	⁺10.00	Timeout	⁺6.40
`SYN607-1`^*	⁺24.70	⁺24.40	⁺7.10	0.10	39.90	⁺40.00	Timeout	Timeout	0.10	Timeout	⁺20.00	Timeout	Timeout
`SYN633-1`^*	⁺0.00	⁺0.00	⁺0.20	0.10	30.00	⁺19.90	5.30	⁺7.90	0.10	⁺6.80	⁺10.00	Timeout	Timeout
`SYN634-1`^*	⁺0.00	⁺0.00	⁺0.10	0.20	20.00	⁺20.00	0.10	⁺0.30	0.70	⁺115.30	⁺40.00	Timeout	Timeout
`SYN635-1`^*	⁺0.00	⁺