Results

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FOF

FOF	Vampire 9.0	Vampire 8.1	Fampire 1.3	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	leanCoP 2.0	Otter 3.3	Metis 2.0	Geo 2007f	ileanCoP 1.2	Muscadet 2.7
`AGT003+2`	⁺0.00	⁺3.70	4.10	0.20	Timeout	0.40	1.00	0.20	⁺0.20	Timeout	Timeout	0.20	GaveUp
`AGT006+2`	Timeout	⁺285.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`AGT012+2`	⁺13.10	⁺101.30	131.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`AGT013+1`	⁺149.60	⁺14.10	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT020+1`	⁺10.30	⁺37.50	86.70	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT022+1`	⁺162.40	⁺106.40	9.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT023+2`	⁺9.50	⁺22.30	24.70	Timeout	Timeout	Timeout	Timeout	13.10	GaveUp	Timeout	Timeout	235.80	GaveUp
`ALG018+1`	⁺0.30	⁺0.10	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.20	⁺0.40	⁺0.00	Timeout	GaveUp
`ALG019+1`	⁺0.10	⁺0.00	0.40	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.10	⁺0.10	⁺0.00	Timeout	GaveUp
`ALG072+1`	⁺236.20	⁺69.40	20.80	2.30	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	⁺0.70	Timeout	GaveUp
`ALG073+1`	⁺0.00	⁺0.00	0.10	8.70	⁺0.50	145.90	0.00	Timeout	⁺0.10	WCout	⁺0.10	Timeout	GaveUp
`ALG074+1`	⁺3.90	⁺54.30	40.80	1.40	Timeout	Timeout	0.40	Timeout	⁺0.20	Timeout	⁺0.40	Timeout	GaveUp
`ALG210+2`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	WCout	Timeout	Timeout	⁺0.10	⁺241.20	Timeout	Timeout	GaveUp
`COM003+2`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	56.00	0.40	⁺0.10	⁺0.40	⁺20.80	1.70	GaveUp
`COM003+3`	⁺0.00	⁺0.00	0.10	92.30	⁺0.20	15.70	25.00	226.10	Timeout	Timeout	⁺0.30	Timeout	GaveUp
`COM008+1`	⁺46.90	Timeout	2.20	0.60	⁺1.00	Timeout	Timeout	Timeout	GaveUp	Timeout	⁺0.30	Timeout	0.20
`CSR001+1`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR001+2`	⁺2.40	⁺19.40	19.60	13.30	⁺37.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR004+1`	Timeout	Timeout	Unknown	128.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR005+1`	⁺94.90	⁺84.00	60.00	69.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR006+1`	⁺42.40	⁺0.90	0.80	23.30	⁺29.90	Timeout	Timeout	Timeout	Timeout	⁺16.70	Timeout	Timeout	GaveUp
`CSR008+1`	⁺42.60	⁺0.10	1.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺13.70	Timeout	Timeout	GaveUp
`CSR011+1`	⁺133.60	⁺93.20	211.40	159.00	Timeout	Timeout	64.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR018+1`	⁺0.00	⁺0.00	0.20	2.00	⁺4.00	2.80	6.40	Timeout	Timeout	⁺0.20	Timeout	Timeout	GaveUp
`CSR019+1`	⁺0.00	⁺0.00	0.20	0.20	⁺0.20	2.00	15.60	Timeout	Timeout	⁺0.10	⁺58.00	Timeout	GaveUp
`CSR021+1`	⁺0.00	⁺0.10	0.20	0.20	⁺1.00	1.80	0.50	Timeout	Timeout	⁺0.20	⁺121.50	Timeout	GaveUp
`CSR024+1.009`	⁺93.30	⁺0.50	0.30	0.30	Timeout	Timeout	Timeout	Unknown	⁺98.60	Timeout	Timeout	Timeout	GaveUp
`CSR024+1.010`	⁺110.70	⁺92.70	0.50	0.60	Timeout	WCout	Timeout	Timeout	⁺151.70	Timeout	Timeout	Timeout	GaveUp
`GEO083+1`	⁺10.30	⁺106.10	39.80	99.50	⁺59.50	2.10	Timeout	4.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO089+1`	⁺54.20	⁺110.00	Unknown	143.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO093+1`	⁺8.20	⁺0.10	20.00	10.50	⁺27.40	Timeout	Timeout	136.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO094+1`	⁺39.30	⁺101.10	0.80	0.00	⁺0.10	47.70	Timeout	Timeout	⁺29.70	Timeout	⁺3.60	Timeout	GaveUp
`GEO124+1`	⁺0.20	⁺0.00	0.20	0.00	⁺0.10	2.30	0.40	26.80	⁺28.50	Timeout	Timeout	Timeout	GaveUp
`GEO127+1`	⁺0.00	⁺0.00	6.60	0.10	⁺0.10	76.10	Timeout	Timeout	Timeout	Timeout	⁺2.90	Timeout	GaveUp
`GEO146+1`	⁺0.40	⁺0.00	0.10	0.10	⁺0.20	0.90	0.10	1.30	Timeout	⁺13.20	⁺78.40	0.50	GaveUp
`GEO147+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.50	0.10	0.20	⁺9.10	⁺0.90	Timeout	0.90	GaveUp
`GEO169+1`	⁺8.80	⁺0.60	0.70	2.60	Timeout	0.90	69.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GRA002+2`	⁺87.60	⁺50.80	21.90	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	⁺9.20	Timeout	GaveUp
`GRA003+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.70	0.10	3.50	⁺0.60	⁺7.30	⁺0.60	226.70	0.60
`GRA004+1`	⁺0.00	⁺0.10	22.70	0.00	⁺0.10	3.80	0.50	19.90	Timeout	Timeout	⁺0.80	Timeout	GaveUp
`GRA008+1`	⁺9.70	⁺22.10	75.00	2.40	⁺3.50	Timeout	Timeout	Timeout	Timeout	Timeout	⁺2.70	Timeout	GaveUp
`GRA010+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	0.10	0.20	Timeout	0.00	⁺1.80	0.50	GaveUp
`GRA011+1`	⁺202.70	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺6.50	Timeout	GaveUp
`GRA012+1`	⁺203.10	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺7.10	Timeout	GaveUp
`HAL001+2`	Timeout	⁺2.30	130.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`KRS132+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺0.10	⁺0.00	⁺0.00	Timeout	GaveUp
`KRS151+1`	⁺0.10	⁺0.10	0.20	0.10	⁺0.20	0.10	12.50	11.70	⁺0.10	Timeout	⁺114.10	Timeout	GaveUp
`KRS153+1`	⁺0.00	⁺0.10	0.20	0.20	⁺0.20	0.40	97.00	1.00	⁺0.10	Timeout	Timeout	Timeout	Unknown
`KRS154+1`	⁺0.00	⁺0.00	0.10	0.10	⁺0.20	0.10	0.40	0.20	⁺0.10	⁺5.10	⁺4.10	3.60	GaveUp
`KRS155+1`	⁺0.10	⁺0.00	0.30	0.10	⁺0.20	0.40	0.40	351.90	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`KRS161+1`	⁺0.10	⁺0.10	0.20	0.10	⁺0.20	0.20	2.00	0.30	⁺0.10	Timeout	Timeout	226.20	GaveUp
`LAT258+1`	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺190.20	Timeout	GaveUp
`LCL414+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	Timeout	0.10	⁺0.10	⁺0.10	⁺0.30	0.10	GaveUp
`LCL462+1`^*	⁺95.80	⁺58.10	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL468+1`^*	⁺98.90	⁺59.50	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL488+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.30	Timeout	Timeout	Timeout	GaveUp
`LCL496+1`^*	⁺0.00	⁺16.00	38.30	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL505+1`^*	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL510+1`^*	⁺75.30	⁺4.80	Unknown	0.30	Timeout	WCout	Timeout	Timeout	⁺102.10	Timeout	Timeout	Timeout	GaveUp
`LCL512+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.20	0.20	⁺0.20	⁺0.00	⁺0.80	1.90	GaveUp
`LCL523+1`^*	⁺31.80	⁺4.70	75.20	1.80	⁺3.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL524+1`^*	⁺20.60	⁺1.70	75.50	65.80	99.40	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL525+1`^*	⁺0.00	⁺0.00	0.90	0.00	⁺0.10	0.00	Timeout	Timeout	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`LCL536+1`^*	⁺0.00	⁺0.00	0.90	0.00	⁺0.10	0.00	Timeout	0.20	⁺0.30	⁺0.40	Timeout	0.40	GaveUp
`LCL540+1`^*	⁺0.00	⁺0.00	9.40	0.10	⁺0.10	0.00	Timeout	6.00	⁺2.60	Timeout	⁺62.90	0.60	GaveUp
`LCL544+1`^*	⁺0.00	⁺0.00	1.40	0.10	⁺0.20	0.10	Timeout	3.00	⁺0.40	Timeout	⁺246.80	Timeout	GaveUp
`LCL546+1`^*	⁺9.20	⁺0.70	74.90	0.80	⁺1.80	WCout	Timeout	Timeout	⁺193.80	Timeout	Timeout	Timeout	GaveUp
`LCL551+1`^*	⁺89.90	⁺54.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL555+1`^*	⁺18.40	⁺37.20	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`LCL558+1`^*	⁺108.70	⁺103.80	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL559+1`^*	⁺105.50	⁺101.20	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL562+1`^*	⁺17.20	⁺54.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL568+1`^*	⁺83.60	⁺54.60	Unknown	1.30	169.50	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`MED002+1`	⁺0.00	⁺0.00	0.10	Timeout	⁺0.20	0.10	2.80	226.60	⁺0.20	⁺28.50	⁺0.00	9.50	GaveUp
`MED003+1`	⁺4.70	⁺1.60	0.10	0.90	⁺0.20	0.10	1.00	226.20	⁺9.00	Timeout	⁺0.00	0.30	GaveUp
`MED005+1`	⁺1.90	⁺0.40	0.40	0.20	⁺0.40	0.10	Timeout	275.50	Timeout	Timeout	⁺2.20	Timeout	GaveUp
`MED006+1`	⁺0.10	⁺0.20	0.20	0.20	⁺0.40	0.10	217.00	312.30	Timeout	⁺2.00	⁺1.10	Timeout	GaveUp
`MED007+1`	⁺21.20	⁺25.50	1.70	11.60	⁺16.10	0.10	172.50	244.50	Timeout	Timeout	⁺0.80	Timeout	GaveUp
`MED008+1`	⁺0.50	⁺0.20	0.30	1.10	⁺1.60	0.10	Timeout	Timeout	⁺310.90	⁺1.60	⁺1.60	Timeout	GaveUp
`MED009+1`	⁺20.20	⁺24.50	2.90	11.20	⁺26.60	0.10	Timeout	Timeout	Timeout	Timeout	⁺1.20	Timeout	GaveUp
`MED010+1`	⁺1.30	⁺0.40	0.50	0.20	⁺0.50	0.20	Timeout	237.50	Timeout	Timeout	⁺0.90	Timeout	GaveUp
`MGT029+1`	⁺131.60	⁺7.00	0.50	0.60	⁺279.00	2.00	1.70	Timeout	Timeout	⁺49.80	⁺4.20	Timeout	6.20
`MGT034+2`	⁺0.00	⁺0.00	0.20	0.20	⁺0.70	1.00	0.50	Timeout	⁺49.70	⁺0.50	⁺21.10	Timeout	GaveUp
`MGT042+1`	⁺14.40	⁺22.20	0.30	Timeout	Timeout	70.90	2.00	Timeout	Timeout	⁺1.10	⁺6.10	Timeout	GaveUp
`MGT047+1`	⁺39.80	⁺38.90	1.60	0.30	⁺56.80	44.80	2.50	Timeout	Timeout	⁺56.20	⁺25.50	Timeout	GaveUp
`MGT051+1`	⁺39.50	⁺38.00	0.90	0.30	⁺48.90	19.30	9.80	Timeout	Timeout	⁺14.30	⁺15.10	Timeout	GaveUp
`NLP081+1`	⁺0.00	⁺0.10	0.20	0.00	⁺0.10	0.80	0.10	0.20	Timeout	⁺65.20	⁺0.20	0.30	GaveUp
`NLP094+1`	⁺0.00	⁺0.00	0.20	26.10	⁺116.80	61.20	0.00	0.20	Timeout	⁺0.30	⁺0.10	0.20	GaveUp
`NLP122+1`	⁺0.00	⁺0.00	0.10	0.60	⁺0.50	0.20	0.00	0.10	Timeout	⁺0.00	⁺0.10	0.20	GaveUp
`NUM304+1`	⁺0.10	⁺0.60	0.20	0.00	⁺0.10	1.50	3.30	0.20	⁺1.00	⁺0.10	Timeout	226.40	GaveUp
`NUM316+1`	⁺17.00	⁺10.70	36.40	Timeout	Timeout	Timeout	Timeout	4.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`NUM334+1`	⁺8.80	⁺10.90	36.40	Timeout	Timeout	Timeout	Timeout	0.20	GaveUp	Timeout	Timeout	0.50	GaveUp
`NUM335+1`	⁺11.60	⁺19.50	36.30	Timeout	Timeout	Timeout	Timeout	0.20	Timeout	Timeout	Timeout	0.30	GaveUp
`NUM340+1`	⁺9.10	⁺10.70	36.60	Timeout	Timeout	Timeout	Timeout	0.20	GaveUp	⁺9.50	Timeout	0.40	GaveUp
`NUM346+1`	⁺10.00	⁺24.50	41.90	Timeout	Timeout	Timeout	Timeout	8.50	GaveUp	Timeout	Timeout	227.90	GaveUp
`NUM386+1`	⁺0.00	⁺0.30	0.10	0.00	⁺0.20	40.30	0.30	3.70	Timeout	Timeout	Timeout	18.20	GaveUp
`NUM398+1`	⁺0.00	⁺0.10	0.10	0.10	⁺0.20	0.10	7.70	2.10	Timeout	⁺8.90	⁺0.40	12.40	0.10
`PUZ031+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.10	0.20	⁺0.10	⁺0.00	⁺0.10	94.20	GaveUp
`SET008+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	Timeout	0.20	⁺1.00	⁺20.10	⁺4.30	33.30	0.00
`SET010+3`	⁺92.30	⁺16.90	7.20	Timeout	Timeout	4.50	Timeout	234.10	Timeout	Timeout	Timeout	Timeout	0.10
`SET014+3`	⁺4.30	⁺0.10	0.20	0.10	⁺0.30	0.30	0.10	0.30	Timeout	Timeout	⁺0.50	0.40	0.00
`SET015+4`	⁺3.70	⁺9.10	88.90	28.60	⁺39.90	0.50	Timeout	0.80	Timeout	Timeout	Timeout	21.40	0.00
`SET016+1`	Timeout	⁺3.00	Unknown	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	5.30
`SET056+1`	⁺0.10	⁺0.00	10.00	0.00	⁺0.10	0.10	Timeout	1.40	⁺288.70	⁺28.60	Timeout	Timeout	GaveUp
`SET067+1`	⁺5.40	⁺0.00	16.20	0.10	⁺0.20	WCout	Timeout	3.30	Timeout	Timeout	Timeout	232.60	0.80
`SET082+1`	⁺3.90	⁺0.00	65.40	0.10	⁺0.10	Timeout	4.60	227.90	⁺32.00	⁺21.20	Timeout	41.60	0.80
`SET083+1`	⁺0.00	⁺0.10	10.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.50	⁺86.00	Timeout	Timeout	0.70
`SET101+1`	⁺0.10	⁺0.00	0.30	0.00	⁺0.20	1.00	5.90	Timeout	⁺0.10	⁺0.00	Timeout	Timeout	0.80
`SET105+1`	Timeout	Timeout	Unknown	24.00	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET173+3`	⁺0.00	⁺0.10	0.10	0.10	⁺0.10	0.40	Timeout	0.10	⁺7.40	⁺4.60	⁺0.50	0.40	0.00
`SET577+3`	⁺0.00	⁺0.10	0.10	0.20	⁺0.40	0.20	0.30	0.20	Timeout	⁺3.20	⁺2.00	1.10	0.00
`SET580+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.00	Timeout	Timeout	Timeout	⁺1.50	Timeout	0.20
`SET587+3`	⁺0.00	⁺0.10	0.10	0.00	⁺0.10	0.30	Timeout	0.40	Timeout	⁺0.20	⁺2.80	Timeout	0.00
`SET593+3`	⁺12.80	⁺0.10	0.10	0.10	⁺1.00	0.80	0.10	0.40	Timeout	Timeout	⁺29.70	31.40	0.00
`SET601+3`	⁺4.00	⁺35.20	Unknown	120.70	Timeout	Timeout	Timeout	260.90	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET606+3`	⁺0.00	⁺12.10	0.10	8.40	⁺29.60	2.60	Timeout	0.30	Timeout	Timeout	⁺108.80	Timeout	0.00
`SET607+3`	⁺2.00	⁺12.10	0.20	11.20	⁺19.80	0.50	Timeout	0.30	Timeout	Timeout	⁺38.30	Timeout	0.10
`SET608+3`	⁺0.10	⁺12.10	0.10	70.90	Timeout	6.20	Timeout	0.30	Timeout	Timeout	Timeout	Timeout	0.00
`SET610+3`	⁺0.90	⁺12.10	0.10	33.50	⁺29.80	0.80	Timeout	0.90	Timeout	Timeout	Timeout	Timeout	0.10
`SET614+3`	⁺3.50	⁺12.30	0.30	32.00	Timeout	4.40	Timeout	1.10	Timeout	Timeout	Timeout	Timeout	0.10
`SET615+3`	⁺104.10	⁺15.70	2.30	35.50	Timeout	3.30	Timeout	228.00	Timeout	Timeout	Timeout	Timeout	0.10
`SET619+3`	⁺0.30	⁺5.00	5.50	0.00	⁺0.10	Timeout	0.60	Timeout	⁺126.00	⁺94.90	⁺212.40	Timeout	0.10
`SET630+3`	⁺0.10	⁺0.10	31.30	0.00	⁺0.10	14.90	2.10	0.30	Timeout	Timeout	⁺1.00	Timeout	0.10
`SET634+3`	⁺0.50	⁺12.20	0.20	21.50	Timeout	9.00	Timeout	1.50	Timeout	Timeout	Timeout	Timeout	0.10
`SET637+3`	⁺0.30	⁺0.00	0.40	0.10	⁺0.80	0.60	Timeout	0.20	⁺184.70	Timeout	⁺0.20	Timeout	GaveUp
`SET641+3`	⁺0.90	⁺0.00	0.20	0.00	⁺0.10	0.90	Timeout	282.30	⁺28.30	⁺0.70	⁺334.10	Timeout	GaveUp
`SET644+3`	⁺37.10	⁺1.40	0.10	0.10	⁺0.20	WCout	Timeout	Timeout	⁺20.90	Timeout	Timeout	Timeout	GaveUp
`SET645+3`	⁺31.00	⁺1.10	0.10	0.00	⁺0.10	121.80	Timeout	Timeout	⁺4.40	⁺14.20	Timeout	Timeout	GaveUp
`SET649+3`	⁺118.60	⁺0.00	0.70	4.00	⁺49.50	WCout	Timeout	Timeout	⁺6.70	Timeout	Timeout	Timeout	GaveUp
`SET652+3`	⁺118.70	⁺0.10	0.60	28.30	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET653+3`	⁺1.10	⁺0.00	0.10	0.00	⁺0.10	0.40	Timeout	334.00	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`SET654+3`	⁺2.40	⁺0.00	0.10	0.00	⁺0.10	0.40	Timeout	314.70	⁺0.20	Timeout	Timeout	Timeout	GaveUp
`SET656+3`	⁺150.00	⁺3.80	0.20	29.50	Timeout	36.20	Timeout	Timeout	⁺56.30	⁺130.00	Timeout	Timeout	GaveUp
`SET660+3`	⁺149.50	Timeout	0.10	19.60	⁺0.20	67.50	Timeout	Timeout	Timeout	⁺71.00	Timeout	Timeout	GaveUp
`SET661+3`	Timeout	⁺11.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET664+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	4.10	Timeout	Timeout	⁺0.20	⁺0.90	Timeout	Timeout	GaveUp
`SET665+3`	⁺14.20	⁺4.10	74.70	3.30	⁺4.90	25.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET666+3`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺18.80	⁺2.90	Timeout	Timeout	GaveUp
`SET667+3`	⁺227.40	⁺251.70	1.60	0.00	⁺0.10	43.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET668+3`	⁺149.90	⁺3.60	0.10	0.80	⁺0.60	2.80	Timeout	Timeout	Timeout	⁺12.10	Timeout	Timeout	GaveUp
`SET672+3`	Timeout	Timeout	203.10	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET675+3`	⁺2.50	⁺0.00	0.10	8.30	⁺9.90	WCout	Timeout	Timeout	⁺0.20	Timeout	Timeout	Timeout	GaveUp
`SET678+3`	⁺153.40	⁺4.00	74.80	0.10	⁺0.30	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET680+3`	⁺149.40	⁺0.10	0.30	0.00	⁺0.10	160.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET682+3`	⁺0.40	⁺11.20	0.10	0.00	⁺0.10	29.90	Timeout	Timeout	⁺5.20	⁺1.20	Timeout	Timeout	GaveUp
`SET686+3`	⁺346.80	⁺182.70	0.30	0.00	189.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET697+4`	⁺12.10	Timeout	Unknown	3.70	⁺1.10	WCout	Timeout	287.50	Timeout	Timeout	Timeout	Timeout	0.00
`SET699+4`	Timeout	⁺302.70	95.40	1.40	Timeout	Timeout	Timeout	2.40	Timeout	Timeout	Timeout	Timeout	0.00
`SET703+4`	Timeout	⁺129.40	Unknown	Timeout	Timeout	2.90	Timeout	6.30	Timeout	Timeout	Timeout	181.90	0.20
`SET742+4`	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10
`SET752+4`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10
`SET810+4`	⁺12.20	⁺29.30	0.10	Timeout	Timeout	2.70	0.20	14.00	⁺0.20	Timeout	Timeout	Timeout	0.10
`SET902+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	0.20	Timeout	⁺0.30	⁺0.00	⁺0.20	Timeout	GaveUp
`SET951+1`	⁺4.10	⁺0.10	0.20	Timeout	Timeout	WCout	2.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU069+1`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	9.90
`SEU170+2`^*	Timeout	Timeout	8.20	21.70	⁺29.80	WCout	0.90	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU220+1`^*	⁺22.10	⁺109.50	112.30	4.90	⁺0.10	WCout	2.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU284+2`^*	Timeout	Timeout	148.40	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU292+1`^*	Timeout	Timeout	98.70	0.20	⁺0.40	Timeout	0.40	80.30	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU309+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	9.10	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU319+2`^*	⁺144.80	⁺52.20	Timeout	108.80	⁺119.30	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU357+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU359+2`^*	Timeout	Timeout	Timeout	241.30	⁺254.80	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU362+1`^*	Timeout	⁺123.70	0.20	0.70	⁺2.20	126.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU364+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU371+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SWC057+1`	⁺1.00	⁺1.70	9.20	0.20	⁺0.40	WCout	Timeout	Timeout	⁺88.40	Timeout	Timeout	Timeout	GaveUp
`SWC083+1`	⁺119.70	⁺91.30	37.10	0.40	⁺4.10	WCout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWC085+1`	⁺0.80	⁺0.40	81.00	0.40	⁺0.40	Timeout	Timeout	Timeout	⁺93.30	Timeout	Timeout	Timeout	GaveUp
`SWC257+1`	⁺0.20	⁺0.00	0.70	0.10	⁺0.20	2.60	0.20	Timeout	Timeout	⁺0.20	Timeout	Timeout	GaveUp
`SWC259+1`	⁺0.10	⁺0.00	0.30	0.10	⁺0.20	2.30	0.20	Timeout	Timeout	⁺0.20	Timeout	Timeout	GaveUp
`SWC375+1`	⁺0.10	⁺0.00	0.20	0.00	⁺0.10	295.20	0.20	171.30	⁺0.30	⁺0.00	⁺3.20	Timeout	0.90
`SWV023+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺10.10	0.00	⁺5.90	0.20	Timeout
`SWV025+1`^*	⁺30.80	⁺59.90	0.40	169.00	⁺169.20	7.40	1.20	0.30	Timeout	Timeout	Timeout	0.20	Timeout
`SWV028+1`^*	⁺27.30	Timeout	0.90	86.80	⁺79.50	2.10	0.90	0.70	Timeout	Timeout	Timeout	0.20	Timeout
`SWV029+1`^*	Timeout	Timeout	255.00	Timeout	Timeout	Timeout	56.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV030+1`^*	⁺26.70	⁺23.30	3.80	7.50	⁺9.90	0.80	1.00	0.20	Timeout	Timeout	Timeout	0.20	Timeout
`SWV031+1`^*	⁺31.00	Timeout	Unknown	0.60	⁺1.20	0.60	0.30	0.20	Timeout	Timeout	Timeout	0.20	Timeout
`SWV036+1`^*	Timeout	Timeout	9.10	Timeout	Timeout	5.80	7.40	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV037+1`^*	Timeout	Timeout	48.30	Timeout	Timeout	Timeout	46.60	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV038+1`^*	⁺28.50	Timeout	0.40	103.60	⁺59.60	15.00	0.70	1.10	Timeout	Timeout	Timeout	0.30	Timeout
`SWV043+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.10	0.00	⁺0.20	0.20	Timeout
`SWV045+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.40	0.00	Timeout	0.20	Timeout
`SWV047+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.20	0.00	0.10	0.20	⁺10.10	0.00	Timeout	0.40	Timeout
`SWV057+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺17.70	0.00	Timeout	0.20	Timeout
`SWV058+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺11.00	0.00	⁺2.00	224.70	Timeout
`SWV063+1`^*	⁺0.00	⁺5.30	0.10	0.00	⁺0.20	0.00	0.20	0.20	⁺13.20	0.00	⁺1.20	0.20	Timeout
`SWV064+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺14.10	⁺0.40	Timeout	0.20	Timeout
`SWV066+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.00	0.20	0.40	⁺27.00	0.00	Timeout	0.20	Timeout
`SWV067+1`^*	⁺1.50	⁺6.30	0.20	0.30	⁺1.30	0.70	2.20	306.70	⁺17.60	⁺34.10	Timeout	304.50	Timeout
`SWV070+1`^*	⁺0.10	⁺0.00	0.30	0.00	⁺0.10	0.00	0.10	0.20	⁺12.60	0.00	Timeout	0.20	Timeout
`SWV074+1`^*	⁺0.10	⁺5.30	0.20	0.00	⁺0.20	0.00	0.30	0.30	⁺25.90	0.00	Timeout	0.20	Timeout
`SWV077+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.20	0.20	⁺12.70	0.00	⁺55.60	0.20	Timeout
`SWV080+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	0.10	0.10	0.20	⁺26.40	0.00	⁺0.10	0.20	Timeout
`SWV081+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺14.40	0.00	⁺308.00	0.20	Timeout
`SWV082+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.20	0.00	0.10	0.20	⁺13.00	0.00	Timeout	0.20	Timeout
`SWV085+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺13.00	0.00	⁺183.10	0.30	Timeout
`SWV086+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.00	0.00	Timeout	227.00	Timeout
`SWV088+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.20	0.00	⁺294.80	0.20	Timeout
`SWV093+1`^*	⁺31.20	Timeout	3.70	Timeout	Timeout	2.30	1.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV095+1`^*	⁺26.60	⁺25.90	2.60	73.10	⁺89.40	0.60	0.90	7.70	Timeout	Timeout	Timeout	0.70	Timeout
`SWV097+1`^*	⁺26.80	Timeout	2.70	Timeout	Timeout	6.20	1.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV104+1`^*	Timeout	Timeout	35.60	0.30	⁺1.10	Timeout	0.40	230.90	Timeout	Timeout	Timeout	43.00	Timeout
`SWV106+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.10	0.00	Timeout	0.20	Timeout
`SWV115+1`^*	⁺18.90	⁺14.70	9.90	Timeout	Timeout	19.80	0.90	0.20	GaveUp	Timeout	Timeout	0.30	Timeout
`SWV116+1`^*	⁺18.60	⁺13.40	8.30	Timeout	Timeout	21.80	0.60	0.40	Timeout	Timeout	Timeout	0.20	Timeout
`SWV122+1`^*	⁺17.90	⁺13.40	8.20	348.80	Timeout	1.00	0.20	0.20	Timeout	Timeout	Timeout	0.20	Timeout
`SWV128+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.10	0.00	⁺2.00	0.20	Timeout
`SWV132+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.30	0.20	⁺10.10	0.00	⁺13.80	0.40	Timeout
`SWV134+1`^*	⁺3.40	⁺0.00	0.20	0.30	⁺1.20	0.70	0.50	0.60	⁺17.20	⁺22.20	Timeout	321.10	Timeout
`SWV137+1`^*	⁺3.40	⁺0.00	0.20	0.30	⁺0.60	0.70	0.60	231.40	⁺35.80	⁺14.10	⁺158.90	311.60	Timeout
`SWV139+1`^*	⁺1.40	⁺0.00	0.10	0.00	⁺0.10	9.80	0.20	Timeout	⁺17.20	⁺27.40	⁺3.20	Timeout	Timeout
`SWV141+1`^*	⁺1.40	⁺0.00	0.10	0.30	⁺0.50	9.30	0.20	Timeout	⁺17.50	⁺21.60	⁺29.50	Timeout	Timeout
`SWV145+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.10	0.20	⁺17.00	⁺0.40	⁺3.50	0.20	Timeout
`SWV148+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	0.10	0.20	⁺10.00	⁺0.40	Timeout	0.20	Timeout
`SWV149+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	0.10	0.20	⁺10.30	⁺0.40	⁺3.10	0.20	Timeout
`SWV153+1`^*	⁺2.80	⁺16.50	43.80	0.20	⁺0.40	7.90	4.10	5.00	Timeout	Timeout	Timeout	16.20	Timeout
`SWV155+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	1.30	0.10	0.20	Timeout	Timeout	Timeout	5.30	Timeout
`SWV158+1`^*	⁺0.10	⁺4.90	0.10	0.00	⁺0.40	Timeout	0.10	Timeout	⁺12.80	⁺0.10	Timeout	Timeout	Timeout
`SWV159+1`^*	⁺0.10	⁺5.30	0.20	0.00	⁺0.10	0.80	0.20	0.30	⁺18.50	Timeout	Timeout	3.90	Timeout
`SWV163+1`^*	⁺0.40	⁺0.00	0.20	0.30	⁺0.60	2.70	1.30	Timeout	⁺16.70	⁺255.60	Timeout	Timeout	Timeout
`SWV164+1`^*	⁺0.50	⁺0.00	0.10	0.30	⁺0.60	5.60	6.40	Timeout	⁺16.70	Timeout	Timeout	Timeout	Timeout
`SWV165+1`^*	⁺0.30	⁺0.00	0.10	0.30	⁺0.50	9.40	0.20	Timeout	⁺26.00	Timeout	Timeout	Timeout	Timeout
`SWV166+1`^*	⁺0.70	⁺6.60	0.30	0.00	⁺0.10	0.60	0.10	0.20	⁺143.20	Timeout	Timeout	0.20	Timeout
`SWV168+1`^*	⁺1.40	⁺12.60	2.50	0.10	⁺0.10	1.20	0.10	0.20	Timeout	Timeout	Timeout	0.20	Timeout
`SWV169+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.60	0.10	0.20	⁺78.50	Timeout	Timeout	0.20	Timeout
`SWV171+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.60	0.10	0.20	⁺19.10	Timeout	⁺208.60	0.20	Timeout
`SWV174+1`^*	⁺17.00	⁺12.60	1.80	Timeout	Timeout	0.90	Timeout	0.20	⁺17.70	Timeout	Timeout	0.20	Timeout
`SWV175+1`^*	⁺1.40	⁺12.60	2.30	0.00	⁺0.10	0.60	0.10	0.20	Timeout	Timeout	Timeout	0.20	Timeout
`SWV178+1`^*	⁺0.70	⁺6.60	0.30	0.00	⁺0.10	0.60	0.10	0.20	Timeout	Timeout	Timeout	0.20	Timeout
`SWV179+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.60	0.10	0.20	⁺55.60	Timeout	Timeout	0.20	Timeout
`SWV182+1`^*	⁺5.40	⁺12.60	0.40	0.30	⁺0.60	61.40	0.40	Timeout	⁺74.90	Timeout	Timeout	Timeout	Timeout
`SWV184+1`^*	⁺0.70	⁺6.50	0.30	0.00	⁺0.10	0.60	0.10	0.20	⁺61.50	Timeout	Timeout	0.20	Timeout
`SWV185+1`^*	⁺0.70	⁺7.40	0.30	0.00	⁺0.10	0.60	0.10	0.20	Timeout	Timeout	Timeout	0.30	Timeout
`SWV189+1`^*	⁺0.40	⁺0.00	0.10	0.30	⁺0.50	4.60	1.20	Timeout	⁺17.40	Timeout	Timeout	Timeout	Timeout
`SWV190+1`^*	⁺0.40	⁺0.00	0.10	0.30	⁺0.60	2.90	75.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV191+1`^*	⁺0.70	⁺0.00	0.10	0.30	⁺0.60	3.20	0.60	Timeout	⁺18.70	⁺118.50	Timeout	Timeout	Timeout
`SWV193+1`^*	⁺0.10	⁺0.00	0.20	0.20	⁺0.40	0.70	0.20	0.20	⁺23.60	⁺89.40	Timeout	0.20	Timeout
`SWV194+1`^*	⁺0.10	⁺0.00	0.20	0.30	⁺0.40	0.90	0.20	22.60	⁺18.50	⁺96.80	Timeout	0.60	Timeout
`SWV195+1`^*	⁺0.10	⁺0.00	0.10	0.20	⁺0.40	0.80	0.30	25.00	⁺38.20	⁺153.80	Timeout	0.70	Timeout
`SWV199+1`^*	⁺5.30	⁺0.30	8.70	0.30	⁺0.60	3.30	0.30	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV202+1`^*	⁺26.10	⁺50.90	54.10	Timeout	Timeout	3.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV204+1`^*	⁺7.50	⁺22.60	6.40	0.30	⁺0.60	Timeout	0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV206+1`^*	⁺1.70	⁺12.90	2.20	0.00	⁺0.10	0.70	0.30	0.20	⁺132.50	Timeout	Timeout	0.20	Timeout
`SWV208+1`^*	⁺38.00	⁺51.00	Unknown	0.50	⁺0.90	Timeout	0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV209+1`^*	⁺38.00	⁺52.20	Unknown	0.50	⁺0.90	Timeout	0.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV215+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.60	0.30	0.20	⁺10.30	0.00	Timeout	226.60	Timeout
`SWV217+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.80	0.10	0.20	⁺14.30	0.00	Timeout	225.50	Timeout
`SWV220+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.80	0.10	0.20	⁺13.90	0.00	Timeout	226.80	Timeout
`SWV221+1`^*	⁺2.10	⁺12.70	1.80	1.20	⁺2.40	1.20	0.20	0.20	⁺17.70	Timeout	Timeout	0.40	Timeout
`SWV223+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	0.20	0.20	⁺11.00	0.00	Timeout	226.50	Timeout
`SWV233+1`	⁺0.00	⁺129.90	18.60	0.30	⁺0.50	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV236+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	Timeout	Timeout	0.10	⁺23.80	Timeout	Timeout	Timeout	GaveUp
`SWV237+1`	⁺0.00	⁺0.00	1.60	0.00	⁺0.20	Timeout	Timeout	Timeout	⁺0.40	Timeout	⁺26.40	Timeout	GaveUp
`SWV365+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.30	0.10	298.50	⁺0.10	⁺0.00	Timeout	338.60	0.20
`SWV366+1`^*	⁺17.60	⁺4.90	0.30	0.10	⁺0.30	WCout	0.10	Timeout	⁺0.70	Timeout	Timeout	Timeout	GaveUp
`SWV371+1`^*	⁺0.00	⁺0.20	0.10	0.00	⁺0.10	0.40	0.10	0.20	⁺41.20	Timeout	Timeout	0.20	GaveUp
`SWV391+1`^*	⁺27.40	⁺50.30	35.90	0.20	⁺0.40	26.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV396+1`^*	Timeout	Timeout	Unknown	0.20	⁺0.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV399+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	3.60	8.40	1.20	⁺25.60	Timeout	⁺1.40	Timeout	GaveUp
`SWV404+1`^*	Timeout	Timeout	Unknown	6.80	⁺9.70	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV408+2`^*	⁺0.10	⁺0.00	0.10	0.10	⁺0.20	0.50	Timeout	0.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV409+1`^*	⁺0.00	⁺0.10	0.20	0.10	⁺0.30	13.00	10.30	0.30	⁺18.30	Timeout	Timeout	Timeout	GaveUp
`SWV417+1`^*	⁺18.50	⁺9.20	1.70	0.10	⁺0.10	0.70	0.10	360.00	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN036+2`	⁺0.00	⁺0.00	0.10	5.60	⁺17.80	Timeout	0.10	1.10	Timeout	⁺0.30	⁺0.10	Timeout	GaveUp
`SYN051+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	GaveUp
`SYN053+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	Unknown	GaveUp
`SYN058+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	0.10	GaveUp
`SYN063+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.10	Timeout	GaveUp
`SYN065+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.10	⁺0.10	⁺0.00	⁺0.00	0.10	0.00
`SYN073+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	Unknown	GaveUp
`SYN318+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	Unknown	GaveUp
`SYN334+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.30	3.20	⁺0.10	⁺0.00	⁺0.10	Timeout	GaveUp
`SYN345+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.20	Unknown	GaveUp
`SYN349+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.30	⁺0.20	⁺0.00	⁺0.70	Timeout	GaveUp
`SYN369+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.30	⁺0.10	⁺0.00	⁺0.00	Unknown	GaveUp
`SYN380+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.00	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	Unknown	GaveUp
`SYN386+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	Timeout	0.30	⁺0.10	⁺0.00	⁺0.00	0.10	GaveUp
`SYN410+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	0.20	GaveUp
`SYN447+1`	⁺2.30	⁺1.10	0.70	151.60	Timeout	31.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN450+1`	⁺0.90	⁺0.60	0.70	23.70	⁺48.10	9.60	203.60	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN454+1`	⁺0.60	⁺0.50	0.30	8.80	⁺19.80	4.80	202.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN467+1`	⁺1.50	⁺1.20	1.20	25.50	⁺129.50	11.40	134.40	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN471+1`	⁺0.70	⁺0.60	0.30	6.90	⁺28.50	8.60	277.10	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN475+1`	⁺1.70	⁺0.70	0.40	6.70	⁺19.00	9.10	108.30	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN478+1`	⁺0.60	⁺1.10	0.30	24.40	⁺48.40	2.00	41.50	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN482+1`	⁺1.40	⁺1.10	0.60	21.20	⁺49.70	9.10	161.40	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN483+1`	⁺1.80	⁺1.00	0.30	7.70	⁺19.30	2.40	32.00	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN485+1`	⁺0.60	⁺0.60	0.60	9.40	⁺14.00	3.20	198.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN505+1`	⁺0.70	⁺0.80	0.30	47.60	⁺29.80	1.80	79.10	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN512+1`	⁺1.00	⁺0.80	0.60	17.60	⁺39.10	2.60	93.20	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN548+1`	⁺2.30	Timeout	2.70	74.80	Timeout	19.00	Timeout	4.00	⁺95.90	⁺12.90	⁺0.00	Timeout	GaveUp
`SYN550+1`	⁺0.00	⁺0.00	1.80	111.70	Timeout	11.00	2.40	0.20	Timeout	⁺0.30	⁺0.00	8.30	GaveUp
`SYN723+1`	⁺25.00	⁺1.90	2.10	216.10	258.50	Timeout	4.00	Timeout	GaveUp	Timeout	⁺2.00	Timeout	GaveUp
`SYN733+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	0.10	GaveUp
`SYN920+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.30	⁺0.10	⁺0.00	⁺0.00	Timeout	GaveUp
`SYN924+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	0.00	⁺0.00	0.10	GaveUp
`SYN934+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	0.00	⁺0.00	Unknown	GaveUp
`SYN935+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	0.00	⁺0.00	Unknown	GaveUp
`SYN965+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.00	0.10	⁺0.10	⁺0.00	⁺0.00	Unknown	GaveUp
Attempted	300	300	300	300	300	300	300	300	300	300	300	300	300
Solved	270	266	262	248	225	201	173	160	138	117	104	103	37
Av. Time	20.84	16.37	12.19	13.36	13.10	9.57	14.92	39.50	25.04	16.06	29.42	44.23	0.76
Solutions	270	266	0	0	221	0	0	0	138	89	104	0	0
SOTAC	0.14	0.15	0.14	0.14	0.12	0.11	0.12	0.11	0.11	0.10	0.12	0.10	0.19
New Attempted	120	120	120	120	120	120	120	120	120	120	120	120	120
New Solved	104	100	99	97	95	85	88	70	65	42	21	64	1

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

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for CNF

