Results

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

Results for MIX

MIX	Vampire 8.0	Vampire 7.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	THEO JN05	Darwin 1.2	Otter 3.3
`ALG012-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺83.70	Timeout	9.10	Timeout
`ANA002-1`	⁺0.00	⁺0.00	90.40	⁺107.40	Timeout	⁺120.50	Timeout	Timeout
`ANA002-3`	⁺83.40	⁺19.70	9.30	⁺8.90	Timeout	⁺130.60	Timeout	Timeout
`ANA002-4`	⁺74.80	⁺0.00	9.90	⁺18.40	Timeout	GaveUp	Timeout	Timeout
`ANA003-1`	⁺37.40	⁺27.80	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`ANA003-2`	⁺26.20	⁺9.90	9.10	⁺9.70	Timeout	⁺101.90	Timeout	Timeout
`ANA003-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.20	⁺46.40	Timeout	GaveUp
`ANA004-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺36.70	⁺18.50	Timeout	GaveUp
`ANA005-1`	⁺36.80	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`BOO038-1`	⁺139.70	⁺93.40	0.00	⁺9.20	⁺0.00	GaveUp	Timeout	GaveUp
`CAT003-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`COL003-3`	⁺0.00	⁺55.60	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Unknown
`COL003-4`	⁺0.00	⁺55.70	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Unknown
`COL003-8`	⁺9.20	⁺65.10	30.00	⁺43.00	⁺0.00	GaveUp	Timeout	Unknown
`COL042-5`	⁺0.00	⁺65.20	9.30	⁺18.50	⁺0.00	Timeout	Timeout	GaveUp
`COL043-2`	⁺0.00	⁺55.60	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`COL044-3`	⁺0.00	⁺54.90	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`COL079-2`	⁺9.10	⁺27.60	Timeout	Timeout	⁺0.00	GaveUp	Timeout	Timeout
`COL088-1`	⁺73.70	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL089-1`	⁺70.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL093-1`	⁺74.30	⁺0.00	0.00	⁺0.00	⁺46.40	⁺239.80	0.00	Timeout
`COL098-2`	⁺59.90	⁺469.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL099-2`	⁺10.00	⁺79.90	0.00	⁺9.90	Timeout	⁺9.90	Timeout	Timeout
`COM003-1`	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	GaveUp	0.00	Timeout
`COM005-1`	⁺0.00	⁺64.90	0.00	⁺9.30	Timeout	Unknown	Timeout	Timeout
`FLD003-1`	⁺0.00	⁺0.00	18.20	⁺35.40	Timeout	⁺0.00	Timeout	Timeout
`FLD059-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`FLD067-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	73.10	Timeout
`FLD070-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.20	⁺0.00	0.00	Timeout
`GEO008-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺29.90	Timeout	Timeout
`GEO049-3`	⁺349.80	⁺9.70	Timeout	Timeout	Timeout	⁺29.90	Timeout	Timeout
`GEO053-2`	⁺82.30	⁺73.30	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`GEO062-2`	⁺209.80	⁺169.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO062-3`	⁺84.10	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GEO083-1`	⁺0.00	⁺69.60	0.00	⁺0.00	⁺19.80	⁺0.00	Timeout	Timeout
`GEO090-1`	⁺27.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO111-1`	⁺0.00	⁺19.90	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`GEO126-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GEO146-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺59.90	⁺0.00	Timeout	Timeout
`GRP025-1`	⁺10.00	⁺0.00	0.00	⁺0.00	⁺449.80	Timeout	Timeout	⁺29.20
`GRP026-1`	⁺172.70	⁺0.00	0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`GRP039-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`GRP039-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP040-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺539.30	Timeout	⁺178.80
`GRP040-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺79.50
`GRP085-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	0.00	⁺0.00
`GRP087-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	⁺0.00
`GRP099-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00
`GRP107-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00
`GRP108-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00
`GRP223-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺176.70	GaveUp	Timeout	Timeout
`GRP319-1`	⁺9.10	⁺0.00	0.00	⁺0.00	⁺296.60	Timeout	Timeout	Timeout
`GRP378-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺159.80	Timeout	Timeout	Timeout
`GRP401-1`	⁺0.00	⁺27.40	87.00	102.30	⁺0.00	Timeout	Timeout	Timeout
`HWC002-1`	⁺82.60	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`HWV002-1`	⁺37.00	⁺18.20	130.00	138.80	⁺37.30	GaveUp	Timeout	GaveUp
`HWV003-1`	⁺65.00	Timeout	9.40	⁺18.30	⁺0.00	GaveUp	Timeout	Unknown
`HWV004-1`	Timeout	Timeout	45.20	69.30	⁺0.00	GaveUp	Timeout	Unknown
`HWV021-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.90	⁺0.00	0.00	Timeout
`HWV029-2`	Timeout	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`HWV031-1`	⁺9.30	⁺55.20	9.10	⁺17.90	Timeout	GaveUp	Timeout	Timeout
`HWV033-1`	⁺239.70	⁺122.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout	Timeout
`LAT003-1`	Timeout	Timeout	Timeout	Timeout	⁺89.90	GaveUp	Timeout	Timeout
`LAT030-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Unknown
`LAT036-1`	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`LAT041-1`	Timeout	⁺307.20	Timeout	Timeout	⁺112.10	GaveUp	Timeout	GaveUp
`LAT066-1`	⁺296.60	⁺8.90	0.00	⁺0.00	⁺37.10	GaveUp	Timeout	GaveUp
`LAT178-1`^*	Timeout	Timeout	331.00	394.90	Timeout	GaveUp	Timeout	Timeout
`LAT192-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`LAT194-1`^*	⁺315.50	⁺378.50	0.00	⁺9.10	⁺295.40	GaveUp	Timeout	Timeout
`LAT195-1`^*	⁺139.90	⁺44.20	0.00	⁺0.00	⁺37.50	GaveUp	Timeout	Timeout
`LAT196-1`^*	Timeout	⁺323.00	0.00	⁺0.00	⁺83.30	Timeout	Timeout	Timeout
`LAT197-1`^*	⁺119.90	⁺8.70	0.00	⁺0.00	⁺18.70	GaveUp	Timeout	Timeout
`LAT200-1`^*	⁺314.50	⁺371.60	0.00	⁺8.60	⁺64.80	GaveUp	Timeout	Timeout
`LAT209-1`^*	⁺29.50	⁺19.50	0.00	⁺0.00	⁺9.80	Timeout	Timeout	Timeout
`LAT210-1`^*	⁺27.90	⁺37.30	0.00	⁺0.00	⁺18.50	GaveUp	Timeout	Timeout
`LAT211-1`^*	⁺20.00	⁺19.90	29.70	49.20	⁺9.90	Timeout	Timeout	GaveUp
`LAT212-1`^*	Timeout	⁺486.30	9.90	⁺29.50	⁺89.90	Timeout	Timeout	Timeout
`LAT214-1`^*	⁺187.80	⁺18.50	0.00	⁺9.10	⁺75.20	GaveUp	Timeout	GaveUp
`LAT218-1`^*	Timeout	Timeout	473.40	578.60	Timeout	GaveUp	Timeout	Timeout
`LAT243-1`^*	⁺101.70	⁺173.30	Timeout	Timeout	⁺0.00	GaveUp	Timeout	Timeout
`LAT252-1`^*	Timeout	Timeout	0.00	⁺18.60	⁺9.10	GaveUp	Timeout	Timeout
`LCL005-1`	⁺46.60	⁺34.80	46.80	⁺64.30	⁺56.40	GaveUp	Timeout	GaveUp
`LCL109-4`	⁺27.70	⁺0.00	0.00	⁺0.00	⁺29.90	GaveUp	Timeout	Timeout
`LCL119-1`	⁺0.00	⁺18.30	Timeout	Timeout	⁺527.40	GaveUp	Timeout	Unknown
`LCL144-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺109.90	Timeout	Timeout	Timeout
`LCL152-1`	⁺0.00	⁺122.20	0.00	⁺19.70	⁺0.00	Timeout	Timeout	Timeout
`LCL218-1`	⁺0.00	⁺8.80	9.20	⁺9.10	⁺0.00	⁺28.00	Timeout	⁺0.00
`LCL231-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp
`LCL253-1`	⁺114.50	⁺249.20	Timeout	Timeout	⁺249.80	GaveUp	Timeout	GaveUp
`LCL277-3`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL307-3`	⁺9.80	⁺15.90	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL336-3`	⁺36.30	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`LCL393-1`	⁺389.50	⁺157.80	18.50	⁺27.80	Timeout	GaveUp	19.90	GaveUp
`LCL423-1`	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`MGT035-1`	⁺0.00	⁺9.80	519.20	568.20	Timeout	Timeout	Timeout	Timeout
`MGT039-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	⁺59.40
`MGT065-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺9.90	0.00	⁺59.60
`MSC007-2.005`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.80	Timeout	0.00	GaveUp
`NUM007-1`	⁺83.60	Timeout	Timeout	Timeout	Timeout	⁺288.70	Timeout	Timeout
`NUM010-1`	⁺9.20	⁺85.50	Timeout	Timeout	Timeout	⁺65.60	Timeout	Timeout
`NUM017-1`	⁺37.20	⁺53.50	18.50	⁺18.50	⁺65.90	⁺0.00	Timeout	⁺131.30
`NUM159-1`	⁺98.20	⁺0.00	9.10	⁺9.10	Timeout	GaveUp	Timeout	Timeout
`PLA001-1`	⁺0.00	⁺36.50	45.30	⁺45.80	⁺0.00	⁺0.00	0.00	⁺0.00
`PLA007-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.20	⁺326.60	Timeout	Timeout
`PLA011-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺27.70	⁺0.00	Timeout	Timeout
`PLA018-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺249.20	GaveUp	Timeout	Timeout
`PUZ039-1`	⁺30.00	⁺55.50	0.00	⁺0.00	⁺0.00	GaveUp	0.00	⁺0.00
`PUZ040-1`	⁺36.70	⁺56.30	0.00	⁺0.00	⁺0.00	GaveUp	0.00	⁺0.00
`PUZ050-1`	⁺138.80	⁺74.70	Timeout	Timeout	⁺493.80	GaveUp	WCout	GaveUp
`RNG001-2`	⁺9.10	⁺9.00	Timeout	Timeout	⁺18.70	⁺93.00	27.60	⁺488.50
`ROB014-1`	⁺18.70	⁺222.20	439.40	507.80	Timeout	GaveUp	Timeout	GaveUp
`ROB018-1`	⁺344.00	⁺111.60	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`SET010-1`	⁺0.00	⁺6.60	0.00	⁺0.00	Timeout	⁺355.00	0.00	Timeout
`SET012-3`	⁺0.00	⁺0.00	39.90	⁺59.80	Timeout	⁺49.80	Timeout	Timeout
`SET013-2`	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	0.00	Timeout
`SET013-3`	⁺0.00	⁺0.00	159.60	189.50	Timeout	Timeout	Timeout	Timeout
`SET013-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	⁺0.00
`SET014-4`	⁺0.00	⁺70.00	Timeout	Timeout	⁺20.00	⁺0.00	Timeout	Timeout
`SET015-3`	⁺9.70	⁺59.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET015-4`	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`SET016-3`	⁺39.80	⁺27.70	0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SET016-6`	⁺0.00	⁺29.90	0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`SET018-4`	⁺46.60	Timeout	65.20	⁺83.20	Timeout	GaveUp	Timeout	Timeout
`SET019-4`	⁺0.00	⁺9.20	9.10	⁺9.10	⁺0.00	⁺0.00	Timeout	⁺0.00
`SET022-3`	⁺0.00	⁺53.00	0.00	⁺0.00	⁺46.70	⁺0.00	Timeout	Timeout
`SET025-8`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺69.90	⁺0.00	0.00	Timeout
`SET025-9`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺19.80	0.00	Timeout
`SET037-3`	⁺79.90	⁺129.60	39.90	⁺59.40	Timeout	Timeout	Timeout	Timeout
`SET038-3`	⁺46.10	Timeout	9.30	⁺9.20	Timeout	⁺27.70	Timeout	Timeout
`SET041-3`	⁺0.00	⁺0.00	19.80	⁺19.90	⁺9.90	⁺0.00	Timeout	Timeout
`SET145-6`	⁺109.70	⁺129.80	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`SET348-6`	⁺40.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET468-6`	⁺0.00	⁺59.90	0.00	⁺9.80	Timeout	Timeout	Timeout	⁺78.10
`SWC097-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺138.50
`SWC222-1`	⁺18.10	⁺55.70	0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SWV008-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺89.20	⁺0.00	0.00	⁺0.00
`SYN014-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	0.00	Timeout
`SYN015-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺129.80	Timeout	0.00	Timeout
`SYN077-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	Timeout
`SYN314-1.002.001`	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`SYN576-1`	⁺65.40	⁺56.40	Timeout	Timeout	⁺0.00	⁺0.00	0.00	⁺0.00
`SYN635-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`SYN639-1`	⁺0.00	⁺65.20	46.40	⁺55.40	⁺0.00	⁺0.00	Timeout	⁺0.00
`SYN647-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺9.00
`SYN649-1`	⁺36.40	⁺10.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00
`SYN696-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00	⁺0.00	Timeout	Timeout
`SYN700-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00	⁺0.00	Timeout	Timeout
`SYN714-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`SYN802-1`	⁺9.20	⁺65.10	18.80	⁺27.50	Timeout	GaveUp	290.90	Timeout
Attempted	150	150	150	150	150	150	150	150
Solved	137	133	117	117	100	52	32	27
Av. Time	40.64	45.54	24.06	29.97	45.59	48.67	13.14	46.37
Solutions	137	133	0	108	100	52	0	27
New Attempted	15	15	15	15	15	15	15	15
New Solved	9	11	13	13	12	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for FOF

