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