CNF	Vampire 8.1	Vampire 9.0	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	Otter 3.3	Geo 2007f	E-KRHyper 1.0	Metis 2.0
`ALG003-1`	⁺16.20	⁺4.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA002-1`	⁺3.30	⁺1.80	20.90	Timeout	19.60	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA002-3`	⁺29.30	⁺28.50	10.70	Timeout	45.10	Timeout	Timeout	⁺8.20	Timeout	Timeout
`ANA002-4`	⁺102.40	⁺10.90	1.20	Timeout	0.80	Timeout	Timeout	⁺1.80	Timeout	Timeout
`ANA003-1`	⁺68.10	⁺69.40	Timeout	Timeout	Timeout	Timeout	Timeout	⁺282.70	WCout	Timeout
`ANA003-2`	⁺59.50	⁺19.80	10.90	⁺12.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA004-1`	⁺78.80	⁺79.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`ANA004-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA004-4`	⁺1.30	⁺0.10	0.00	⁺0.10	0.40	Timeout	GaveUp	Timeout	Timeout	Timeout
`ANA014-2`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	Timeout	⁺13.60	⁺135.00	WCout	⁺0.10
`BOO039-1`	⁺328.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL003-2`	⁺0.80	⁺58.80	0.40	⁺0.90	Timeout	0.10	GaveUp	Timeout	Timeout	Timeout
`COL003-5`	⁺0.80	⁺58.90	0.40	⁺0.90	Timeout	0.20	GaveUp	Timeout	Timeout	Timeout
`COL003-7`	⁺40.50	⁺67.20	24.80	⁺29.50	Timeout	0.20	GaveUp	Timeout	Timeout	Timeout
`COL003-8`	⁺40.50	⁺66.70	25.20	⁺29.70	Timeout	0.20	GaveUp	Timeout	Timeout	Timeout
`COL043-2`	⁺0.00	⁺56.20	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-4`	⁺24.00	⁺6.90	0.40	⁺0.80	Timeout	5.40	Timeout	Timeout	Timeout	Timeout
`COL076-2`	⁺94.30	⁺216.30	0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL078-2`	⁺0.00	⁺0.00	0.10	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout
`COL079-1`	⁺109.30	⁺99.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL091-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	0.50	Timeout	Timeout	WCout	Timeout
`COL091-2`	⁺0.20	⁺175.80	0.10	Timeout	151.70	11.60	Timeout	Timeout	WCout	Timeout
`COL092-1`	⁺0.00	⁺0.10	0.50	⁺0.80	111.40	5.30	Timeout	Timeout	WCout	Timeout
`COL114-1`	⁺0.10	⁺0.10	0.90	⁺1.00	0.30	Timeout	⁺4.20	Timeout	⁺0.80	Timeout
`COL122-1`	⁺0.10	⁺0.10	0.70	⁺0.90	Unknown	Timeout	⁺3.60	Timeout	⁺0.80	Timeout
`COM010-1`	⁺1.00	⁺1.40	5.40	⁺5.90	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`COM011-1`	⁺65.50	⁺7.80	86.80	⁺99.60	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`FLD005-1`	⁺2.00	⁺0.70	Timeout	⁺5.50	Timeout	Timeout	Timeout	⁺351.50	Timeout	Timeout
`FLD012-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`FLD047-4`	⁺5.30	⁺5.60	247.60	Timeout	185.80	Timeout	Timeout	⁺234.30	⁺287.50	Timeout
`GEO007-1`	⁺5.40	⁺0.90	63.50	⁺0.10	280.20	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO008-1`	⁺162.60	⁺270.10	0.70	⁺0.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO010-3`	⁺0.00	⁺0.00	0.00	⁺0.10	0.50	0.10	Timeout	⁺4.80	⁺5.70	Timeout
`GEO027-2`	⁺58.50	⁺9.70	17.70	Timeout	124.90	Timeout	⁺97.00	⁺21.80	⁺53.90	Timeout
`GEO062-2`	⁺161.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO076-4`	⁺0.10	⁺0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.10	⁺334.50	Timeout
`GEO127-1`	⁺0.10	⁺0.50	0.00	⁺0.10	76.20	Timeout	Timeout	⁺0.60	WCout	Timeout
`GRP039-4`	⁺0.50	⁺0.30	0.00	⁺0.10	269.50	Timeout	Timeout	⁺24.00	⁺4.00	Timeout
`GRP040-3`	⁺0.30	⁺0.20	0.00	⁺0.10	Timeout	Timeout	⁺7.50	⁺238.20	⁺1.50	Timeout
`GRP049-1`	⁺75.50	⁺5.20	3.60	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP054-1`	⁺75.70	⁺10.20	0.80	⁺29.90	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP062-1`	⁺1.20	⁺1.60	0.20	⁺1.50	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP072-1`	⁺0.10	⁺0.10	0.10	⁺0.30	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP073-1`	⁺0.10	⁺0.20	0.00	⁺0.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP085-1`	⁺0.00	⁺0.10	0.10	⁺0.40	Timeout	Timeout	⁺0.10	Timeout	Timeout	Timeout
`GRP087-1`	⁺0.00	⁺0.00	0.00	⁺0.20	Timeout	Timeout	⁺0.10	Timeout	Timeout	Timeout
`GRP097-1`	⁺0.00	⁺0.00	0.10	⁺0.20	Timeout	Timeout	⁺4.70	Timeout	Timeout	Timeout
`GRP107-1`	⁺0.10	⁺0.20	0.20	⁺0.50	Timeout	Timeout	⁺4.40	Timeout	Timeout	Timeout
`GRP110-1`	⁺0.00	⁺0.00	0.10	⁺0.60	Timeout	Timeout	⁺18.50	Timeout	Timeout	Timeout
`GRP111-1`	⁺0.00	⁺0.40	0.10	⁺0.70	Timeout	Timeout	⁺8.60	Timeout	Timeout	Timeout
`GRP197-1`	⁺5.10	⁺5.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP221-1`	⁺0.30	⁺0.20	1.50	⁺98.90	Timeout	256.00	Timeout	Timeout	Timeout	Timeout
`GRP309-1`	⁺0.30	⁺0.20	0.70	⁺1.30	Timeout	71.00	Timeout	Timeout	Timeout	Timeout
`GRP372-1`	⁺0.40	⁺0.10	2.30	⁺4.00	Timeout	11.60	Timeout	Timeout	Timeout	Timeout
`HEN011-3`	⁺6.60	⁺1.50	1.20	⁺2.40	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`HWC003-1`	⁺52.60	⁺82.10	0.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV002-1`	⁺27.50	⁺8.90	Timeout	Timeout	WCout	Timeout	GaveUp	Timeout	Timeout	Timeout
`HWV004-1`	Timeout	Timeout	2.50	Timeout	WCout	Timeout	GaveUp	Timeout	Timeout	Timeout
`HWV008-1.002`	⁺0.00	⁺0.10	0.70	⁺0.90	0.20	11.90	⁺0.10	Timeout	⁺0.60	⁺0.30
`HWV022-2`	⁺0.10	⁺3.00	0.60	⁺0.30	Timeout	9.00	Timeout	Timeout	WCout	Timeout
`HWV031-1`	⁺36.80	⁺9.40	8.50	⁺14.50	Timeout	1.00	Timeout	Timeout	Unknown	Timeout
`LAT003-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT005-3`	⁺32.20	⁺10.70	8.20	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`LAT036-1`	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	⁺2.10	Timeout	Timeout	Timeout
`LAT041-1`	⁺57.60	⁺59.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`LAT197-1`	⁺53.10	⁺44.50	3.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT200-1`	⁺271.70	⁺46.30	3.00	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`LAT201-1`	Timeout	⁺248.40	7.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT212-1`	Timeout	Timeout	17.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT230-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT233-1`	Timeout	Timeout	16.40	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT234-1`	⁺57.10	⁺84.80	0.40	Timeout	Timeout	Timeout	Timeout	⁺121.20	Timeout	Timeout
`LAT246-1`	⁺43.80	Timeout	12.70	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT259-1`	⁺28.30	⁺1.80	6.10	⁺7.20	Timeout	9.20	GaveUp	Timeout	WCout	Timeout
`LAT269-2`	⁺0.00	⁺0.00	0.00	⁺0.10	4.10	0.00	⁺0.10	⁺1.00	⁺0.40	⁺0.00
`LAT273-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.10	⁺0.60	⁺0.40	⁺0.00
`LCL001-1`	⁺52.70	⁺17.50	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`LCL037-1`	⁺144.40	⁺79.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL062-1`	⁺15.60	⁺106.60	13.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL063-1`	Timeout	Timeout	175.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL147-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL151-1`	⁺169.20	⁺118.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL152-1`	⁺5.90	⁺0.70	6.50	⁺3.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL221-1`	⁺82.20	⁺29.40	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	⁺23.00	Timeout
`LCL222-1`	⁺81.20	⁺28.80	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	⁺20.40	Timeout
`LCL222-3`	⁺30.20	⁺42.40	53.50	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL227-1`	⁺34.10	⁺0.20	1.50	⁺5.80	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`LCL230-3`	⁺1.20	⁺31.50	1.00	⁺6.10	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL246-3`	⁺1.20	⁺0.00	0.40	⁺0.40	Timeout	Timeout	⁺1.90	Timeout	WCout	Timeout
`LCL249-1`	⁺1.70	⁺13.10	Timeout	⁺98.90	Timeout	Timeout	GaveUp	Timeout	⁺252.90	Timeout
`LCL249-3`	⁺1.20	⁺0.00	0.40	⁺0.30	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL253-1`	⁺27.60	⁺160.30	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`LCL271-3`	⁺1.40	⁺0.00	0.20	⁺0.20	53.50	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL277-3`	⁺14.40	⁺3.00	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL314-3`	⁺26.30	⁺41.30	25.00	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL332-3`	⁺2.10	⁺2.00	66.60	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL351-3`	⁺17.60	⁺30.30	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`LCL423-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`LCL443-1`	⁺83.90	⁺155.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`LCL444-2`	⁺80.50	⁺28.30	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	⁺113.90	Timeout
`LDA004-1`	⁺80.30	⁺21.30	58.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA008-2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA011-2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`MGT035-1`	⁺8.30	⁺93.40	2.10	⁺308.00	3.50	2.80	Timeout	⁺1.10	⁺6.20	Timeout
`NLP080-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	0.10	⁺0.10	⁺8.00	⁺2.10	⁺1.30
`NLP094-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	0.50	⁺0.10	⁺1.50	⁺1.20	⁺0.20
`NUM011-1`	⁺0.10	⁺2.10	0.80	⁺1.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM017-2`	⁺2.40	⁺2.90	Timeout	Timeout	Timeout	Timeout	⁺7.40	Timeout	⁺213.00	Timeout
`NUM066-1`	⁺22.60	⁺2.10	35.70	⁺49.80	144.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA004-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA005-1`	⁺0.10	⁺0.00	0.00	⁺0.10	0.20	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA009-1`	⁺0.10	⁺0.00	0.00	⁺0.10	1.50	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA010-1`	⁺0.20	⁺0.10	0.10	⁺0.20	10.00	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA011-2`	⁺0.10	⁺0.00	0.00	⁺0.10	0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA012-1`	⁺0.10	⁺0.00	0.20	⁺0.30	1.70	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA021-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.20	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA023-1`	⁺0.10	⁺0.00	0.20	⁺0.30	1.70	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ035-4`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.10	⁺0.20	⁺0.40	⁺0.00
`PUZ035-7`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	1.30	Timeout	⁺0.90	Timeout	⁺18.40
`PUZ050-1`	⁺71.40	⁺52.60	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	⁺60.20	Timeout
`RNG001-3`	⁺2.40	⁺202.90	Timeout	169.40	9.00	Timeout	⁺1.70	⁺0.00	⁺15.00	⁺23.60
`RNG029-3`	⁺0.80	⁺0.20	8.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET007-1`	⁺0.20	Timeout	0.20	⁺0.40	4.60	0.10	Timeout	Timeout	Timeout	⁺21.60
`SET012-2`	⁺0.00	⁺0.00	2.10	⁺2.90	21.50	Timeout	Timeout	Timeout	⁺37.30	Timeout
`SET013-3`	⁺19.10	⁺5.20	231.30	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`SET015-1`	⁺1.20	⁺0.00	0.60	⁺0.90	0.30	Timeout	Timeout	Timeout	Timeout	Timeout
`SET015-4`	⁺0.00	⁺1.30	0.50	⁺7.90	305.40	0.10	Timeout	Timeout	Timeout	Timeout
`SET018-3`	⁺0.10	⁺52.40	233.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET019-4`	⁺5.80	⁺0.50	50.10	⁺14.40	2.20	Timeout	⁺9.70	⁺70.60	⁺128.00	Timeout
`SET031-4`	⁺14.80	⁺105.10	25.70	⁺6.40	0.60	Timeout	Timeout	Timeout	WCout	Timeout
`SET038-3`	⁺51.40	⁺104.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET039-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET042-3`	⁺1.20	⁺51.10	1.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET061-7`	⁺0.00	⁺0.00	0.00	⁺0.10	9.60	260.90	⁺0.30	⁺1.50	WCout	⁺1.30
`SET206-6`	⁺18.60	⁺39.00	9.80	⁺14.50	Timeout	Timeout	⁺97.90	Timeout	WCout	Timeout
`SET787-2`	⁺97.70	⁺196.50	0.10	Timeout	Timeout	0.30	Timeout	Timeout	WCout	Timeout
`SET821-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	Timeout	⁺0.10	⁺0.10	WCout	⁺1.60
`SET839-2`	⁺0.00	⁺0.00	0.00	⁺0.10	39.50	GaveUp	⁺0.10	⁺0.10	WCout	⁺0.00
`SET840-1`	⁺66.00	⁺64.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SET847-1`	⁺125.80	⁺39.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SET850-1`	⁺0.10	⁺0.10	2.00	⁺2.40	4.60	Timeout	GaveUp	Timeout	⁺1.00	Timeout
`SET851-1`	⁺0.10	⁺0.10	0.80	⁺1.00	Timeout	0.80	Timeout	Timeout	WCout	Timeout
`SET857-1`	⁺35.30	⁺125.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SET861-2`	⁺12.50	⁺10.30	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SET864-1`	⁺0.10	⁺0.90	3.50	⁺4.00	Timeout	1.10	Timeout	Timeout	WCout	Timeout
`SWC021-1`	⁺347.50	⁺239.40	1.10	⁺9.60	Timeout	Timeout	Timeout	⁺25.70	WCout	Timeout
`SWC293-1`	⁺0.00	⁺0.00	0.10	⁺0.20	2.60	0.20	⁺221.30	⁺5.80	Timeout	⁺0.40
`SWC390-1`	Timeout	Timeout	28.40	⁺89.50	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SWV014-1`	⁺6.70	⁺0.10	0.00	⁺0.10	0.00	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV239-1`	⁺14.80	⁺7.60	2.10	⁺2.60	9.40	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV242-1`	⁺0.10	⁺0.10	1.00	⁺1.30	8.00	Timeout	Timeout	Timeout	WCout	Timeout
`SWV246-1`	⁺28.20	⁺31.50	4.00	⁺4.90	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV248-1`	⁺144.00	⁺75.00	251.10	288.40	237.10	Timeout	Timeout	Timeout	WCout	Timeout
`SWV248-2`	⁺1.20	⁺0.00	0.00	⁺0.10	0.00	WCout	Timeout	⁺8.00	Timeout	Timeout
`SWV249-2`	⁺4.00	⁺0.10	5.30	⁺9.70	Timeout	Timeout	⁺0.30	Timeout	Timeout	Timeout
`SWV251-1`	⁺10.50	⁺39.20	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV252-2`	⁺5.70	⁺16.60	0.10	⁺0.20	Timeout	Timeout	Timeout	⁺41.60	Timeout	Timeout
`SWV255-1`	⁺7.40	⁺32.20	6.70	⁺16.00	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV259-1`	⁺3.10	⁺15.90	6.00	⁺7.80	32.00	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV287-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.10	Timeout	⁺0.40	⁺0.00
`SWV290-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.10	⁺0.10	Timeout	⁺0.40	⁺0.00
`SWV303-2`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	1.30	Timeout	Timeout	⁺1.50	⁺83.30
`SWV304-2`	⁺0.00	⁺0.00	0.00	⁺0.10	3.90	2.40	⁺0.20	Timeout	⁺0.60	Timeout
`SWV308-2`	⁺0.00	⁺0.10	0.00	⁺0.10	0.00	2.70	⁺0.10	Timeout	⁺0.50	Timeout
`SWV311-2`	⁺0.00	⁺0.00	0.00	⁺0.10	1.10	0.10	⁺0.10	Timeout	⁺1.10	⁺0.10
`SWV319-1`	⁺223.60	⁺67.00	7.80	⁺15.50	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV319-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.80	0.00	⁺0.10	⁺96.80	⁺0.40	⁺0.00
`SWV322-1`	⁺0.20	⁺0.20	0.90	⁺1.20	Timeout	0.80	⁺1.90	Timeout	WCout	⁺0.90
`SWV328-1`	⁺1.80	⁺24.60	7.20	⁺21.50	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV329-1`	⁺1.80	⁺24.70	7.30	⁺89.20	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV331-1`	⁺1.40	⁺9.00	6.90	⁺8.30	2.20	22.30	GaveUp	Timeout	WCout	Timeout
`SWV332-2`	⁺0.00	⁺0.00	0.00	⁺0.10	1.60	0.20	⁺15.70	Timeout	⁺0.40	⁺0.10
`SWV337-1`	⁺13.60	⁺72.70	15.70	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`SWV338-1`	⁺2.10	⁺24.90	111.80	⁺148.90	Timeout	16.10	GaveUp	Timeout	WCout	Timeout
`SWV342-1`	⁺84.80	⁺41.50	11.20	⁺45.70	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV345-1`	⁺2.00	⁺25.30	214.00	358.50	13.20	2.40	GaveUp	Timeout	WCout	Timeout
`SWV351-1`	⁺0.20	⁺0.20	0.20	⁺1.70	1.30	2.40	⁺0.90	Timeout	⁺1.90	⁺1.00
`SWV353-1`	⁺2.30	⁺44.50	288.80	Timeout	38.00	24.80	GaveUp	Timeout	WCout	Timeout
`SWV354-1`	Timeout	⁺59.90	Timeout	Timeout	Timeout	29.60	GaveUp	Timeout	WCout	Timeout
`SWV358-1`	Timeout	⁺42.50	8.90	⁺15.50	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV361-1`	⁺115.40	⁺83.70	77.70	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout
`SWV362-1`	⁺2.80	⁺25.80	277.60	Timeout	Timeout	2.50	GaveUp	Timeout	WCout	Timeout
`SYN015-1`	⁺0.00	⁺0.10	0.00	⁺0.10	8.10	0.40	Timeout	⁺0.20	Timeout	⁺0.90
`SYN036-1`	⁺0.00	⁺0.00	6.00	⁺9.10	Timeout	60.30	Timeout	Timeout	⁺2.20	⁺21.80
`SYN067-1`	⁺0.20	⁺6.20	17.40	⁺79.40	Timeout	3.30	Timeout	Timeout	WCout	Timeout
`SYN334-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.60	⁺0.10	⁺0.00	Timeout	⁺0.00
`SYN556-1`	⁺2.00	⁺27.50	11.60	⁺19.40	0.40	293.40	Timeout	⁺0.90	Timeout	Timeout
`SYN599-1`	⁺2.00	⁺92.80	Timeout	Timeout	0.50	Timeout	Timeout	⁺5.10	Timeout	Timeout
`SYN600-1`	⁺25.20	⁺4.90	26.30	⁺39.60	0.20	Timeout	⁺5.10	⁺11.10	Timeout	Timeout
`SYN604-1`	⁺43.90	⁺39.60	Timeout	⁺19.00	70.60	Timeout	Timeout	⁺11.50	Timeout	Timeout
`SYN617-1`	⁺26.20	⁺91.50	15.40	Timeout	6.30	Timeout	GaveUp	⁺328.40	Timeout	Timeout
`SYN633-1`	⁺1.20	⁺0.00	0.00	⁺0.10	0.70	3.80	Timeout	⁺142.80	Timeout	Timeout
`SYN635-1`	⁺1.20	⁺0.00	0.00	⁺0.10	0.80	3.90	Timeout	Timeout	Timeout	Timeout
`SYN639-1`	⁺2.00	⁺4.30	Timeout	Timeout	0.40	Timeout	⁺6.70	Timeout	⁺31.30	Timeout
`SYN701-1`	⁺1.40	⁺0.20	0.10	⁺0.30	0.50	202.20	Timeout	Timeout	Timeout	Timeout
`SYN704-1`	⁺25.20	⁺0.50	0.30	⁺0.50	0.10	Unknown	⁺0.10	⁺285.80	Timeout	Timeout
`SYN711-1`	⁺25.20	⁺0.10	0.00	⁺0.10	0.30	0.10	Timeout	Timeout	Timeout	⁺34.80
`SYN755-1`	⁺0.00	⁺0.10	0.00	⁺0.10	0.40	1.50	Timeout	⁺0.80	⁺1.90	⁺6.60
`SYN759-1`	⁺1.00	⁺40.90	16.20	⁺9.50	9.60	19.60	Timeout	⁺17.10	⁺9.40	Timeout
`SYN802-1`	⁺52.40	⁺47.60	13.30	⁺139.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	200	200	200	200	200	200	200	200	200	200
Solved	182	181	156	125	76	57	41	41	38	27
Av. Time	27.66	29.64	19.73	20.07	30.72	23.83	13.10	60.77	42.54	8.09
Solutions	182	181	0	122	0	0	41	41	38	27
SOTAC	0.25	0.24	0.23	0.19	0.16	0.16	0.17	0.15	0.16	0.12
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FNT

FNT	Paradox 2.2	Geo 2007f	DarwinFM 1.4.1	E 0.999	iProver 0.2	Metis 2.0
`GEO224+1`^*	⁺0.10	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`GEO224+2`^*	⁺0.10	⁺0.00	⁺0.10	Timeout	Timeout	Timeout
`GRA015+1`	⁺0.10	⁺4.60	⁺171.00	Timeout	0.30	Timeout
`GRA016+1`	⁺0.10	⁺7.60	Timeout	Timeout	0.50	Timeout
`GRA017+1`	⁺0.20	⁺207.40	Timeout	Timeout	9.60	Timeout
`GRA018+1`	⁺0.60	Timeout	Timeout	Timeout	Timeout	Timeout
`GRA020+1`	⁺0.40	⁺1.90	⁺11.60	Timeout	0.40	Timeout
`GRA021+1`	⁺0.70	⁺4.10	⁺52.80	Timeout	0.90	Timeout
`GRA022+1`	⁺1.20	⁺6.70	⁺58.60	Timeout	1.20	Timeout
`GRA023+1`	⁺5.30	⁺42.80	⁺125.40	Timeout	3.10	Timeout
`GRA025+1`	⁺19.50	⁺17.10	Timeout	Timeout	2.10	Timeout
`GRA026+1`	Unknown	⁺201.90	Timeout	Timeout	121.10	Timeout
`HAL003+1`	⁺2.70	⁺166.00	⁺4.00	Timeout	Timeout	Timeout
`HAL003+2`	⁺2.10	Timeout	⁺175.10	Timeout	Timeout	Timeout
`HAL005+1`	⁺3.50	Timeout	⁺72.80	Timeout	Timeout	Timeout
`KRS029+1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	0.00
`KRS032+1`	⁺0.10	⁺0.00	⁺0.00	0.10	9.80	2.00
`KRS033+1`	⁺0.20	⁺0.10	⁺0.20	0.40	Timeout	78.80
`KRS034+1`	⁺0.10	⁺0.20	⁺3.00	3.80	Timeout	Timeout
`KRS035+1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	0.00
`KRS036+1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	0.00
`KRS043+1`	⁺0.10	⁺0.10	⁺0.00	0.00	Timeout	0.10
`KRS046+1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	0.00
`KRS047+1`	⁺0.00	⁺0.00	⁺0.00	0.00	Timeout	0.00
`KRS051+1`	⁺0.40	⁺11.20	⁺256.40	Timeout	Timeout	Timeout
`LCL354+1`	⁺0.00	⁺0.00	⁺0.20	Timeout	Timeout	Timeout
`MGT038+2`	⁺0.10	⁺0.20	⁺0.10	Timeout	Timeout	Timeout
`MGT066+1`	⁺0.00	⁺0.00	⁺0.00	Timeout	0.40	Timeout
`MSC013+1`	Timeout	⁺2.00	Timeout	0.00	0.00	14.30
`MSC014+1`	Timeout	⁺0.20	Timeout	0.00	0.00	0.60
`NLP015+1`	⁺0.10	⁺0.20	⁺0.10	0.00	0.10	0.10
`NLP017+1`	⁺0.10	⁺0.20	⁺0.10	0.00	0.10	0.00
`NLP019+1`	⁺0.10	⁺0.20	⁺0.10	0.00	0.10	0.00
`NLP027+1`	⁺0.10	⁺0.10	⁺0.20	0.30	6.30	Timeout
`NLP028+1`	⁺0.10	⁺0.10	⁺0.20	0.30	3.80	Timeout
`NLP051+1`	Unknown	⁺4.60	⁺2.80	0.00	Timeout	0.20
`NLP052+1`	WCout	⁺6.20	⁺15.90	0.00	Timeout	0.20
`NLP053+1`	Unknown	⁺3.80	⁺2.80	0.00	Timeout	0.20
`NLP059+1`	⁺0.10	⁺0.00	⁺0.60	0.40	2.50	1.60
`NLP061+1`	⁺0.10	⁺0.00	⁺0.60	0.30	4.80	3.60
`NLP062+1`	⁺0.10	⁺0.00	⁺0.60	0.20	0.80	0.30
`NLP069+1`	Unknown	⁺4.10	⁺10.60	0.00	Timeout	0.20
`NLP074+1`	Unknown	⁺4.10	⁺10.20	0.00	Timeout	0.30
`NLP076+1`	Unknown	⁺4.10	⁺10.10	0.00	Timeout	0.30
`NLP077+1`	Unknown	⁺4.00	⁺10.20	0.00	Timeout	0.20
`NLP078+1`	Unknown	⁺4.10	⁺10.10	0.00	Timeout	0.20
`NLP082+1`	Unknown	⁺11.90	⁺22.80	0.00	Timeout	0.30
`NLP090+1`	Unknown	⁺12.80	⁺16.90	0.60	Timeout	0.60
`NLP092+1`	Unknown	⁺14.10	⁺16.70	Timeout	Timeout	0.50
`NLP099+1`	⁺0.00	⁺0.10	⁺0.20	1.40	1.50	4.00
`NLP162+1`	⁺0.30	⁺0.40	⁺159.00	1.00	17.80	0.70
`NLP163+1`	⁺0.20	⁺0.30	⁺33.80	1.10	17.80	0.70
`NLP166+1`	⁺0.20	⁺0.70	Timeout	1.00	16.50	Timeout
`NLP167+1`	⁺0.30	⁺0.60	Timeout	1.00	16.80	Timeout
`NLP171+1`	⁺0.30	⁺1.30	⁺0.40	0.00	Timeout	0.20
`NLP174+1`	⁺0.30	⁺1.40	⁺0.50	0.00	Timeout	0.20
`NLP178+1`	⁺0.30	⁺1.40	⁺0.50	0.00	Timeout	0.20
`NLP179+1`	⁺0.30	⁺1.40	⁺0.40	0.00	Timeout	0.20
`NLP180+1`	⁺0.30	⁺0.70	⁺0.30	0.40	Timeout	Timeout
`NLP183+1`	⁺0.30	⁺0.90	⁺0.30	0.40	Timeout	Timeout
`NLP184+1`	⁺0.30	⁺0.80	⁺0.30	0.30	Timeout	Timeout
`NLP185+1`	⁺0.30	⁺0.70	⁺0.30	0.30	Timeout	Timeout
`NLP188+1`	⁺0.30	⁺0.80	⁺0.30	0.30	Timeout	Timeout
`NLP192+1`	⁺0.30	⁺0.60	⁺1.10	1.30	2.30	1.10
`NLP201+1`	⁺0.30	⁺2.10	⁺0.40	0.00	Timeout	0.20
`NLP203+1`	⁺0.40	⁺2.10	⁺0.30	0.10	Timeout	0.20
`NLP205+1`	⁺0.40	⁺1.90	⁺0.40	0.10	Timeout	0.20
`NLP206+1`	⁺0.30	⁺1.90	⁺0.40	0.00	Timeout	0.20
`NLP207+1`	⁺0.40	⁺2.30	⁺0.50	0.00	Timeout	0.20
`NLP217+1`	⁺0.30	⁺1.30	⁺0.30	2.60	Timeout	Timeout
`NLP219+1`	⁺0.30	⁺1.40	⁺0.30	1.80	Timeout	Timeout
`NLP240+1`	⁺0.20	⁺0.20	⁺0.20	0.10	1.70	0.40
`NLP242+1`	⁺0.20	⁺0.20	⁺0.20	0.10	1.60	0.50
`NLP244+1`	⁺0.20	⁺0.30	⁺0.20	0.10	1.50	0.40
`NLP247+1`	⁺0.20	⁺0.20	⁺0.20	0.10	1.80	0.50
`PLA024+1`	⁺0.10	⁺1.00	⁺0.10	Timeout	0.30	Timeout
`PLA025+1`	⁺0.50	⁺141.00	⁺0.90	Timeout	15.90	Timeout
`PLA026+1`	⁺0.20	⁺4.20	⁺0.30	Timeout	1.40	Timeout
`PLA027+1`	⁺0.10	⁺2.10	⁺0.10	Timeout	0.80	Timeout
`SWV016+1`	⁺0.10	⁺67.70	⁺0.20	0.00	11.70	Timeout
`SWV018+1`	⁺0.10	⁺16.20	⁺0.20	0.00	12.40	Timeout
`SWV238+1`	Timeout	Timeout	Timeout	356.00	Timeout	Timeout
`SYN316+1`	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00
`SYN324+1`	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00
`SYN330+1`	⁺0.50	⁺21.90	Timeout	0.00	0.00	0.00
`SYN335+1`	⁺166.00	Timeout	Timeout	0.00	0.00	Timeout
`SYN424+1`	⁺1.30	Timeout	Timeout	Timeout	2.30	Timeout
`SYN427+1`	⁺1.50	Timeout	Timeout	Timeout	10.40	Timeout
`SYN428+1`	⁺1.10	Timeout	⁺5.10	Timeout	231.70	Timeout
`SYN434+1`	⁺0.30	Timeout	⁺32.20	Timeout	40.30	Timeout
`SYN441+1`	⁺0.50	Timeout	Timeout	Timeout	183.30	Timeout
`SYN449+1`	⁺0.60	Timeout	Timeout	Timeout	8.00	Timeout
`SYN453+1`	⁺0.50	Timeout	Timeout	Timeout	196.10	Timeout
`SYN464+1`	⁺0.40	Timeout	⁺240.10	Timeout	1.50	Timeout
`SYN513+1`	⁺0.70	Timeout	⁺3.50	Timeout	1.40	Timeout
`SYN518+1`	⁺0.90	Timeout	Timeout	3.70	3.60	Timeout
`SYN519+1`	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN520+1`	⁺1.60	Timeout	⁺98.50	Timeout	Timeout	Timeout
`SYN542+1`	⁺0.30	Timeout	Timeout	Timeout	1.40	Timeout
`SYN543+1`	⁺0.40	Timeout	Timeout	Timeout	13.60	Timeout
Attempted	100	100	100	100	100	100
Solved	85	81	79	63	53	47
Av. Time	2.64	12.70	20.82	6.03	18.55	2.44
Solutions	85	81	79	0	0	0
SOTAC	0.28	0.23	0.24	0.23	0.27	0.20
New Attempted	2	2	2	2	2	2
New Solved	2	2	2	0	0	0

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

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for SAT