FOF	Vampire 8.0	Vampire 7.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	THEO JN05	Otter 3.3	MUSCADET 2.5
`AGT004+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺129.50	GaveUp
`AGT005+1`^*	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`AGT006+2`^*	⁺349.70	⁺59.70	Timeout	Timeout	Timeout	Unknown	Unknown	GaveUp
`AGT012+1`^*	⁺79.90	⁺59.50	Timeout	Timeout	Timeout	GaveUp	GaveUp	GaveUp
`AGT013+1`^*	⁺208.90	⁺89.00	Timeout	Timeout	Timeout	GaveUp	GaveUp	GaveUp
`AGT014+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺127.80	GaveUp
`AGT026+2`^*	⁺37.20	⁺111.30	Timeout	Timeout	Timeout	Unknown	Unknown	GaveUp
`ALG071+1`	⁺99.60	⁺0.00	19.90	⁺29.90	⁺0.00	⁺9.90	GaveUp	GaveUp
`ALG074+1`	⁺109.80	⁺9.90	0.00	⁺0.00	Timeout	Timeout	⁺0.00	GaveUp
`ALG210+1`^*	⁺20.00	⁺73.80	46.70	67.20	⁺0.00	GaveUp	Timeout	GaveUp
`ALG211+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`CSR001+1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR002+2`^*	⁺26.30	⁺54.70	0.00	⁺0.00	⁺140.20	Timeout	Timeout	GaveUp
`CSR003+1`^*	Timeout	Timeout	169.80	⁺189.50	Timeout	Timeout	Timeout	GaveUp
`CSR013+1`^*	⁺0.00	⁺149.50	139.60	⁺149.40	Timeout	Timeout	Timeout	GaveUp
`CSR018+1`^*	Unknown	⁺0.00	0.00	⁺0.00	⁺19.90	Unknown	Timeout	GaveUp
`CSR020+1`^*	Unknown	⁺0.00	0.00	⁺0.00	⁺0.00	Unknown	Timeout	GaveUp
`GEO081+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺49.50	GaveUp
`GEO094+1`	⁺0.00	⁺9.50	0.00	⁺0.00	⁺0.00	⁺0.00	⁺45.90	GaveUp
`GEO127+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.90	⁺369.30	Timeout	GaveUp
`GEO146+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`GEO147+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺8.10	GaveUp
`GRA002+3`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺20.30	Timeout	GaveUp
`GRA002+4`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`GRA007+2`^*	⁺0.00	⁺59.90	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`GRA008+1`^*	⁺70.00	⁺79.90	0.00	⁺9.90	Timeout	Timeout	Timeout	GaveUp
`GRA010+2`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺465.90	GaveUp
`GRP001+6`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`GRP012+5`^*	⁺10.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`HAL002+1`	⁺50.00	⁺58.90	0.00	⁺0.00	Timeout	Timeout	Timeout	0.00
`HAL003+3`	⁺7.10	⁺59.40	0.00	⁺0.00	Timeout	⁺0.00	⁺99.50	GaveUp
`HAL006+1`	⁺149.70	⁺156.10	0.00	⁺0.00	Timeout	Timeout	⁺8.80	GaveUp
`MGT022+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT022+2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT025+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp
`MGT028+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT030+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT032+2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT035+2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`MGT036+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT036+2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT036+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT061+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`NUM302+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺79.70	⁺19.70	GaveUp
`NUM311+1`^*	⁺79.80	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Unknown	GaveUp
`NUM316+1`^*	⁺89.70	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Unknown	GaveUp
`NUM319+1`^*	⁺79.90	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Unknown	GaveUp
`NUM333+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`NUM345+1`^*	⁺79.90	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Timeout	GaveUp
`PUZ005+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`PUZ047+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET009+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET011+3`	⁺0.00	⁺59.50	0.00	⁺9.60	⁺179.80	⁺0.00	Timeout	0.00
`SET012+4`	⁺99.20	⁺119.20	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET014+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SET020+1`	⁺18.10	⁺0.00	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`SET071+1`	⁺0.00	⁺49.90	0.00	⁺0.00	⁺0.00	⁺0.00	⁺259.20	0.00
`SET076+1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺9.60	⁺0.00	Timeout	0.00
`SET098+1`	⁺189.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET103+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺539.20	⁺119.40	GaveUp
`SET159+3`	⁺0.00	⁺99.60	0.00	⁺9.80	Timeout	⁺0.00	Timeout	0.00
`SET579+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SET580+3`	⁺0.00	⁺9.70	0.00	⁺0.00	⁺0.00	⁺49.50	Timeout	0.00
`SET582+3`	⁺109.90	⁺409.60	116.10	135.50	Timeout	Timeout	Timeout	GaveUp
`SET587+3`	⁺0.00	⁺29.90	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`SET588+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET589+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET595+3`	⁺9.90	⁺103.10	9.20	⁺8.90	⁺547.10	⁺0.00	Timeout	GaveUp
`SET601+3`	⁺145.90	Timeout	168.90	208.50	⁺0.00	Timeout	Timeout	0.00
`SET603+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺27.10	GaveUp
`SET603+4`	⁺0.00	⁺0.00	45.60	⁺54.40	Timeout	⁺0.00	Timeout	0.00
`SET606+3`	⁺0.00	⁺59.90	0.00	⁺19.90	Timeout	⁺0.00	Timeout	GaveUp
`SET607+3`	⁺0.00	⁺59.50	9.90	⁺19.70	Timeout	⁺0.00	Timeout	0.00
`SET610+3`	⁺10.00	⁺69.90	19.90	⁺28.60	⁺229.90	⁺0.00	Timeout	GaveUp
`SET617+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET619+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	⁺19.50	GaveUp
`SET624+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`SET631+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET634+3`	⁺89.90	⁺109.20	19.90	⁺39.70	Timeout	⁺9.90	Timeout	GaveUp
`SET646+3`	⁺0.00	⁺59.40	0.00	⁺0.00	⁺339.80	⁺39.80	Timeout	GaveUp
`SET650+3`	⁺20.00	⁺9.40	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET655+3`	⁺195.60	⁺64.90	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`SET657+3`	⁺10.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`SET663+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET665+3`	⁺149.50	⁺59.90	Timeout	Timeout	⁺0.00	⁺149.70	Timeout	GaveUp
`SET667+3`	⁺99.70	⁺0.00	0.00	⁺0.00	⁺0.00	⁺19.70	Timeout	GaveUp
`SET671+3`	⁺99.90	⁺219.50	46.20	⁺45.70	⁺287.60	GaveUp	Timeout	GaveUp
`SET673+3`	⁺99.50	⁺39.80	49.90	⁺49.90	⁺289.60	Timeout	Timeout	GaveUp
`SET678+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺29.90	⁺270.00	Timeout	GaveUp
`SET681+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺59.70	⁺29.70	GaveUp
`SET684+3`	⁺249.40	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`SET685+3`	⁺189.70	⁺0.00	0.00	⁺0.00	⁺0.00	⁺469.40	Timeout	GaveUp
`SET703+4`	⁺239.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET711+4`	⁺169.90	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout	0.00
`SET751+4`	⁺207.60	⁺113.50	Timeout	Timeout	Timeout	⁺0.00	Timeout	0.00
`SET757+4`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SWC078+1`	Timeout	Timeout	299.60	338.80	Timeout	Timeout	Timeout	GaveUp
`SWC162+1`	Timeout	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`SWV014+1`	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout	GaveUp
`SWV027+1`^*	Timeout	Timeout	Timeout	Timeout	⁺149.90	Unknown	Timeout	Timeout
`SWV030+1`^*	Timeout	Timeout	0.00	⁺0.00	⁺65.40	⁺139.90	Timeout	Timeout
`SWV033+1`^*	Timeout	Timeout	Timeout	Timeout	⁺0.00	Timeout	Timeout	Timeout
`SWV036+1`^*	Timeout	GaveUp	GaveUp	GaveUp	⁺547.50	Unknown	Unknown	Timeout
`SWV038+1`^*	Timeout	Timeout	Timeout	Timeout	⁺199.10	Unknown	Timeout	Timeout
`SWV042+1`^*	Timeout	Timeout	209.70	248.70	⁺19.60	Timeout	Timeout	Timeout
`SWV048+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	⁺118.50	Timeout
`SWV053+1`^*	Timeout	Timeout	10.00	⁺19.60	⁺9.90	Timeout	Timeout	Timeout
`SWV055+1`^*	⁺0.00	⁺99.60	0.00	⁺9.90	⁺0.00	⁺9.90	Timeout	Timeout
`SWV070+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	⁺239.60	Timeout
`SWV082+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	⁺199.40	Timeout
`SWV097+1`^*	Timeout	Timeout	Timeout	Timeout	⁺139.70	GaveUp	Timeout	Timeout
`SWV099+1`^*	⁺10.00	⁺39.90	0.00	⁺0.00	⁺69.80	GaveUp	⁺118.10	Timeout
`SWV104+1`^*	⁺18.40	⁺0.00	46.70	⁺56.00	Timeout	Timeout	Timeout	Timeout
`SWV114+1`^*	Timeout	Timeout	Timeout	Timeout	⁺189.60	Unknown	Unknown	Timeout
`SWV115+1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`SWV122+1`^*	Timeout	Timeout	Timeout	Timeout	⁺159.80	Timeout	Timeout	Timeout
`SWV128+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	⁺19.50	Timeout
`SWV136+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺329.00	Timeout
`SWV153+1`^*	⁺37.30	⁺102.00	0.00	⁺0.00	⁺0.00	⁺9.30	⁺326.20	Timeout
`SWV162+1`^*	⁺119.40	⁺99.30	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV167+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV178+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV181+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺19.90	⁺0.00	⁺329.40	Timeout
`SWV184+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV185+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺19.50	Timeout
`SWV187+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺45.70	Timeout
`SWV198+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout
`SWV199+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺37.10	⁺349.60	Timeout
`SWV200+1`^*	⁺0.00	⁺19.90	0.00	⁺0.00	⁺39.90	⁺0.00	⁺488.90	Timeout
`SWV202+1`^*	⁺10.00	⁺309.90	89.90	⁺109.70	⁺39.90	⁺19.90	Timeout	Timeout
`SWV210+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺19.80	⁺0.00	Timeout	Timeout
`SYN079+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN081+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN082+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN364+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN365+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN370+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN417+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	⁺167.50	0.00
`SYN551+2`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	0.00
`SYN728+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN729+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN730+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN938+1`^*	⁺0.00	GaveUp	GaveUp	GaveUp	⁺0.00	Unknown	Unknown	GaveUp
`SYN939+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN940+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN941+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN943+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN980+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`TOP021+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Unknown	⁺0.00	GaveUp
`TOP022+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
Attempted	150	150	150	150	150	150	150	150
Solved	131	129	122	122	113	93	66	31
Av. Time	31.64	26.72	12.44	15.24	33.21	19.37	63.04	0.00
Solutions	131	129	0	117	110	93	66	0
New Attempted	69	69	69	69	69	69	69	69
New Solved	54	55	50	50	53	34	28	4

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for SAT

