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	⁺0.00	⁺0.20	0.10	29.90	⁺29.80	0.10	⁺0.20	0.70	Timeout	⁺29.90	Timeout	Timeout
`SYN641-1`^*	⁺12.20	⁺12.20	⁺0.10	0.10	0.00	⁺0.00	0.60	⁺1.10	13.20	⁺1.10	⁺10.00	0.00	⁺3.80
`SYN642-1`^*	⁺0.20	⁺0.20	⁺0.10	0.10	0.00	⁺0.00	43.10	⁺53.10	13.30	⁺0.00	⁺0.00	0.00	⁺3.60
`SYN657-1`^*	⁺0.00	⁺0.00	⁺0.10	0.10	30.00	⁺30.00	0.20	⁺0.50	0.60	⁺0.10	⁺10.00	Timeout	⁺191.10
`SYN673-1`^*	⁺14.40	⁺14.40	⁺43.50	0.20	0.00	⁺0.00	Timeout	Timeout	0.60	⁺4.40	⁺60.00	Timeout	⁺3.90
`SYN694-1`^*	⁺7.50	⁺7.60	⁺1.10	0.10	39.90	⁺40.00	152.40	⁺195.40	377.30	⁺9.50	Timeout	Timeout	Timeout
`SYN698-1`^*	⁺82.40	⁺82.40	⁺1.40	0.10	40.00	⁺40.00	119.70	⁺158.80	344.30	⁺11.70	Timeout	Timeout	Timeout
`SYN755-1`^*	⁺0.00	⁺0.00	Timeout	62.30	10.00	⁺9.90	0.30	⁺0.60	22.90	⁺0.10	Timeout	0.00	Timeout
`SYN758-1`^*	⁺0.20	⁺0.20	⁺398.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺43.10	Timeout	Timeout	Timeout
`SYN759-1`^*	⁺0.20	⁺0.20	Timeout	Timeout	140.00	⁺140.10	Timeout	Timeout	Timeout	⁺73.90	Timeout	Timeout	Timeout
`SYN784-1`^*	⁺0.10	⁺0.10	⁺301.50	64.50	10.00	⁺10.00	6.70	⁺10.30	Timeout	⁺21.40	Timeout	Timeout	Timeout
`SYN796-1`^*	⁺0.10	⁺0.10	⁺245.70	64.60	90.10	⁺90.10	2.40	⁺4.20	Timeout	⁺0.70	Timeout	Timeout	Timeout
`SYN802-1`^*	⁺5.50	⁺5.50	⁺480.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	35	35	35	35	35	35	35	35	35	35	35	35	35
Solved	33	33	31	29	29	28	23	23	22	22	15	11	10
Av. Time	27.08	29.76	97.80	22.58	55.54	51.44	22.26	29.57	40.53	42.01	28.01	46.40	22.13
Solutions	33	33	31	0	0	28	0	23	0	22	15	0	10
New Attempted	18	18	18	18	18	18	18	18	18	18	18	18	18
New Solved	18	18	16	15	16	16	12	12	12	15	10	4	6

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