SAT	Paradox 1.3	Paradox 2.2	DarwinFM 1.4.1	Geo 2007f	iProver 0.2	E 0.999	Metis 2.0
`ALG008-1`	⁺0.00	⁺0.00	⁺0.30	⁺0.80	Timeout	Timeout	Timeout
`BOO019-1`	⁺0.00	⁺0.00	⁺10.20	⁺0.20	Timeout	Timeout	Timeout
`BOO033-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout	Timeout
`BOO037-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	274.90	Timeout	Timeout
`BOO056-1`	⁺0.90	⁺1.50	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO060-1`	⁺21.20	⁺46.70	Timeout	Timeout	Timeout	Timeout	Timeout
`CAT019-4`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`CAT019-5`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	Timeout	Timeout	Timeout
`COL047-1`	⁺0.00	⁺0.00	⁺19.90	⁺0.70	Timeout	Timeout	Timeout
`COL071-1`	⁺0.00	⁺0.00	⁺57.80	⁺159.80	Timeout	Timeout	Timeout
`COL073-1`	⁺0.10	⁺0.10	⁺8.40	Timeout	Timeout	Timeout	Timeout
`GEO078-6`	⁺0.10	⁺0.10	⁺1.10	Timeout	Timeout	Timeout	Timeout
`GEO162-1`	⁺0.10	⁺0.10	⁺0.50	⁺127.40	Timeout	Timeout	Timeout
`GRP025-3`	⁺0.30	⁺0.50	⁺3.50	⁺1.10	Timeout	Timeout	Timeout
`GRP026-2`	⁺0.30	⁺0.50	⁺32.60	⁺25.20	Timeout	Timeout	Timeout
`GRP027-2`	⁺0.10	⁺0.20	⁺2.40	⁺0.40	Timeout	Timeout	Timeout
`GRP112-1`	⁺0.00	⁺0.00	⁺0.00	⁺1.40	Timeout	Timeout	Timeout
`GRP394-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.60	Timeout	Timeout
`GRP394-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.50	Timeout	Timeout
`GRP397-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.90	Timeout	Timeout
`GRP398-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.70	Timeout	Timeout
`HEN013-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.20	Timeout	Timeout
`LAT016-1`	⁺1.30	⁺32.80	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT049-1`	⁺0.40	⁺0.90	⁺230.00	⁺9.00	Timeout	Timeout	Timeout
`LAT050-1`	⁺2.80	⁺4.60	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT054-1`	⁺28.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT058-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.70	Timeout	Timeout
`LAT062-1`	⁺3.30	⁺68.40	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT111-1`	⁺25.90	⁺64.70	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT113-1`	⁺36.10	⁺158.60	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT120-1`	⁺3.20	⁺11.70	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT126-1`	⁺34.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL078-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.30	Timeout	Timeout	Timeout
`LCL165-1`	⁺0.10	⁺0.10	⁺6.60	⁺46.40	Timeout	Timeout	Timeout
`LCL179-1`	⁺0.30	⁺3.20	⁺16.10	Timeout	Timeout	Timeout	Timeout
`LCL181-1`	⁺3.40	⁺15.50	⁺52.60	Timeout	Timeout	Timeout	Timeout
`LCL183-1`	⁺2.70	⁺11.10	⁺79.30	Timeout	Timeout	Timeout	Timeout
`LCL184-1`	⁺0.50	⁺3.00	⁺5.90	Timeout	Timeout	Timeout	Timeout
`LCL220-1`	⁺2.10	⁺39.30	⁺329.00	Timeout	Timeout	Timeout	Timeout
`LCL239-1`	⁺0.90	⁺1.60	⁺36.40	⁺47.70	Timeout	Timeout	Timeout
`LCL245-1`	⁺25.70	⁺116.50	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL246-1`	⁺10.30	⁺43.80	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL247-1`	⁺3.90	⁺53.00	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL255-1`	⁺5.30	⁺102.50	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL267-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.00	⁺0.20	Timeout	Timeout	Timeout	Timeout
`LCL291-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL338-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL411-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL412-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL413-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL415-1`	Timeout	Timeout	Timeout	Timeout	0.00	0.00	Timeout
`MGT033-2`	⁺0.00	⁺0.00	⁺0.10	⁺22.80	Timeout	1.20	1.10
`MGT034-1`	⁺0.10	⁺0.10	⁺2.40	⁺6.60	9.50	1.50	0.20
`NLP033-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.70	0.20	Timeout	Timeout
`NLP062-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.10	0.30	Timeout	Timeout
`NLP085-1`	GaveUp	Unknown	Timeout	Timeout	Timeout	0.00	0.50
`NLP167-1`	⁺0.10	⁺0.20	⁺0.10	⁺6.20	0.30	Timeout	Timeout
`NLP169-1`	⁺0.10	⁺0.20	⁺0.10	⁺10.90	0.50	Timeout	Timeout
`NLP184-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	Timeout	0.80	Timeout
`NLP185-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	Timeout	1.10	Timeout
`NLP190-1`	⁺0.10	⁺0.20	⁺0.10	⁺211.70	1.00	Timeout	Timeout
`NLP195-1`	⁺0.10	⁺0.20	⁺0.20	⁺103.70	0.20	Timeout	Timeout
`NLP216-1`	⁺0.30	⁺0.50	⁺0.40	Timeout	Timeout	Timeout	Timeout
`NUM287-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`NUM288-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`PUZ049-1`	GaveUp	Unknown	Timeout	Timeout	277.90	3.00	11.30
`PUZ058-1`	⁺0.10	⁺0.10	⁺72.40	Timeout	Timeout	Timeout	Timeout
`PUZ069-1`	⁺3.40	⁺4.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ070-1`	⁺3.30	⁺3.90	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ071-1`	⁺3.50	⁺4.00	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG042-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	42.90	Timeout	Timeout
`ROB012-1`	⁺0.10	⁺0.10	⁺33.00	Timeout	WCout	Timeout	Timeout
`ROB029-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.50	Timeout	Timeout
`SWV013-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	6.50	0.00	Timeout
`SWV018-1`	⁺0.10	⁺0.10	⁺0.10	⁺2.30	11.90	0.00	Unknown
`SYN303-1`	GaveUp	Timeout	Timeout	Timeout	0.00	0.00	0.00
`SYN316-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00
`SYN324-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00
`SYN750-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	311.60	13.90	Timeout
`SYN753-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	35.60	Timeout
`SYN775-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	9.10	0.30	Timeout
`SYN782-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`SYN787-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`SYN903-1`	⁺0.80	⁺1.00	⁺0.50	⁺259.20	Timeout	Timeout	Timeout
`SYN904-1`	⁺1.60	⁺1.80	⁺0.70	⁺178.80	Timeout	Timeout	Timeout
`SYN907-1`	⁺1.90	⁺2.20	⁺1.00	Timeout	Timeout	Timeout	Timeout
`SYN908-1`	⁺3.60	⁺4.00	⁺2.10	Timeout	Timeout	Timeout	Timeout
`SYN910-1`	⁺5.70	⁺6.00	⁺8.50	Timeout	WCout	Timeout	Timeout
`TOP002-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	Timeout	Timeout	Timeout
`TOP003-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	218.40	Timeout	Timeout
`TOP005-1`	⁺0.50	⁺0.70	⁺1.20	Timeout	Timeout	Timeout	Timeout
`TOP007-1`	⁺0.60	⁺0.80	⁺103.60	⁺129.50	Timeout	Timeout	Timeout
`TOP008-1`	⁺0.20	⁺0.30	⁺0.50	Timeout	10.50	Timeout	Timeout
`TOP011-1`	⁺0.10	⁺0.20	⁺0.10	⁺0.20	Timeout	Timeout	Timeout
`TOP012-1`	⁺0.20	⁺0.30	⁺1.40	Timeout	Timeout	Timeout	Timeout
`TOP013-1`	⁺0.20	⁺0.30	⁺0.70	⁺96.30	33.70	Timeout	Timeout
`TOP014-1`	⁺0.20	⁺0.30	⁺0.30	⁺85.80	Timeout	Timeout	Timeout
`TOP017-1`	⁺0.20	⁺0.30	⁺0.30	⁺209.90	Timeout	Timeout	Timeout
Attempted	100	100	100	100	100	100	100
Solved	96	94	79	54	28	15	7
Av. Time	2.53	8.67	14.23	32.32	43.34	3.83	1.87
Solutions	96	94	79	54	0	0	0
SOTAC	0.31	0.29	0.25	0.22	0.21	0.24	0.25
New Attempted	0	0	0	0	0	0	0
New Solved	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: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for EPR

