1017	Devel 2.0000 w32 -2562	2518	+820	-875	=823	48.9 %	perf.
855	RuyDos 1.1.6 x64 - 2636	104	+ 24	= 31	- 49	38.0 %	2552
867	Marvin 3.1.0 x64 1CPU - 2633	105	+ 29	= 34	- 42	43.8 %	2590
875	Godel 4.0.7 x64 - 2631	105	+ 23	= 43	- 39	42.4 %	2579
899	Cheese 2.0 x64 1CPU - 2622	100	+ 25	= 44	- 31	47.0 %	2601
913	RuyDos 1.1.0 x64 - 2618	100	+ 24	= 38	- 38	43.0 %	2570
920	Counter 3.1 x64 1CPU - 2616	100	+ 27	= 29	- 44	41.5 %	2557
942	Twisted Logic 20100131 x64 - 2605	100	+ 27	= 34	- 39	44.0 %	2564
950	Pawny 1.2 x64 - 2602	100	+ 28	= 31	- 41	43.5 %	2557
966	Arminius 2018-12-23 x64 1CPU - 2594	100	+ 34	= 33	- 33	50.5 %	2597
972	Bison 9.11 x64 - 2591	100	+ 30	= 33	- 37	46.5 %	2567
980	Counter 3.0 x64 1CPU - 2589	100	+ 41	= 23	- 36	52.5 %	2606
993	Godel 3.4.9 x64 - 2576	100	+ 26	= 36	- 38	44.0 %	2535
1003	GreKo 20181231 x64 - 2567	100	+ 29	= 34	- 37	46.0 %	2540
1021	GreKo 2018.08 x64 - 2560	100	+ 21	= 35	- 44	38.5 %	2479
1028	Marvin 3.0.0 x64 1CPU - 2558	100	+ 33	= 32	- 35	49.0 %	2551
1029	Cipollino 3.25 x64 1CPU - 2558	100	+ 28	= 34	- 38	45.0 %	2524
1040	GreKo 2018.07 x64 - 2554	100	+ 34	= 29	- 37	48.5 %	2544
1052	Shield 2.1 x64 1CPU - 2545	100	+ 36	= 33	- 31	52.5 %	2562
1055	Gogobello 1.4 x64 1CPU - 2544	100	+ 33	= 36	- 31	51.0 %	2551
1063	Pro Deo 2.2 - 2540	100	+ 33	= 33	- 34	49.5 %	2537
1071	Pro Deo 2.8 - 2532	100	+ 30	= 29	- 41	44.5 %	2494
1093	Counter 2.9 x64 1CPU - 2521	100	+ 44	= 32	- 24	60.0 %	2591
1120	GreKo 2018.02 x64 - 2508	100	+ 48	= 32	- 20	64.0 %	2607
1129	Counter 2.8 x64 1CPU - 2502	4	+ 2	= 1	- 1	62.5 %	2590
1191	GreKo 2018.05 x64 - 2472	100	+ 55	= 27	- 18	68.5 %	2607
1247	DanaSah 7.30 - 2453	100	+ 56	= 27	- 17	69.5 %	2596