NEQ	Vampire 5.0	Vampire 5.0-CASC	Vampire 2.0-CASC	E-SETHEO csp02	Gandalf c-2.5	E 0.7	EP 0.7	Gandalf c-2.5-PROOF	DCTP 10.1p	DCTP 1.2	Bliksem 1.12a	Otter 3.2	SCOTT 6.1
`CAT018-3`	⁺3.20	⁺3.20	⁺1.40	0.70	20.00	0.10	⁺0.20	⁺20.00	0.60	0.00	Timeout	Timeout	GaveUp
`GEO001-1`^*	⁺0.10	⁺0.10	⁺0.10	0.10	0.00	0.00	⁺0.10	⁺0.00	0.10	0.00	Timeout	⁺314.00	⁺70.00
`GEO002-1`^*	⁺0.00	⁺0.10	⁺0.10	0.10	0.00	0.00	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	⁺301.60	⁺0.00
`GEO006-1`^*	⁺0.10	⁺5.70	⁺0.20	0.20	0.00	0.00	⁺0.20	⁺0.00	0.20	0.00	Timeout	⁺429.20	⁺120.10
`GEO007-1`^*	⁺2.40	⁺38.60	⁺0.20	15.60	110.00	0.30	⁺0.70	⁺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	180.20	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO011-1`^*	⁺0.90	⁺7.30	⁺0.30	15.40	90.10	0.30	⁺0.60	⁺90.10	Timeout	Timeout	Timeout	Timeout	⁺330.30
`GEO083-1`	⁺8.70	⁺8.60	⁺137.50	5.20	80.00	6.10	⁺9.60	⁺79.90	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP026-1`	⁺90.00	⁺89.90	Timeout	24.20	Timeout	3.30	⁺6.00	Timeout	Timeout	Unknown	⁺14.20	Timeout	Timeout
`GRP039-2`	⁺0.30	⁺0.30	⁺0.20	2.80	20.00	0.00	⁺0.20	⁺19.80	2.80	0.00	⁺0.30	Timeout	Timeout
`GRP040-3`	⁺0.50	⁺0.50	⁺0.20	0.60	0.00	0.10	⁺0.20	⁺0.00	0.60	0.00	⁺0.00	⁺419.90	Timeout
`HWV013-2`^*	⁺0.10	⁺0.10	⁺0.20	0.20	30.00	0.10	⁺0.20	⁺30.00	0.20	0.00	Timeout	Timeout	Timeout
`HWV016-1`^*	⁺0.30	⁺0.30	⁺1.20	16.90	20.00	333.50	Timeout	⁺20.00	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV017-1`^*	⁺0.10	⁺0.10	⁺1.00	12.60	20.00	1.80	⁺3.80	⁺19.90	Timeout	Timeout	⁺127.80	⁺263.50	Timeout
`HWV022-1`^*	⁺0.20	⁺0.20	⁺0.60	15.30	20.00	0.10	⁺0.20	⁺20.00	56.00	119.90	Timeout	⁺320.70	Timeout
`HWV023-2`^*	⁺0.10	⁺0.10	⁺0.20	0.70	50.00	0.10	⁺0.20	⁺50.00	0.70	0.00	Timeout	Timeout	Timeout
`HWV027-2`^*	⁺0.00	⁺0.00	⁺0.10	0.30	50.00	0.10	⁺0.20	⁺49.90	0.20	0.00	Timeout	Timeout	Timeout
`HWV029-2`^*	Timeout	Timeout	Timeout	GaveUp	340.30	Timeout	Timeout	⁺440.30	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV033-1`^*	Timeout	Timeout	Timeout	GaveUp	60.00	Timeout	Timeout	⁺60.00	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA005-1`	⁺7.50	⁺18.10	⁺5.60	15.40	29.90	9.50	⁺15.80	⁺30.00	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA006-2`	⁺4.70	⁺18.20	⁺69.20	15.70	0.00	0.40	⁺0.90	⁺0.00	Timeout	Timeout	⁺51.60	⁺273.10	Timeout
`LDA007-1`	⁺0.00	⁺0.00	⁺20.40	8.30	20.00	0.10	⁺0.20	⁺20.00	104.20	Timeout	Unknown	⁺8.70	⁺70.10
`LDA007-2`	⁺6.10	⁺6.10	⁺4.00	3.20	0.00	0.10	⁺0.30	⁺0.00	3.20	0.00	⁺1.60	⁺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	30.00	0.30	⁺0.60	⁺30.00	Timeout	Timeout	⁺65.30	Timeout	Timeout
`MGT029-1`	⁺33.40	⁺33.40	⁺12.10	0.60	GaveUp	2.00	⁺3.50	GaveUp	0.60	0.00	Timeout	Timeout	GaveUp
`NUM007-1`	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET022-3`	⁺53.70	⁺92.80	⁺296.40	10.00	19.90	187.80	⁺260.80	⁺19.90	Timeout	Timeout	Timeout	Timeout	Timeout
`SET042-3`	⁺1.60	⁺1.60	⁺1.20	GaveUp	0.00	Timeout	Timeout	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`SET497-6`	⁺15.90	⁺204.30	⁺24.20	16.50	119.90	1.90	⁺2.80	⁺120.10	Timeout	Timeout	⁺458.20	Timeout	Timeout
`SWC049-1`	⁺0.10	⁺0.10	⁺0.20	47.40	189.90	0.10	⁺0.30	⁺190.10	48.50	Timeout	Timeout	Timeout	Timeout
`SYN014-1`	⁺0.00	⁺0.00	⁺0.10	15.20	340.20	0.20	⁺0.60	GaveUp	57.40	Timeout	Timeout	Timeout	Timeout
Attempted	35	35	35	35	35	35	35	35	35	35	35	35	35
Solved	32	31	30	28	28	27	26	26	15	12	9	9	6
Av. Time	21.41	33.49	35.50	11.62	65.73	20.31	11.86	54.23	18.36	9.99	79.90	259.30	98.42
Solutions	32	31	30	0	0	0	26	26	0	0	9	9	6
New Attempted	16	16	16	16	16	16	16	16	16	16	16	16	16
New Solved	14	14	13	12	14	12	11	13	7	7	2	5	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 PEQ

PEQ	E 0.7	Vampire 5.0	EP 0.7	Vampire 5.0-CASC	E-SETHEO csp02	Vampire 2.0-CASC	Bliksem 1.12a	Gandalf c-2.5	Gandalf c-2.5-PROOF	SCOTT 6.1	Otter 3.2	DCTP 1.2	DCTP 10.1p
`ALG003-1`^*	5.70	⁺63.10	⁺10.50	⁺63.00	Timeout	⁺61.30	Timeout	200.10	⁺200.10	Timeout	Timeout	Timeout	Timeout
`BOO020-1`	23.90	⁺0.80	⁺49.60	⁺0.70	24.00	⁺16.40	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`BOO039-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`CAT004-2`	0.10	⁺0.20	⁺0.40	⁺0.20	0.30	⁺12.80	⁺0.70	0.00	⁺0.00	GaveUp	Timeout	0.00	0.20
`COL076-1`	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	290.20	⁺180.10	GaveUp	Timeout	Timeout	Timeout
`COL076-2`	25.70	Timeout	⁺57.30	Timeout	26.20	Timeout	Timeout	290.30	⁺290.20	Timeout	Timeout	Timeout	Timeout
`COL077-1`	25.80	⁺405.70	⁺48.80	Timeout	26.00	⁺14.50	⁺4.50	70.10	⁺70.00	⁺30.00	Timeout	Timeout	Timeout
`COL080-1`	Timeout	Timeout	Timeout	Timeout	GaveUp	⁺246.30	⁺0.20	200.20	⁺190.10	⁺10.00	Timeout	Timeout	Timeout
`COL081-1`	22.60	⁺33.00	⁺43.80	⁺18.00	13.10	⁺35.20	⁺6.40	190.20	⁺190.10	⁺60.00	Timeout	Timeout	Timeout
`GRP054-1`	6.80	⁺14.00	⁺10.40	⁺11.90	7.00	⁺27.20	Unknown	Timeout	Timeout	GaveUp	GaveUp	Timeout	Timeout
`GRP056-1`	52.10	⁺4.00	⁺84.70	⁺4.00	52.30	⁺34.40	Timeout	Timeout	Timeout	Unknown	GaveUp	Timeout	Timeout
`GRP074-1`	11.10	⁺1.70	⁺22.30	⁺1.70	11.30	⁺3.00	Timeout	90.10	⁺90.00	GaveUp	GaveUp	Timeout	Timeout
`GRP086-1`	0.10	⁺0.20	⁺0.30	⁺0.20	0.20	⁺23.70	⁺67.60	0.00	⁺0.00	Timeout	⁺0.20	0.00	0.30
`GRP108-1`	0.00	⁺0.20	⁺0.10	⁺0.20	0.10	⁺46.80	⁺0.00	0.00	⁺0.00	Timeout	⁺1.60	0.00	94.70
`GRP111-1`	0.10	⁺0.50	⁺0.50	⁺0.50	0.20	⁺48.20	⁺0.10	220.20	⁺50.00	Timeout	⁺11.50	Timeout	Timeout
`GRP198-1`	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	90.10	Unknown	⁺10.00	Timeout	Timeout	Timeout
`GRP210-1`^*	21.20	⁺45.40	⁺39.90	⁺45.50	21.70	Timeout	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP242-1`^*	0.90	⁺1.70	⁺1.90	⁺1.60	0.70	⁺0.90	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP254-1`^*	1.20	⁺1.70	⁺2.40	⁺1.70	1.00	⁺147.90	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP255-1`^*	Timeout	⁺2.60	Timeout	⁺2.40	GaveUp	⁺89.40	⁺3.70	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP263-1`^*	0.30	⁺0.80	⁺0.80	⁺0.80	0.80	⁺0.90	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP281-1`^*	101.70	⁺40.50	⁺166.70	⁺40.30	92.70	Timeout	⁺1.90	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP283-1`^*	2.20	⁺20.20	⁺4.70	⁺20.10	62.10	⁺1.40	⁺5.70	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP297-1`^*	0.10	⁺0.10	⁺0.20	⁺0.10	0.20	Timeout	⁺0.20	420.30	⁺430.30	Timeout	Timeout	Timeout	Timeout
`GRP305-1`^*	48.40	⁺82.80	⁺90.30	⁺82.90	6.60	⁺91.70	⁺0.30	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP312-1`^*	2.50	⁺1.10	⁺4.70	⁺1.10	2.80	⁺107.10	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP313-1`^*	19.50	⁺1.30	⁺23.20	⁺1.30	2.70	⁺35.70	⁺0.90	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP330-1`^*	0.70	⁺1.10	⁺1.70	⁺1.10	0.50	⁺52.70	Timeout	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP332-1`^*	49.50	⁺4.10	⁺85.30	⁺4.10	GaveUp	⁺91.20	⁺1.50	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP339-1`^*	3.50	⁺2.90	⁺6.90	⁺2.90	19.40	⁺53.60	⁺54.20	GaveUp	GaveUp	Timeout	⁺260.00	Timeout	Timeout
`GRP369-1`^*	0.50	⁺0.30	⁺1.10	⁺0.30	0.70	⁺31.00	⁺10.80	GaveUp	GaveUp	Timeout	Timeout	Timeout	Timeout
`GRP401-1`^*	Timeout	⁺38.10	Timeout	⁺38.20	GaveUp	⁺0.40	⁺0.90	Unknown	Unknown	⁺39.90	Timeout	Timeout	Timeout
`LAT015-1`	40.70	⁺163.30	⁺64.10	⁺163.10	40.70	Timeout	Unknown	Unknown	Unknown	Timeout	GaveUp	Unknown	Timeout
`LAT030-1`	19.00	⁺0.50	⁺20.00	⁺0.50	19.10	⁺0.60	Unknown	10.00	⁺10.00	Timeout	GaveUp	Unknown	Timeout
`RNG029-3`	34.40	Timeout	⁺91.10	Timeout	34.50	Timeout	Timeout	Unknown	Unknown	Timeout	Timeout	Unknown	Timeout
Attempted	35	35	35	35	35	35	35	35	35	35	35	35	35
Solved	29	29	29	28	27	26	17	15	14	5	4	3	3
Av. Time	17.94	32.13	32.20	18.16	17.29	49.01	9.39	138.12	121.49	29.98	68.33	0.00	31.73
Solutions	0	29	29	28	0	26	17	0	14	5	4	0	0
New Attempted	18	18	18	18	18	18	18	18	18	18	18	18	18
New Solved	15	17	15	17	13	14	10	2	2	1	1	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 SNE