EPR	Darwin 1.3	Darwin 1.4.1	iProver 0.2	Paradox 2.2	E 0.999	Geo 2007f	Vampire 9.0	E-KRHyper 1.0	Metis 2.0	Equinox 1.2
`GEO079-1`	0.00	0.00	0.00	0.00	0.00	⁺0.00	⁺0.00	⁺0.40	⁺0.00	0.00
`GRP123-2.005`	⁺0.10	⁺0.10	3.20	⁺0.10	Timeout	⁺8.80	Timeout	0.50	Timeout	Timeout
`GRP124-7.005`	⁺0.10	⁺0.10	1.60	⁺0.10	Timeout	⁺0.60	Timeout	0.50	Timeout	Timeout
`GRP126-2.005`	⁺0.00	⁺0.00	1.00	⁺0.10	Timeout	⁺0.20	Timeout	0.50	Timeout	Timeout
`GRP127-1.005`	⁺0.00	⁺0.00	1.20	⁺0.00	Timeout	⁺0.30	Timeout	0.40	Timeout	Timeout
`GRP127-4.005`	⁺0.10	⁺0.10	7.20	⁺0.10	Timeout	⁺0.20	Timeout	0.40	Timeout	Timeout
`GRP128-3.004`	⁺0.00	⁺0.00	0.40	⁺0.10	0.80	⁺1.80	Timeout	0.50	Timeout	GaveUp
`GRP128-3.005`	0.10	0.10	0.60	0.10	4.20	⁺17.70	Timeout	⁺14.00	Timeout	8.20
`GRP128-4.004`	⁺0.00	⁺0.00	0.90	⁺0.00	23.90	⁺0.10	Timeout	0.50	Timeout	GaveUp
`GRP130-3.004`	⁺0.00	⁺0.00	0.40	⁺0.10	72.80	⁺1.60	Timeout	0.50	Timeout	GaveUp
`GRP131-1.005`	⁺0.10	⁺0.10	3.70	⁺0.10	Timeout	⁺37.30	Timeout	0.70	Timeout	GaveUp
`GRP134-2.005`	⁺0.00	⁺0.00	1.60	⁺0.10	Timeout	⁺2.10	Timeout	0.50	Timeout	GaveUp
`MGT066-1`	⁺0.00	⁺0.00	0.40	⁺0.00	Timeout	⁺0.00	Timeout	0.40	Timeout	GaveUp
`MSC008-1.010`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NLP008-1`	⁺0.00	⁺0.00	0.10	⁺0.10	0.00	⁺0.40	0.00	0.50	0.40	GaveUp
`NLP013-1`	⁺0.00	⁺0.00	0.10	⁺0.10	0.00	⁺2.30	0.00	0.50	0.40	GaveUp
`NLP023-1`	⁺0.00	⁺0.00	0.20	⁺0.10	0.00	⁺0.50	0.00	0.40	0.10	GaveUp
`NLP115-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.60	0.00	0.40	0.00	GaveUp
`NLP120-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.70	0.00	0.40	0.00	GaveUp
`NLP125-1`	⁺0.00	⁺0.00	0.10	⁺0.00	0.00	⁺0.30	0.00	0.40	0.10	GaveUp
`NLP127-1`	⁺0.00	⁺0.00	0.10	⁺0.00	0.00	⁺0.90	0.00	0.40	0.10	GaveUp
`NLP128-1`	⁺0.00	⁺0.00	0.10	⁺0.00	0.00	⁺0.40	0.00	0.40	0.00	GaveUp
`PUZ001-3`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.40	0.00	GaveUp
`PUZ012-1`	0.00	0.00	0.00	0.00	0.00	⁺0.10	⁺0.00	⁺0.40	⁺0.00	0.00
`PUZ018-1`	0.00	0.00	0.10	0.00	0.10	⁺10.60	⁺0.10	⁺81.50	⁺83.20	5.80
`PUZ018-2`	⁺0.00	⁺0.00	0.10	⁺0.10	Timeout	⁺4.70	Timeout	Timeout	Timeout	GaveUp
`PUZ022-1`	0.00	0.00	0.00	0.10	0.00	⁺0.60	⁺0.00	⁺0.40	⁺0.00	0.30
`PUZ028-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	0.40	0.00	GaveUp
`PUZ028-3`	⁺0.00	⁺0.10	0.10	⁺0.80	0.10	⁺4.60	1.20	0.60	0.30	GaveUp
`PUZ028-4`	⁺0.00	⁺0.00	0.10	⁺0.40	0.00	⁺0.60	1.20	0.50	0.20	GaveUp
`PUZ037-3`	50.70	51.30	3.70	Unknown	Timeout	Timeout	⁺74.80	WCout	Timeout	Timeout
`PUZ053-1`	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SYN009-4`	0.00	0.00	0.00	0.00	0.00	⁺0.00	⁺0.00	⁺0.50	⁺0.00	0.00
`SYN052-1`	0.00	0.00	0.00	0.00	0.00	⁺0.00	⁺0.00	⁺0.40	⁺0.00	0.00
`SYN056-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	0.40	0.00	GaveUp
`SYN059-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.20	0.00	0.40	0.00	GaveUp
`SYN103-1`	0.10	0.10	0.10	0.30	0.00	⁺0.30	⁺0.00	⁺0.50	⁺0.00	0.20
`SYN122-1`	0.10	0.10	0.10	0.40	0.10	⁺1.00	⁺0.10	⁺0.60	⁺0.40	14.70
`SYN126-1`	0.10	0.10	0.10	0.50	0.10	⁺0.70	⁺0.10	⁺0.60	⁺0.20	0.60
`SYN127-1`	0.10	0.10	0.10	0.50	0.10	⁺0.60	⁺0.10	⁺0.60	⁺0.20	0.60
`SYN129-1`	0.10	0.10	0.10	0.50	0.30	⁺2.40	⁺0.10	⁺0.60	⁺0.70	0.70
`SYN137-1`	0.10	0.10	0.20	0.50	0.20	⁺8.80	⁺0.10	⁺0.60	⁺0.50	11.60
`SYN138-1`	0.10	0.10	0.30	0.50	0.20	⁺10.20	⁺0.10	⁺0.60	⁺0.40	0.70
`SYN142-1`	0.10	0.10	0.30	0.50	0.30	⁺17.60	⁺0.10	⁺0.70	⁺0.70	26.20
`SYN146-1`	0.00	0.00	0.10	0.40	0.00	⁺0.50	⁺0.00	⁺0.50	⁺0.10	0.30
`SYN152-1`	0.10	0.10	0.10	0.40	0.00	⁺0.30	⁺0.10	⁺0.60	⁺0.20	0.30
`SYN153-1`	0.10	0.10	0.10	0.50	0.10	⁺0.30	⁺0.00	⁺0.60	⁺0.20	0.40
`SYN160-1`	0.10	0.10	0.10	0.60	0.10	⁺1.90	⁺0.10	⁺0.60	⁺0.20	0.70
`SYN164-1`	0.10	0.10	0.10	0.30	0.00	⁺0.30	⁺0.10	⁺0.50	⁺0.00	0.20
`SYN190-1`	0.10	0.10	0.20	0.50	0.20	⁺18.40	⁺0.10	⁺0.60	⁺0.70	2.30
`SYN202-1`	0.10	0.10	0.20	0.40	0.10	⁺3.00	⁺0.10	⁺0.70	⁺0.80	10.90
`SYN205-1`	0.10	0.10	0.30	0.50	0.30	⁺7.80	⁺0.10	⁺0.70	⁺0.70	17.50
`SYN207-1`	0.10	0.10	0.20	0.50	0.20	⁺2.50	⁺0.10	⁺0.60	⁺0.50	11.40
`SYN208-1`	0.10	0.10	0.20	0.50	0.20	⁺1.20	⁺0.10	⁺0.60	⁺0.60	11.10
`SYN209-1`	0.10	0.10	0.10	0.50	0.10	⁺0.40	⁺0.10	⁺0.60	⁺0.20	0.90
`SYN225-1`	0.10	0.10	0.10	0.50	0.10	⁺1.20	⁺0.10	⁺0.60	⁺0.20	0.90
`SYN241-1`	0.00	0.00	0.10	0.40	0.00	⁺0.30	⁺0.00	⁺0.50	⁺0.10	0.30
`SYN242-1`	0.00	0.00	0.10	0.40	0.00	⁺0.40	⁺0.00	⁺0.50	⁺0.10	0.20
`SYN244-1`	0.00	0.00	0.10	0.40	0.00	⁺0.30	⁺0.00	⁺0.50	⁺0.10	0.30
`SYN246-1`	0.10	0.10	0.10	0.40	0.10	⁺0.90	⁺0.10	⁺0.50	⁺0.20	0.30
`SYN247-1`	0.10	0.10	0.10	0.30	0.00	⁺0.30	⁺0.00	⁺0.50	⁺0.20	0.40
`SYN250-1`	0.10	0.10	0.20	0.40	0.20	⁺8.30	⁺0.10	⁺0.60	⁺0.30	4.70
`SYN251-1`	0.10	0.10	0.10	0.40	0.10	⁺0.40	⁺0.10	⁺0.50	⁺0.20	0.30
`SYN255-1`	0.10	0.10	0.10	0.40	0.00	⁺0.30	⁺0.00	⁺0.60	⁺0.20	0.30
`SYN266-1`	0.10	0.10	0.10	0.50	0.10	⁺5.60	⁺0.10	⁺0.60	⁺0.30	1.40
`SYN269-1`	0.10	0.10	0.20	0.50	0.40	⁺8.30	⁺0.10	⁺0.60	⁺0.70	6.80
`SYN280-1`	0.00	0.00	0.10	0.40	0.00	⁺0.30	⁺0.10	⁺0.50	⁺0.00	0.30
`SYN283-1`	0.10	0.10	0.10	0.40	0.10	⁺0.40	⁺0.10	⁺0.50	⁺0.30	0.40
`SYN286-1`	0.10	0.10	0.20	0.40	0.10	⁺0.50	⁺0.10	⁺0.50	⁺0.30	2.30
`SYN290-1`	0.10	0.10	0.10	0.50	0.00	⁺0.30	⁺0.10	⁺0.50	⁺0.20	0.60
`SYN297-1`	0.10	0.10	0.10	0.40	0.00	⁺0.30	⁺0.10	⁺0.50	⁺0.20	0.30
`SYN307-1`	⁺0.00	⁺0.00	0.20	⁺0.00	Timeout	⁺0.00	Timeout	0.40	Timeout	GaveUp
`SYN322-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	0.40	0.00	GaveUp
`SYN428-1`	⁺0.20	⁺0.20	58.00	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN433-1`	⁺0.00	⁺0.00	0.60	⁺0.10	4.00	⁺14.90	0.40	Timeout	95.50	GaveUp
`SYN434-1`	⁺0.10	⁺0.10	1.40	⁺0.20	Timeout	Timeout	54.10	Timeout	Timeout	Timeout
`SYN438-1`	⁺0.10	⁺0.10	97.90	⁺0.20	Timeout	Timeout	2.00	Timeout	Timeout	GaveUp
`SYN439-1`	0.70	0.70	Timeout	Timeout	Timeout	Timeout	⁺0.50	Timeout	Timeout	343.00
`SYN446-1`	⁺0.10	⁺0.10	5.50	⁺0.30	84.20	Timeout	0.40	Timeout	Timeout	GaveUp
`SYN469-1`	0.30	0.40	9.30	59.50	11.40	Timeout	⁺0.70	Timeout	Timeout	86.00
`SYN479-1`	0.20	0.30	13.30	72.80	17.30	Timeout	⁺0.20	Timeout	Timeout	26.70
`SYN496-1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	0.40	0.00	GaveUp
`SYN513-1`	⁺0.10	⁺0.10	7.20	⁺0.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN515-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.10	0.00	0.60	0.10	GaveUp
`SYN541-1`	⁺0.00	⁺0.00	0.10	⁺0.20	38.10	⁺0.50	0.20	0.70	0.30	GaveUp
`SYN546-1`	⁺0.10	⁺0.20	2.00	⁺0.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN720-1`	⁺0.10	⁺0.10	0.50	⁺0.30	1.80	⁺0.30	0.20	0.70	0.90	GaveUp
`SYN726-1`	0.00	0.00	0.20	0.00	0.00	⁺0.00	⁺0.00	⁺0.40	⁺0.10	0.30
`SYN821-1`	⁺7.20	⁺7.40	11.00	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SYN824-1`	⁺3.60	⁺3.70	5.00	Timeout	2.10	Timeout	4.80	Timeout	11.20	Timeout
`SYN825-1`	⁺12.70	⁺13.00	19.30	Timeout	8.10	Timeout	Unknown	WCout	26.10	Timeout
`SYN826-1`	⁺13.20	⁺13.70	20.70	Timeout	9.30	Timeout	Unknown	WCout	27.40	Timeout
`SYN831-1`	⁺18.20	⁺18.40	28.60	Timeout	14.70	Timeout	Unknown	WCout	59.80	Timeout
`SYN835-1`	⁺0.80	⁺0.80	2.20	⁺12.60	0.40	Timeout	0.50	Timeout	6.00	Timeout
`SYN841-1`	⁺22.30	⁺22.60	33.60	Timeout	17.70	Timeout	Unknown	WCout	104.40	Timeout
`SYN845-1`	0.60	0.60	2.10	11.30	0.40	Timeout	⁺0.70	Timeout	⁺5.30	Timeout
`SYN853-1`	⁺37.80	⁺40.50	61.00	Timeout	22.20	Timeout	Unknown	WCout	159.70	Timeout
`SYN864-1`	⁺10.20	⁺10.70	39.70	Timeout	6.80	Timeout	9.00	WCout	34.10	Timeout
`SYN884-1`	0.30	0.30	0.40	24.50	0.20	Timeout	⁺2.00	Timeout	⁺3.20	Timeout
`SYN900-1`	0.40	0.40	0.50	33.80	0.20	Timeout	⁺1.90	Timeout	⁺3.60	Timeout
Attempted	100	100	100	100	100	100	100	100	100	100
Solved	98	98	97	88	80	76	75	74	73	46
Av. Time	1.87	1.93	4.66	2.69	4.31	2.90	2.10	1.79	8.68	13.07
Solutions	48	48	0	40	0	76	49	43	45	0
SOTAC	0.13	0.13	0.13	0.12	0.12	0.11	0.12	0.11	0.11	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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for UEQ

