1125	Pro Deo 2.8 -2539	2001	+599	-735	=667	46.6 %	perf.
770	Marvin 3.2.0 x64 1CPU - 2688	100	+ 8	= 42	- 50	29.0 %	2532
825	Godel 4.4.5 x64 - 2668	100	+ 16	= 23	- 61	27.5 %	2499
886	RofChade 1.0 x64 1CPU - 2645	100	+ 19	= 27	- 54	32.5 %	2518
1019	Arminius 2018-12-23 x64 1CPU - 2595	100	+ 24	= 27	- 49	37.5 %	2507
1024	Francesca MAD 0.23 - 2594	101	+ 29	= 36	- 36	46.5 %	2570
1036	Counter 3.0 x64 1CPU - 2590	100	+ 28	= 34	- 38	45.0 %	2556
1062	GreKo 20181231 x64 - 2568	100	+ 32	= 31	- 37	47.5 %	2551
1075	DiscoCheck 4.0.3 x64 - 2562	100	+ 36	= 31	- 33	51.5 %	2572
1083	GreKo 2018.08 x64 - 2560	100	+ 26	= 35	- 39	43.5 %	2515
1086	Devel 2.0000 w32 - 2558	100	+ 41	= 29	- 30	55.5 %	2596
1089	Francesca MAD 0.22 - 2558	100	+ 38	= 38	- 24	57.0 %	2606
1100	GreKo 2018.07 x64 - 2554	100	+ 32	= 31	- 37	47.5 %	2537
1113	Gogobello 1.4 x64 1CPU - 2544	100	+ 32	= 38	- 30	51.0 %	2551
1115	Shield 2.1 x64 1CPU - 2544	100	+ 34	= 25	- 41	46.5 %	2520
1153	Counter 2.9 x64 1CPU - 2522	100	+ 34	= 31	- 35	49.5 %	2519
1156	Francesca MAD 0.21 - 2520	100	+ 26	= 39	- 35	45.5 %	2489
1177	Djinn 1.021 x64 - 2511	100	+ 37	= 37	- 26	55.5 %	2549
1189	Daydreamer 1.75 x64 - 2503	100	+ 31	= 46	- 23	54.0 %	2530
1194	Fridolin 3.00 x64 1CPU - 2502	100	+ 33	= 40	- 27	53.0 %	2522
1212	Redqueen 1.1.97 x64 1CPU - 2490	100	+ 43	= 27	- 30	56.5 %	2535