SNE	Gandalf c-2.5-SAT	GandalfSat 1.0	ICGNS 2002b	E-SETHEO csp02-SAT	DCTP 10.1p-SAT	SCOTT 6.1	DCTP 1.2-SAT
`GRP394-2`^*	0.00	0.00	0.10	7.10	0.10	0.00	0.00
`HWV035-1`^*	0.00	0.00	0.10	0.10	0.10	GaveUp	0.00
`HWV036-1`^*	0.00	0.00	0.10	0.10	0.10	GaveUp	0.00
`HWV036-2`^*	0.00	0.00	0.10	0.10	0.10	GaveUp	0.00
`LCL240-1`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL248-1`	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL415-1`^*	Timeout	GaveUp	Timeout	0.10	Unknown	GaveUp	Timeout
`NLP026-1`	0.00	0.00	Timeout	3.90	0.10	0.00	0.00
`NLP191-1`	Timeout	0.00	Timeout	0.20	0.10	Timeout	0.00
`NUM287-1`^*	0.00	0.00	0.10	7.10	0.10	0.00	0.00
`NUM288-1`^*	0.00	0.00	0.10	0.20	0.10	0.00	0.00
`PUZ045-1`^*	0.00	0.00	0.10	Timeout	0.10	GaveUp	Timeout
`PUZ046-1`^*	0.00	0.00	5.00	7.20	0.10	GaveUp	0.00
`SWV016-1`	20.00	GaveUp	11.80	0.20	Timeout	0.00	Timeout
`SYN303-1`	0.00	30.00	GaveUp	0.10	0.10	GaveUp	Timeout
`SYN330-1`	0.00	29.90	5.30	Timeout	Timeout	Timeout	Timeout
`SYN351-1`	0.00	10.00	0.10	Timeout	Timeout	Timeout	Timeout
`SYN736-1`^*	0.00	0.00	0.20	Timeout	Timeout	0.00	Timeout
`SYN754-1`^*	0.00	0.00	0.20	Timeout	Timeout	0.00	Timeout
`SYN770-1`^*	0.00	0.00	0.10	Timeout	Timeout	0.00	Timeout
`SYN776-1`^*	70.00	0.00	0.20	Timeout	Timeout	Timeout	Timeout
`SYN786-1`^*	80.10	0.00	0.20	0.10	0.10	0.00	0.00
`SYN806-1`^*	0.00	0.00	0.20	14.10	Timeout	Timeout	Timeout
`SYN904-1`^*	Timeout	Unknown	Timeout	Unknown	Unknown	Timeout	Timeout
`SYN907-1`^*	Timeout	Unknown	Timeout	Timeout	Unknown	Timeout	Timeout
`SYN912-1`^*	Unknown	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`TOP006-1`	40.00	GaveUp	Timeout	4.20	14.20	0.00	Timeout
`TOP009-1`	0.00	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`TOP010-1`	0.00	0.00	Timeout	0.20	18.20	Timeout	Timeout
`TOP011-1`	0.00	0.00	0.20	0.10	14.20	0.00	Timeout
`TOP012-1`	29.90	GaveUp	0.20	Timeout	Timeout	0.00	Timeout
`TOP013-1`	40.00	GaveUp	Timeout	Timeout	Timeout	0.00	Timeout
`TOP014-1`	40.00	30.00	Timeout	0.20	18.10	Timeout	Timeout
`TOP016-1`	40.00	0.00	Timeout	0.10	18.10	0.00	Timeout
`TOP018-1`	40.00	GaveUp	Timeout	Timeout	Timeout	0.00	Timeout
Attempted	35	35	35	35	35	35	35
Solved	28	23	19	19	17	15	10
Av. Time	14.29	4.34	1.28	2.39	4.94	0.00	0.00
Solutions	0	0	0	0	0	0	0
New Attempted	18	18	18	18	18	18	18
New Solved	14	14	14	10	9	7	8

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

