1096	Pro Deo 2.8 -2539	2001	+599	-735	=667	46.6 %	perf.
745	Marvin 3.2.0 x64 1CPU - 2689	100	+ 8	= 42	- 50	29.0 %	2533
798	Godel 4.4.5 x64 - 2668	100	+ 16	= 23	- 61	27.5 %	2499
857	RofChade 1.0 x64 1CPU - 2645	100	+ 19	= 27	- 54	32.5 %	2518
991	Arminius 2018-12-23 x64 1CPU - 2595	100	+ 24	= 27	- 49	37.5 %	2507
994	Francesca MAD 0.23 - 2595	101	+ 29	= 36	- 36	46.5 %	2571
1006	Counter 3.0 x64 1CPU - 2590	100	+ 28	= 34	- 38	45.0 %	2556
1032	GreKo 20181231 x64 - 2568	100	+ 32	= 31	- 37	47.5 %	2551
1046	DiscoCheck 4.0.3 x64 - 2562	100	+ 36	= 31	- 33	51.5 %	2572
1053	GreKo 2018.08 x64 - 2560	100	+ 26	= 35	- 39	43.5 %	2515
1056	Devel 2.0000 w32 - 2559	100	+ 41	= 29	- 30	55.5 %	2597
1059	Francesca MAD 0.22 - 2558	100	+ 38	= 38	- 24	57.0 %	2606
1070	GreKo 2018.07 x64 - 2554	100	+ 32	= 31	- 37	47.5 %	2537
1084	Gogobello 1.4 x64 1CPU - 2545	100	+ 32	= 38	- 30	51.0 %	2552
1085	Shield 2.1 x64 1CPU - 2544	100	+ 34	= 25	- 41	46.5 %	2520
1123	Counter 2.9 x64 1CPU - 2522	100	+ 34	= 31	- 35	49.5 %	2519
1129	Francesca MAD 0.21 - 2520	100	+ 26	= 39	- 35	45.5 %	2489
1147	Djinn 1.021 x64 - 2511	100	+ 37	= 37	- 26	55.5 %	2549
1159	Daydreamer 1.75 x64 - 2503	100	+ 31	= 46	- 23	54.0 %	2530
1168	Fridolin 3.00 x64 1CPU - 2500	100	+ 33	= 40	- 27	53.0 %	2520
1182	Redqueen 1.1.97 x64 1CPU - 2490	100	+ 43	= 27	- 30	56.5 %	2535