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