UEQ	Waldmeister 806	Vampire 9.0	E 0.999	Otter 3.3	Metis 2.0	Equinox 1.2	Geo 2007f
`BOO023-1`	⁺0.30	⁺5.60	0.70	GaveUp	Timeout	Timeout	Timeout
`BOO034-1`	⁺0.00	⁺0.00	0.00	⁺18.50	Timeout	Timeout	Timeout
`BOO072-1`	⁺0.00	⁺4.00	0.20	⁺1.00	⁺42.70	Timeout	Timeout
`BOO073-1`	⁺1.30	⁺40.00	5.50	GaveUp	Timeout	Timeout	Timeout
`BOO074-1`	⁺0.00	⁺3.90	0.10	⁺1.00	Timeout	Timeout	Timeout
`COL003-1`	⁺0.30	Timeout	13.10	GaveUp	Timeout	Timeout	Timeout
`COL003-12`	⁺0.00	⁺0.60	0.10	⁺0.30	⁺4.90	Timeout	Timeout
`COL003-17`	⁺0.00	⁺3.70	0.10	⁺1.80	Timeout	Timeout	Timeout
`COL003-19`	⁺0.00	⁺3.70	0.10	⁺2.00	Timeout	Timeout	Timeout
`COL004-1`	⁺0.00	⁺43.20	0.20	Timeout	Timeout	Timeout	Timeout
`COL006-1`	⁺0.20	⁺219.70	308.70	Timeout	Timeout	Timeout	Timeout
`COL006-5`	⁺0.00	Timeout	3.50	Timeout	Timeout	Timeout	Timeout
`COL006-6`	⁺0.00	Timeout	Timeout	Timeout	Timeout	0.10	Timeout
`COL011-1`	⁺0.10	⁺121.10	Timeout	⁺0.20	Timeout	Timeout	Timeout
`COL036-1`	⁺0.10	⁺170.10	1.80	GaveUp	Timeout	Timeout	Timeout
`COL041-1`	⁺0.10	⁺0.00	0.30	⁺0.10	Timeout	Timeout	Timeout
`COL043-1`	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-7`	⁺0.00	⁺137.70	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-9`	⁺0.00	⁺153.90	Timeout	Timeout	Timeout	Timeout	Timeout
`COL046-1`	⁺0.20	⁺27.00	11.10	Timeout	Timeout	Timeout	Timeout
`COL061-1`	⁺0.20	⁺0.00	0.00	Timeout	⁺2.40	Timeout	Timeout
`COL062-1`	⁺0.00	⁺0.20	0.20	Timeout	⁺33.30	Timeout	Timeout
`COL063-1`	⁺0.00	⁺0.30	0.40	Timeout	⁺39.40	Timeout	Timeout
`COL065-1`	⁺0.90	⁺5.00	9.10	Timeout	Timeout	Timeout	Timeout
`GRP024-5`	⁺2.30	⁺8.40	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP114-1`	⁺0.10	⁺6.80	4.80	⁺76.20	⁺141.80	Timeout	Timeout
`GRP164-1`	⁺14.00	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP164-2`	⁺14.10	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP167-1`	⁺0.50	⁺141.40	142.50	⁺12.20	⁺24.20	Timeout	Timeout
`GRP167-3`	⁺4.90	⁺5.80	1.60	GaveUp	Timeout	Timeout	Timeout
`GRP177-2`	⁺5.70	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`GRP178-1`	⁺0.20	⁺81.10	2.50	GaveUp	Timeout	Timeout	Timeout
`GRP179-1`	⁺2.70	⁺4.50	2.20	GaveUp	Timeout	Timeout	Timeout
`GRP179-2`	⁺0.40	⁺4.40	1.50	GaveUp	Timeout	Timeout	Timeout
`GRP179-3`	⁺0.30	⁺4.70	3.30	GaveUp	Timeout	Timeout	Timeout
`GRP180-2`	⁺0.50	⁺4.40	10.70	GaveUp	Timeout	Timeout	Timeout
`GRP181-2`	⁺3.80	⁺6.70	19.10	GaveUp	Timeout	Timeout	Timeout
`GRP181-4`	⁺4.40	⁺0.70	1.00	GaveUp	⁺82.40	Timeout	Timeout
`GRP183-2`	⁺1.50	⁺158.10	9.80	GaveUp	Timeout	Timeout	Timeout
`GRP183-3`	⁺0.40	⁺155.90	1.90	⁺18.30	Timeout	Timeout	Timeout
`GRP183-4`	⁺0.30	⁺157.90	12.40	GaveUp	Timeout	Timeout	Timeout
`GRP184-1`	⁺0.00	⁺125.10	3.30	GaveUp	Timeout	Timeout	Timeout
`GRP184-2`	⁺0.00	⁺129.60	10.40	GaveUp	Timeout	26.60	Timeout
`GRP184-3`	⁺0.00	⁺125.10	3.30	GaveUp	Timeout	Timeout	Timeout
`GRP185-4`	⁺0.00	Timeout	Timeout	⁺26.60	Timeout	Timeout	Timeout
`GRP202-1`	⁺0.20	⁺9.50	1.90	⁺3.80	⁺10.10	Timeout	Timeout
`GRP404-1`	⁺0.10	⁺12.60	Timeout	⁺155.70	Timeout	Timeout	Timeout
`GRP410-1`	⁺0.40	⁺3.90	8.90	GaveUp	Timeout	Timeout	Timeout
`GRP411-1`	⁺0.30	⁺3.30	11.60	GaveUp	⁺99.30	Timeout	Timeout
`GRP419-1`	⁺0.40	⁺18.20	1.80	⁺142.60	Timeout	Timeout	Timeout
`GRP429-1`	⁺0.00	⁺3.80	0.90	GaveUp	Timeout	Timeout	Timeout
`GRP444-1`	⁺0.00	⁺8.30	0.20	GaveUp	Timeout	Timeout	Timeout
`GRP447-1`	⁺0.00	⁺0.00	0.10	GaveUp	⁺2.20	Timeout	Timeout
`GRP477-1`	⁺0.10	⁺1.00	0.10	Timeout	Timeout	Timeout	Timeout
`GRP478-1`	⁺0.10	⁺1.70	0.10	⁺15.80	Timeout	Timeout	Timeout
`GRP567-1`	⁺0.00	⁺2.00	Timeout	⁺0.20	Timeout	Timeout	Timeout
`GRP571-1`	⁺0.00	⁺0.50	2.90	⁺0.20	Timeout	Timeout	Timeout
`LAT007-1`	⁺0.00	⁺7.20	0.80	⁺2.70	Timeout	Timeout	Timeout
`LAT020-1`	⁺18.00	⁺50.20	330.20	Timeout	Timeout	Timeout	Timeout
`LAT081-1`	⁺3.60	⁺1.90	2.20	GaveUp	⁺30.00	Timeout	Timeout
`LAT087-1`	⁺3.70	⁺0.90	0.80	GaveUp	⁺22.40	Timeout	Timeout
`LAT092-1`	⁺1.90	⁺0.50	0.40	GaveUp	⁺19.90	Timeout	Timeout
`LAT094-1`	⁺1.90	⁺0.50	0.40	GaveUp	⁺20.00	Timeout	Timeout
`LAT096-1`	⁺1.90	⁺0.70	0.40	GaveUp	Timeout	Timeout	Timeout
`LAT138-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺305.10
`LAT145-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT149-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT151-1`	⁺5.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT155-1`	⁺235.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT156-1`	Timeout	Timeout	Timeout	⁺91.20	Timeout	Timeout	Timeout
`LAT157-1`	⁺225.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT159-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT163-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT166-1`	⁺297.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT167-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT168-1`	⁺0.20	⁺0.30	Timeout	⁺0.20	Timeout	Timeout	Timeout
`LAT169-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT171-1`	⁺35.20	Timeout	Timeout	⁺0.70	Timeout	Timeout	⁺206.40
`LAT172-1`	⁺194.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT173-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT174-1`	⁺354.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT175-1`	⁺190.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG019-7`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	Timeout	Timeout
`RNG020-6`	⁺0.00	⁺0.00	0.00	⁺0.20	Timeout	Timeout	Timeout
`RNG021-7`	⁺0.00	⁺0.00	0.00	GaveUp	Timeout	Timeout	Timeout
`RNG025-4`	⁺0.20	Timeout	Timeout	⁺1.60	Timeout	Timeout	Timeout
`RNG025-6`	⁺0.00	⁺294.50	2.00	⁺4.80	Timeout	Timeout	Timeout
`RNG025-7`	⁺0.00	⁺183.00	3.80	⁺5.50	Timeout	Timeout	Timeout
`RNG026-6`	⁺0.00	⁺0.00	0.00	GaveUp	Timeout	Timeout	Timeout
`RNG027-5`	⁺1.20	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`RNG027-8`	⁺1.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG028-5`	⁺0.90	Timeout	Timeout	GaveUp	Unknown	Timeout	Timeout
`RNG028-8`	⁺0.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG028-9`	⁺1.40	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`RNG029-5`	⁺1.90	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`RNG029-6`	⁺1.70	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`RNG029-7`	⁺2.00	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`RNG035-7`	⁺2.40	Timeout	32.30	Timeout	Timeout	Timeout	Timeout
`ROB006-1`	⁺6.80	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
`ROB026-1`	⁺6.90	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout
Attempted	100	100	100	100	100	100	100
Solved	91	63	59	27	15	2	2
Av. Time	18.22	42.30	16.73	21.61	38.33	13.35	255.75
Solutions	91	63	0	27	15	0	2
SOTAC	0.47	0.30	0.30	0.30	0.23	0.38	0.67
New Attempted	0	0	0	0	0	0	0
New Solved	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: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FNE

FNE	Fampire 1.3	Vampire 9.0	E 0.999	Vampire 8.1	iProver 0.2	EP 0.999	Equinox 1.2	Geo 2007f	leanCoP 2.0	Metis 2.0	Otter 3.3	ileanCoP 1.2	Muscadet 2.7
`COM003+2`	0.10	⁺0.00	0.00	⁺0.00	0.10	⁺0.10	56.00	⁺20.80	0.40	⁺0.40	⁺0.10	1.70	GaveUp
`COM003+3`	0.10	⁺0.00	92.30	⁺0.00	15.70	⁺0.20	25.00	⁺0.30	226.10	Timeout	Timeout	Timeout	GaveUp
`COM008+1`	2.20	⁺46.90	0.60	Timeout	Timeout	⁺1.00	Timeout	⁺0.30	Timeout	Timeout	GaveUp	Timeout	0.20
`GEO169+1`	0.70	⁺8.80	2.60	⁺0.60	0.90	Timeout	69.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`KRS132+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.20	⁺0.00	0.20	⁺0.00	⁺0.10	Timeout	GaveUp
`KRS151+1`	0.20	⁺0.10	0.10	⁺0.10	0.10	⁺0.20	12.50	⁺114.10	11.70	Timeout	⁺0.10	Timeout	GaveUp
`KRS153+1`	0.20	⁺0.00	0.20	⁺0.10	0.40	⁺0.20	97.00	Timeout	1.00	Timeout	⁺0.10	Timeout	Unknown
`KRS154+1`	0.10	⁺0.00	0.10	⁺0.00	0.10	⁺0.20	0.40	⁺4.10	0.20	⁺5.10	⁺0.10	3.60	GaveUp
`KRS155+1`	0.30	⁺0.10	0.10	⁺0.00	0.40	⁺0.20	0.40	Timeout	351.90	Timeout	⁺0.10	Timeout	GaveUp
`KRS161+1`	0.20	⁺0.10	0.10	⁺0.10	0.20	⁺0.20	2.00	Timeout	0.30	Timeout	⁺0.10	226.20	GaveUp
`LAT258+1`	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺190.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL414+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	Timeout	⁺0.30	0.10	⁺0.10	⁺0.10	0.10	GaveUp
`MED002+1`	0.10	⁺0.00	Timeout	⁺0.00	0.10	⁺0.20	2.80	⁺0.00	226.60	⁺28.50	⁺0.20	9.50	GaveUp
`MED003+1`	0.10	⁺4.70	0.90	⁺1.60	0.10	⁺0.20	1.00	⁺0.00	226.20	Timeout	⁺9.00	0.30	GaveUp
`MED005+1`	0.40	⁺1.90	0.20	⁺0.40	0.10	⁺0.40	Timeout	⁺2.20	275.50	Timeout	Timeout	Timeout	GaveUp
`MED006+1`	0.20	⁺0.10	0.20	⁺0.20	0.10	⁺0.40	217.00	⁺1.10	312.30	⁺2.00	Timeout	Timeout	GaveUp
`MED007+1`	1.70	⁺21.20	11.60	⁺25.50	0.10	⁺16.10	172.50	⁺0.80	244.50	Timeout	Timeout	Timeout	GaveUp
`MED008+1`	0.30	⁺0.50	1.10	⁺0.20	0.10	⁺1.60	Timeout	⁺1.60	Timeout	⁺1.60	⁺310.90	Timeout	GaveUp
`MED009+1`	2.90	⁺20.20	11.20	⁺24.50	0.10	⁺26.60	Timeout	⁺1.20	Timeout	Timeout	Timeout	Timeout	GaveUp
`MED010+1`	0.50	⁺1.30	0.20	⁺0.40	0.20	⁺0.50	Timeout	⁺0.90	237.50	Timeout	Timeout	Timeout	GaveUp
`NLP081+1`	0.20	⁺0.00	0.00	⁺0.10	0.80	⁺0.10	0.10	⁺0.20	0.20	⁺65.20	Timeout	0.30	GaveUp
`NLP094+1`	0.20	⁺0.00	26.10	⁺0.00	61.20	⁺116.80	0.00	⁺0.10	0.20	⁺0.30	Timeout	0.20	GaveUp
`NLP122+1`	0.10	⁺0.00	0.60	⁺0.00	0.20	⁺0.50	0.00	⁺0.10	0.10	⁺0.00	Timeout	0.20	GaveUp
`PUZ031+1`	0.10	⁺0.00	0.00	⁺0.00	0.10	⁺0.10	0.10	⁺0.10	0.20	⁺0.00	⁺0.10	94.20	GaveUp
`SYN036+2`	0.10	⁺0.00	5.60	⁺0.00	Timeout	⁺17.80	0.10	⁺0.10	1.10	⁺0.30	Timeout	Timeout	GaveUp
`SYN051+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	Timeout	GaveUp
`SYN053+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	Unknown	GaveUp
`SYN058+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	0.10	GaveUp
`SYN063+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.10	0.10	⁺0.00	⁺0.10	Timeout	GaveUp
`SYN065+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.10	⁺0.00	0.10	⁺0.00	⁺0.10	0.10	0.00
`SYN073+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	Unknown	GaveUp
`SYN318+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	Unknown	GaveUp
`SYN334+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.30	⁺0.10	3.20	⁺0.00	⁺0.10	Timeout	GaveUp
`SYN345+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.20	0.10	⁺0.00	⁺0.10	Unknown	GaveUp
`SYN349+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.20	⁺0.70	0.30	⁺0.00	⁺0.20	Timeout	GaveUp
`SYN369+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.30	⁺0.00	⁺0.10	Unknown	GaveUp
`SYN380+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	Unknown	GaveUp
`SYN386+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	Timeout	⁺0.00	0.30	⁺0.00	⁺0.10	0.10	GaveUp
`SYN410+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	0.20	GaveUp
`SYN447+1`	0.70	⁺2.30	151.60	⁺1.10	31.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN450+1`	0.70	⁺0.90	23.70	⁺0.60	9.60	⁺48.10	203.60	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN454+1`	0.30	⁺0.60	8.80	⁺0.50	4.80	⁺19.80	202.70	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN467+1`	1.20	⁺1.50	25.50	⁺1.20	11.40	⁺129.50	134.40	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN471+1`	0.30	⁺0.70	6.90	⁺0.60	8.60	⁺28.50	277.10	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN475+1`	0.40	⁺1.70	6.70	⁺0.70	9.10	⁺19.00	108.30	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN478+1`	0.30	⁺0.60	24.40	⁺1.10	2.00	⁺48.40	41.50	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN482+1`	0.60	⁺1.40	21.20	⁺1.10	9.10	⁺49.70	161.40	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN483+1`	0.30	⁺1.80	7.70	⁺1.00	2.40	⁺19.30	32.00	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN485+1`	0.60	⁺0.60	9.40	⁺0.60	3.20	⁺14.00	198.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SYN505+1`	0.30	⁺0.70	47.60	⁺0.80	1.80	⁺29.80	79.10	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN512+1`	0.60	⁺1.00	17.60	⁺0.80	2.60	⁺39.10	93.20	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown
`SYN548+1`	2.70	⁺2.30	74.80	Timeout	19.00	Timeout	Timeout	⁺0.00	4.00	⁺12.90	⁺95.90	Timeout	GaveUp
`SYN550+1`	1.80	⁺0.00	111.70	⁺0.00	11.00	Timeout	2.40	⁺0.00	0.20	⁺0.30	Timeout	8.30	GaveUp
`SYN723+1`	2.10	⁺25.00	216.10	⁺1.90	Timeout	258.50	4.00	⁺2.00	Timeout	Timeout	GaveUp	Timeout	GaveUp
`SYN733+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	0.10	GaveUp
`SYN920+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.30	⁺0.00	⁺0.10	Timeout	GaveUp
`SYN924+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	GaveUp
`SYN934+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	0.00	⁺0.10	Unknown	GaveUp
`SYN935+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	0.00	⁺0.10	Unknown	GaveUp
`SYN965+1`	0.10	⁺0.00	0.00	⁺0.00	0.00	⁺0.10	0.00	⁺0.00	0.10	⁺0.00	⁺0.10	Unknown	GaveUp
Attempted	60	60	60	60	60	60	60	60	60	60	60	60	60
Solved	59	59	58	57	56	55	50	44	42	34	33	17	2
Av. Time	0.44	2.49	15.65	1.15	3.70	16.17	43.90	7.76	50.63	3.43	12.70	20.31	0.10
Solutions	0	59	0	57	0	54	0	44	0	31	33	0	0
SOTAC	0.11	0.11	0.11	0.11	0.11	0.11	0.11	0.12	0.10	0.09	0.09	0.09	0.12
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FEQ