SEQ	Gandalf c-2.5-SAT	ICGNS 2002b	SCOTT 6.1	GandalfSat 1.0	E-SETHEO csp02-SAT	DCTP 1.2-SAT	DCTP 10.1p-SAT
`BOO019-1`	0.00	0.10	0.00	30.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.00	0.10
`BOO056-1`^*	0.00	0.40	Timeout	Unknown	Timeout	Timeout	Timeout
`BOO057-1`^*	0.00	0.40	Timeout	Unknown	Timeout	Timeout	Timeout
`CAT001-2`	0.00	0.10	0.00	Unknown	0.30	Timeout	Timeout
`CAT020-2`^*	0.00	0.10	0.00	0.00	299.20	0.00	0.10
`COL073-1`	0.00	0.10	0.00	Unknown	Timeout	Timeout	Timeout
`GRP204-1`	0.00	0.10	0.00	9.90	Timeout	Timeout	Timeout
`GRP395-1`^*	0.00	0.10	0.00	0.00	0.10	0.00	0.10
`GRP397-1`^*	0.00	0.10	GaveUp	0.00	299.20	0.00	0.10
`HEN013-3`^*	0.00	0.10	0.00	0.00	299.20	0.00	0.10
`LAT047-1`^*	0.00	0.10	0.00	40.00	Timeout	Timeout	Timeout
`LAT048-1`^*	0.00	0.10	Timeout	Unknown	Timeout	Timeout	Timeout
`LAT050-1`^*	0.00	0.30	Timeout	Unknown	Timeout	Timeout	Timeout
`LAT051-1`^*	0.00	0.10	0.00	30.00	Timeout	Timeout	Timeout
`LAT054-1`^*	9.90	2.60	Timeout	Unknown	Timeout	Timeout	Timeout
`LAT056-1`^*	0.00	0.10	0.00	0.00	299.20	0.00	0.10
`LAT058-1`^*	0.00	0.10	0.00	0.00	0.10	0.00	0.10
`LAT063-1`^*	0.00	0.30	Timeout	Unknown	Timeout	Timeout	Timeout
`LCL136-1`	0.00	0.10	0.00	20.00	Timeout	Timeout	Timeout
`LCL142-1`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`LCL280-3`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`LCL338-3`	0.00	0.10	0.00	20.00	Timeout	Timeout	Timeout
`LCL411-2`^*	0.00	0.10	0.00	0.00	0.10	0.00	0.10
`LCL412-1`^*	0.00	0.10	0.00	0.00	0.10	0.00	0.10
`NLP052-1`	Timeout	Timeout	GaveUp	Unknown	0.20	0.00	0.20
`NLP053-1`	Timeout	Timeout	Timeout	Unknown	0.20	0.00	0.20
`NLP056-1`	190.10	Timeout	Timeout	Unknown	0.20	0.00	0.10
`NLP186-1`	100.00	GaveUp	Timeout	Unknown	0.20	0.00	0.20
`RNG007-5`	0.00	0.10	0.00	0.00	Timeout	Timeout	Timeout
`RNG031-6`	0.00	0.50	Timeout	Unknown	Timeout	Timeout	Timeout
`RNG031-7`	0.00	1.10	Timeout	Unknown	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.00	0.10
Attempted	35	35	35	35	35	35	35
Solved	33	31	22	21	15	14	14
Av. Time	9.09	0.26	0.00	7.14	79.90	0.00	0.12
Solutions	0	0	0	0	0	0	0
New Attempted	18	18	18	18	18	18	18
New Solved	18	18	11	12	10	10	10

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