SAT	Paradox 1.3	Paradox 1.0	Mace4 0705D	Mace2 2.2	Darwin 1.2	E 0.9pre3
`BOO019-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO036-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO037-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO037-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO057-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO060-1`	⁺50.00	⁺9.70	Timeout	⁺259.60	Timeout	Timeout
`BOO061-1`	⁺0.00	⁺0.00	Timeout	⁺159.50	Timeout	Timeout
`CAT019-4`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`CAT020-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL047-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL071-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL073-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP025-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP025-4`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP026-3`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP026-4`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP027-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP112-1`	⁺0.00	⁺0.00	⁺0.00	⁺8.90	Timeout	Timeout
`GRP204-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT024-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT056-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT098-1`^*	⁺0.00	⁺8.60	⁺0.00	Timeout	Timeout	Timeout
`LAT100-1`^*	⁺0.00	⁺9.80	⁺0.00	Timeout	Timeout	Timeout
`LAT101-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT102-1`^*	⁺0.00	⁺9.60	⁺0.00	Timeout	Timeout	Timeout
`LAT103-1`^*	⁺0.00	⁺8.50	⁺0.00	Timeout	Timeout	Timeout
`LAT104-1`^*	⁺9.70	⁺29.80	⁺0.00	Timeout	Timeout	Timeout
`LAT105-1`^*	⁺9.90	⁺29.60	⁺0.00	Timeout	Timeout	Timeout
`LAT109-1`^*	⁺30.00	⁺39.80	⁺0.00	GaveUp	Timeout	Timeout
`LAT111-1`^*	⁺29.70	⁺29.80	⁺0.00	GaveUp	Timeout	Timeout
`LAT113-1`^*	⁺18.10	⁺36.60	⁺0.00	Timeout	Timeout	Timeout
`LAT114-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT115-1`^*	⁺0.00	⁺9.90	⁺0.00	Timeout	Timeout	Timeout
`LAT116-1`^*	⁺0.00	⁺9.90	⁺0.00	Timeout	Timeout	Timeout
`LAT119-1`^*	⁺9.40	⁺27.50	⁺0.00	Timeout	Timeout	Timeout
`LAT120-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT121-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT122-1`^*	⁺9.00	⁺27.40	⁺0.00	Timeout	Timeout	Timeout
`LAT126-1`^*	⁺27.80	WCout	⁺18.40	Timeout	Timeout	Timeout
`LAT127-1`^*	⁺0.00	⁺9.00	⁺0.00	Timeout	Timeout	Timeout
`LAT128-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT129-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT130-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT131-1`^*	⁺19.90	⁺40.00	⁺0.00	Timeout	Timeout	Timeout
`LAT132-1`^*	⁺27.50	⁺54.80	⁺0.00	Timeout	Timeout	Timeout
`LAT133-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT134-1`^*	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`LAT135-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT136-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT137-1`^*	⁺10.00	⁺9.90	⁺0.00	Timeout	Timeout	Timeout
`LCL078-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL165-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL168-1`	⁺0.00	⁺0.00	⁺0.00	⁺9.40	Timeout	Timeout
`LCL179-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL181-1`	⁺0.00	⁺9.20	Timeout	Timeout	Timeout	Timeout
`LCL183-1`	⁺0.00	⁺9.10	Timeout	Timeout	Timeout	Timeout
`LCL184-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL219-1`	⁺0.00	⁺9.80	Timeout	Timeout	Timeout	Timeout
`LCL240-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL242-1`	⁺10.00	⁺28.40	Timeout	Timeout	Timeout	Timeout
`LCL244-1`	⁺10.00	⁺29.80	Timeout	Timeout	Timeout	Timeout
`LCL245-1`	⁺8.90	⁺119.70	Timeout	Timeout	Timeout	Timeout
`LCL246-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL247-1`	⁺29.90	⁺49.70	Timeout	Timeout	Timeout	Timeout
`LCL255-1`	⁺20.00	⁺259.60	Timeout	Timeout	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL291-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL406-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL408-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL415-1`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`NLP027-1`	⁺0.00	⁺0.00	Timeout	GaveUp	⁺0.00	Timeout
`NLP030-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	⁺0.00	Timeout
`NLP060-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	⁺0.00	Timeout
`NLP165-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout
`NLP183-1`	⁺0.00	⁺0.00	Unknown	Timeout	Timeout	0.00
`NLP189-1`	⁺0.00	⁺0.00	Unknown	Timeout	Timeout	0.00
`NLP190-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00	Timeout
`NLP191-1`	⁺0.00	⁺0.00	⁺39.90	Timeout	⁺0.00	Timeout
`NLP192-1`	⁺0.00	⁺0.00	⁺9.10	Timeout	⁺0.00	Timeout
`NLP195-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00	Timeout
`NLP196-1`	⁺0.00	⁺0.00	⁺19.90	Timeout	⁺0.00	Timeout
`NUM287-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`PUZ015-3`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`PUZ046-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	⁺0.00	0.00
`PUZ049-1`	GaveUp	GaveUp	Timeout	GaveUp	⁺0.00	0.00
`PUZ057-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ059-1`^*	⁺0.00	⁺8.90	Timeout	GaveUp	WCout	Timeout
`RNG031-7`	⁺55.70	⁺55.30	Timeout	Timeout	Timeout	Timeout
`RNG042-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`RNG043-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`ROB012-2`	⁺0.00	⁺0.00	⁺19.90	Timeout	Timeout	Timeout
`ROB015-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN745-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN746-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN747-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SYN754-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN766-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN776-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN789-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN793-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN801-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	50.00
`SYN806-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺89.90	Timeout
`SYN904-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SYN905-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SYN906-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SYN909-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`SYN913-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`TOP002-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`TOP003-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`TOP003-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`TOP005-1`	⁺0.00	⁺9.10	Timeout	GaveUp	Timeout	Timeout
`TOP006-1`	⁺0.00	⁺0.00	⁺89.80	GaveUp	Timeout	Timeout
`TOP008-1`	⁺0.00	⁺0.00	Timeout	GaveUp	WCout	Timeout
`TOP010-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`TOP012-1`	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`TOP013-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`TOP014-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`TOP015-1`	⁺0.00	⁺0.00	Timeout	GaveUp	WCout	Timeout
`TOP017-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`TOP018-1`	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
Attempted	120	120	120	120	120	120
Solved	117	116	83	40	20	11
Av. Time	3.29	8.52	2.37	10.93	4.50	4.55
Solutions	117	116	83	40	20	0
New Attempted	30	30	30	30	30	30
New Solved	30	29	29	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for EPR

