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

Divisions

Results for MIX

The co-winners of the MIX division Assurance class are E-SETHEO csp01 and VampireJC 2.0.
The winner of the MIX division Proof class is VampireJC 2.0.

MIX	E-SETHEO csp01	VampireJC 2.0	E 0.62	E 0.6	Vampire 2.0	EP 0.62	Gandalf c-2.3	Otter 3.2	SCOTT 6.0.0	Bliksem 1.12	DCTP 0.1
`ANA002-2`	276.80	timeout	timeout	timeout	timeout	timeout	45.10	timeout	timeout	timeout	timeout
`ANA002-3`	37.60	timeout	timeout	timeout	timeout	timeout	66.90	timeout	timeout	timeout	timeout
`ANA002-4`	3.40	timeout	timeout	timeout	timeout	timeout	60.60	timeout	timeout	timeout	timeout
`ANA004-1`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`BOO008-1`	26.70	2.10	20.70	19.50	2.30	40.20	no_soln	14.90	212.10	timeout	timeout
`BOO014-1`	26.70	3.90	25.20	19.20	3.80	68.00	no_soln	28.00	184.50	timeout	timeout
`BOO014-3`	47.60	5.10	17.10	38.70	5.20	43.10	no_soln	26.10	timeout	timeout	timeout
`BOO020-1`	159.20	15.30	0.70	152.80	15.20	3.70	no_soln	timeout	timeout	timeout	unknown
`CAT002-3`	1.40	34.70	17.10	17.80	1.30	55.00	0.40	175.10	32.10	timeout	timeout
`CAT004-3`	1.10	39.20	timeout	timeout	timeout	timeout	0.70	timeout	61.70	timeout	timeout
`COL003-7`	2.40	29.90	69.60	50.60	29.80	152.30	24.60	no_soln	timeout	timeout	timeout
`COL006-3`	timeout	19.00	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`COL043-2`	8.90	0.60	2.00	1.80	0.60	5.90	29.20	timeout	timeout	timeout	timeout
`COL044-2`	2.90	1.30	1.10	1.00	1.30	3.60	25.20	timeout	timeout	timeout	timeout
`COL044-3`	3.50	1.50	1.80	2.20	1.50	5.50	25.30	timeout	timeout	timeout	timeout
`COL044-5`	111.60	1.40	4.30	59.50	1.40	12.50	25.30	timeout	timeout	timeout	timeout
`COL074-3`	0.50	0.10	0.00	0.00	0.20	0.30	75.10	132.00	timeout	timeout	timeout
`COL076-1`	timeout	233.40	timeout	timeout	timeout	timeout	no_soln	timeout	76.60	timeout	timeout
`COL079-2`	270.70	126.50	timeout	timeout	timeout	timeout	28.30	timeout	26.00	timeout	timeout
`COL080-2`	1.30	22.70	1.70	1.60	22.80	4.90	29.10	timeout	56.70	timeout	timeout
`COL081-2`	13.00	0.30	0.10	0.10	0.40	0.50	29.10	106.10	54.80	65.00	timeout
`FLD011-3`	timeout	74.20	timeout	timeout	161.00	timeout	273.40	timeout	timeout	timeout	unknown
`FLD014-3`	2.60	25.80	113.00	101.70	25.60	timeout	1.50	117.60	39.60	timeout	23.20
`FLD025-1`	0.70	19.70	251.50	no_soln	19.70	timeout	no_soln	timeout	timeout	timeout	0.10
`FLD038-1`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`FLD042-3`	timeout	49.90	timeout	timeout	50.00	timeout	0.60	5.80	40.60	timeout	timeout
`FLD050-2`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`FLD061-1`	0.60	1.30	181.10	171.80	1.30	timeout	157.80	timeout	timeout	timeout	timeout
`FLD061-4`	6.40	41.00	87.90	79.00	40.80	188.80	88.10	timeout	143.20	timeout	timeout
`FLD066-3`	14.70	32.50	timeout	timeout	32.50	timeout	4.80	21.30	34.50	timeout	timeout
`FLD072-4`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	unknown
`GEO006-2`	28.90	1.50	0.10	0.10	1.40	0.70	86.80	timeout	timeout	timeout	timeout
`GEO007-1`	33.40	0.40	3.90	4.40	16.90	10.80	11.10	timeout	82.50	timeout	timeout
`GEO009-3`	57.50	18.70	24.10	167.00	18.50	58.30	3.90	176.60	28.90	timeout	timeout
`GEO028-2`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	unknown
`GEO044-2`	timeout	timeout	timeout	timeout	248.30	timeout	no_soln	timeout	timeout	timeout	timeout
`GEO049-2`	102.00	165.00	75.70	70.60	164.00	131.20	22.10	timeout	timeout	timeout	timeout
`GEO111-1`^*	2.00	30.00	timeout	timeout	29.90	timeout	34.40	timeout	timeout	123.50	unknown
`GRP008-1`	0.90	0.20	0.00	0.00	0.20	0.30	0.70	0.90	timeout	timeout	5.30
`GRP051-1`	128.70	74.00	114.00	43.20	4.30	timeout	no_soln	no_soln	unknown	12.60	timeout
`GRP052-1`	80.80	timeout	156.30	38.00	11.70	timeout	no_soln	no_soln	16.50	3.20	timeout
`GRP054-1`	4.90	76.00	13.20	5.10	timeout	28.20	no_soln	timeout	no_soln	unknown	timeout
`GRP056-1`	13.70	92.60	9.00	2.70	216.00	25.60	no_soln	no_soln	no_soln	8.50	timeout
`GRP061-1`	8.80	80.10	12.70	4.40	18.40	35.50	no_soln	no_soln	12.20	3.20	timeout
`GRP064-1`	0.50	0.30	0.00	0.00	0.20	0.70	no_soln	5.10	timeout	2.30	timeout
`GRP065-1`	0.70	0.20	0.20	0.20	0.30	1.40	no_soln	no_soln	timeout	0.40	timeout
`GRP069-1`	0.50	0.10	0.00	0.00	0.10	0.50	no_soln	4.70	timeout	0.00	timeout
`GRP073-1`	6.80	57.20	14.20	3.10	121.20	47.80	no_soln	timeout	timeout	7.90	timeout
`GRP095-1`	0.60	0.30	0.00	0.00	0.30	0.70	no_soln	0.70	timeout	0.90	timeout
`GRP100-1`	1.10	0.50	0.60	1.40	0.50	3.70	no_soln	13.90	timeout	294.80	timeout
`GRP104-1`	2.00	40.30	1.30	1.70	40.20	6.10	no_soln	19.20	timeout	281.10	timeout
`GRP108-1`	2.20	39.60	1.70	0.40	39.50	7.90	3.30	2.40	timeout	0.10	timeout
`HEN011-3`	18.90	1.80	12.10	12.90	1.80	41.40	no_soln	timeout	45.20	timeout	timeout
`HWV002-1`	timeout	163.70	timeout	timeout	timeout	timeout	unknown	timeout	timeout	224.40	timeout
`LAT005-3`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`LAT005-4`	237.60	95.00	227.30	209.70	52.80	timeout	timeout	timeout	158.70	timeout	timeout
`LCL002-1`	timeout	90.80	timeout	timeout	280.50	timeout	160.80	timeout	261.60	timeout	timeout
`LCL070-1`	35.20	13.70	127.40	33.80	55.00	264.50	4.60	22.70	timeout	timeout	timeout
`LCL105-1`	15.70	timeout	0.80	14.80	timeout	2.60	no_soln	timeout	timeout	timeout	timeout
`LCL109-4`	72.50	259.00	65.70	61.30	timeout	271.30	no_soln	timeout	131.70	timeout	unknown
`LCL152-1`	timeout	25.00	timeout	timeout	timeout	timeout	unknown	timeout	timeout	timeout	unknown
`LCL221-1`	106.00	timeout	35.20	34.30	timeout	75.10	unknown	no_soln	timeout	timeout	timeout
`LCL224-1`	41.00	0.30	40.10	128.00	0.90	82.10	128.80	no_soln	timeout	290.50	timeout
`LCL225-1`	40.30	3.20	39.40	93.50	3.20	76.90	128.90	no_soln	timeout	284.20	timeout
`LCL230-3`	timeout	1.40	timeout	timeout	139.90	timeout	unknown	timeout	timeout	timeout	timeout
`LCL231-1`	2.00	33.30	1.30	1.40	41.90	3.30	128.60	no_soln	timeout	136.50	timeout
`LCL243-3`	47.50	timeout	40.10	30.20	timeout	88.20	unknown	timeout	timeout	timeout	timeout
`LCL252-3`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`LCL253-1`	264.40	187.90	timeout	timeout	timeout	timeout	unknown	no_soln	timeout	timeout	timeout
`LCL299-3`	timeout	196.30	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`LCL303-3`	timeout	timeout	timeout	timeout	286.80	timeout	no_soln	timeout	timeout	timeout	timeout
`LCL306-3`	32.40	4.20	26.50	31.50	257.60	59.60	unknown	timeout	timeout	timeout	timeout
`LCL312-3`	12.40	23.70	5.50	3.70	timeout	14.00	no_soln	timeout	timeout	timeout	timeout
`LCL326-3`	246.50	12.00	245.60	169.60	15.10	timeout	unknown	timeout	timeout	timeout	timeout
`LCL330-3`	64.20	183.20	54.60	239.70	timeout	121.90	unknown	timeout	timeout	timeout	timeout
`LCL349-3`	timeout	timeout	timeout	timeout	timeout	timeout	unknown	timeout	timeout	timeout	timeout
`LCL391-1`	151.40	204.90	136.70	163.70	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`LCL394-1`	84.10	timeout	82.90	106.70	timeout	159.70	no_soln	timeout	timeout	timeout	timeout
`MGT025-1`^*	0.90	0.10	0.10	0.10	0.20	0.50	0.20	timeout	no_soln	3.80	86.20
`MGT039-1`^*	0.90	0.30	0.00	0.20	0.30	0.40	10.50	1.10	no_soln	timeout	timeout
`MGT042-1`^*	timeout	40.40	timeout	timeout	40.20	timeout	30.60	timeout	4.70	timeout	unknown
`MGT060-1`^*	2.40	54.90	157.90	timeout	55.10	timeout	34.20	0.10	timeout	timeout	0.40
`MSC007-2.005`	45.70	101.30	17.10	3.20	timeout	58.90	unknown	timeout	no_soln	timeout	timeout
`NLP079-1`^*	0.60	0.20	0.20	0.20	0.20	0.70	unknown	0.00	23.30	1.70	0.10
`NLP080-1`^*	0.80	0.10	0.20	0.20	0.20	0.90	unknown	0.00	21.20	2.20	0.20
`NLP081-1`^*	0.60	0.20	0.20	0.20	0.20	0.80	unknown	0.00	21.00	1.40	0.10
`NLP251-1`^*	5.60	no_soln	1.00	1.10	timeout	1.70	2.60	4.10	140.10	timeout	timeout
`NLP252-1`^*	1.50	timeout	0.80	0.80	timeout	1.50	1.70	4.20	31.90	timeout	timeout
`NLP257-1`^*	3.80	no_soln	0.60	0.80	timeout	1.20	2.00	3.90	107.00	timeout	timeout
`NLP258-1`^*	3.20	timeout	1.00	1.10	timeout	1.80	1.50	3.80	60.20	timeout	timeout
`NUM017-1`	12.50	58.60	9.90	timeout	88.80	22.40	178.00	timeout	173.00	4.20	timeout
`PLA008-1`	0.90	0.90	0.60	0.40	0.80	1.20	116.80	timeout	timeout	timeout	timeout
`PLA009-1`	1.30	0.20	0.60	0.70	0.20	1.30	41.20	timeout	timeout	timeout	timeout
`PLA010-1`	3.40	0.60	3.50	2.80	0.60	4.90	113.20	timeout	timeout	timeout	timeout
`PLA012-1`	1.00	0.50	0.20	0.30	0.40	0.80	48.00	timeout	timeout	timeout	timeout
`PLA014-1`	0.60	0.20	0.00	0.00	0.20	0.30	44.80	timeout	timeout	timeout	3.50
`PUZ042-1`^*	timeout	221.90	no_soln	no_soln	188.10	unknown	0.20	6.30	no_soln	4.00	timeout
`RNG001-2`	92.40	144.50	timeout	timeout	178.80	timeout	139.90	timeout	timeout	timeout	timeout
`ROB015-2`	timeout	timeout	208.90	196.40	timeout	timeout	timeout	timeout	timeout	timeout	timeout
`SET015-3`	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`SET016-1`	0.90	0.10	0.00	0.00	0.20	0.30	64.90	1.70	timeout	timeout	unknown
`SET019-4`	1.90	60.60	timeout	timeout	timeout	timeout	26.20	3.50	timeout	timeout	0.40
`SET025-9`	1.80	1.00	0.20	0.20	0.90	0.70	35.00	timeout	timeout	37.40	unknown
`SET095-6`	30.40	0.90	0.10	0.20	0.90	0.50	76.70	timeout	timeout	timeout	unknown
`SET097-7`	timeout	120.10	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	unknown
`SET217-6`	timeout	127.30	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	unknown
`SET236-6`	1.30	29.70	14.60	10.50	29.40	26.50	63.40	timeout	timeout	37.40	unknown
`SET261-6`	24.00	0.50	0.40	0.40	0.50	1.20	123.90	158.80	timeout	17.00	timeout
`SWC054-1`^*	113.60	2.80	160.70	72.40	2.70	timeout	136.50	timeout	timeout	timeout	37.10
`SWC118-1`^*	25.00	0.50	1.00	1.20	0.60	2.40	60.50	timeout	timeout	timeout	105.70
`SWC190-1`^*	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	unknown
`SWC227-1`^*	timeout	timeout	timeout	timeout	timeout	timeout	no_soln	timeout	timeout	timeout	timeout
`SWC277-1`^*	24.10	2.70	0.20	0.20	2.70	0.70	106.40	timeout	timeout	90.70	unknown
`SWV014-1`^*	0.60	0.10	0.10	0.00	0.10	0.50	101.10	timeout	timeout	timeout	timeout
`SYN013-1`	0.90	0.10	0.20	0.10	0.10	0.80	10.00	timeout	50.00	timeout	0.50
`SYN036-1`	27.30	timeout	2.70	9.90	timeout	6.90	104.90	timeout	timeout	0.20	timeout
`SYN067-1`	98.80	34.20	75.40	61.70	no_soln	163.30	unknown	timeout	timeout	timeout	timeout
`SYN067-2`	61.10	1.20	37.90	37.00	timeout	90.50	unknown	timeout	timeout	timeout	timeout
`SYN067-3`	37.80	66.50	14.70	13.90	timeout	46.60	unknown	timeout	timeout	timeout	timeout
`SYN311-1`	0.50	0.10	0.00	0.00	0.10	0.30	45.40	no_soln	timeout	timeout	0.00
Attempted	120	120	120	120	120	120	120	120	120	120	120
Solved	93	93	84	81	76	73	61	31	30	29	14
Av. Time	38.67	43.35	36.60	34.70	40.48	36.23	56.15	34.21	77.74	66.87	18.77
New Attempted	19	19	19	19	19	19	19	19	19	19	19
New Solved	15	13	14	13	13	12	14	10	8	7	7