FEQ	Vampire 9.0	Vampire 8.1	Fampire 1.3	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	leanCoP 2.0	Otter 3.3	ileanCoP 1.2	Metis 2.0	Geo 2007f	Muscadet 2.7
`AGT003+2`	⁺0.00	⁺3.70	4.10	0.20	Timeout	0.40	1.00	0.20	⁺0.20	0.20	Timeout	Timeout	GaveUp
`AGT006+2`	Timeout	⁺285.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`AGT012+2`	⁺13.10	⁺101.30	131.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`AGT013+1`	⁺149.60	⁺14.10	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT020+1`	⁺10.30	⁺37.50	86.70	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT022+1`	⁺162.40	⁺106.40	9.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`AGT023+2`	⁺9.50	⁺22.30	24.70	Timeout	Timeout	Timeout	Timeout	13.10	GaveUp	235.80	Timeout	Timeout	GaveUp
`ALG018+1`	⁺0.30	⁺0.10	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.20	Timeout	⁺0.40	⁺0.00	GaveUp
`ALG019+1`	⁺0.10	⁺0.00	0.40	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.10	Timeout	⁺0.10	⁺0.00	GaveUp
`ALG072+1`	⁺236.20	⁺69.40	20.80	2.30	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	⁺0.70	GaveUp
`ALG073+1`	⁺0.00	⁺0.00	0.10	8.70	⁺0.50	145.90	0.00	Timeout	⁺0.10	Timeout	WCout	⁺0.10	GaveUp
`ALG074+1`	⁺3.90	⁺54.30	40.80	1.40	Timeout	Timeout	0.40	Timeout	⁺0.20	Timeout	Timeout	⁺0.40	GaveUp
`ALG210+2`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	WCout	Timeout	Timeout	⁺0.10	Timeout	⁺241.20	Timeout	GaveUp
`CSR001+1`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR001+2`	⁺2.40	⁺19.40	19.60	13.30	⁺37.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR004+1`	Timeout	Timeout	Unknown	128.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR005+1`	⁺94.90	⁺84.00	60.00	69.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR006+1`	⁺42.40	⁺0.90	0.80	23.30	⁺29.90	Timeout	Timeout	Timeout	Timeout	Timeout	⁺16.70	Timeout	GaveUp
`CSR008+1`	⁺42.60	⁺0.10	1.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺13.70	Timeout	GaveUp
`CSR011+1`	⁺133.60	⁺93.20	211.40	159.00	Timeout	Timeout	64.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`CSR018+1`	⁺0.00	⁺0.00	0.20	2.00	⁺4.00	2.80	6.40	Timeout	Timeout	Timeout	⁺0.20	Timeout	GaveUp
`CSR019+1`	⁺0.00	⁺0.00	0.20	0.20	⁺0.20	2.00	15.60	Timeout	Timeout	Timeout	⁺0.10	⁺58.00	GaveUp
`CSR021+1`	⁺0.00	⁺0.10	0.20	0.20	⁺1.00	1.80	0.50	Timeout	Timeout	Timeout	⁺0.20	⁺121.50	GaveUp
`CSR024+1.009`	⁺93.30	⁺0.50	0.30	0.30	Timeout	Timeout	Timeout	Unknown	⁺98.60	Timeout	Timeout	Timeout	GaveUp
`CSR024+1.010`	⁺110.70	⁺92.70	0.50	0.60	Timeout	WCout	Timeout	Timeout	⁺151.70	Timeout	Timeout	Timeout	GaveUp
`GEO083+1`	⁺10.30	⁺106.10	39.80	99.50	⁺59.50	2.10	Timeout	4.50	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO089+1`	⁺54.20	⁺110.00	Unknown	143.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO093+1`	⁺8.20	⁺0.10	20.00	10.50	⁺27.40	Timeout	Timeout	136.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`GEO094+1`	⁺39.30	⁺101.10	0.80	0.00	⁺0.10	47.70	Timeout	Timeout	⁺29.70	Timeout	Timeout	⁺3.60	GaveUp
`GEO124+1`	⁺0.20	⁺0.00	0.20	0.00	⁺0.10	2.30	0.40	26.80	⁺28.50	Timeout	Timeout	Timeout	GaveUp
`GEO127+1`	⁺0.00	⁺0.00	6.60	0.10	⁺0.10	76.10	Timeout	Timeout	Timeout	Timeout	Timeout	⁺2.90	GaveUp
`GEO146+1`	⁺0.40	⁺0.00	0.10	0.10	⁺0.20	0.90	0.10	1.30	Timeout	0.50	⁺13.20	⁺78.40	GaveUp
`GEO147+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.50	0.10	0.20	⁺9.10	0.90	⁺0.90	Timeout	GaveUp
`GRA002+2`	⁺87.60	⁺50.80	21.90	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺9.20	GaveUp
`GRA003+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.70	0.10	3.50	⁺0.60	226.70	⁺7.30	⁺0.60	0.60
`GRA004+1`	⁺0.00	⁺0.10	22.70	0.00	⁺0.10	3.80	0.50	19.90	Timeout	Timeout	Timeout	⁺0.80	GaveUp
`GRA008+1`	⁺9.70	⁺22.10	75.00	2.40	⁺3.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺2.70	GaveUp
`GRA010+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	0.10	0.20	Timeout	0.50	0.00	⁺1.80	GaveUp
`GRA011+1`	⁺202.70	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺6.50	GaveUp
`GRA012+1`	⁺203.10	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	⁺7.10	GaveUp
`HAL001+2`	Timeout	⁺2.30	130.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL462+1`^*	⁺95.80	⁺58.10	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL468+1`^*	⁺98.90	⁺59.50	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL488+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.30	Timeout	Timeout	Timeout	GaveUp
`LCL496+1`^*	⁺0.00	⁺16.00	38.30	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL505+1`^*	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL510+1`^*	⁺75.30	⁺4.80	Unknown	0.30	Timeout	WCout	Timeout	Timeout	⁺102.10	Timeout	Timeout	Timeout	GaveUp
`LCL512+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.20	0.20	⁺0.20	1.90	⁺0.00	⁺0.80	GaveUp
`LCL523+1`^*	⁺31.80	⁺4.70	75.20	1.80	⁺3.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL524+1`^*	⁺20.60	⁺1.70	75.50	65.80	99.40	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL525+1`^*	⁺0.00	⁺0.00	0.90	0.00	⁺0.10	0.00	Timeout	Timeout	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`LCL536+1`^*	⁺0.00	⁺0.00	0.90	0.00	⁺0.10	0.00	Timeout	0.20	⁺0.30	0.40	⁺0.40	Timeout	GaveUp
`LCL540+1`^*	⁺0.00	⁺0.00	9.40	0.10	⁺0.10	0.00	Timeout	6.00	⁺2.60	0.60	Timeout	⁺62.90	GaveUp
`LCL544+1`^*	⁺0.00	⁺0.00	1.40	0.10	⁺0.20	0.10	Timeout	3.00	⁺0.40	Timeout	Timeout	⁺246.80	GaveUp
`LCL546+1`^*	⁺9.20	⁺0.70	74.90	0.80	⁺1.80	WCout	Timeout	Timeout	⁺193.80	Timeout	Timeout	Timeout	GaveUp
`LCL551+1`^*	⁺89.90	⁺54.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL555+1`^*	⁺18.40	⁺37.20	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`LCL558+1`^*	⁺108.70	⁺103.80	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL559+1`^*	⁺105.50	⁺101.20	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL562+1`^*	⁺17.20	⁺54.70	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`LCL568+1`^*	⁺83.60	⁺54.60	Unknown	1.30	169.50	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`MGT029+1`	⁺131.60	⁺7.00	0.50	0.60	⁺279.00	2.00	1.70	Timeout	Timeout	Timeout	⁺49.80	⁺4.20	6.20
`MGT034+2`	⁺0.00	⁺0.00	0.20	0.20	⁺0.70	1.00	0.50	Timeout	⁺49.70	Timeout	⁺0.50	⁺21.10	GaveUp
`MGT042+1`	⁺14.40	⁺22.20	0.30	Timeout	Timeout	70.90	2.00	Timeout	Timeout	Timeout	⁺1.10	⁺6.10	GaveUp
`MGT047+1`	⁺39.80	⁺38.90	1.60	0.30	⁺56.80	44.80	2.50	Timeout	Timeout	Timeout	⁺56.20	⁺25.50	GaveUp
`MGT051+1`	⁺39.50	⁺38.00	0.90	0.30	⁺48.90	19.30	9.80	Timeout	Timeout	Timeout	⁺14.30	⁺15.10	GaveUp
`NUM304+1`	⁺0.10	⁺0.60	0.20	0.00	⁺0.10	1.50	3.30	0.20	⁺1.00	226.40	⁺0.10	Timeout	GaveUp
`NUM316+1`	⁺17.00	⁺10.70	36.40	Timeout	Timeout	Timeout	Timeout	4.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`NUM334+1`	⁺8.80	⁺10.90	36.40	Timeout	Timeout	Timeout	Timeout	0.20	GaveUp	0.50	Timeout	Timeout	GaveUp
`NUM335+1`	⁺11.60	⁺19.50	36.30	Timeout	Timeout	Timeout	Timeout	0.20	Timeout	0.30	Timeout	Timeout	GaveUp
`NUM340+1`	⁺9.10	⁺10.70	36.60	Timeout	Timeout	Timeout	Timeout	0.20	GaveUp	0.40	⁺9.50	Timeout	GaveUp
`NUM346+1`	⁺10.00	⁺24.50	41.90	Timeout	Timeout	Timeout	Timeout	8.50	GaveUp	227.90	Timeout	Timeout	GaveUp
`NUM386+1`	⁺0.00	⁺0.30	0.10	0.00	⁺0.20	40.30	0.30	3.70	Timeout	18.20	Timeout	Timeout	GaveUp
`NUM398+1`	⁺0.00	⁺0.10	0.10	0.10	⁺0.20	0.10	7.70	2.10	Timeout	12.40	⁺8.90	⁺0.40	0.10
`SET008+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	Timeout	0.20	⁺1.00	33.30	⁺20.10	⁺4.30	0.00
`SET010+3`	⁺92.30	⁺16.90	7.20	Timeout	Timeout	4.50	Timeout	234.10	Timeout	Timeout	Timeout	Timeout	0.10
`SET014+3`	⁺4.30	⁺0.10	0.20	0.10	⁺0.30	0.30	0.10	0.30	Timeout	0.40	Timeout	⁺0.50	0.00
`SET015+4`	⁺3.70	⁺9.10	88.90	28.60	⁺39.90	0.50	Timeout	0.80	Timeout	21.40	Timeout	Timeout	0.00
`SET016+1`	Timeout	⁺3.00	Unknown	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	5.30
`SET056+1`	⁺0.10	⁺0.00	10.00	0.00	⁺0.10	0.10	Timeout	1.40	⁺288.70	Timeout	⁺28.60	Timeout	GaveUp
`SET067+1`	⁺5.40	⁺0.00	16.20	0.10	⁺0.20	WCout	Timeout	3.30	Timeout	232.60	Timeout	Timeout	0.80
`SET082+1`	⁺3.90	⁺0.00	65.40	0.10	⁺0.10	Timeout	4.60	227.90	⁺32.00	41.60	⁺21.20	Timeout	0.80
`SET083+1`	⁺0.00	⁺0.10	10.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺0.50	Timeout	⁺86.00	Timeout	0.70
`SET101+1`	⁺0.10	⁺0.00	0.30	0.00	⁺0.20	1.00	5.90	Timeout	⁺0.10	Timeout	⁺0.00	Timeout	0.80
`SET105+1`	Timeout	Timeout	Unknown	24.00	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET173+3`	⁺0.00	⁺0.10	0.10	0.10	⁺0.10	0.40	Timeout	0.10	⁺7.40	0.40	⁺4.60	⁺0.50	0.00
`SET577+3`	⁺0.00	⁺0.10	0.10	0.20	⁺0.40	0.20	0.30	0.20	Timeout	1.10	⁺3.20	⁺2.00	0.00
`SET580+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.00	Timeout	Timeout	Timeout	Timeout	⁺1.50	0.20
`SET587+3`	⁺0.00	⁺0.10	0.10	0.00	⁺0.10	0.30	Timeout	0.40	Timeout	Timeout	⁺0.20	⁺2.80	0.00
`SET593+3`	⁺12.80	⁺0.10	0.10	0.10	⁺1.00	0.80	0.10	0.40	Timeout	31.40	Timeout	⁺29.70	0.00
`SET601+3`	⁺4.00	⁺35.20	Unknown	120.70	Timeout	Timeout	Timeout	260.90	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET606+3`	⁺0.00	⁺12.10	0.10	8.40	⁺29.60	2.60	Timeout	0.30	Timeout	Timeout	Timeout	⁺108.80	0.00
`SET607+3`	⁺2.00	⁺12.10	0.20	11.20	⁺19.80	0.50	Timeout	0.30	Timeout	Timeout	Timeout	⁺38.30	0.10
`SET608+3`	⁺0.10	⁺12.10	0.10	70.90	Timeout	6.20	Timeout	0.30	Timeout	Timeout	Timeout	Timeout	0.00
`SET610+3`	⁺0.90	⁺12.10	0.10	33.50	⁺29.80	0.80	Timeout	0.90	Timeout	Timeout	Timeout	Timeout	0.10
`SET614+3`	⁺3.50	⁺12.30	0.30	32.00	Timeout	4.40	Timeout	1.10	Timeout	Timeout	Timeout	Timeout	0.10
`SET615+3`	⁺104.10	⁺15.70	2.30	35.50	Timeout	3.30	Timeout	228.00	Timeout	Timeout	Timeout	Timeout	0.10
`SET619+3`	⁺0.30	⁺5.00	5.50	0.00	⁺0.10	Timeout	0.60	Timeout	⁺126.00	Timeout	⁺94.90	⁺212.40	0.10
`SET630+3`	⁺0.10	⁺0.10	31.30	0.00	⁺0.10	14.90	2.10	0.30	Timeout	Timeout	Timeout	⁺1.00	0.10
`SET634+3`	⁺0.50	⁺12.20	0.20	21.50	Timeout	9.00	Timeout	1.50	Timeout	Timeout	Timeout	Timeout	0.10
`SET637+3`	⁺0.30	⁺0.00	0.40	0.10	⁺0.80	0.60	Timeout	0.20	⁺184.70	Timeout	Timeout	⁺0.20	GaveUp
`SET641+3`	⁺0.90	⁺0.00	0.20	0.00	⁺0.10	0.90	Timeout	282.30	⁺28.30	Timeout	⁺0.70	⁺334.10	GaveUp
`SET644+3`	⁺37.10	⁺1.40	0.10	0.10	⁺0.20	WCout	Timeout	Timeout	⁺20.90	Timeout	Timeout	Timeout	GaveUp
`SET645+3`	⁺31.00	⁺1.10	0.10	0.00	⁺0.10	121.80	Timeout	Timeout	⁺4.40	Timeout	⁺14.20	Timeout	GaveUp
`SET649+3`	⁺118.60	⁺0.00	0.70	4.00	⁺49.50	WCout	Timeout	Timeout	⁺6.70	Timeout	Timeout	Timeout	GaveUp
`SET652+3`	⁺118.70	⁺0.10	0.60	28.30	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET653+3`	⁺1.10	⁺0.00	0.10	0.00	⁺0.10	0.40	Timeout	334.00	⁺0.10	Timeout	Timeout	Timeout	GaveUp
`SET654+3`	⁺2.40	⁺0.00	0.10	0.00	⁺0.10	0.40	Timeout	314.70	⁺0.20	Timeout	Timeout	Timeout	GaveUp
`SET656+3`	⁺150.00	⁺3.80	0.20	29.50	Timeout	36.20	Timeout	Timeout	⁺56.30	Timeout	⁺130.00	Timeout	GaveUp
`SET660+3`	⁺149.50	Timeout	0.10	19.60	⁺0.20	67.50	Timeout	Timeout	Timeout	Timeout	⁺71.00	Timeout	GaveUp
`SET661+3`	Timeout	⁺11.00	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET664+3`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	4.10	Timeout	Timeout	⁺0.20	Timeout	⁺0.90	Timeout	GaveUp
`SET665+3`	⁺14.20	⁺4.10	74.70	3.30	⁺4.90	25.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET666+3`	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺18.80	Timeout	⁺2.90	Timeout	GaveUp
`SET667+3`	⁺227.40	⁺251.70	1.60	0.00	⁺0.10	43.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET668+3`	⁺149.90	⁺3.60	0.10	0.80	⁺0.60	2.80	Timeout	Timeout	Timeout	Timeout	⁺12.10	Timeout	GaveUp
`SET672+3`	Timeout	Timeout	203.10	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET675+3`	⁺2.50	⁺0.00	0.10	8.30	⁺9.90	WCout	Timeout	Timeout	⁺0.20	Timeout	Timeout	Timeout	GaveUp
`SET678+3`	⁺153.40	⁺4.00	74.80	0.10	⁺0.30	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET680+3`	⁺149.40	⁺0.10	0.30	0.00	⁺0.10	160.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET682+3`	⁺0.40	⁺11.20	0.10	0.00	⁺0.10	29.90	Timeout	Timeout	⁺5.20	Timeout	⁺1.20	Timeout	GaveUp
`SET686+3`	⁺346.80	⁺182.70	0.30	0.00	189.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SET697+4`	⁺12.10	Timeout	Unknown	3.70	⁺1.10	WCout	Timeout	287.50	Timeout	Timeout	Timeout	Timeout	0.00
`SET699+4`	Timeout	⁺302.70	95.40	1.40	Timeout	Timeout	Timeout	2.40	Timeout	Timeout	Timeout	Timeout	0.00
`SET703+4`	Timeout	⁺129.40	Unknown	Timeout	Timeout	2.90	Timeout	6.30	Timeout	181.90	Timeout	Timeout	0.20
`SET742+4`	Timeout	Timeout	Unknown	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10
`SET752+4`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	0.10
`SET810+4`	⁺12.20	⁺29.30	0.10	Timeout	Timeout	2.70	0.20	14.00	⁺0.20	Timeout	Timeout	Timeout	0.10
`SET902+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.20	0.20	Timeout	⁺0.30	Timeout	⁺0.00	⁺0.20	GaveUp
`SET951+1`	⁺4.10	⁺0.10	0.20	Timeout	Timeout	WCout	2.00	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU069+1`	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	9.90
`SEU170+2`^*	Timeout	Timeout	8.20	21.70	⁺29.80	WCout	0.90	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU220+1`^*	⁺22.10	⁺109.50	112.30	4.90	⁺0.10	WCout	2.10	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU284+2`^*	Timeout	Timeout	148.40	Timeout	Timeout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU292+1`^*	Timeout	Timeout	98.70	0.20	⁺0.40	Timeout	0.40	80.30	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU309+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	9.10	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU319+2`^*	⁺144.80	⁺52.20	Timeout	108.80	⁺119.30	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU357+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU359+2`^*	Timeout	Timeout	Timeout	241.30	⁺254.80	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU362+1`^*	Timeout	⁺123.70	0.20	0.70	⁺2.20	126.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SEU364+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SEU371+2`^*	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	GaveUp
`SWC057+1`	⁺1.00	⁺1.70	9.20	0.20	⁺0.40	WCout	Timeout	Timeout	⁺88.40	Timeout	Timeout	Timeout	GaveUp
`SWC083+1`	⁺119.70	⁺91.30	37.10	0.40	⁺4.10	WCout	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWC085+1`	⁺0.80	⁺0.40	81.00	0.40	⁺0.40	Timeout	Timeout	Timeout	⁺93.30	Timeout	Timeout	Timeout	GaveUp
`SWC257+1`	⁺0.20	⁺0.00	0.70	0.10	⁺0.20	2.60	0.20	Timeout	Timeout	Timeout	⁺0.20	Timeout	GaveUp
`SWC259+1`	⁺0.10	⁺0.00	0.30	0.10	⁺0.20	2.30	0.20	Timeout	Timeout	Timeout	⁺0.20	Timeout	GaveUp
`SWC375+1`	⁺0.10	⁺0.00	0.20	0.00	⁺0.10	295.20	0.20	171.30	⁺0.30	Timeout	⁺0.00	⁺3.20	0.90
`SWV023+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺10.10	0.20	0.00	⁺5.90	Timeout
`SWV025+1`^*	⁺30.80	⁺59.90	0.40	169.00	⁺169.20	7.40	1.20	0.30	Timeout	0.20	Timeout	Timeout	Timeout
`SWV028+1`^*	⁺27.30	Timeout	0.90	86.80	⁺79.50	2.10	0.90	0.70	Timeout	0.20	Timeout	Timeout	Timeout
`SWV029+1`^*	Timeout	Timeout	255.00	Timeout	Timeout	Timeout	56.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV030+1`^*	⁺26.70	⁺23.30	3.80	7.50	⁺9.90	0.80	1.00	0.20	Timeout	0.20	Timeout	Timeout	Timeout
`SWV031+1`^*	⁺31.00	Timeout	Unknown	0.60	⁺1.20	0.60	0.30	0.20	Timeout	0.20	Timeout	Timeout	Timeout
`SWV036+1`^*	Timeout	Timeout	9.10	Timeout	Timeout	5.80	7.40	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV037+1`^*	Timeout	Timeout	48.30	Timeout	Timeout	Timeout	46.60	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV038+1`^*	⁺28.50	Timeout	0.40	103.60	⁺59.60	15.00	0.70	1.10	Timeout	0.30	Timeout	Timeout	Timeout
`SWV043+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.10	0.20	0.00	⁺0.20	Timeout
`SWV045+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.40	0.20	0.00	Timeout	Timeout
`SWV047+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.20	0.00	0.10	0.20	⁺10.10	0.40	0.00	Timeout	Timeout
`SWV057+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺17.70	0.20	0.00	Timeout	Timeout
`SWV058+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺11.00	224.70	0.00	⁺2.00	Timeout
`SWV063+1`^*	⁺0.00	⁺5.30	0.10	0.00	⁺0.20	0.00	0.20	0.20	⁺13.20	0.20	0.00	⁺1.20	Timeout
`SWV064+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.00	0.20	0.20	⁺14.10	0.20	⁺0.40	Timeout	Timeout
`SWV066+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.00	0.20	0.40	⁺27.00	0.20	0.00	Timeout	Timeout
`SWV067+1`^*	⁺1.50	⁺6.30	0.20	0.30	⁺1.30	0.70	2.20	306.70	⁺17.60	304.50	⁺34.10	Timeout	Timeout
`SWV070+1`^*	⁺0.10	⁺0.00	0.30	0.00	⁺0.10	0.00	0.10	0.20	⁺12.60	0.20	0.00	Timeout	Timeout
`SWV074+1`^*	⁺0.10	⁺5.30	0.20	0.00	⁺0.20	0.00	0.30	0.30	⁺25.90	0.20	0.00	Timeout	Timeout
`SWV077+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.20	0.20	⁺12.70	0.20	0.00	⁺55.60	Timeout
`SWV080+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	0.10	0.10	0.20	⁺26.40	0.20	0.00	⁺0.10	Timeout
`SWV081+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺14.40	0.20	0.00	⁺308.00	Timeout
`SWV082+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.20	0.00	0.10	0.20	⁺13.00	0.20	0.00	Timeout	Timeout
`SWV085+1`^*	⁺0.10	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺13.00	0.30	0.00	⁺183.10	Timeout
`SWV086+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.00	227.00	0.00	Timeout	Timeout
`SWV088+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.20	0.20	0.00	⁺294.80	Timeout
`SWV093+1`^*	⁺31.20	Timeout	3.70	Timeout	Timeout	2.30	1.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV095+1`^*	⁺26.60	⁺25.90	2.60	73.10	⁺89.40	0.60	0.90	7.70	Timeout	0.70	Timeout	Timeout	Timeout
`SWV097+1`^*	⁺26.80	Timeout	2.70	Timeout	Timeout	6.20	1.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV104+1`^*	Timeout	Timeout	35.60	0.30	⁺1.10	Timeout	0.40	230.90	Timeout	43.00	Timeout	Timeout	Timeout
`SWV106+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.10	0.20	0.00	Timeout	Timeout
`SWV115+1`^*	⁺18.90	⁺14.70	9.90	Timeout	Timeout	19.80	0.90	0.20	GaveUp	0.30	Timeout	Timeout	Timeout
`SWV116+1`^*	⁺18.60	⁺13.40	8.30	Timeout	Timeout	21.80	0.60	0.40	Timeout	0.20	Timeout	Timeout	Timeout
`SWV122+1`^*	⁺17.90	⁺13.40	8.20	348.80	Timeout	1.00	0.20	0.20	Timeout	0.20	Timeout	Timeout	Timeout
`SWV128+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.00	0.10	0.20	⁺10.10	0.20	0.00	⁺2.00	Timeout
`SWV132+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.30	0.20	⁺10.10	0.40	0.00	⁺13.80	Timeout
`SWV134+1`^*	⁺3.40	⁺0.00	0.20	0.30	⁺1.20	0.70	0.50	0.60	⁺17.20	321.10	⁺22.20	Timeout	Timeout
`SWV137+1`^*	⁺3.40	⁺0.00	0.20	0.30	⁺0.60	0.70	0.60	231.40	⁺35.80	311.60	⁺14.10	⁺158.90	Timeout
`SWV139+1`^*	⁺1.40	⁺0.00	0.10	0.00	⁺0.10	9.80	0.20	Timeout	⁺17.20	Timeout	⁺27.40	⁺3.20	Timeout
`SWV141+1`^*	⁺1.40	⁺0.00	0.10	0.30	⁺0.50	9.30	0.20	Timeout	⁺17.50	Timeout	⁺21.60	⁺29.50	Timeout
`SWV145+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.10	0.10	0.20	⁺17.00	0.20	⁺0.40	⁺3.50	Timeout
`SWV148+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	0.10	0.20	⁺10.00	0.20	⁺0.40	Timeout	Timeout
`SWV149+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	0.10	0.20	⁺10.30	0.20	⁺0.40	⁺3.10	Timeout
`SWV153+1`^*	⁺2.80	⁺16.50	43.80	0.20	⁺0.40	7.90	4.10	5.00	Timeout	16.20	Timeout	Timeout	Timeout
`SWV155+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	1.30	0.10	0.20	Timeout	5.30	Timeout	Timeout	Timeout
`SWV158+1`^*	⁺0.10	⁺4.90	0.10	0.00	⁺0.40	Timeout	0.10	Timeout	⁺12.80	Timeout	⁺0.10	Timeout	Timeout
`SWV159+1`^*	⁺0.10	⁺5.30	0.20	0.00	⁺0.10	0.80	0.20	0.30	⁺18.50	3.90	Timeout	Timeout	Timeout
`SWV163+1`^*	⁺0.40	⁺0.00	0.20	0.30	⁺0.60	2.70	1.30	Timeout	⁺16.70	Timeout	⁺255.60	Timeout	Timeout
`SWV164+1`^*	⁺0.50	⁺0.00	0.10	0.30	⁺0.60	5.60	6.40	Timeout	⁺16.70	Timeout	Timeout	Timeout	Timeout
`SWV165+1`^*	⁺0.30	⁺0.00	0.10	0.30	⁺0.50	9.40	0.20	Timeout	⁺26.00	Timeout	Timeout	Timeout	Timeout
`SWV166+1`^*	⁺0.70	⁺6.60	0.30	0.00	⁺0.10	0.60	0.10	0.20	⁺143.20	0.20	Timeout	Timeout	Timeout
`SWV168+1`^*	⁺1.40	⁺12.60	2.50	0.10	⁺0.10	1.20	0.10	0.20	Timeout	0.20	Timeout	Timeout	Timeout
`SWV169+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.60	0.10	0.20	⁺78.50	0.20	Timeout	Timeout	Timeout
`SWV171+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.60	0.10	0.20	⁺19.10	0.20	Timeout	⁺208.60	Timeout
`SWV174+1`^*	⁺17.00	⁺12.60	1.80	Timeout	Timeout	0.90	Timeout	0.20	⁺17.70	0.20	Timeout	Timeout	Timeout
`SWV175+1`^*	⁺1.40	⁺12.60	2.30	0.00	⁺0.10	0.60	0.10	0.20	Timeout	0.20	Timeout	Timeout	Timeout
`SWV178+1`^*	⁺0.70	⁺6.60	0.30	0.00	⁺0.10	0.60	0.10	0.20	Timeout	0.20	Timeout	Timeout	Timeout
`SWV179+1`^*	⁺0.10	⁺5.30	0.10	0.00	⁺0.10	0.60	0.10	0.20	⁺55.60	0.20	Timeout	Timeout	Timeout
`SWV182+1`^*	⁺5.40	⁺12.60	0.40	0.30	⁺0.60	61.40	0.40	Timeout	⁺74.90	Timeout	Timeout	Timeout	Timeout
`SWV184+1`^*	⁺0.70	⁺6.50	0.30	0.00	⁺0.10	0.60	0.10	0.20	⁺61.50	0.20	Timeout	Timeout	Timeout
`SWV185+1`^*	⁺0.70	⁺7.40	0.30	0.00	⁺0.10	0.60	0.10	0.20	Timeout	0.30	Timeout	Timeout	Timeout
`SWV189+1`^*	⁺0.40	⁺0.00	0.10	0.30	⁺0.50	4.60	1.20	Timeout	⁺17.40	Timeout	Timeout	Timeout	Timeout
`SWV190+1`^*	⁺0.40	⁺0.00	0.10	0.30	⁺0.60	2.90	75.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV191+1`^*	⁺0.70	⁺0.00	0.10	0.30	⁺0.60	3.20	0.60	Timeout	⁺18.70	Timeout	⁺118.50	Timeout	Timeout
`SWV193+1`^*	⁺0.10	⁺0.00	0.20	0.20	⁺0.40	0.70	0.20	0.20	⁺23.60	0.20	⁺89.40	Timeout	Timeout
`SWV194+1`^*	⁺0.10	⁺0.00	0.20	0.30	⁺0.40	0.90	0.20	22.60	⁺18.50	0.60	⁺96.80	Timeout	Timeout
`SWV195+1`^*	⁺0.10	⁺0.00	0.10	0.20	⁺0.40	0.80	0.30	25.00	⁺38.20	0.70	⁺153.80	Timeout	Timeout
`SWV199+1`^*	⁺5.30	⁺0.30	8.70	0.30	⁺0.60	3.30	0.30	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`SWV202+1`^*	⁺26.10	⁺50.90	54.10	Timeout	Timeout	3.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV204+1`^*	⁺7.50	⁺22.60	6.40	0.30	⁺0.60	Timeout	0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV206+1`^*	⁺1.70	⁺12.90	2.20	0.00	⁺0.10	0.70	0.30	0.20	⁺132.50	0.20	Timeout	Timeout	Timeout
`SWV208+1`^*	⁺38.00	⁺51.00	Unknown	0.50	⁺0.90	Timeout	0.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV209+1`^*	⁺38.00	⁺52.20	Unknown	0.50	⁺0.90	Timeout	0.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV215+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.60	0.30	0.20	⁺10.30	226.60	0.00	Timeout	Timeout
`SWV217+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.80	0.10	0.20	⁺14.30	225.50	0.00	Timeout	Timeout
`SWV220+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.80	0.10	0.20	⁺13.90	226.80	0.00	Timeout	Timeout
`SWV221+1`^*	⁺2.10	⁺12.70	1.80	1.20	⁺2.40	1.20	0.20	0.20	⁺17.70	0.40	Timeout	Timeout	Timeout
`SWV223+1`^*	⁺0.00	⁺0.00	0.20	0.00	⁺0.10	0.10	0.20	0.20	⁺11.00	226.50	0.00	Timeout	Timeout
`SWV233+1`	⁺0.00	⁺129.90	18.60	0.30	⁺0.50	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV236+1`	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	Timeout	Timeout	0.10	⁺23.80	Timeout	Timeout	Timeout	GaveUp
`SWV237+1`	⁺0.00	⁺0.00	1.60	0.00	⁺0.20	Timeout	Timeout	Timeout	⁺0.40	Timeout	Timeout	⁺26.40	GaveUp
`SWV365+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	0.30	0.10	298.50	⁺0.10	338.60	⁺0.00	Timeout	0.20
`SWV366+1`^*	⁺17.60	⁺4.90	0.30	0.10	⁺0.30	WCout	0.10	Timeout	⁺0.70	Timeout	Timeout	Timeout	GaveUp
`SWV371+1`^*	⁺0.00	⁺0.20	0.10	0.00	⁺0.10	0.40	0.10	0.20	⁺41.20	0.20	Timeout	Timeout	GaveUp
`SWV391+1`^*	⁺27.40	⁺50.30	35.90	0.20	⁺0.40	26.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV396+1`^*	Timeout	Timeout	Unknown	0.20	⁺0.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV399+1`^*	⁺0.00	⁺0.00	0.10	0.00	⁺0.10	3.60	8.40	1.20	⁺25.60	Timeout	Timeout	⁺1.40	GaveUp
`SWV404+1`^*	Timeout	Timeout	Unknown	6.80	⁺9.70	WCout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV408+2`^*	⁺0.10	⁺0.00	0.10	0.10	⁺0.20	0.50	Timeout	0.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`SWV409+1`^*	⁺0.00	⁺0.10	0.20	0.10	⁺0.30	13.00	10.30	0.30	⁺18.30	Timeout	Timeout	Timeout	GaveUp
`SWV417+1`^*	⁺18.50	⁺9.20	1.70	0.10	⁺0.10	0.70	0.10	360.00	Timeout	Timeout	Timeout	Timeout	GaveUp
Attempted	240	240	240	240	240	240	240	240	240	240	240	240	240
Solved	211	209	203	190	170	145	123	118	105	86	83	60	35
Av. Time	25.97	20.52	15.60	12.67	12.11	11.83	3.14	35.54	28.91	48.96	21.23	45.30	0.79
Solutions	211	209	0	0	167	0	0	0	105	0	58	60	0
SOTAC	0.15	0.16	0.15	0.14	0.13	0.12	0.13	0.11	0.11	0.10	0.10	0.12	0.20
New Attempted	120	120	120	120	120	120	120	120	120	120	120	120	120
New Solved	104	100	99	97	95	85	88	70	65	64	42	21	1

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

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for HNE

HNE	Vampire 8.1	Vampire 9.0	E 0.999	iProver 0.2	EP 0.999	E-KRHyper 1.0	Geo 2007f	Otter 3.3	Metis 2.0	Equinox 1.2
`ANA003-2`	⁺59.50	⁺19.80	10.90	Timeout	⁺12.10	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL001-1`	⁺52.70	⁺17.50	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`LCL037-1`	⁺144.40	⁺79.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL062-1`	⁺15.60	⁺106.60	13.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL063-1`	Timeout	Timeout	175.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL221-1`	⁺82.20	⁺29.40	Timeout	Timeout	Timeout	⁺23.00	Timeout	GaveUp	Timeout	Timeout
`LCL222-1`	⁺81.20	⁺28.80	Timeout	Timeout	Timeout	⁺20.40	Timeout	GaveUp	Timeout	Timeout
`LCL227-1`	⁺34.10	⁺0.20	1.50	Timeout	⁺5.80	Timeout	Timeout	GaveUp	Timeout	Timeout
`LCL249-1`	⁺1.70	⁺13.10	Timeout	Timeout	⁺98.90	⁺252.90	Timeout	GaveUp	Timeout	Timeout
`LCL253-1`	⁺27.60	⁺160.30	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`LCL423-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout
`LCL444-2`	⁺80.50	⁺28.30	Timeout	Timeout	Timeout	⁺113.90	Timeout	GaveUp	Timeout	Timeout
`PLA004-2`	⁺0.00	⁺0.00	0.00	0.10	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA005-1`	⁺0.10	⁺0.00	0.00	0.20	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA009-1`	⁺0.10	⁺0.00	0.00	1.50	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA010-1`	⁺0.20	⁺0.10	0.10	10.00	⁺0.20	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA011-2`	⁺0.10	⁺0.00	0.00	0.10	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA012-1`	⁺0.10	⁺0.00	0.20	1.70	⁺0.30	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA021-1`	⁺0.00	⁺0.00	0.00	0.20	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PLA023-1`	⁺0.10	⁺0.00	0.20	1.70	⁺0.30	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ050-1`	⁺71.40	⁺52.60	Timeout	Timeout	Timeout	⁺60.20	Timeout	GaveUp	Timeout	Timeout
`RNG001-3`	⁺2.40	⁺202.90	Timeout	9.00	169.40	⁺15.00	⁺0.00	⁺1.70	⁺23.60	Timeout
`SWV014-1`	⁺6.70	⁺0.10	0.00	0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN556-1`	⁺2.00	⁺27.50	11.60	0.40	⁺19.40	Timeout	⁺0.90	Timeout	Timeout	293.40
`SYN599-1`	⁺2.00	⁺92.80	Timeout	0.50	Timeout	Timeout	⁺5.10	Timeout	Timeout	Timeout
`SYN600-1`	⁺25.20	⁺4.90	26.30	0.20	⁺39.60	Timeout	⁺11.10	⁺5.10	Timeout	Timeout
`SYN617-1`	⁺26.20	⁺91.50	15.40	6.30	Timeout	Timeout	⁺328.40	GaveUp	Timeout	Timeout
`SYN639-1`	⁺2.00	⁺4.30	Timeout	0.40	Timeout	⁺31.30	Timeout	⁺6.70	Timeout	Timeout
`SYN704-1`	⁺25.20	⁺0.50	0.30	0.10	⁺0.50	Timeout	⁺285.80	⁺0.10	Timeout	Unknown
`SYN711-1`	⁺25.20	⁺0.10	0.00	0.30	⁺0.10	Timeout	Timeout	Timeout	⁺34.80	0.10
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	28	28	18	17	17	7	6	4	2	2
Av. Time	27.45	34.30	14.15	1.92	20.42	73.81	105.22	3.40	29.20	146.75
Solutions	28	28	0	0	16	7	6	4	2	0
SOTAC	0.25	0.25	0.24	0.19	0.19	0.27	0.17	0.15	0.13	0.14
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for HEQ

HEQ	Vampire 8.1	Vampire 9.0	E 0.999	EP 0.999	Equinox 1.2	Otter 3.3	Geo 2007f	iProver 0.2	E-KRHyper 1.0	Metis 2.0
`ANA003-1`	⁺68.10	⁺69.40	Timeout	Timeout	Timeout	Timeout	⁺282.70	Timeout	WCout	Timeout
`ANA004-1`	⁺78.80	⁺79.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`COL003-2`	⁺0.80	⁺58.80	0.40	⁺0.90	0.10	GaveUp	Timeout	Timeout	Timeout	Timeout
`COL003-5`	⁺0.80	⁺58.90	0.40	⁺0.90	0.20	GaveUp	Timeout	Timeout	Timeout	Timeout
`COL003-7`	⁺40.50	⁺67.20	24.80	⁺29.50	0.20	GaveUp	Timeout	Timeout	Timeout	Timeout
`COL003-8`	⁺40.50	⁺66.70	25.20	⁺29.70	0.20	GaveUp	Timeout	Timeout	Timeout	Timeout
`COL043-2`	⁺0.00	⁺56.20	0.20	⁺0.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL044-4`	⁺24.00	⁺6.90	0.40	⁺0.80	5.40	Timeout	Timeout	Timeout	Timeout	Timeout
`HEN011-3`	⁺6.60	⁺1.50	1.20	⁺2.40	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`HWC003-1`	⁺52.60	⁺82.10	0.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`HWV002-1`	⁺27.50	⁺8.90	Timeout	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout	Timeout
`HWV004-1`	Timeout	Timeout	2.50	Timeout	Timeout	GaveUp	Timeout	WCout	Timeout	Timeout
`LAT005-3`	⁺32.20	⁺10.70	8.20	Timeout	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout
`LAT041-1`	⁺57.60	⁺59.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`LCL147-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL151-1`	⁺169.20	⁺118.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL152-1`	⁺5.90	⁺0.70	6.50	⁺3.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL222-3`	⁺30.20	⁺42.40	53.50	Timeout	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LCL230-3`	⁺1.20	⁺31.50	1.00	⁺6.10	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LCL246-3`	⁺1.20	⁺0.00	0.40	⁺0.40	Timeout	⁺1.90	Timeout	Timeout	WCout	Timeout
`LCL249-3`	⁺1.20	⁺0.00	0.40	⁺0.30	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LCL271-3`	⁺1.40	⁺0.00	0.20	⁺0.20	Timeout	GaveUp	Timeout	53.50	WCout	Timeout
`LCL277-3`	⁺14.40	⁺3.00	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LCL314-3`	⁺26.30	⁺41.30	25.00	Timeout	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LCL332-3`	⁺2.10	⁺2.00	66.60	Timeout	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LCL351-3`	⁺17.60	⁺30.30	Timeout	Timeout	Timeout	GaveUp	Timeout	Timeout	WCout	Timeout
`LDA004-1`	⁺80.30	⁺21.30	58.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM017-2`	⁺2.40	⁺2.90	Timeout	Timeout	Timeout	⁺7.40	Timeout	Timeout	⁺213.00	Timeout
`SWV249-2`	⁺4.00	⁺0.10	5.30	⁺9.70	Timeout	⁺0.30	Timeout	Timeout	Timeout	Timeout
`SWV252-2`	⁺5.70	⁺16.60	0.10	⁺0.20	Timeout	Timeout	⁺41.60	Timeout	Timeout	Timeout
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	28	28	21	14	5	3	2	1	1	0
Av. Time	28.33	33.46	13.38	6.08	1.22	3.20	162.15	53.50	213.00	-
Solutions	28	28	0	14	0	3	2	0	1	0
SOTAC	0.31	0.31	0.29	0.22	0.20	0.22	0.27	0.20	0.25	-
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for NNE