EPR	DCTP 10.21p	Darwin 1.2	Paradox 1.3	E 0.9pre3	Vampire 8.0
`GRP123-3.004`	0.00	⁺0.00	⁺0.00	0.00	Timeout
`GRP123-4.004`	0.00	⁺0.00	⁺0.00	0.00	Timeout
`GRP124-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP124-2.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP124-8.004`	0.00	0.00	0.00	0.00	⁺0.00
`GRP124-9.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP126-1.004`	0.00	0.00	0.00	0.00	⁺0.00
`GRP126-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP126-4.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP129-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP130-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP130-4.004`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP133-1.004`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP135-2.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT005-2`	0.00	0.00	537.90	Timeout	Timeout
`MGT052-1`	0.00	0.00	0.00	0.00	⁺0.00
`MGT066-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`MSC006-1`	0.00	0.00	0.00	0.00	⁺0.00
`NLP012-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP118-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP120-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP122-1`	0.00	0.00	0.00	0.00	⁺0.00
`NLP125-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP126-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP128-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP129-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP202-1`	0.00	Timeout	⁺0.00	0.00	GaveUp
`NLP205-1`	0.00	Timeout	⁺0.00	0.00	GaveUp
`NLP211-1`	571.00	Timeout	⁺0.00	Timeout	Timeout
`NLP213-1`	Timeout	Timeout	⁺0.00	Timeout	Timeout
`NLP216-1`	Timeout	Timeout	⁺0.00	Timeout	Timeout
`PUZ001-3`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ018-2`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`PUZ028-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ028-2`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ028-3`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ028-4`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ030-1`	0.00	0.00	0.00	0.00	⁺0.00
`PUZ037-1`	0.00	0.00	GaveUp	0.00	⁺0.00
`PUZ037-3`	Timeout	WCout	GaveUp	0.00	⁺60.50
`SYN053-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN056-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN057-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN059-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN060-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN062-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN110-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN111-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN112-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN115-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN127-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN129-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN134-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN139-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN149-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN158-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN164-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN171-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN174-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN183-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN191-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN206-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN209-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN210-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN217-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN218-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN219-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN221-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN224-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN228-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN230-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN237-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN240-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN258-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN263-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN266-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN273-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN275-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN281-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN283-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN289-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN292-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN294-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN301-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN307-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN317-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN322-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN426-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN428-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN429-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN457-1`	369.80	99.80	Timeout	Timeout	⁺0.00
`SYN460-1`	147.20	0.00	111.00	Timeout	⁺0.00
`SYN463-1`	0.00	⁺0.00	⁺0.00	19.70	0.00
`SYN496-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN507-1`	9.80	0.00	0.00	79.90	⁺0.00
`SYN515-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN519-1`	29.40	Timeout	⁺0.00	Timeout	Timeout
`SYN525-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN526-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN527-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN541-1`	0.00	⁺0.00	⁺0.00	9.30	0.00
`SYN720-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN814-1`	227.00	⁺0.00	⁺27.70	0.00	10.00
`SYN816-1`	27.10	⁺0.00	⁺99.70	0.00	9.10
`SYN822-1`	38.90	⁺0.00	GaveUp	Timeout	Timeout
`SYN824-1`	17.30	⁺0.00	⁺49.40	0.00	0.00
`SYN830-1`	72.30	⁺9.20	GaveUp	9.20	Unknown
`SYN831-1`	73.80	⁺8.10	GaveUp	9.20	Unknown
`SYN845-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN846-1`	8.80	0.00	18.10	0.00	⁺0.00
`SYN853-1`	119.50	⁺27.90	GaveUp	18.60	Unknown
`SYN864-1`	17.00	⁺0.00	GaveUp	0.00	8.90
`SYN865-1`	19.50	0.00	GaveUp	0.00	⁺9.90
`SYN867-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN870-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN872-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN879-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN881-1`	0.00	0.00	0.00	0.00	⁺0.00
`SYN888-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN893-1`	0.00	0.00	0.00	0.00	⁺0.00
Attempted	120	120	120	120	120
Solved	117	113	111	96	91
Av. Time	14.94	1.28	7.60	1.52	1.08
Solutions	0	54	55	0	59
New Attempted	0	0	0	0	0
New Solved	0	0	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for UEQ

UEQ	Waldmeister 704	Prover9 0705	Vampire 8.0	E 0.9pre3	Otter 3.3
`BOO023-1`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`BOO034-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺9.70
`BOO067-1`	⁺27.60	⁺0.00	⁺0.00	0.00	GaveUp
`BOO073-1`	⁺0.00	⁺0.00	⁺40.00	0.00	GaveUp
`BOO076-1`	⁺39.90	⁺139.80	⁺359.80	Timeout	Timeout
`COL002-5`^*	GaveUp	⁺0.00	Timeout	Timeout	⁺0.00
`COL004-1`	⁺0.00	⁺0.00	⁺39.80	0.00	GaveUp
`COL006-1`	⁺0.00	⁺19.80	⁺209.90	Timeout	Timeout
`COL006-6`	⁺0.00	⁺0.00	⁺388.30	Timeout	GaveUp
`COL006-7`	⁺0.00	⁺0.00	⁺40.00	Timeout	GaveUp
`COL034-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`COL036-1`	⁺0.00	⁺9.90	⁺159.70	0.00	⁺0.00
`COL041-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`COL042-1`	⁺0.00	⁺0.00	Timeout	19.70	GaveUp
`COL043-3`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`COL044-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`COL044-9`	⁺0.00	⁺0.00	⁺149.50	Timeout	Timeout
`COL046-1`	⁺0.00	⁺0.00	⁺19.50	9.80	GaveUp
`COL049-1`	⁺0.00	⁺0.00	⁺20.00	0.00	⁺0.00
`COL060-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`COL061-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`COL064-1`	⁺0.00	Timeout	⁺0.00	0.00	Timeout
`COL066-1`	⁺0.00	Timeout	⁺39.70	Timeout	Unknown
`GRP114-1`	⁺0.00	⁺69.60	⁺0.00	0.00	GaveUp
`GRP164-1`	⁺19.80	Timeout	Timeout	Timeout	GaveUp
`GRP167-4`	⁺0.00	⁺59.80	⁺0.00	0.00	GaveUp
`GRP177-2`	⁺0.00	⁺29.90	Timeout	Timeout	GaveUp
`GRP179-1`	⁺0.00	⁺222.00	⁺0.00	0.00	GaveUp
`GRP179-2`	⁺0.00	⁺131.70	⁺0.00	0.00	GaveUp
`GRP179-3`	⁺0.00	⁺74.40	⁺0.00	0.00	GaveUp
`GRP180-1`	⁺0.00	⁺230.60	⁺0.00	9.90	GaveUp
`GRP181-1`	⁺0.00	⁺89.80	⁺9.80	59.90	GaveUp
`GRP181-3`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`GRP183-1`	⁺0.00	⁺119.90	⁺149.40	0.00	⁺69.10
`GRP183-3`	⁺0.00	⁺148.80	⁺149.80	0.00	GaveUp
`GRP183-4`	⁺0.00	⁺59.90	⁺149.90	0.00	GaveUp
`GRP184-1`	⁺0.00	⁺0.00	⁺109.30	0.00	GaveUp
`GRP184-3`	⁺0.00	⁺0.00	⁺111.80	0.00	GaveUp
`GRP186-1`	⁺0.00	⁺109.70	⁺0.00	0.00	GaveUp
`GRP186-2`	⁺0.00	⁺69.90	⁺0.00	0.00	GaveUp
`GRP187-1`	⁺9.70	Timeout	⁺189.40	0.00	GaveUp
`GRP196-1`	Timeout	Timeout	⁺138.10	Timeout	Timeout
`GRP200-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`GRP201-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`GRP205-1`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`GRP405-1`	⁺0.00	⁺0.00	⁺9.90	0.00	⁺0.00
`GRP410-1`	⁺0.00	⁺0.00	⁺0.00	9.90	GaveUp
`GRP419-1`	⁺0.00	⁺0.00	⁺10.00	0.00	⁺139.20
`GRP422-1`	⁺0.00	⁺0.00	⁺9.70	0.00	⁺0.00
`GRP423-1`	⁺0.00	⁺0.00	⁺20.00	0.00	GaveUp
`GRP444-1`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`GRP475-1`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`GRP476-1`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`GRP505-1`	⁺0.00	⁺29.80	⁺89.60	Timeout	Timeout
`GRP506-1`	⁺0.00	⁺49.50	⁺119.70	Timeout	Timeout
`GRP508-1`	⁺0.00	⁺39.90	⁺119.60	Timeout	Timeout
`LAT020-1`	⁺9.80	⁺0.00	⁺109.90	29.90	GaveUp
`LAT080-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT081-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT083-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT084-1`	⁺0.00	Unknown	⁺0.00	0.00	Unknown
`LAT086-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT087-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT092-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT093-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT094-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT096-1`	⁺0.00	⁺0.00	⁺0.00	0.00	Unknown
`LAT142-1`^*	⁺379.40	Timeout	Timeout	Timeout	Timeout
`LAT144-1`^*	⁺221.30	Timeout	Timeout	Timeout	Timeout
`LAT145-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT146-1`^*	⁺159.60	Timeout	Timeout	Timeout	Timeout
`LAT147-1`^*	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`LAT148-1`^*	Timeout	⁺29.90	Timeout	Timeout	Timeout
`LAT149-1`^*	⁺489.80	Timeout	Timeout	Timeout	Timeout
`LAT150-1`^*	⁺36.80	Timeout	Timeout	Timeout	Timeout
`LAT151-1`^*	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LAT152-1`^*	Timeout	Timeout	Timeout	Timeout	⁺19.00
`LAT153-1`^*	⁺369.60	Timeout	Timeout	Timeout	Timeout
`LAT154-1`^*	Timeout	Timeout	Timeout	Timeout	⁺159.00
`LAT155-1`^*	⁺239.20	Timeout	Timeout	Timeout	Timeout
`LAT156-1`^*	Timeout	Timeout	Timeout	Timeout	⁺65.00
`LAT157-1`^*	⁺229.60	Timeout	Timeout	Timeout	GaveUp
`LAT158-1`^*	⁺259.70	Timeout	Timeout	Timeout	GaveUp
`LAT159-1`^*	⁺489.20	Timeout	Timeout	Timeout	Timeout
`LAT160-1`^*	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LAT162-1`^*	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT163-1`^*	⁺399.00	Timeout	Timeout	Timeout	Timeout
`LAT164-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT165-1`^*	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LAT166-1`^*	⁺309.50	Timeout	Timeout	Timeout	Timeout
`LAT167-1`^*	⁺391.00	⁺49.90	Timeout	Timeout	Timeout
`LAT169-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT170-1`^*	⁺496.20	⁺56.10	Timeout	Timeout	Timeout
`LAT171-1`^*	⁺29.80	Timeout	Timeout	Timeout	⁺0.00
`LAT172-1`^*	⁺196.80	Timeout	Timeout	Timeout	Timeout
`LAT173-1`^*	⁺389.80	Timeout	Timeout	Timeout	Timeout
`LAT174-1`^*	⁺369.70	⁺40.00	Timeout	Timeout	Timeout
`LAT175-1`^*	⁺199.80	Timeout	Timeout	Timeout	Timeout
`LAT176-1`^*	⁺449.00	Timeout	Timeout	Timeout	Timeout
`LCL138-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`RNG009-5`	⁺0.00	⁺79.80	⁺130.00	0.00	Timeout
`RNG009-7`	⁺0.00	⁺89.60	⁺0.00	0.00	Unknown
`RNG019-6`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`RNG020-6`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`RNG021-7`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`RNG025-4`	⁺0.00	⁺9.90	Timeout	Timeout	Timeout
`RNG025-5`	⁺0.00	⁺9.20	Timeout	Timeout	⁺0.00
`RNG025-6`	⁺0.00	⁺0.00	⁺339.70	0.00	⁺0.00
`RNG026-6`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`RNG026-7`	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`RNG027-5`	⁺0.00	⁺48.80	Timeout	Timeout	GaveUp
`RNG027-7`	⁺0.00	⁺140.00	Timeout	Timeout	GaveUp
`RNG027-8`	⁺0.00	⁺219.60	Timeout	Timeout	Timeout
`RNG027-9`	⁺0.00	⁺259.00	Timeout	Timeout	GaveUp
`RNG028-7`	⁺0.00	⁺29.90	Timeout	Timeout	GaveUp
`RNG028-8`	⁺0.00	⁺29.90	Timeout	Timeout	GaveUp
`RNG029-6`	⁺0.00	⁺73.40	Timeout	Timeout	GaveUp
`RNG029-7`	⁺0.00	⁺69.80	Timeout	Timeout	GaveUp
`RNG035-7`	⁺0.00	⁺389.60	Timeout	19.90	Timeout
`ROB006-1`	⁺0.00	⁺119.80	Timeout	Timeout	GaveUp
Attempted	120	120	120	120	120
Solved	110	86	71	63	23
Av. Time	56.47	40.10	48.34	2.52	20.04
Solutions	110	86	71	0	23
New Attempted	33	33	33	33	33
New Solved	24	5	0	0	5

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for HNE

