1224	Pro Deo 2.8 -2538	2001	+599	-735	=667	46.6 %	perf.
866	Marvin 3.2.0 x64 1CPU - 2688	100	+ 8	= 42	- 50	29.0 %	2532
922	Godel 4.4.5 x64 - 2667	100	+ 16	= 23	- 61	27.5 %	2498
981	RofChade 1.0 x64 1CPU - 2645	100	+ 19	= 27	- 54	32.5 %	2518
1120	Francesca MAD 0.23 - 2594	101	+ 29	= 36	- 36	46.5 %	2570
1121	Arminius 2018-12-23 x64 1CPU - 2593	100	+ 24	= 27	- 49	37.5 %	2505
1134	Counter 3.0 x64 1CPU - 2589	100	+ 28	= 34	- 38	45.0 %	2555
1163	GreKo 20181231 x64 - 2565	100	+ 32	= 31	- 37	47.5 %	2548
1172	DiscoCheck 4.0.3 x64 - 2562	100	+ 36	= 31	- 33	51.5 %	2572
1181	GreKo 2018.08 x64 - 2559	100	+ 26	= 35	- 39	43.5 %	2514
1184	Devel 2.0000 w32 - 2558	100	+ 41	= 29	- 30	55.5 %	2596
1188	Francesca MAD 0.22 - 2557	100	+ 38	= 38	- 24	57.0 %	2605
1198	GreKo 2018.07 x64 - 2554	100	+ 32	= 31	- 37	47.5 %	2537
1212	Gogobello 1.4 x64 1CPU - 2544	100	+ 32	= 38	- 30	51.0 %	2551
1217	Shield 2.1 x64 1CPU - 2541	100	+ 34	= 25	- 41	46.5 %	2517
1250	Counter 2.9 x64 1CPU - 2521	100	+ 34	= 31	- 35	49.5 %	2518
1256	Francesca MAD 0.21 - 2520	100	+ 26	= 39	- 35	45.5 %	2489
1274	Djinn 1.021 x64 - 2511	100	+ 37	= 37	- 26	55.5 %	2549
1286	Daydreamer 1.75 x64 - 2503	100	+ 31	= 46	- 23	54.0 %	2530
1291	Fridolin 3.00 x64 1CPU - 2502	100	+ 33	= 40	- 27	53.0 %	2522
1309	Redqueen 1.1.97 x64 1CPU - 2489	100	+ 43	= 27	- 30	56.5 %	2534