NNE	Vampire 8.1	Vampire 9.0	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	Geo 2007f	E-KRHyper 1.0	Metis 2.0	Otter 3.3
`ANA002-1`	⁺3.30	⁺1.80	20.90	Timeout	19.60	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA002-3`	⁺29.30	⁺28.50	10.70	Timeout	45.10	Timeout	⁺8.20	Timeout	Timeout	Timeout
`ANA002-4`	⁺102.40	⁺10.90	1.20	Timeout	0.80	Timeout	⁺1.80	Timeout	Timeout	Timeout
`ANA004-4`	⁺1.30	⁺0.10	0.00	⁺0.10	0.40	Timeout	Timeout	Timeout	Timeout	GaveUp
`FLD005-1`	⁺2.00	⁺0.70	Timeout	⁺5.50	Timeout	Timeout	⁺351.50	Timeout	Timeout	Timeout
`FLD012-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`FLD047-4`	⁺5.30	⁺5.60	247.60	Timeout	185.80	Timeout	⁺234.30	⁺287.50	Timeout	Timeout
`HWV008-1.002`	⁺0.00	⁺0.10	0.70	⁺0.90	0.20	11.90	Timeout	⁺0.60	⁺0.30	⁺0.10
`LAT273-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.60	⁺0.40	⁺0.00	⁺0.10
`NLP080-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	0.10	⁺8.00	⁺2.10	⁺1.30	⁺0.10
`NLP094-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	0.50	⁺1.50	⁺1.20	⁺0.20	⁺0.10
`PUZ035-4`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.00	⁺0.20	⁺0.40	⁺0.00	⁺0.10
`PUZ035-7`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	1.30	⁺0.90	Timeout	⁺18.40	Timeout
`SET007-1`	⁺0.20	Timeout	0.20	⁺0.40	4.60	0.10	Timeout	Timeout	⁺21.60	Timeout
`SET012-2`	⁺0.00	⁺0.00	2.10	⁺2.90	21.50	Timeout	Timeout	⁺37.30	Timeout	Timeout
`SET015-1`	⁺1.20	⁺0.00	0.60	⁺0.90	0.30	Timeout	Timeout	Timeout	Timeout	Timeout
`SWV248-2`	⁺1.20	⁺0.00	0.00	⁺0.10	0.00	WCout	⁺8.00	Timeout	Timeout	Timeout
`SWV287-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.00	Timeout	⁺0.40	⁺0.00	⁺0.10
`SWV290-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.10	Timeout	⁺0.40	⁺0.00	⁺0.10
`SWV308-2`	⁺0.00	⁺0.10	0.00	⁺0.10	0.00	2.70	Timeout	⁺0.50	Timeout	⁺0.10
`SYN036-1`	⁺0.00	⁺0.00	6.00	⁺9.10	Timeout	60.30	Timeout	⁺2.20	⁺21.80	Timeout
`SYN067-1`	⁺0.20	⁺6.20	17.40	⁺79.40	Timeout	3.30	Timeout	WCout	Timeout	Timeout
`SYN334-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	0.60	⁺0.00	Timeout	⁺0.00	⁺0.10
`SYN604-1`	⁺43.90	⁺39.60	Timeout	⁺19.00	70.60	Timeout	⁺11.50	Timeout	Timeout	Timeout
`SYN633-1`	⁺1.20	⁺0.00	0.00	⁺0.10	0.70	3.80	⁺142.80	Timeout	Timeout	Timeout
`SYN635-1`	⁺1.20	⁺0.00	0.00	⁺0.10	0.80	3.90	Timeout	Timeout	Timeout	Timeout
`SYN701-1`	⁺1.40	⁺0.20	0.10	⁺0.30	0.50	202.20	Timeout	Timeout	Timeout	Timeout
`SYN755-1`	⁺0.00	⁺0.10	0.00	⁺0.10	0.40	1.50	⁺0.80	⁺1.90	⁺6.60	Timeout
`SYN759-1`	⁺1.00	⁺40.90	16.20	⁺9.50	9.60	19.60	⁺17.10	⁺9.40	Timeout	Timeout
`SYN802-1`	⁺52.40	⁺47.60	13.30	⁺139.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	29	28	27	25	25	18	15	13	12	9
Av. Time	8.53	6.51	12.48	10.74	14.44	17.33	52.48	26.48	5.85	0.10
Solutions	29	28	0	25	0	0	15	13	12	9
SOTAC	0.16	0.16	0.15	0.15	0.15	0.13	0.15	0.12	0.12	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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for NEQ

NEQ	Vampire 9.0	Vampire 8.1	E 0.999	EP 0.999	iProver 0.2	Equinox 1.2	Otter 3.3	E-KRHyper 1.0	Geo 2007f	Metis 2.0
`ANA004-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`ANA014-2`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	Timeout	⁺13.60	WCout	⁺135.00	⁺0.10
`COL091-1`	⁺0.00	⁺0.00	0.00	⁺0.10	0.10	0.50	Timeout	WCout	Timeout	Timeout
`COL091-2`	⁺175.80	⁺0.20	0.10	Timeout	151.70	11.60	Timeout	WCout	Timeout	Timeout
`COL092-1`	⁺0.10	⁺0.00	0.50	⁺0.80	111.40	5.30	Timeout	WCout	Timeout	Timeout
`COL114-1`	⁺0.10	⁺0.10	0.90	⁺1.00	0.30	Timeout	⁺4.20	⁺0.80	Timeout	Timeout
`COL122-1`	⁺0.10	⁺0.10	0.70	⁺0.90	Unknown	Timeout	⁺3.60	⁺0.80	Timeout	Timeout
`COM010-1`	⁺1.40	⁺1.00	5.40	⁺5.90	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`COM011-1`	⁺7.80	⁺65.50	86.80	⁺99.60	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`GEO007-1`	⁺0.90	⁺5.40	63.50	⁺0.10	280.20	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO008-1`	⁺270.10	⁺162.60	0.70	⁺0.80	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO010-3`	⁺0.00	⁺0.00	0.00	⁺0.10	0.50	0.10	Timeout	⁺5.70	⁺4.80	Timeout
`GEO027-2`	⁺9.70	⁺58.50	17.70	Timeout	124.90	Timeout	⁺97.00	⁺53.90	⁺21.80	Timeout
`GEO062-2`	Timeout	⁺161.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GEO076-4`	⁺0.20	⁺0.10	0.00	⁺0.10	Timeout	Timeout	Timeout	⁺334.50	⁺0.10	Timeout
`GEO127-1`	⁺0.50	⁺0.10	0.00	⁺0.10	76.20	Timeout	Timeout	WCout	⁺0.60	Timeout
`GRP039-4`	⁺0.30	⁺0.50	0.00	⁺0.10	269.50	Timeout	Timeout	⁺4.00	⁺24.00	Timeout
`GRP040-3`	⁺0.20	⁺0.30	0.00	⁺0.10	Timeout	Timeout	⁺7.50	⁺1.50	⁺238.20	Timeout
`HWV022-2`	⁺3.00	⁺0.10	0.60	⁺0.30	Timeout	9.00	Timeout	WCout	Timeout	Timeout
`HWV031-1`	⁺9.40	⁺36.80	8.50	⁺14.50	Timeout	1.00	Timeout	Unknown	Timeout	Timeout
`LAT003-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT259-1`	⁺1.80	⁺28.30	6.10	⁺7.20	Timeout	9.20	GaveUp	WCout	Timeout	Timeout
`LAT269-2`	⁺0.00	⁺0.00	0.00	⁺0.10	4.10	0.00	⁺0.10	⁺0.40	⁺1.00	⁺0.00
`LCL443-1`	⁺155.60	⁺83.90	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`LDA008-2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LDA011-2`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`MGT035-1`	⁺93.40	⁺8.30	2.10	⁺308.00	3.50	2.80	Timeout	⁺6.20	⁺1.10	Timeout
`NUM011-1`	⁺2.10	⁺0.10	0.80	⁺1.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NUM066-1`	⁺2.10	⁺22.60	35.70	⁺49.80	144.10	Timeout	Timeout	Timeout	Timeout	Timeout
`SET013-3`	⁺5.20	⁺19.10	231.30	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout
`SET015-4`	⁺1.30	⁺0.00	0.50	⁺7.90	305.40	0.10	Timeout	Timeout	Timeout	Timeout
`SET018-3`	⁺52.40	⁺0.10	233.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET019-4`	⁺0.50	⁺5.80	50.10	⁺14.40	2.20	Timeout	⁺9.70	⁺128.00	⁺70.60	Timeout
`SET031-4`	⁺105.10	⁺14.80	25.70	⁺6.40	0.60	Timeout	Timeout	WCout	Timeout	Timeout
`SET038-3`	⁺104.00	⁺51.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET039-3`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET042-3`	⁺51.10	⁺1.20	1.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SET061-7`	⁺0.00	⁺0.00	0.00	⁺0.10	9.60	260.90	⁺0.30	WCout	⁺1.50	⁺1.30
`SET206-6`	⁺39.00	⁺18.60	9.80	⁺14.50	Timeout	Timeout	⁺97.90	WCout	Timeout	Timeout
`SET787-2`	⁺196.50	⁺97.70	0.10	Timeout	Timeout	0.30	Timeout	WCout	Timeout	Timeout
`SET821-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.00	Timeout	⁺0.10	WCout	⁺0.10	⁺1.60
`SET839-2`	⁺0.00	⁺0.00	0.00	⁺0.10	39.50	GaveUp	⁺0.10	WCout	⁺0.10	⁺0.00
`SET840-1`	⁺64.20	⁺66.00	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SET847-1`	⁺39.40	⁺125.80	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SET850-1`	⁺0.10	⁺0.10	2.00	⁺2.40	4.60	Timeout	GaveUp	⁺1.00	Timeout	Timeout
`SET851-1`	⁺0.10	⁺0.10	0.80	⁺1.00	Timeout	0.80	Timeout	WCout	Timeout	Timeout
`SET857-1`	⁺125.20	⁺35.30	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SET861-2`	⁺10.30	⁺12.50	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SET864-1`	⁺0.90	⁺0.10	3.50	⁺4.00	Timeout	1.10	Timeout	WCout	Timeout	Timeout
`SWC021-1`	⁺239.40	⁺347.50	1.10	⁺9.60	Timeout	Timeout	Timeout	WCout	⁺25.70	Timeout
`SWC293-1`	⁺0.00	⁺0.00	0.10	⁺0.20	2.60	0.20	⁺221.30	Timeout	⁺5.80	⁺0.40
`SWC390-1`	Timeout	Timeout	28.40	⁺89.50	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SWV239-1`	⁺7.60	⁺14.80	2.10	⁺2.60	9.40	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV242-1`	⁺0.10	⁺0.10	1.00	⁺1.30	8.00	Timeout	Timeout	WCout	Timeout	Timeout
`SWV246-1`	⁺31.50	⁺28.20	4.00	⁺4.90	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV248-1`	⁺75.00	⁺144.00	251.10	288.40	237.10	Timeout	Timeout	WCout	Timeout	Timeout
`SWV251-1`	⁺39.20	⁺10.50	Timeout	Timeout	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV255-1`	⁺32.20	⁺7.40	6.70	⁺16.00	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV259-1`	⁺15.90	⁺3.10	6.00	⁺7.80	32.00	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV303-2`	⁺0.00	⁺0.00	0.00	⁺0.10	Timeout	1.30	Timeout	⁺1.50	Timeout	⁺83.30
`SWV304-2`	⁺0.00	⁺0.00	0.00	⁺0.10	3.90	2.40	⁺0.20	⁺0.60	Timeout	Timeout
`SWV311-2`	⁺0.00	⁺0.00	0.00	⁺0.10	1.10	0.10	⁺0.10	⁺1.10	Timeout	⁺0.10
`SWV319-1`	⁺67.00	⁺223.60	7.80	⁺15.50	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV319-2`	⁺0.00	⁺0.00	0.00	⁺0.10	0.80	0.00	⁺0.10	⁺0.40	⁺96.80	⁺0.00
`SWV322-1`	⁺0.20	⁺0.20	0.90	⁺1.20	Timeout	0.80	⁺1.90	WCout	Timeout	⁺0.90
`SWV328-1`	⁺24.60	⁺1.80	7.20	⁺21.50	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV329-1`	⁺24.70	⁺1.80	7.30	⁺89.20	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV331-1`	⁺9.00	⁺1.40	6.90	⁺8.30	2.20	22.30	GaveUp	WCout	Timeout	Timeout
`SWV332-2`	⁺0.00	⁺0.00	0.00	⁺0.10	1.60	0.20	⁺15.70	⁺0.40	Timeout	⁺0.10
`SWV337-1`	⁺72.70	⁺13.60	15.70	Timeout	Timeout	Timeout	Timeout	WCout	Timeout	Timeout
`SWV338-1`	⁺24.90	⁺2.10	111.80	⁺148.90	Timeout	16.10	GaveUp	WCout	Timeout	Timeout
`SWV342-1`	⁺41.50	⁺84.80	11.20	⁺45.70	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV345-1`	⁺25.30	⁺2.00	214.00	358.50	13.20	2.40	GaveUp	WCout	Timeout	Timeout
`SWV351-1`	⁺0.20	⁺0.20	0.20	⁺1.70	1.30	2.40	⁺0.90	⁺1.90	Timeout	⁺1.00
`SWV353-1`	⁺44.50	⁺2.30	288.80	Timeout	38.00	24.80	GaveUp	WCout	Timeout	Timeout
`SWV354-1`	⁺59.90	Timeout	Timeout	Timeout	Timeout	29.60	GaveUp	WCout	Timeout	Timeout
`SWV358-1`	⁺42.50	Timeout	8.90	⁺15.50	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV361-1`	⁺83.70	⁺115.40	77.70	Timeout	Timeout	Timeout	GaveUp	WCout	Timeout	Timeout
`SWV362-1`	⁺25.80	⁺2.80	277.60	Timeout	Timeout	2.50	GaveUp	WCout	Timeout	Timeout
`SYN015-1`	⁺0.10	⁺0.00	0.00	⁺0.10	8.10	0.40	Timeout	Timeout	⁺0.20	⁺0.90
Attempted	80	80	80	80	80	80	80	80	80	80
Solved	73	72	66	56	33	29	18	17	17	13
Av. Time	34.48	29.06	32.21	29.80	57.20	14.08	26.35	31.92	36.91	6.90
Solutions	73	72	0	54	0	0	18	17	17	13
SOTAC	0.23	0.23	0.20	0.18	0.15	0.17	0.13	0.13	0.13	0.12
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for PEQ

PEQ	Vampire 8.1	E 0.999	Vampire 9.0	EP 0.999	Otter 3.3	Equinox 1.2	Geo 2007f	E-KRHyper 1.0	iProver 0.2	Metis 2.0
`ALG003-1`	⁺16.20	Timeout	⁺4.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO039-1`	⁺328.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL076-2`	⁺94.30	0.10	⁺216.30	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`COL078-2`	⁺0.00	0.10	⁺0.00	Timeout	Timeout	Timeout	Timeout	Timeout	Unknown	Timeout
`COL079-1`	⁺109.30	Timeout	⁺99.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP049-1`	⁺75.50	3.60	⁺5.20	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP054-1`	⁺75.70	0.80	⁺10.20	⁺29.90	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP062-1`	⁺1.20	0.20	⁺1.60	⁺1.50	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP072-1`	⁺0.10	0.10	⁺0.10	⁺0.30	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP073-1`	⁺0.10	0.00	⁺0.20	⁺0.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP085-1`	⁺0.00	0.10	⁺0.10	⁺0.40	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP087-1`	⁺0.00	0.00	⁺0.00	⁺0.20	⁺0.10	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP097-1`	⁺0.00	0.10	⁺0.00	⁺0.20	⁺4.70	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP107-1`	⁺0.10	0.20	⁺0.20	⁺0.50	⁺4.40	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP110-1`	⁺0.00	0.10	⁺0.00	⁺0.60	⁺18.50	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP111-1`	⁺0.00	0.10	⁺0.40	⁺0.70	⁺8.60	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP197-1`	⁺5.10	Timeout	⁺5.00	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`GRP221-1`	⁺0.30	1.50	⁺0.20	⁺98.90	Timeout	256.00	Timeout	Timeout	Timeout	Timeout
`GRP309-1`	⁺0.30	0.70	⁺0.20	⁺1.30	Timeout	71.00	Timeout	Timeout	Timeout	Timeout
`GRP372-1`	⁺0.40	2.30	⁺0.10	⁺4.00	Timeout	11.60	Timeout	Timeout	Timeout	Timeout
`LAT036-1`	Timeout	Timeout	Timeout	Timeout	⁺2.10	Timeout	Timeout	Timeout	WCout	Timeout
`LAT197-1`	⁺53.10	3.20	⁺44.50	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT200-1`	⁺271.70	3.00	⁺46.30	Timeout	GaveUp	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT201-1`	Timeout	7.10	⁺248.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT212-1`	Timeout	17.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT230-1`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT233-1`	Timeout	16.40	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`LAT234-1`	⁺57.10	0.40	⁺84.80	Timeout	Timeout	Timeout	⁺121.20	Timeout	Timeout	Timeout
`LAT246-1`	⁺43.80	12.70	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	WCout	Timeout
`RNG029-3`	⁺0.80	8.20	⁺0.20	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
Attempted	30	30	30	30	30	30	30	30	30	30
Solved	25	24	24	13	7	3	1	0	0	0
Av. Time	45.33	3.29	32.01	10.69	5.50	112.87	121.20	-	-	-
Solutions	25	0	24	13	7	0	1	0	0	0
SOTAC	0.32	0.34	0.29	0.22	0.31	0.20	0.25	-	-	-
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FNN

FNN	Paradox 2.2	iProver 0.2	Geo 2007f	DarwinFM 1.4.1	E 0.999	Metis 2.0
`GEO224+1`^*	⁺0.10	Timeout	⁺0.00	⁺0.10	Timeout	Timeout
`GEO224+2`^*	⁺0.10	Timeout	⁺0.00	⁺0.10	Timeout	Timeout
`GRA015+1`	⁺0.10	0.30	⁺4.60	⁺171.00	Timeout	Timeout
`GRA016+1`	⁺0.10	0.50	⁺7.60	Timeout	Timeout	Timeout
`GRA017+1`	⁺0.20	9.60	⁺207.40	Timeout	Timeout	Timeout
`GRA018+1`	⁺0.60	Timeout	Timeout	Timeout	Timeout	Timeout
`GRA020+1`	⁺0.40	0.40	⁺1.90	⁺11.60	Timeout	Timeout
`GRA021+1`	⁺0.70	0.90	⁺4.10	⁺52.80	Timeout	Timeout
`GRA022+1`	⁺1.20	1.20	⁺6.70	⁺58.60	Timeout	Timeout
`GRA023+1`	⁺5.30	3.10	⁺42.80	⁺125.40	Timeout	Timeout
`GRA025+1`	⁺19.50	2.10	⁺17.10	Timeout	Timeout	Timeout
`GRA026+1`	Unknown	121.10	⁺201.90	Timeout	Timeout	Timeout
`LCL354+1`	⁺0.00	Timeout	⁺0.00	⁺0.20	Timeout	Timeout
`MSC013+1`	Timeout	0.00	⁺2.00	Timeout	0.00	14.30
`MSC014+1`	Timeout	0.00	⁺0.20	Timeout	0.00	0.60
`NLP027+1`	⁺0.10	6.30	⁺0.10	⁺0.20	0.30	Timeout
`NLP028+1`	⁺0.10	3.80	⁺0.10	⁺0.20	0.30	Timeout
`NLP059+1`	⁺0.10	2.50	⁺0.00	⁺0.60	0.40	1.60
`NLP061+1`	⁺0.10	4.80	⁺0.00	⁺0.60	0.30	3.60
`NLP062+1`	⁺0.10	0.80	⁺0.00	⁺0.60	0.20	0.30
`NLP099+1`	⁺0.00	1.50	⁺0.10	⁺0.20	1.40	4.00
`NLP162+1`	⁺0.30	17.80	⁺0.40	⁺159.00	1.00	0.70
`NLP163+1`	⁺0.20	17.80	⁺0.30	⁺33.80	1.10	0.70
`NLP166+1`	⁺0.20	16.50	⁺0.70	Timeout	1.00	Timeout
`NLP167+1`	⁺0.30	16.80	⁺0.60	Timeout	1.00	Timeout
`NLP192+1`	⁺0.30	2.30	⁺0.60	⁺1.10	1.30	1.10
`PLA024+1`	⁺0.10	0.30	⁺1.00	⁺0.10	Timeout	Timeout
`PLA025+1`	⁺0.50	15.90	⁺141.00	⁺0.90	Timeout	Timeout
`PLA026+1`	⁺0.20	1.40	⁺4.20	⁺0.30	Timeout	Timeout
`PLA027+1`	⁺0.10	0.80	⁺2.10	⁺0.10	Timeout	Timeout
`SWV016+1`	⁺0.10	11.70	⁺67.70	⁺0.20	0.00	Timeout
`SWV018+1`	⁺0.10	12.40	⁺16.20	⁺0.20	0.00	Timeout
`SYN316+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN324+1`	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	0.00
`SYN330+1`	⁺0.50	0.00	⁺21.90	Timeout	0.00	0.00
`SYN335+1`	⁺166.00	0.00	Timeout	Timeout	0.00	Timeout
`SYN424+1`	⁺1.30	2.30	Timeout	Timeout	Timeout	Timeout
`SYN427+1`	⁺1.50	10.40	Timeout	Timeout	Timeout	Timeout
`SYN428+1`	⁺1.10	231.70	Timeout	⁺5.10	Timeout	Timeout
`SYN434+1`	⁺0.30	40.30	Timeout	⁺32.20	Timeout	Timeout
`SYN441+1`	⁺0.50	183.30	Timeout	Timeout	Timeout	Timeout
`SYN449+1`	⁺0.60	8.00	Timeout	Timeout	Timeout	Timeout
`SYN453+1`	⁺0.50	196.10	Timeout	Timeout	Timeout	Timeout
`SYN464+1`	⁺0.40	1.50	Timeout	⁺240.10	Timeout	Timeout
`SYN513+1`	⁺0.70	1.40	Timeout	⁺3.50	Timeout	Timeout
`SYN518+1`	⁺0.90	3.60	Timeout	Timeout	3.70	Timeout
`SYN519+1`	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN520+1`	⁺1.60	Timeout	Timeout	⁺98.50	Timeout	Timeout
`SYN542+1`	⁺0.30	1.40	Timeout	Timeout	Timeout	Timeout
`SYN543+1`	⁺0.40	13.60	Timeout	Timeout	Timeout	Timeout
Attempted	50	50	50	50	50	50
Solved	47	44	34	30	20	12
Av. Time	4.44	21.96	22.16	33.24	0.60	2.24
Solutions	47	0	34	30	0	0
SOTAC	0.32	0.29	0.24	0.25	0.21	0.18
New Attempted	2	2	2	2	2	2
New Solved	2	0	2	2	0	0

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

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for FNQ

FNQ	DarwinFM 1.4.1	Geo 2007f	E 0.999	Paradox 2.2	Metis 2.0	iProver 0.2
`HAL003+1`	⁺4.00	⁺166.00	Timeout	⁺2.70	Timeout	Timeout
`HAL003+2`	⁺175.10	Timeout	Timeout	⁺2.10	Timeout	Timeout
`HAL005+1`	⁺72.80	Timeout	Timeout	⁺3.50	Timeout	Timeout
`KRS029+1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	Timeout
`KRS032+1`	⁺0.00	⁺0.00	0.10	⁺0.10	2.00	9.80
`KRS033+1`	⁺0.20	⁺0.10	0.40	⁺0.20	78.80	Timeout
`KRS034+1`	⁺3.00	⁺0.20	3.80	⁺0.10	Timeout	Timeout
`KRS035+1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	Timeout
`KRS036+1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	Timeout
`KRS043+1`	⁺0.00	⁺0.10	0.00	⁺0.10	0.10	Timeout
`KRS046+1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	Timeout
`KRS047+1`	⁺0.00	⁺0.00	0.00	⁺0.00	0.00	Timeout
`KRS051+1`	⁺256.40	⁺11.20	Timeout	⁺0.40	Timeout	Timeout
`MGT038+2`	⁺0.10	⁺0.20	Timeout	⁺0.10	Timeout	Timeout
`MGT066+1`	⁺0.00	⁺0.00	Timeout	⁺0.00	Timeout	0.40
`NLP015+1`	⁺0.10	⁺0.20	0.00	⁺0.10	0.10	0.10
`NLP017+1`	⁺0.10	⁺0.20	0.00	⁺0.10	0.00	0.10
`NLP019+1`	⁺0.10	⁺0.20	0.00	⁺0.10	0.00	0.10
`NLP051+1`	⁺2.80	⁺4.60	0.00	Unknown	0.20	Timeout
`NLP052+1`	⁺15.90	⁺6.20	0.00	WCout	0.20	Timeout
`NLP053+1`	⁺2.80	⁺3.80	0.00	Unknown	0.20	Timeout
`NLP069+1`	⁺10.60	⁺4.10	0.00	Unknown	0.20	Timeout
`NLP074+1`	⁺10.20	⁺4.10	0.00	Unknown	0.30	Timeout
`NLP076+1`	⁺10.10	⁺4.10	0.00	Unknown	0.30	Timeout
`NLP077+1`	⁺10.20	⁺4.00	0.00	Unknown	0.20	Timeout
`NLP078+1`	⁺10.10	⁺4.10	0.00	Unknown	0.20	Timeout
`NLP082+1`	⁺22.80	⁺11.90	0.00	Unknown	0.30	Timeout
`NLP090+1`	⁺16.90	⁺12.80	0.60	Unknown	0.60	Timeout
`NLP092+1`	⁺16.70	⁺14.10	Timeout	Unknown	0.50	Timeout
`NLP171+1`	⁺0.40	⁺1.30	0.00	⁺0.30	0.20	Timeout
`NLP174+1`	⁺0.50	⁺1.40	0.00	⁺0.30	0.20	Timeout
`NLP178+1`	⁺0.50	⁺1.40	0.00	⁺0.30	0.20	Timeout
`NLP179+1`	⁺0.40	⁺1.40	0.00	⁺0.30	0.20	Timeout
`NLP180+1`	⁺0.30	⁺0.70	0.40	⁺0.30	Timeout	Timeout
`NLP183+1`	⁺0.30	⁺0.90	0.40	⁺0.30	Timeout	Timeout
`NLP184+1`	⁺0.30	⁺0.80	0.30	⁺0.30	Timeout	Timeout
`NLP185+1`	⁺0.30	⁺0.70	0.30	⁺0.30	Timeout	Timeout
`NLP188+1`	⁺0.30	⁺0.80	0.30	⁺0.30	Timeout	Timeout
`NLP201+1`	⁺0.40	⁺2.10	0.00	⁺0.30	0.20	Timeout
`NLP203+1`	⁺0.30	⁺2.10	0.10	⁺0.40	0.20	Timeout
`NLP205+1`	⁺0.40	⁺1.90	0.10	⁺0.40	0.20	Timeout
`NLP206+1`	⁺0.40	⁺1.90	0.00	⁺0.30	0.20	Timeout
`NLP207+1`	⁺0.50	⁺2.30	0.00	⁺0.40	0.20	Timeout
`NLP217+1`	⁺0.30	⁺1.30	2.60	⁺0.30	Timeout	Timeout
`NLP219+1`	⁺0.30	⁺1.40	1.80	⁺0.30	Timeout	Timeout
`NLP240+1`	⁺0.20	⁺0.20	0.10	⁺0.20	0.40	1.70
`NLP242+1`	⁺0.20	⁺0.20	0.10	⁺0.20	0.50	1.60
`NLP244+1`	⁺0.20	⁺0.30	0.10	⁺0.20	0.40	1.50
`NLP247+1`	⁺0.20	⁺0.20	0.10	⁺0.20	0.50	1.80
`SWV238+1`	Timeout	Timeout	356.00	Timeout	Timeout	Timeout
Attempted	50	50	50	50	50	50
Solved	49	47	43	38	35	9
Av. Time	13.22	5.86	8.55	0.41	2.51	1.90
Solutions	49	47	0	38	0	0
SOTAC	0.24	0.23	0.23	0.23	0.21	0.18
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for SNE

SNE	Paradox 1.3	Paradox 2.2	DarwinFM 1.4.1	Geo 2007f	iProver 0.2	E 0.999	Metis 2.0
`GRP025-3`	⁺0.30	⁺0.50	⁺3.50	⁺1.10	Timeout	Timeout	Timeout
`GRP027-2`	⁺0.10	⁺0.20	⁺2.40	⁺0.40	Timeout	Timeout	Timeout
`GRP394-2`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.50	Timeout	Timeout
`LCL078-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.30	Timeout	Timeout	Timeout
`LCL179-1`	⁺0.30	⁺3.20	⁺16.10	Timeout	Timeout	Timeout	Timeout
`LCL181-1`	⁺3.40	⁺15.50	⁺52.60	Timeout	Timeout	Timeout	Timeout
`LCL183-1`	⁺2.70	⁺11.10	⁺79.30	Timeout	Timeout	Timeout	Timeout
`LCL184-1`	⁺0.50	⁺3.00	⁺5.90	Timeout	Timeout	Timeout	Timeout
`LCL220-1`	⁺2.10	⁺39.30	⁺329.00	Timeout	Timeout	Timeout	Timeout
`LCL239-1`	⁺0.90	⁺1.60	⁺36.40	⁺47.70	Timeout	Timeout	Timeout
`LCL245-1`	⁺25.70	⁺116.50	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL246-1`	⁺10.30	⁺43.80	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL247-1`	⁺3.90	⁺53.00	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL255-1`	⁺5.30	⁺102.50	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL411-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL415-1`	Timeout	Timeout	Timeout	Timeout	0.00	0.00	Timeout
`NLP033-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.70	0.20	Timeout	Timeout
`NLP062-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.10	0.30	Timeout	Timeout
`NLP167-1`	⁺0.10	⁺0.20	⁺0.10	⁺6.20	0.30	Timeout	Timeout
`NLP169-1`	⁺0.10	⁺0.20	⁺0.10	⁺10.90	0.50	Timeout	Timeout
`NLP190-1`	⁺0.10	⁺0.20	⁺0.10	⁺211.70	1.00	Timeout	Timeout
`NLP195-1`	⁺0.10	⁺0.20	⁺0.20	⁺103.70	0.20	Timeout	Timeout
`NUM287-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`NUM288-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`PUZ049-1`	GaveUp	Unknown	Timeout	Timeout	277.90	3.00	11.30
`SWV013-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	6.50	0.00	Timeout
`SWV018-1`	⁺0.10	⁺0.10	⁺0.10	⁺2.30	11.90	0.00	Unknown
`SYN303-1`	GaveUp	Timeout	Timeout	Timeout	0.00	0.00	0.00
`SYN316-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00
`SYN324-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.00	0.00	0.00
`SYN750-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	311.60	13.90	Timeout
`SYN753-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	35.60	Timeout
`SYN775-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	9.10	0.30	Timeout
`SYN782-1`	⁺0.00	⁺0.10	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`SYN787-1`	⁺0.10	⁺0.10	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`SYN903-1`	⁺0.80	⁺1.00	⁺0.50	⁺259.20	Timeout	Timeout	Timeout
`SYN904-1`	⁺1.60	⁺1.80	⁺0.70	⁺178.80	Timeout	Timeout	Timeout
`SYN907-1`	⁺1.90	⁺2.20	⁺1.00	Timeout	Timeout	Timeout	Timeout
`SYN908-1`	⁺3.60	⁺4.00	⁺2.10	Timeout	Timeout	Timeout	Timeout
`SYN910-1`	⁺5.70	⁺6.00	⁺8.50	Timeout	WCout	Timeout	Timeout
`TOP002-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	Timeout	Timeout	Timeout
`TOP003-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	218.40	Timeout	Timeout
`TOP005-1`	⁺0.50	⁺0.70	⁺1.20	Timeout	Timeout	Timeout	Timeout
`TOP007-1`	⁺0.60	⁺0.80	⁺103.60	⁺129.50	Timeout	Timeout	Timeout
`TOP008-1`	⁺0.20	⁺0.30	⁺0.50	Timeout	10.50	Timeout	Timeout
`TOP011-1`	⁺0.10	⁺0.20	⁺0.10	⁺0.20	Timeout	Timeout	Timeout
`TOP012-1`	⁺0.20	⁺0.30	⁺1.40	Timeout	Timeout	Timeout	Timeout
`TOP013-1`	⁺0.20	⁺0.30	⁺0.70	⁺96.30	33.70	Timeout	Timeout
`TOP014-1`	⁺0.20	⁺0.30	⁺0.30	⁺85.80	Timeout	Timeout	Timeout
`TOP017-1`	⁺0.20	⁺0.30	⁺0.30	⁺209.90	Timeout	Timeout	Timeout
Attempted	50	50	50	50	50	50	50
Solved	47	47	43	30	19	10	4
Av. Time	1.55	8.74	15.05	44.83	46.45	5.28	2.83
Solutions	47	47	43	30	0	0	0
SOTAC	0.27	0.27	0.25	0.22	0.22	0.23	0.24
New Attempted	0	0	0	0	0	0	0
New Solved	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: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for SEQ