HNE	Vampire 7.0	Vampire 8.0	Prover9 0705	E 0.9pre3	EP 0.9pre3	THEO JN05	Otter 3.3	Darwin 1.2
`ANA003-2`	⁺9.90	⁺26.20	Timeout	9.10	⁺9.70	⁺101.90	Timeout	Timeout
`LCL005-1`	⁺34.80	⁺46.60	⁺56.40	46.80	⁺64.30	GaveUp	GaveUp	Timeout
`LCL119-1`	⁺18.30	⁺0.00	⁺527.40	Timeout	Timeout	GaveUp	Unknown	Timeout
`LCL218-1`	⁺8.80	⁺0.00	⁺0.00	9.20	⁺9.10	⁺28.00	⁺0.00	Timeout
`LCL231-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	GaveUp	GaveUp	Timeout
`LCL253-1`	⁺249.20	⁺114.50	⁺249.80	Timeout	Timeout	GaveUp	GaveUp	Timeout
`LCL393-1`	⁺157.80	⁺389.50	Timeout	18.50	⁺27.80	GaveUp	GaveUp	19.90
`LCL423-1`	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp	Timeout
`NUM017-1`	⁺53.50	⁺37.20	⁺65.90	18.50	⁺18.50	⁺0.00	⁺131.30	Timeout
`PLA001-1`	⁺36.50	⁺0.00	⁺0.00	45.30	⁺45.80	⁺0.00	⁺0.00	0.00
`PLA007-1`	⁺0.00	⁺0.00	⁺9.20	0.00	⁺0.00	⁺326.60	Timeout	Timeout
`PLA011-2`	⁺0.00	⁺0.00	⁺27.70	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`PLA018-1`	⁺0.00	⁺0.00	⁺249.20	0.00	⁺0.00	GaveUp	Timeout	Timeout
`PUZ039-1`	⁺55.50	⁺30.00	⁺0.00	0.00	⁺0.00	GaveUp	⁺0.00	0.00
`PUZ040-1`	⁺56.30	⁺36.70	⁺0.00	0.00	⁺0.00	GaveUp	⁺0.00	0.00
`PUZ050-1`	⁺74.70	⁺138.80	⁺493.80	Timeout	Timeout	GaveUp	GaveUp	WCout
`RNG001-2`	⁺9.00	⁺9.10	⁺18.70	Timeout	Timeout	⁺93.00	⁺488.50	27.60
`SYN639-1`	⁺65.20	⁺0.00	⁺0.00	46.40	⁺55.40	⁺0.00	⁺0.00	Timeout
`SYN647-1`	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺9.00	Timeout
`SYN649-1`	⁺10.00	⁺36.40	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
Attempted	20	20	20	20	20	20	20	20
Solved	19	19	17	15	15	10	9	5
Av. Time	44.18	45.53	99.89	12.92	15.37	54.95	69.87	9.50
Solutions	19	19	17	0	15	10	9	0
New Attempted	0	0	0	0	0	0	0	0
New Solved	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.

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

Results for HEQ

HEQ	Vampire 8.0	Vampire 7.0	Prover9 0705	E 0.9pre3	EP 0.9pre3	Darwin 1.2	Otter 3.3	THEO JN05
`ANA003-1`	⁺37.40	⁺27.80	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`ANA005-1`	⁺36.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`COL003-3`	⁺0.00	⁺55.60	⁺0.00	0.00	⁺0.00	Timeout	Unknown	GaveUp
`COL003-4`	⁺0.00	⁺55.70	⁺0.00	0.00	⁺0.00	Timeout	Unknown	GaveUp
`COL003-8`	⁺9.20	⁺65.10	⁺0.00	30.00	⁺43.00	Timeout	Unknown	GaveUp
`COL042-5`	⁺0.00	⁺65.20	⁺0.00	9.30	⁺18.50	Timeout	GaveUp	Timeout
`COL043-2`	⁺0.00	⁺55.60	⁺0.00	0.00	⁺0.00	Timeout	Timeout	GaveUp
`COL044-3`	⁺0.00	⁺54.90	⁺0.00	0.00	⁺0.00	Timeout	Timeout	GaveUp
`HWC002-1`	⁺82.60	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	GaveUp	Timeout
`HWV002-1`	⁺37.00	⁺18.20	⁺37.30	130.00	138.80	Timeout	GaveUp	GaveUp
`HWV003-1`	⁺65.00	Timeout	⁺0.00	9.40	⁺18.30	Timeout	Unknown	GaveUp
`HWV004-1`	Timeout	Timeout	⁺0.00	45.20	69.30	Timeout	Unknown	GaveUp
`LAT041-1`	Timeout	⁺307.20	⁺112.10	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL109-4`	⁺27.70	⁺0.00	⁺29.90	0.00	⁺0.00	Timeout	Timeout	GaveUp
`LCL152-1`	⁺0.00	⁺122.20	⁺0.00	0.00	⁺19.70	Timeout	Timeout	Timeout
`LCL277-3`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL307-3`	⁺9.80	⁺15.90	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`LCL336-3`	⁺36.30	⁺0.00	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
`ROB014-1`	⁺18.70	⁺222.20	Timeout	439.40	507.80	Timeout	GaveUp	GaveUp
`ROB018-1`	⁺344.00	⁺111.60	Timeout	Timeout	Timeout	Timeout	GaveUp	GaveUp
Attempted	20	20	20	20	20	20	20	20
Solved	18	17	13	13	13	0	0	0
Av. Time	39.14	69.25	13.79	51.02	62.72	-	-	-
Solutions	18	17	13	0	10	0	0	0
New Attempted	0	0	0	0	0	0	0	0
New Solved	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.

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

Results for NNE

NNE	Vampire 7.0	Vampire 8.0	E 0.9pre3	EP 0.9pre3	THEO JN05	Prover9 0705	Darwin 1.2	Otter 3.3
`ANA002-1`	⁺0.00	⁺0.00	90.40	⁺107.40	⁺120.50	Timeout	Timeout	Timeout
`ANA002-3`	⁺19.70	⁺83.40	9.30	⁺8.90	⁺130.60	Timeout	Timeout	Timeout
`ANA002-4`	⁺0.00	⁺74.80	9.90	⁺18.40	GaveUp	Timeout	Timeout	Timeout
`ANA003-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺46.40	⁺9.20	Timeout	GaveUp
`ANA004-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺18.50	⁺36.70	Timeout	GaveUp
`COM003-1`	⁺0.00	⁺0.00	0.00	⁺0.00	GaveUp	Timeout	0.00	Timeout
`COM005-1`	⁺64.90	⁺0.00	0.00	⁺9.30	Unknown	Timeout	Timeout	Timeout
`FLD003-1`	⁺0.00	⁺0.00	18.20	⁺35.40	⁺0.00	Timeout	Timeout	Timeout
`FLD059-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`FLD067-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	73.10	Timeout
`FLD070-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺9.20	0.00	Timeout
`SET010-1`	⁺6.60	⁺0.00	0.00	⁺0.00	⁺355.00	Timeout	0.00	Timeout
`SET013-2`	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	0.00	Timeout
`SYN314-1.002.001`	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`SYN576-1`	⁺56.40	⁺65.40	Timeout	Timeout	⁺0.00	⁺0.00	0.00	⁺0.00
`SYN635-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`SYN696-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00	⁺0.00	Timeout	Timeout
`SYN700-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺0.00	⁺0.00	Timeout	Timeout
`SYN714-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	⁺0.00
`SYN802-1`	⁺65.10	⁺9.20	18.80	⁺27.50	GaveUp	Timeout	290.90	Timeout
Attempted	20	20	20	20	20	20	20	20
Solved	19	19	16	16	14	10	10	3
Av. Time	11.19	12.25	9.16	12.93	47.93	5.51	36.40	0.00
Solutions	19	19	0	16	14	10	0	3
New Attempted	0	0	0	0	0	0	0	0
New Solved	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.

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

Results for NEQ