FNE	E-SETHEO csp02	Vampire 5.0	DCTP 10.1p	SCOTT 6.1	Otter 3.2	Bliksem 1.12a
`SWV014+1`	0.50	⁺0.00	Timeout	Timeout	Timeout	Timeout
`SYN457+1`	19.90	⁺0.40	GaveUp	Timeout	Timeout	Timeout
`SYN460+1`	19.00	⁺0.80	Timeout	Timeout	Timeout	Timeout
`SYN466+1`	15.60	⁺0.40	Timeout	Timeout	Timeout	Timeout
`SYN471+1`	10.80	⁺0.50	76.30	Timeout	Timeout	Timeout
`SYN474+1`	14.30	⁺0.40	Timeout	Timeout	Timeout	Timeout
`SYN482+1`	14.10	⁺0.60	Timeout	Timeout	Timeout	Timeout
`SYN503+1`	15.40	⁺0.40	203.50	Timeout	Timeout	Timeout
`SYN548+1`	22.60	⁺170.60	23.60	⁺120.10	⁺241.20	Timeout
`SYN723+1`^*	Unknown	Unknown	Unknown	Timeout	Timeout	Timeout
Attempted	10	10	10	10	10	10
Solved	9	9	3	1	1	0
Av. Time	14.69	19.34	101.13	120.10	241.20	-
Solutions	0	9	0	1	1	0
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 FEQ