SEQ	Paradox 1.3	Paradox 2.2	DarwinFM 1.4.1	Geo 2007f	iProver 0.2	E 0.999	Metis 2.0
`ALG008-1`	⁺0.00	⁺0.00	⁺0.30	⁺0.80	Timeout	Timeout	Timeout
`BOO019-1`	⁺0.00	⁺0.00	⁺10.20	⁺0.20	Timeout	Timeout	Timeout
`BOO033-1`	⁺0.00	⁺0.00	⁺0.10	⁺0.00	Timeout	Timeout	Timeout
`BOO037-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	274.90	Timeout	Timeout
`BOO056-1`	⁺0.90	⁺1.50	Timeout	Timeout	Timeout	Timeout	Timeout
`BOO060-1`	⁺21.20	⁺46.70	Timeout	Timeout	Timeout	Timeout	Timeout
`CAT019-4`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`CAT019-5`	⁺0.00	⁺0.00	⁺0.10	⁺0.10	Timeout	Timeout	Timeout
`COL047-1`	⁺0.00	⁺0.00	⁺19.90	⁺0.70	Timeout	Timeout	Timeout
`COL071-1`	⁺0.00	⁺0.00	⁺57.80	⁺159.80	Timeout	Timeout	Timeout
`COL073-1`	⁺0.10	⁺0.10	⁺8.40	Timeout	Timeout	Timeout	Timeout
`GEO078-6`	⁺0.10	⁺0.10	⁺1.10	Timeout	Timeout	Timeout	Timeout
`GEO162-1`	⁺0.10	⁺0.10	⁺0.50	⁺127.40	Timeout	Timeout	Timeout
`GRP026-2`	⁺0.30	⁺0.50	⁺32.60	⁺25.20	Timeout	Timeout	Timeout
`GRP112-1`	⁺0.00	⁺0.00	⁺0.00	⁺1.40	Timeout	Timeout	Timeout
`GRP394-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.60	Timeout	Timeout
`GRP397-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.90	Timeout	Timeout
`GRP398-3`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.70	Timeout	Timeout
`HEN013-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.20	Timeout	Timeout
`LAT016-1`	⁺1.30	⁺32.80	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT049-1`	⁺0.40	⁺0.90	⁺230.00	⁺9.00	Timeout	Timeout	Timeout
`LAT050-1`	⁺2.80	⁺4.60	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT054-1`	⁺28.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT058-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.70	Timeout	Timeout
`LAT062-1`	⁺3.30	⁺68.40	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT111-1`	⁺25.90	⁺64.70	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT113-1`	⁺36.10	⁺158.60	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT120-1`	⁺3.20	⁺11.70	Timeout	Timeout	Timeout	Timeout	Timeout
`LAT126-1`	⁺34.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`LCL165-1`	⁺0.10	⁺0.10	⁺6.60	⁺46.40	Timeout	Timeout	Timeout
`LCL267-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL280-3`	⁺0.00	⁺0.00	⁺0.20	Timeout	Timeout	Timeout	Timeout
`LCL291-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL292-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL338-3`	⁺0.00	⁺0.00	⁺0.10	Timeout	Timeout	Timeout	Timeout
`LCL412-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`LCL413-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	Timeout	Timeout	Timeout
`MGT033-2`	⁺0.00	⁺0.00	⁺0.10	⁺22.80	Timeout	1.20	1.10
`MGT034-1`	⁺0.10	⁺0.10	⁺2.40	⁺6.60	9.50	1.50	0.20
`NLP085-1`	GaveUp	Unknown	Timeout	Timeout	Timeout	0.00	0.50
`NLP184-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	Timeout	0.80	Timeout
`NLP185-1`	⁺0.20	⁺0.30	⁺0.20	Timeout	Timeout	1.10	Timeout
`NLP216-1`	⁺0.30	⁺0.50	⁺0.40	Timeout	Timeout	Timeout	Timeout
`PUZ058-1`	⁺0.10	⁺0.10	⁺72.40	Timeout	Timeout	Timeout	Timeout
`PUZ069-1`	⁺3.40	⁺4.10	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ070-1`	⁺3.30	⁺3.90	Timeout	Timeout	Timeout	Timeout	Timeout
`PUZ071-1`	⁺3.50	⁺4.00	Timeout	Timeout	Timeout	Timeout	Timeout
`RNG042-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	42.90	Timeout	Timeout
`ROB012-1`	⁺0.10	⁺0.10	⁺33.00	Timeout	WCout	Timeout	Timeout
`ROB029-1`	⁺0.00	⁺0.00	⁺0.00	⁺0.00	0.50	Timeout	Timeout
Attempted	50	50	50	50	50	50	50
Solved	49	47	36	24	9	5	3
Av. Time	3.48	8.60	13.25	16.68	36.77	0.92	0.60
Solutions	49	47	36	24	0	0	0
SOTAC	0.34	0.31	0.26	0.23	0.19	0.26	0.27
New Attempted	0	0	0	0	0	0	0
New Solved	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: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for EPT

EPT	Darwin 1.3	Darwin 1.4.1	iProver 0.2	Vampire 9.0	E 0.999	Paradox 2.2	Equinox 1.2	Metis 2.0	E-KRHyper 1.0	Geo 2007f
`GEO079-1`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	⁺0.40	⁺0.00
`GRP128-3.005`	0.10	0.10	0.60	Timeout	4.20	0.10	8.20	Timeout	⁺14.00	⁺17.70
`PUZ012-1`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	⁺0.40	⁺0.10
`PUZ018-1`	0.00	0.00	0.10	⁺0.10	0.10	0.00	5.80	⁺83.20	⁺81.50	⁺10.60
`PUZ022-1`	0.00	0.00	0.00	⁺0.00	0.00	0.10	0.30	⁺0.00	⁺0.40	⁺0.60
`PUZ037-3`	50.70	51.30	3.70	⁺74.80	Timeout	Unknown	Timeout	Timeout	WCout	Timeout
`SYN009-4`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	⁺0.50	⁺0.00
`SYN052-1`	0.00	0.00	0.00	⁺0.00	0.00	0.00	0.00	⁺0.00	⁺0.40	⁺0.00
`SYN103-1`	0.10	0.10	0.10	⁺0.00	0.00	0.30	0.20	⁺0.00	⁺0.50	⁺0.30
`SYN122-1`	0.10	0.10	0.10	⁺0.10	0.10	0.40	14.70	⁺0.40	⁺0.60	⁺1.00
`SYN126-1`	0.10	0.10	0.10	⁺0.10	0.10	0.50	0.60	⁺0.20	⁺0.60	⁺0.70
`SYN127-1`	0.10	0.10	0.10	⁺0.10	0.10	0.50	0.60	⁺0.20	⁺0.60	⁺0.60
`SYN129-1`	0.10	0.10	0.10	⁺0.10	0.30	0.50	0.70	⁺0.70	⁺0.60	⁺2.40
`SYN137-1`	0.10	0.10	0.20	⁺0.10	0.20	0.50	11.60	⁺0.50	⁺0.60	⁺8.80
`SYN138-1`	0.10	0.10	0.30	⁺0.10	0.20	0.50	0.70	⁺0.40	⁺0.60	⁺10.20
`SYN142-1`	0.10	0.10	0.30	⁺0.10	0.30	0.50	26.20	⁺0.70	⁺0.70	⁺17.60
`SYN146-1`	0.00	0.00	0.10	⁺0.00	0.00	0.40	0.30	⁺0.10	⁺0.50	⁺0.50
`SYN152-1`	0.10	0.10	0.10	⁺0.10	0.00	0.40	0.30	⁺0.20	⁺0.60	⁺0.30
`SYN153-1`	0.10	0.10	0.10	⁺0.00	0.10	0.50	0.40	⁺0.20	⁺0.60	⁺0.30
`SYN160-1`	0.10	0.10	0.10	⁺0.10	0.10	0.60	0.70	⁺0.20	⁺0.60	⁺1.90
`SYN164-1`	0.10	0.10	0.10	⁺0.10	0.00	0.30	0.20	⁺0.00	⁺0.50	⁺0.30
`SYN190-1`	0.10	0.10	0.20	⁺0.10	0.20	0.50	2.30	⁺0.70	⁺0.60	⁺18.40
`SYN202-1`	0.10	0.10	0.20	⁺0.10	0.10	0.40	10.90	⁺0.80	⁺0.70	⁺3.00
`SYN205-1`	0.10	0.10	0.30	⁺0.10	0.30	0.50	17.50	⁺0.70	⁺0.70	⁺7.80
`SYN207-1`	0.10	0.10	0.20	⁺0.10	0.20	0.50	11.40	⁺0.50	⁺0.60	⁺2.50
`SYN208-1`	0.10	0.10	0.20	⁺0.10	0.20	0.50	11.10	⁺0.60	⁺0.60	⁺1.20
`SYN209-1`	0.10	0.10	0.10	⁺0.10	0.10	0.50	0.90	⁺0.20	⁺0.60	⁺0.40
`SYN225-1`	0.10	0.10	0.10	⁺0.10	0.10	0.50	0.90	⁺0.20	⁺0.60	⁺1.20
`SYN241-1`	0.00	0.00	0.10	⁺0.00	0.00	0.40	0.30	⁺0.10	⁺0.50	⁺0.30
`SYN242-1`	0.00	0.00	0.10	⁺0.00	0.00	0.40	0.20	⁺0.10	⁺0.50	⁺0.40
`SYN244-1`	0.00	0.00	0.10	⁺0.00	0.00	0.40	0.30	⁺0.10	⁺0.50	⁺0.30
`SYN246-1`	0.10	0.10	0.10	⁺0.10	0.10	0.40	0.30	⁺0.20	⁺0.50	⁺0.90
`SYN247-1`	0.10	0.10	0.10	⁺0.00	0.00	0.30	0.40	⁺0.20	⁺0.50	⁺0.30
`SYN250-1`	0.10	0.10	0.20	⁺0.10	0.20	0.40	4.70	⁺0.30	⁺0.60	⁺8.30
`SYN251-1`	0.10	0.10	0.10	⁺0.10	0.10	0.40	0.30	⁺0.20	⁺0.50	⁺0.40
`SYN255-1`	0.10	0.10	0.10	⁺0.00	0.00	0.40	0.30	⁺0.20	⁺0.60	⁺0.30
`SYN266-1`	0.10	0.10	0.10	⁺0.10	0.10	0.50	1.40	⁺0.30	⁺0.60	⁺5.60
`SYN269-1`	0.10	0.10	0.20	⁺0.10	0.40	0.50	6.80	⁺0.70	⁺0.60	⁺8.30
`SYN280-1`	0.00	0.00	0.10	⁺0.10	0.00	0.40	0.30	⁺0.00	⁺0.50	⁺0.30
`SYN283-1`	0.10	0.10	0.10	⁺0.10	0.10	0.40	0.40	⁺0.30	⁺0.50	⁺0.40
`SYN286-1`	0.10	0.10	0.20	⁺0.10	0.10	0.40	2.30	⁺0.30	⁺0.50	⁺0.50
`SYN290-1`	0.10	0.10	0.10	⁺0.10	0.00	0.50	0.60	⁺0.20	⁺0.50	⁺0.30
`SYN297-1`	0.10	0.10	0.10	⁺0.10	0.00	0.40	0.30	⁺0.20	⁺0.50	⁺0.30
`SYN439-1`	0.70	0.70	Timeout	⁺0.50	Timeout	Timeout	343.00	Timeout	Timeout	Timeout
`SYN469-1`	0.30	0.40	9.30	⁺0.70	11.40	59.50	86.00	Timeout	Timeout	Timeout
`SYN479-1`	0.20	0.30	13.30	⁺0.20	17.30	72.80	26.70	Timeout	Timeout	Timeout
`SYN726-1`	0.00	0.00	0.20	⁺0.00	0.00	0.00	0.30	⁺0.10	⁺0.40	⁺0.00
`SYN845-1`	0.60	0.60	2.10	⁺0.70	0.40	11.30	Timeout	⁺5.30	Timeout	Timeout
`SYN884-1`	0.30	0.30	0.40	⁺2.00	0.20	24.50	Timeout	⁺3.20	Timeout	Timeout
`SYN900-1`	0.40	0.40	0.50	⁺1.90	0.20	33.80	Timeout	⁺3.60	Timeout	Timeout
Attempted	50	50	50	50	50	50	50	50	50	50
Solved	50	50	49	49	48	48	46	45	43	43
Av. Time	1.13	1.14	0.72	1.71	0.78	4.53	13.07	2.36	2.74	3.15
Solutions	0	0	0	49	0	0	0	45	43	43
SOTAC	0.11	0.11	0.11	0.11	0.10	0.10	0.11	0.10	0.10	0.10
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS

Results for EPS

EPS	Darwin 1.3	Darwin 1.4.1	iProver 0.2	Paradox 2.2	Geo 2007f	E 0.999	E-KRHyper 1.0	Metis 2.0	Vampire 9.0	Equinox 1.2
`GRP123-2.005`	⁺0.10	⁺0.10	3.20	⁺0.10	⁺8.80	Timeout	0.50	Timeout	Timeout	Timeout
`GRP124-7.005`	⁺0.10	⁺0.10	1.60	⁺0.10	⁺0.60	Timeout	0.50	Timeout	Timeout	Timeout
`GRP126-2.005`	⁺0.00	⁺0.00	1.00	⁺0.10	⁺0.20	Timeout	0.50	Timeout	Timeout	Timeout
`GRP127-1.005`	⁺0.00	⁺0.00	1.20	⁺0.00	⁺0.30	Timeout	0.40	Timeout	Timeout	Timeout
`GRP127-4.005`	⁺0.10	⁺0.10	7.20	⁺0.10	⁺0.20	Timeout	0.40	Timeout	Timeout	Timeout
`GRP128-3.004`	⁺0.00	⁺0.00	0.40	⁺0.10	⁺1.80	0.80	0.50	Timeout	Timeout	GaveUp
`GRP128-4.004`	⁺0.00	⁺0.00	0.90	⁺0.00	⁺0.10	23.90	0.50	Timeout	Timeout	GaveUp
`GRP130-3.004`	⁺0.00	⁺0.00	0.40	⁺0.10	⁺1.60	72.80	0.50	Timeout	Timeout	GaveUp
`GRP131-1.005`	⁺0.10	⁺0.10	3.70	⁺0.10	⁺37.30	Timeout	0.70	Timeout	Timeout	GaveUp
`GRP134-2.005`	⁺0.00	⁺0.00	1.60	⁺0.10	⁺2.10	Timeout	0.50	Timeout	Timeout	GaveUp
`MGT066-1`	⁺0.00	⁺0.00	0.40	⁺0.00	⁺0.00	Timeout	0.40	Timeout	Timeout	GaveUp
`MSC008-1.010`	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`NLP008-1`	⁺0.00	⁺0.00	0.10	⁺0.10	⁺0.40	0.00	0.50	0.40	0.00	GaveUp
`NLP013-1`	⁺0.00	⁺0.00	0.10	⁺0.10	⁺2.30	0.00	0.50	0.40	0.00	GaveUp
`NLP023-1`	⁺0.00	⁺0.00	0.20	⁺0.10	⁺0.50	0.00	0.40	0.10	0.00	GaveUp
`NLP115-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.60	0.00	0.40	0.00	0.00	GaveUp
`NLP120-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.70	0.00	0.40	0.00	0.00	GaveUp
`NLP125-1`	⁺0.00	⁺0.00	0.10	⁺0.00	⁺0.30	0.00	0.40	0.10	0.00	GaveUp
`NLP127-1`	⁺0.00	⁺0.00	0.10	⁺0.00	⁺0.90	0.00	0.40	0.10	0.00	GaveUp
`NLP128-1`	⁺0.00	⁺0.00	0.10	⁺0.00	⁺0.40	0.00	0.40	0.00	0.00	GaveUp
`PUZ001-3`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	0.40	0.00	0.00	GaveUp
`PUZ018-2`	⁺0.00	⁺0.00	0.10	⁺0.10	⁺4.70	Timeout	Timeout	Timeout	Timeout	GaveUp
`PUZ028-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.40	0.00	0.00	GaveUp
`PUZ028-3`	⁺0.00	⁺0.10	0.10	⁺0.80	⁺4.60	0.10	0.60	0.30	1.20	GaveUp
`PUZ028-4`	⁺0.00	⁺0.00	0.10	⁺0.40	⁺0.60	0.00	0.50	0.20	1.20	GaveUp
`PUZ053-1`	Timeout	Timeout	Timeout	Unknown	Timeout	Timeout	WCout	Timeout	GaveUp	Timeout
`SYN056-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.40	0.00	0.00	GaveUp
`SYN059-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.20	0.00	0.40	0.00	0.00	GaveUp
`SYN307-1`	⁺0.00	⁺0.00	0.20	⁺0.00	⁺0.00	Timeout	0.40	Timeout	Timeout	GaveUp
`SYN322-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.00	0.00	0.40	0.00	0.00	GaveUp
`SYN428-1`	⁺0.20	⁺0.20	58.00	⁺1.10	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN433-1`	⁺0.00	⁺0.00	0.60	⁺0.10	⁺14.90	4.00	Timeout	95.50	0.40	GaveUp
`SYN434-1`	⁺0.10	⁺0.10	1.40	⁺0.20	Timeout	Timeout	Timeout	Timeout	54.10	Timeout
`SYN438-1`	⁺0.10	⁺0.10	97.90	⁺0.20	Timeout	Timeout	Timeout	Timeout	2.00	GaveUp
`SYN446-1`	⁺0.10	⁺0.10	5.50	⁺0.30	Timeout	84.20	Timeout	Timeout	0.40	GaveUp
`SYN496-1`	⁺0.00	⁺0.00	0.00	⁺0.00	⁺0.10	0.00	0.40	0.00	0.00	GaveUp
`SYN513-1`	⁺0.10	⁺0.10	7.20	⁺0.60	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN515-1`	⁺0.00	⁺0.00	0.00	⁺0.10	⁺0.10	0.00	0.60	0.10	0.00	GaveUp
`SYN541-1`	⁺0.00	⁺0.00	0.10	⁺0.20	⁺0.50	38.10	0.70	0.30	0.20	GaveUp
`SYN546-1`	⁺0.10	⁺0.20	2.00	⁺0.90	Timeout	Timeout	Timeout	Timeout	Timeout	Timeout
`SYN720-1`	⁺0.10	⁺0.10	0.50	⁺0.30	⁺0.30	1.80	0.70	0.90	0.20	GaveUp
`SYN821-1`	⁺7.20	⁺7.40	11.00	Timeout	Timeout	Timeout	WCout	Timeout	Timeout	Timeout
`SYN824-1`	⁺3.60	⁺3.70	5.00	Timeout	Timeout	2.10	Timeout	11.20	4.80	Timeout
`SYN825-1`	⁺12.70	⁺13.00	19.30	Timeout	Timeout	8.10	WCout	26.10	Unknown	Timeout
`SYN826-1`	⁺13.20	⁺13.70	20.70	Timeout	Timeout	9.30	WCout	27.40	Unknown	Timeout
`SYN831-1`	⁺18.20	⁺18.40	28.60	Timeout	Timeout	14.70	WCout	59.80	Unknown	Timeout
`SYN835-1`	⁺0.80	⁺0.80	2.20	⁺12.60	Timeout	0.40	Timeout	6.00	0.50	Timeout
`SYN841-1`	⁺22.30	⁺22.60	33.60	Timeout	Timeout	17.70	WCout	104.40	Unknown	Timeout
`SYN853-1`	⁺37.80	⁺40.50	61.00	Timeout	Timeout	22.20	WCout	159.70	Unknown	Timeout
`SYN864-1`	⁺10.20	⁺10.70	39.70	Timeout	Timeout	6.80	WCout	34.10	9.00	Timeout
Attempted	50	50	50	50	50	50	50	50	50	50
Solved	48	48	48	40	33	32	31	28	26	0
Av. Time	2.65	2.75	8.69	0.47	2.58	9.59	0.47	18.82	2.85	-
Solutions	48	48	0	40	33	0	0	0	0	0
SOTAC	0.16	0.16	0.16	0.15	0.13	0.13	0.13	0.13	0.13	-
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.

Results for: FOF CNF FNT SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ FNN FNQ SNE SEQ EPT EPS