NEQ	Vampire 8.0	Vampire 7.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	THEO JN05	Darwin 1.2	Otter 3.3
`ALG012-1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺83.70	Timeout	9.10	Timeout
`COL088-1`	⁺73.70	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL089-1`	⁺70.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL093-1`	⁺74.30	⁺0.00	0.00	⁺0.00	⁺46.40	⁺239.80	0.00	Timeout
`COL098-2`	⁺59.90	⁺469.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL099-2`	⁺10.00	⁺79.90	0.00	⁺9.90	Timeout	⁺9.90	Timeout	Timeout
`GEO008-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺29.90	Timeout	Timeout
`GEO049-3`	⁺349.80	⁺9.70	Timeout	Timeout	Timeout	⁺29.90	Timeout	Timeout
`GEO053-2`	⁺82.30	⁺73.30	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`GEO062-2`	⁺209.80	⁺169.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO062-3`	⁺84.10	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GEO083-1`	⁺0.00	⁺69.60	0.00	⁺0.00	⁺19.80	⁺0.00	Timeout	Timeout
`GEO090-1`	⁺27.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO111-1`	⁺0.00	⁺19.90	0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`GEO126-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GEO146-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺59.90	⁺0.00	Timeout	Timeout
`GRP025-1`	⁺10.00	⁺0.00	0.00	⁺0.00	⁺449.80	Timeout	Timeout	⁺29.20
`GRP026-1`	⁺172.70	⁺0.00	0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`GRP039-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`GRP039-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP040-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺539.30	Timeout	⁺178.80
`GRP040-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺79.50
`HWV021-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.90	⁺0.00	0.00	Timeout
`HWV029-2`	Timeout	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`HWV031-1`	⁺9.30	⁺55.20	9.10	⁺17.90	Timeout	GaveUp	Timeout	Timeout
`HWV033-1`	⁺239.70	⁺122.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout	Timeout
`LAT003-1`	Timeout	Timeout	Timeout	Timeout	⁺89.90	GaveUp	Timeout	Timeout
`LCL144-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺109.90	Timeout	Timeout	Timeout
`MGT035-1`	⁺0.00	⁺9.80	519.20	568.20	Timeout	Timeout	Timeout	Timeout
`MGT039-2`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	⁺59.40
`MGT065-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺9.90	0.00	⁺59.60
`MSC007-2.005`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.80	Timeout	0.00	GaveUp
`NUM007-1`	⁺83.60	Timeout	Timeout	Timeout	Timeout	⁺288.70	Timeout	Timeout
`NUM010-1`	⁺9.20	⁺85.50	Timeout	Timeout	Timeout	⁺65.60	Timeout	Timeout
`NUM159-1`	⁺98.20	⁺0.00	9.10	⁺9.10	Timeout	GaveUp	Timeout	Timeout
`SET012-3`	⁺0.00	⁺0.00	39.90	⁺59.80	Timeout	⁺49.80	Timeout	Timeout
`SET013-3`	⁺0.00	⁺0.00	159.60	189.50	Timeout	Timeout	Timeout	Timeout
`SET013-4`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	⁺0.00
`SET014-4`	⁺0.00	⁺70.00	Timeout	Timeout	⁺20.00	⁺0.00	Timeout	Timeout
`SET015-3`	⁺9.70	⁺59.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET015-4`	⁺0.00	⁺0.00	0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`SET016-3`	⁺39.80	⁺27.70	0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SET016-6`	⁺0.00	⁺29.90	0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`SET018-4`	⁺46.60	Timeout	65.20	⁺83.20	Timeout	GaveUp	Timeout	Timeout
`SET019-4`	⁺0.00	⁺9.20	9.10	⁺9.10	⁺0.00	⁺0.00	Timeout	⁺0.00
`SET022-3`	⁺0.00	⁺53.00	0.00	⁺0.00	⁺46.70	⁺0.00	Timeout	Timeout
`SET025-8`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺69.90	⁺0.00	0.00	Timeout
`SET025-9`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺19.80	0.00	Timeout
`SET037-3`	⁺79.90	⁺129.60	39.90	⁺59.40	Timeout	Timeout	Timeout	Timeout
`SET038-3`	⁺46.10	Timeout	9.30	⁺9.20	Timeout	⁺27.70	Timeout	Timeout
`SET041-3`	⁺0.00	⁺0.00	19.80	⁺19.90	⁺9.90	⁺0.00	Timeout	Timeout
`SET145-6`	⁺109.70	⁺129.80	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`SET348-6`	⁺40.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET468-6`	⁺0.00	⁺59.90	0.00	⁺9.80	Timeout	Timeout	Timeout	⁺78.10
`SWC097-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺138.50
`SWC222-1`	⁺18.10	⁺55.70	0.00	⁺0.00	Timeout	GaveUp	Timeout	Timeout
`SWV008-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺89.20	⁺0.00	0.00	⁺0.00
`SYN014-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	0.00	Timeout
`SYN015-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺129.80	Timeout	0.00	Timeout
`SYN077-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	0.00	Timeout
Attempted	60	60	60	60	60	60	60	60
Solved	58	53	47	47	34	27	14	10
Av. Time	35.41	33.75	18.73	22.23	36.61	48.53	0.65	62.31
Solutions	58	53	0	45	34	27	0	10
New Attempted	0	0	0	0	0	0	0	0
New Solved	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.

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

Results for PEQ

PEQ	E 0.9pre3	EP 0.9pre3	Prover9 0705	Vampire 7.0	Vampire 8.0	Otter 3.3	Darwin 1.2	THEO JN05
`BOO038-1`	0.00	⁺9.20	⁺0.00	⁺93.40	⁺139.70	GaveUp	Timeout	GaveUp
`CAT003-2`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp	0.00	⁺0.00
`COL079-2`	Timeout	Timeout	⁺0.00	⁺27.60	⁺9.10	Timeout	Timeout	GaveUp
`GRP085-1`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00	GaveUp
`GRP087-1`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout
`GRP099-1`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP107-1`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP108-1`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP223-1`	0.00	⁺0.00	⁺176.70	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`GRP319-1`	0.00	⁺0.00	⁺296.60	⁺0.00	⁺9.10	Timeout	Timeout	Timeout
`GRP378-1`	0.00	⁺0.00	⁺159.80	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP401-1`	87.00	102.30	⁺0.00	⁺27.40	⁺0.00	Timeout	Timeout	Timeout
`LAT030-1`	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Unknown	Timeout	GaveUp
`LAT036-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT066-1`	0.00	⁺0.00	⁺37.10	⁺8.90	⁺296.60	GaveUp	Timeout	GaveUp
`LAT178-1`^*	331.00	394.90	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT192-1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT194-1`^*	0.00	⁺9.10	⁺295.40	⁺378.50	⁺315.50	Timeout	Timeout	GaveUp
`LAT195-1`^*	0.00	⁺0.00	⁺37.50	⁺44.20	⁺139.90	Timeout	Timeout	GaveUp
`LAT196-1`^*	0.00	⁺0.00	⁺83.30	⁺323.00	Timeout	Timeout	Timeout	Timeout
`LAT197-1`^*	0.00	⁺0.00	⁺18.70	⁺8.70	⁺119.90	Timeout	Timeout	GaveUp
`LAT200-1`^*	0.00	⁺8.60	⁺64.80	⁺371.60	⁺314.50	Timeout	Timeout	GaveUp
`LAT209-1`^*	0.00	⁺0.00	⁺9.80	⁺19.50	⁺29.50	Timeout	Timeout	Timeout
`LAT210-1`^*	0.00	⁺0.00	⁺18.50	⁺37.30	⁺27.90	Timeout	Timeout	GaveUp
`LAT211-1`^*	29.70	49.20	⁺9.90	⁺19.90	⁺20.00	GaveUp	Timeout	Timeout
`LAT212-1`^*	9.90	⁺29.50	⁺89.90	⁺486.30	Timeout	Timeout	Timeout	Timeout
`LAT214-1`^*	0.00	⁺9.10	⁺75.20	⁺18.50	⁺187.80	GaveUp	Timeout	GaveUp
`LAT218-1`^*	473.40	578.60	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LAT243-1`^*	Timeout	Timeout	⁺0.00	⁺173.30	⁺101.70	Timeout	Timeout	GaveUp
`LAT252-1`^*	0.00	⁺18.60	⁺9.10	Timeout	Timeout	Timeout	Timeout	GaveUp
Attempted	30	30	30	30	30	30	30	30
Solved	26	26	26	25	23	5	3	1
Av. Time	35.81	46.50	53.17	81.52	74.40	0.00	0.00	0.00
Solutions	0	22	26	25	23	5	0	1
New Attempted	15	15	15	15	15	15	15	15
New Solved	13	13	12	11	9	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for FNE

FNE	Vampire 8.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	Vampire 7.0	Otter 3.3	THEO JN05	MUSCADET 2.5
`ALG211+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`GRP001+6`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`GRP012+5`^*	⁺10.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT022+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT022+2`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT028+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT030+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT032+2`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`MGT036+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT036+2`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`MGT036+3`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`PUZ005+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`PUZ047+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET009+3`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET588+3`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET589+3`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SET631+3`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SWV014+1`	⁺0.00	0.00	⁺0.00	Timeout	⁺0.00	Timeout	⁺0.00	GaveUp
`SYN079+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN081+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN082+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN364+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN365+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN370+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN728+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN729+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN730+1`	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN938+1`^*	⁺0.00	GaveUp	GaveUp	⁺0.00	GaveUp	Unknown	Unknown	GaveUp
`SYN939+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN940+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN941+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN943+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SYN980+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`TOP021+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Unknown	GaveUp
`TOP022+1`^*	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
Attempted	35	35	35	35	35	35	35	35
Solved	35	34	34	34	34	33	33	13
Av. Time	0.29	0.00	0.00	0.00	0.00	0.00	0.00	0.00
Solutions	35	0	34	34	34	33	33	0
New Attempted	11	11	11	11	11	11	11	11
New Solved	11	10	10	11	10	10	9	3

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for FEQ