FEQ	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
`SYN551+2`	⁺0.00	GaveUp	Timeout	Timeout	GaveUp	Timeout
Attempted	60	60	60	60	60	60
Solved	46	37	22	15	14	9
Av. Time	15.18	15.38	30.69	25.35	24.29	106.66
Solutions	46	0	0	15	14	9
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.
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 EPT

EPT	Gandalf c-2.5-SAT	E-SETHEO csp02	Vampire 5.0	DCTP 10.1p	GrAnDe 1.1	DCTP 1.2-EPR	SCOTT 6.1
`GRP127-2.006`	0.00	0.40	Timeout	0.30	0.10	0.00	⁺29.90
`GRP128-2.006`	50.00	10.80	Timeout	Timeout	0.10	50.00	⁺60.00
`GRP128-3.005`	70.00	8.40	Timeout	11.80	0.10	Timeout	Timeout
`PUZ010-1`	100.00	8.30	Timeout	24.80	0.10	160.00	Timeout
`PUZ017-1`	100.00	GaveUp	⁺0.10	176.10	7.50	100.10	Timeout
`PUZ037-2`	0.00	9.10	⁺0.10	35.40	Unknown	10.00	⁺0.00
`PUZ037-3`	80.00	166.50	⁺8.60	Timeout	Timeout	Timeout	Timeout
`SYN440-1`	100.10	12.70	⁺2.60	Timeout	0.20	Timeout	Timeout
`SYN447-1`	100.10	14.90	⁺3.00	Timeout	0.20	Timeout	Timeout
`SYN454-1`	100.10	8.40	⁺1.50	Timeout	0.10	Timeout	Timeout
`SYN457-1`	100.10	10.50	⁺2.20	Timeout	0.20	Timeout	Timeout
`SYN462-1`	100.00	8.40	⁺0.70	73.60	0.10	Timeout	Timeout
`SYN466-1`	100.10	10.40	⁺1.50	Timeout	0.10	Timeout	Timeout
`SYN470-1`	100.00	9.00	⁺3.50	142.60	0.10	Timeout	Timeout
`SYN475-1`	100.10	9.00	⁺1.00	94.50	0.10	Timeout	Timeout
`SYN483-1`	100.10	8.50	⁺1.40	130.20	0.10	Timeout	Timeout
`SYN487-1`	100.00	8.60	⁺6.20	Timeout	0.10	Timeout	Timeout
`SYN498-1`	100.10	9.00	⁺1.80	104.10	0.10	Timeout	Timeout
`SYN500-1`	100.10	8.90	⁺1.50	Timeout	0.20	Timeout	Timeout
`SYN501-1`	100.10	8.60	⁺0.90	283.00	0.10	Timeout	Timeout
`SYN504-1`	100.10	9.00	⁺2.30	112.70	0.10	Timeout	Timeout
`SYN507-1`	100.10	8.80	⁺9.70	Timeout	0.10	Timeout	Timeout
`SYN510-1`	100.10	8.50	⁺0.80	73.70	0.10	Timeout	Timeout
`SYN813-1`^*	100.10	244.50	⁺5.70	61.80	Timeout	240.20	GaveUp
`SYN820-1`^*	Unknown	204.60	⁺1.80	49.80	Timeout	9.60	⁺0.10
`SYN834-1`^*	10.00	10.30	⁺1.50	10.40	Timeout	0.00	⁺0.10
`SYN844-1`^*	9.90	12.40	⁺2.20	21.60	Timeout	0.00	⁺0.10
`SYN845-1`^*	59.90	12.40	⁺1.60	25.80	Timeout	0.00	⁺10.00
`SYN848-1`^*	19.90	296.70	⁺65.80	137.00	Unknown	29.80	GaveUp
`SYN859-1`^*	19.90	Timeout	⁺5.40	142.20	Unknown	30.00	GaveUp
`SYN876-1`^*	0.00	1.10	Timeout	1.10	Unknown	0.00	GaveUp
`SYN883-1`^*	0.00	1.40	Timeout	1.40	Unknown	0.00	GaveUp
`SYN886-1`^*	0.10	1.70	Timeout	1.60	Unknown	0.00	GaveUp
`SYN887-1`^*	10.00	2.40	Timeout	2.30	Unknown	0.00	GaveUp
`SYN900-1`^*	0.10	3.60	Timeout	3.70	Unknown	0.00	GaveUp
Attempted	35	35	35	35	35	35	35
Solved	34	33	26	25	21	17	7
Av. Time	65.62	34.78	5.13	68.86	0.47	37.04	14.31
Solutions	0	0	26	0	0	0	7
New Attempted	12	12	12	12	12	12	12
New Solved	11	11	7	12	0	12	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 EPS