^* indicates a problem not previously seen by the systems.

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

Results for UEQ

The winner of the UEQ division is Waldmeister 601.

`COL066-1`
UEQ	Waldmeister 601	Waldmeister 600	E 0.62	SCOTT 6.0.0	Otter 3.2	Bliksem 1.12	Vampire 2.0	Gandalf c-2.3
`COL002-5`	0.00	0.00	timeout	22.80	0.10	0.00	timeout	no_soln
`COL003-1`	2.80	2.80	24.00	timeout	no_soln	timeout	timeout	no_soln
`COL004-1`	0.20	0.20	7.70	timeout	timeout	timeout	timeout	no_soln
`COL006-1`	1.20	1.20	timeout	timeout	timeout	timeout	timeout	126.50
`COL006-7`	0.00	0.00	timeout	timeout	timeout	timeout	timeout	no_soln
`COL011-1`	0.40	0.40	153.10	17.20	0.60	timeout	timeout	91.20
`COL033-1`	0.00	0.00	0.20	110.70	0.00	timeout	0.10	91.70
`COL034-1`	0.00	0.00	1.60	66.40	0.10	timeout	timeout	95.20
`COL037-1`	0.10	0.10	1.50	23.00	2.60	timeout	timeout	91.20
`COL038-1`	1.10	1.50	timeout	timeout	timeout	timeout	timeout	no_soln
`COL042-1`	1.50	1.60	timeout	timeout	timeout	timeout	timeout	no_soln
`COL042-6`	0.00	0.00	13.30	20.90	0.10	1.60	133.70	no_soln
`COL042-8`	0.00	0.00	13.50	29.30	3.30	1.60	133.40	no_soln
`COL042-9`	0.00	0.00	14.10	35.60	0.10	1.60	137.40	no_soln
`COL043-1`	2.70	2.50	timeout	timeout	timeout	timeout	timeout	no_soln
`COL043-3`	0.00	0.00	timeout	timeout	timeout	timeout	timeout	no_soln
`COL044-6`	0.00	0.00	timeout	timeout	timeout	timeout	timeout	no_soln
`COL044-7`	0.00	0.00	timeout	timeout	timeout	timeout	timeout	no_soln
`COL044-8`	0.00	0.00	timeout	timeout	timeout	timeout	timeout	no_soln
`COL044-9`	0.00	0.00	timeout	timeout	timeout	timeout	timeout	no_soln
`COL046-1`	1.20	1.30	48.90	timeout	timeout	timeout	timeout	no_soln
`COL049-1`	0.30	0.30	32.60	82.80	0.30	timeout	1.70	109.00