FEQ	Vampire 8.0	Vampire 7.0	E 0.9pre3	EP 0.9pre3	Prover9 0705	THEO JN05	Otter 3.3	MUSCADET 2.5
`AGT004+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺129.50	GaveUp
`AGT005+1`^*	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout	GaveUp
`AGT006+2`^*	⁺349.70	⁺59.70	Timeout	Timeout	Timeout	Unknown	Unknown	GaveUp
`AGT012+1`^*	⁺79.90	⁺59.50	Timeout	Timeout	Timeout	GaveUp	GaveUp	GaveUp
`AGT013+1`^*	⁺208.90	⁺89.00	Timeout	Timeout	Timeout	GaveUp	GaveUp	GaveUp
`AGT014+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺127.80	GaveUp
`AGT026+2`^*	⁺37.20	⁺111.30	Timeout	Timeout	Timeout	Unknown	Unknown	GaveUp
`ALG071+1`	⁺99.60	⁺0.00	19.90	⁺29.90	⁺0.00	⁺9.90	GaveUp	GaveUp
`ALG074+1`	⁺109.80	⁺9.90	0.00	⁺0.00	Timeout	Timeout	⁺0.00	GaveUp
`ALG210+1`^*	⁺20.00	⁺73.80	46.70	67.20	⁺0.00	GaveUp	Timeout	GaveUp
`CSR001+1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR002+2`^*	⁺26.30	⁺54.70	0.00	⁺0.00	⁺140.20	Timeout	Timeout	GaveUp
`CSR003+1`^*	Timeout	Timeout	169.80	⁺189.50	Timeout	Timeout	Timeout	GaveUp
`CSR013+1`^*	⁺0.00	⁺149.50	139.60	⁺149.40	Timeout	Timeout	Timeout	GaveUp
`CSR018+1`^*	Unknown	⁺0.00	0.00	⁺0.00	⁺19.90	Unknown	Timeout	GaveUp
`CSR020+1`^*	Unknown	⁺0.00	0.00	⁺0.00	⁺0.00	Unknown	Timeout	GaveUp
`GEO081+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺49.50	GaveUp
`GEO094+1`	⁺0.00	⁺9.50	0.00	⁺0.00	⁺0.00	⁺0.00	⁺45.90	GaveUp
`GEO127+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺9.90	⁺369.30	Timeout	GaveUp
`GEO146+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`GEO147+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺8.10	GaveUp
`GRA002+3`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺20.30	Timeout	GaveUp
`GRA002+4`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`GRA007+2`^*	⁺0.00	⁺59.90	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`GRA008+1`^*	⁺70.00	⁺79.90	0.00	⁺9.90	Timeout	Timeout	Timeout	GaveUp
`GRA010+2`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺465.90	GaveUp
`HAL002+1`	⁺50.00	⁺58.90	0.00	⁺0.00	Timeout	Timeout	Timeout	0.00
`HAL003+3`	⁺7.10	⁺59.40	0.00	⁺0.00	Timeout	⁺0.00	⁺99.50	GaveUp
`HAL006+1`	⁺149.70	⁺156.10	0.00	⁺0.00	Timeout	Timeout	⁺8.80	GaveUp
`MGT025+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	GaveUp	Timeout	GaveUp
`MGT035+2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`MGT061+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`NUM302+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺79.70	⁺19.70	GaveUp
`NUM311+1`^*	⁺79.80	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Unknown	GaveUp
`NUM316+1`^*	⁺89.70	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Unknown	GaveUp
`NUM319+1`^*	⁺79.90	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Unknown	GaveUp
`NUM333+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`NUM345+1`^*	⁺79.90	⁺0.00	Timeout	Timeout	GaveUp	GaveUp	Timeout	GaveUp
`SET011+3`	⁺0.00	⁺59.50	0.00	⁺9.60	⁺179.80	⁺0.00	Timeout	0.00
`SET012+4`	⁺99.20	⁺119.20	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET014+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SET020+1`	⁺18.10	⁺0.00	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`SET071+1`	⁺0.00	⁺49.90	0.00	⁺0.00	⁺0.00	⁺0.00	⁺259.20	0.00
`SET076+1`	⁺0.00	⁺0.00	Timeout	Timeout	⁺9.60	⁺0.00	Timeout	0.00
`SET098+1`	⁺189.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET103+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺539.20	⁺119.40	GaveUp
`SET159+3`	⁺0.00	⁺99.60	0.00	⁺9.80	Timeout	⁺0.00	Timeout	0.00
`SET579+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	0.00
`SET580+3`	⁺0.00	⁺9.70	0.00	⁺0.00	⁺0.00	⁺49.50	Timeout	0.00
`SET582+3`	⁺109.90	⁺409.60	116.10	135.50	Timeout	Timeout	Timeout	GaveUp
`SET587+3`	⁺0.00	⁺29.90	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`SET595+3`	⁺9.90	⁺103.10	9.20	⁺8.90	⁺547.10	⁺0.00	Timeout	GaveUp
`SET601+3`	⁺145.90	Timeout	168.90	208.50	⁺0.00	Timeout	Timeout	0.00
`SET603+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺27.10	GaveUp
`SET603+4`	⁺0.00	⁺0.00	45.60	⁺54.40	Timeout	⁺0.00	Timeout	0.00
`SET606+3`	⁺0.00	⁺59.90	0.00	⁺19.90	Timeout	⁺0.00	Timeout	GaveUp
`SET607+3`	⁺0.00	⁺59.50	9.90	⁺19.70	Timeout	⁺0.00	Timeout	0.00
`SET610+3`	⁺10.00	⁺69.90	19.90	⁺28.60	⁺229.90	⁺0.00	Timeout	GaveUp
`SET617+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET619+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	⁺19.50	GaveUp
`SET624+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp
`SET634+3`	⁺89.90	⁺109.20	19.90	⁺39.70	Timeout	⁺9.90	Timeout	GaveUp
`SET646+3`	⁺0.00	⁺59.40	0.00	⁺0.00	⁺339.80	⁺39.80	Timeout	GaveUp
`SET650+3`	⁺20.00	⁺9.40	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET655+3`	⁺195.60	⁺64.90	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`SET657+3`	⁺10.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`SET663+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp
`SET665+3`	⁺149.50	⁺59.90	Timeout	Timeout	⁺0.00	⁺149.70	Timeout	GaveUp
`SET667+3`	⁺99.70	⁺0.00	0.00	⁺0.00	⁺0.00	⁺19.70	Timeout	GaveUp
`SET671+3`	⁺99.90	⁺219.50	46.20	⁺45.70	⁺287.60	GaveUp	Timeout	GaveUp
`SET673+3`	⁺99.50	⁺39.80	49.90	⁺49.90	⁺289.60	Timeout	Timeout	GaveUp
`SET678+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺29.90	⁺270.00	Timeout	GaveUp
`SET681+3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺59.70	⁺29.70	GaveUp
`SET684+3`	⁺249.40	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp
`SET685+3`	⁺189.70	⁺0.00	0.00	⁺0.00	⁺0.00	⁺469.40	Timeout	GaveUp
`SET703+4`	⁺239.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SET711+4`	⁺169.90	⁺0.00	Timeout	Timeout	Timeout	GaveUp	Timeout	0.00
`SET751+4`	⁺207.60	⁺113.50	Timeout	Timeout	Timeout	⁺0.00	Timeout	0.00
`SET757+4`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`SWC078+1`	Timeout	Timeout	299.60	338.80	Timeout	Timeout	Timeout	GaveUp
`SWC162+1`	Timeout	Timeout	0.00	⁺0.00	Timeout	Timeout	Timeout	GaveUp
`SWV027+1`^*	Timeout	Timeout	Timeout	Timeout	⁺149.90	Unknown	Timeout	Timeout
`SWV030+1`^*	Timeout	Timeout	0.00	⁺0.00	⁺65.40	⁺139.90	Timeout	Timeout
`SWV033+1`^*	Timeout	Timeout	Timeout	Timeout	⁺0.00	Timeout	Timeout	Timeout
`SWV036+1`^*	Timeout	GaveUp	GaveUp	GaveUp	⁺547.50	Unknown	Unknown	Timeout
`SWV038+1`^*	Timeout	Timeout	Timeout	Timeout	⁺199.10	Unknown	Timeout	Timeout
`SWV042+1`^*	Timeout	Timeout	209.70	248.70	⁺19.60	Timeout	Timeout	Timeout
`SWV048+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	⁺118.50	Timeout
`SWV053+1`^*	Timeout	Timeout	10.00	⁺19.60	⁺9.90	Timeout	Timeout	Timeout
`SWV055+1`^*	⁺0.00	⁺99.60	0.00	⁺9.90	⁺0.00	⁺9.90	Timeout	Timeout
`SWV070+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	⁺239.60	Timeout
`SWV082+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	⁺199.40	Timeout
`SWV097+1`^*	Timeout	Timeout	Timeout	Timeout	⁺139.70	GaveUp	Timeout	Timeout
`SWV099+1`^*	⁺10.00	⁺39.90	0.00	⁺0.00	⁺69.80	GaveUp	⁺118.10	Timeout
`SWV104+1`^*	⁺18.40	⁺0.00	46.70	⁺56.00	Timeout	Timeout	Timeout	Timeout
`SWV114+1`^*	Timeout	Timeout	Timeout	Timeout	⁺189.60	Unknown	Unknown	Timeout
`SWV115+1`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`SWV122+1`^*	Timeout	Timeout	Timeout	Timeout	⁺159.80	Timeout	Timeout	Timeout
`SWV128+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	⁺19.50	Timeout
`SWV136+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺329.00	Timeout
`SWV153+1`^*	⁺37.30	⁺102.00	0.00	⁺0.00	⁺0.00	⁺9.30	⁺326.20	Timeout
`SWV162+1`^*	⁺119.40	⁺99.30	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV167+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV178+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV181+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺19.90	⁺0.00	⁺329.40	Timeout
`SWV184+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SWV185+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺19.50	Timeout
`SWV187+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺0.00	⁺45.70	Timeout
`SWV198+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout
`SWV199+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	⁺37.10	⁺349.60	Timeout
`SWV200+1`^*	⁺0.00	⁺19.90	0.00	⁺0.00	⁺39.90	⁺0.00	⁺488.90	Timeout
`SWV202+1`^*	⁺10.00	⁺309.90	89.90	⁺109.70	⁺39.90	⁺19.90	Timeout	Timeout
`SWV210+1`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺19.80	⁺0.00	Timeout	Timeout
`SYN417+1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	⁺167.50	0.00
`SYN551+2`^*	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	Timeout	Timeout	0.00
Attempted	115	115	115	115	115	115	115	115
Solved	96	95	88	88	79	60	33	18
Av. Time	43.07	36.29	17.24	21.12	47.51	30.04	126.08	0.00
Solutions	96	95	0	83	76	60	33	0
New Attempted	58	58	58	58	58	58	58	58
New Solved	43	45	40	40	42	25	18	1

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for SNE

SNE	Paradox 1.3	Paradox 1.0	Mace4 0705D	Darwin 1.2	Mace2 2.2	E 0.9pre3
`GRP025-3`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout
`GRP026-3`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP027-2`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout
`LCL078-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout
`LCL168-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺9.40	Timeout
`LCL179-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL181-1`	⁺0.00	⁺9.20	Timeout	Timeout	Timeout	Timeout
`LCL183-1`	⁺0.00	⁺9.10	Timeout	Timeout	Timeout	Timeout
`LCL184-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL219-1`	⁺0.00	⁺9.80	Timeout	Timeout	Timeout	Timeout
`LCL240-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL242-1`	⁺10.00	⁺28.40	Timeout	Timeout	Timeout	Timeout
`LCL244-1`	⁺10.00	⁺29.80	Timeout	Timeout	Timeout	Timeout
`LCL245-1`	⁺8.90	⁺119.70	Timeout	Timeout	Timeout	Timeout
`LCL246-1`	⁺0.00	⁺0.00	Timeout	Timeout	Timeout	Timeout
`LCL247-1`	⁺29.90	⁺49.70	Timeout	Timeout	Timeout	Timeout
`LCL255-1`	⁺20.00	⁺259.60	Timeout	Timeout	Timeout	Timeout
`LCL415-1`	Timeout	Timeout	Timeout	Timeout	Timeout	0.00
`NLP027-1`	⁺0.00	⁺0.00	Timeout	⁺0.00	GaveUp	Timeout
`NLP030-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout
`NLP060-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout
`NLP165-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`NLP190-1`	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout	Timeout
`NLP191-1`	⁺0.00	⁺0.00	⁺39.90	⁺0.00	Timeout	Timeout
`NLP192-1`	⁺0.00	⁺0.00	⁺9.10	⁺0.00	Timeout	Timeout
`NLP195-1`	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout	Timeout
`NLP196-1`	⁺0.00	⁺0.00	⁺19.90	⁺0.00	Timeout	Timeout
`NUM287-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout
`PUZ015-3`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`PUZ046-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	GaveUp	0.00
`PUZ049-1`	GaveUp	GaveUp	Timeout	⁺0.00	GaveUp	0.00
`PUZ059-1`^*	⁺0.00	⁺8.90	Timeout	WCout	GaveUp	Timeout
`SYN745-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN746-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN747-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	0.00
`SYN754-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`SYN766-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN776-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN789-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout
`SYN793-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout
`SYN801-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	50.00
`SYN806-1`	⁺0.00	⁺0.00	⁺0.00	⁺89.90	⁺0.00	Timeout
`SYN904-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`SYN905-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`SYN906-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`SYN909-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout
`SYN913-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`TOP002-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout
`TOP003-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout
`TOP003-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00
`TOP005-1`	⁺0.00	⁺9.10	Timeout	Timeout	GaveUp	Timeout
`TOP006-1`	⁺0.00	⁺0.00	⁺89.80	Timeout	GaveUp	Timeout
`TOP008-1`	⁺0.00	⁺0.00	Timeout	WCout	GaveUp	Timeout
`TOP010-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`TOP012-1`	⁺0.00	⁺0.00	⁺0.00	Timeout	GaveUp	Timeout
`TOP013-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`TOP014-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`TOP015-1`	⁺0.00	⁺0.00	Timeout	WCout	GaveUp	Timeout
`TOP017-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
`TOP018-1`	⁺0.00	⁺0.00	Timeout	Timeout	GaveUp	Timeout
Attempted	60	60	60	60	60	60
Solved	58	58	29	20	16	9
Av. Time	1.36	9.19	5.47	4.50	0.59	5.56
Solutions	58	58	29	20	16	0
New Attempted	1	1	1	1	1	1
New Solved	1	1	0	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for SEQ