EPS	E-SETHEO csp02	DCTP 1.2-EPR	Gandalf c-2.5-SAT	GrAnDe 1.1	Vampire 5.0	SCOTT 6.1	DCTP 10.1p
`GRP123-1.005`	0.20	0.00	100.10	0.10	Timeout	Timeout	Unknown
`GRP123-2.005`	0.20	0.00	80.10	0.10	138.60	Timeout	Unknown
`GRP123-6.005`	8.20	0.00	100.10	0.10	Timeout	Timeout	Unknown
`GRP124-3.005`	8.40	120.00	100.10	0.30	Timeout	Timeout	Unknown
`GRP124-4.005`	0.20	0.00	100.10	0.10	Timeout	Timeout	Unknown
`GRP126-1.005`	0.80	0.00	100.00	0.10	Timeout	Timeout	Unknown
`GRP127-1.005`	0.30	0.00	100.10	0.10	Timeout	Timeout	Unknown
`GRP129-1.005`	8.20	100.10	100.10	0.10	Timeout	Timeout	Unknown
`GRP130-1.005`	8.20	19.80	100.10	0.10	Timeout	Timeout	Unknown
`GRP130-2.005`	1.20	0.00	70.00	0.10	Timeout	Timeout	Unknown
`GRP130-4.004`	0.30	0.00	40.00	0.10	Timeout	GaveUp	Unknown
`GRP132-2.005`	8.40	40.00	100.10	0.20	Timeout	Timeout	Unknown
`GRP135-1.005`	8.40	210.10	100.10	0.10	Timeout	Timeout	Timeout
`MGT066-1`^*	0.10	0.00	90.10	0.00	134.40	0.00	Unknown
`SYN307-1`	0.10	0.00	100.10	0.00	Timeout	0.00	Unknown
`SYN418-1`	0.80	0.00	160.10	Timeout	Timeout	Timeout	Unknown
`SYN423-1`	1.60	0.00	170.00	Timeout	Timeout	Timeout	Unknown
`SYN424-1`	2.90	0.00	170.10	Timeout	Timeout	Timeout	Unknown
`SYN429-1`	2.30	0.00	170.10	Timeout	Timeout	Timeout	Unknown
`SYN441-1`	8.40	Timeout	100.00	0.20	35.30	Timeout	Timeout
`SYN449-1`	8.40	Timeout	100.10	0.10	11.50	Timeout	Timeout
`SYN513-1`	0.50	0.00	170.10	Timeout	Timeout	Timeout	Unknown
`SYN518-1`	1.70	0.00	170.10	Timeout	Timeout	Timeout	Unknown
`SYN545-1`	1.00	0.00	170.10	Timeout	Timeout	Timeout	Unknown
`SYN811-1`^*	105.90	20.00	Unknown	Unknown	Timeout	GaveUp	Unknown
`SYN821-1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	GaveUp	Timeout
`SYN827-1`^*	8.80	0.00	Unknown	Timeout	1.50	GaveUp	Unknown
`SYN835-1`^*	10.50	0.00	Unknown	Timeout	12.20	GaveUp	Unknown
`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
`SYN851-1`^*	Timeout	220.10	Unknown	Unknown	Timeout	GaveUp	Timeout
`SYN854-1`^*	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout
`SYN855-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN863-1`^*	Timeout	229.90	Unknown	Unknown	Timeout	Timeout	Timeout
Attempted	35	35	35	35	35	35	35
Solved	27	27	24	17	6	2	0
Av. Time	7.63	35.56	115.08	0.11	55.58	0.00	-
Solutions	0	0	0	0	0	0	0
New Attempted	12	12	12	12	12	12	12
New Solved	4	6	1	1	3	1	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