SEQ	Paradox 1.3	Paradox 1.0	Mace4 0705D	Mace2 2.2	E 0.9pre3	Darwin 1.2
`BOO019-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO036-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO037-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO037-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO057-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`BOO060-1`	⁺50.00	⁺9.70	Timeout	⁺259.60	Timeout	Timeout
`BOO061-1`	⁺0.00	⁺0.00	Timeout	⁺159.50	Timeout	Timeout
`CAT019-4`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`CAT020-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL047-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL071-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`COL073-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP025-4`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP026-4`	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`GRP112-1`	⁺0.00	⁺0.00	⁺0.00	⁺8.90	Timeout	Timeout
`GRP204-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT024-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT056-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LAT098-1`^*	⁺0.00	⁺8.60	⁺0.00	Timeout	Timeout	Timeout
`LAT100-1`^*	⁺0.00	⁺9.80	⁺0.00	Timeout	Timeout	Timeout
`LAT101-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT102-1`^*	⁺0.00	⁺9.60	⁺0.00	Timeout	Timeout	Timeout
`LAT103-1`^*	⁺0.00	⁺8.50	⁺0.00	Timeout	Timeout	Timeout
`LAT104-1`^*	⁺9.70	⁺29.80	⁺0.00	Timeout	Timeout	Timeout
`LAT105-1`^*	⁺9.90	⁺29.60	⁺0.00	Timeout	Timeout	Timeout
`LAT109-1`^*	⁺30.00	⁺39.80	⁺0.00	GaveUp	Timeout	Timeout
`LAT111-1`^*	⁺29.70	⁺29.80	⁺0.00	GaveUp	Timeout	Timeout
`LAT113-1`^*	⁺18.10	⁺36.60	⁺0.00	Timeout	Timeout	Timeout
`LAT114-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT115-1`^*	⁺0.00	⁺9.90	⁺0.00	Timeout	Timeout	Timeout
`LAT116-1`^*	⁺0.00	⁺9.90	⁺0.00	Timeout	Timeout	Timeout
`LAT119-1`^*	⁺9.40	⁺27.50	⁺0.00	Timeout	Timeout	Timeout
`LAT120-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT121-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT122-1`^*	⁺9.00	⁺27.40	⁺0.00	Timeout	Timeout	Timeout
`LAT126-1`^*	⁺27.80	WCout	⁺18.40	Timeout	Timeout	Timeout
`LAT127-1`^*	⁺0.00	⁺9.00	⁺0.00	Timeout	Timeout	Timeout
`LAT128-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT129-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT130-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT131-1`^*	⁺19.90	⁺40.00	⁺0.00	Timeout	Timeout	Timeout
`LAT132-1`^*	⁺27.50	⁺54.80	⁺0.00	Timeout	Timeout	Timeout
`LAT133-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT134-1`^*	⁺0.00	⁺0.00	⁺0.00	GaveUp	Timeout	Timeout
`LAT135-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT136-1`^*	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LAT137-1`^*	⁺10.00	⁺9.90	⁺0.00	Timeout	Timeout	Timeout
`LCL165-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL291-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL406-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`LCL408-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`NLP183-1`	⁺0.00	⁺0.00	Unknown	Timeout	0.00	Timeout
`NLP189-1`	⁺0.00	⁺0.00	Unknown	Timeout	0.00	Timeout
`PUZ057-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG031-7`	⁺55.70	⁺55.30	Timeout	Timeout	Timeout	Timeout
`RNG042-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`RNG043-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
`ROB012-2`	⁺0.00	⁺0.00	⁺19.90	Timeout	Timeout	Timeout
`ROB015-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout
Attempted	60	60	60	60	60	60
Solved	59	58	54	24	2	0
Av. Time	5.20	7.85	0.71	17.83	0.00	-
Solutions	59	58	54	24	0	0
New Attempted	29	29	29	29	29	29
New Solved	29	28	29	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for EPT

EPT	Vampire 8.0	Darwin 1.2	DCTP 10.21p	E 0.9pre3	Paradox 1.3
`GRP124-8.004`	⁺0.00	0.00	0.00	0.00	0.00
`GRP126-1.004`	⁺0.00	0.00	0.00	0.00	0.00
`LAT005-2`	Timeout	0.00	0.00	Timeout	537.90
`MGT052-1`	⁺0.00	0.00	0.00	0.00	0.00
`MSC006-1`	⁺0.00	0.00	0.00	0.00	0.00
`NLP122-1`	⁺0.00	0.00	0.00	0.00	0.00
`PUZ030-1`	⁺0.00	0.00	0.00	0.00	0.00
`PUZ037-1`	⁺0.00	0.00	0.00	0.00	GaveUp
`PUZ037-3`	⁺60.50	WCout	Timeout	0.00	GaveUp
`SYN053-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN057-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN060-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN062-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN110-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN111-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN112-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN115-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN127-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN129-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN134-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN139-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN149-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN158-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN164-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN171-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN174-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN183-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN191-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN206-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN209-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN210-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN217-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN218-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN219-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN221-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN224-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN228-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN230-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN237-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN240-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN258-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN263-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN266-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN273-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN275-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN281-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN283-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN289-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN292-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN294-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN301-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN457-1`	⁺0.00	99.80	369.80	Timeout	Timeout
`SYN460-1`	⁺0.00	0.00	147.20	Timeout	111.00
`SYN507-1`	⁺0.00	0.00	9.80	79.90	0.00
`SYN845-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN846-1`	⁺0.00	0.00	8.80	0.00	18.10
`SYN865-1`	⁺9.90	0.00	19.50	0.00	GaveUp
`SYN879-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN881-1`	⁺0.00	0.00	0.00	0.00	0.00
`SYN893-1`	⁺0.00	0.00	0.00	0.00	0.00
Attempted	60	60	60	60	60
Solved	59	59	59	57	56
Av. Time	1.19	1.69	9.41	1.40	11.91
Solutions	59	0	0	0	0
New Attempted	0	0	0	0	0
New Solved	0	0	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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

Results for EPS

EPS	DCTP 10.21p	Paradox 1.3	Darwin 1.2	E 0.9pre3	Vampire 8.0
`GRP123-3.004`	0.00	⁺0.00	⁺0.00	0.00	Timeout
`GRP123-4.004`	0.00	⁺0.00	⁺0.00	0.00	Timeout
`GRP124-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP124-2.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP124-9.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP126-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP126-4.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP129-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP130-1.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP130-4.004`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP133-1.004`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`GRP135-2.005`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`MGT066-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`NLP012-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP118-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP120-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP125-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP126-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP128-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP129-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`NLP202-1`	0.00	⁺0.00	Timeout	0.00	GaveUp
`NLP205-1`	0.00	⁺0.00	Timeout	0.00	GaveUp
`NLP211-1`	571.00	⁺0.00	Timeout	Timeout	Timeout
`NLP213-1`	Timeout	⁺0.00	Timeout	Timeout	Timeout
`NLP216-1`	Timeout	⁺0.00	Timeout	Timeout	Timeout
`PUZ001-3`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ018-2`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`PUZ028-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ028-2`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ028-3`	0.00	⁺0.00	⁺0.00	0.00	0.00
`PUZ028-4`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN056-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN059-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN307-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN317-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN322-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN426-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN428-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN429-1`	0.00	⁺0.00	⁺0.00	Timeout	Timeout
`SYN463-1`	0.00	⁺0.00	⁺0.00	19.70	0.00
`SYN496-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN515-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN519-1`	29.40	⁺0.00	Timeout	Timeout	Timeout
`SYN525-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN526-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN527-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN541-1`	0.00	⁺0.00	⁺0.00	9.30	0.00
`SYN720-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN814-1`	227.00	⁺27.70	⁺0.00	0.00	10.00
`SYN816-1`	27.10	⁺99.70	⁺0.00	0.00	9.10
`SYN822-1`	38.90	GaveUp	⁺0.00	Timeout	Timeout
`SYN824-1`	17.30	⁺49.40	⁺0.00	0.00	0.00
`SYN830-1`	72.30	GaveUp	⁺9.20	9.20	Unknown
`SYN831-1`	73.80	GaveUp	⁺8.10	9.20	Unknown
`SYN853-1`	119.50	GaveUp	⁺27.90	18.60	Unknown
`SYN864-1`	17.00	GaveUp	⁺0.00	0.00	8.90
`SYN867-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN870-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN872-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN888-1`	0.00	⁺0.00	⁺0.00	0.00	0.00
Attempted	60	60	60	60	60
Solved	58	55	54	39	32
Av. Time	20.57	3.21	0.84	1.69	0.88
Solutions	0	55	54	0	0
New Attempted	0	0	0	0	0
New Solved	0	0	0	0	0

^* indicates a problem not previously seen by the systems. ⁺ indicates a solution was output by the system.

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