1014	Devel 2.0000 w32 -2561	2518	+820	-875	=823	48.9 %	perf.
851	RuyDos 1.1.6 x64 - 2636	104	+ 24	= 31	- 49	38.0 %	2552
864	Marvin 3.1.0 x64 1CPU - 2634	105	+ 29	= 34	- 42	43.8 %	2591
872	Godel 4.0.7 x64 - 2631	105	+ 23	= 43	- 39	42.4 %	2579
897	Cheese 2.0 x64 1CPU - 2622	100	+ 25	= 44	- 31	47.0 %	2601
910	RuyDos 1.1.0 x64 - 2618	100	+ 24	= 38	- 38	43.0 %	2570
919	Counter 3.1 x64 1CPU - 2615	100	+ 27	= 29	- 44	41.5 %	2556
939	Twisted Logic 20100131 x64 - 2605	100	+ 27	= 34	- 39	44.0 %	2564
947	Pawny 1.2 x64 - 2602	100	+ 28	= 31	- 41	43.5 %	2557
964	Arminius 2018-12-23 x64 1CPU - 2593	100	+ 34	= 33	- 33	50.5 %	2596
969	Bison 9.11 x64 - 2591	100	+ 30	= 33	- 37	46.5 %	2567
975	Counter 3.0 x64 1CPU - 2589	100	+ 41	= 23	- 36	52.5 %	2606
990	Godel 3.4.9 x64 - 2576	100	+ 26	= 36	- 38	44.0 %	2535
1005	GreKo 20181231 x64 - 2565	100	+ 29	= 34	- 37	46.0 %	2538
1017	GreKo 2018.08 x64 - 2560	100	+ 21	= 35	- 44	38.5 %	2479
1024	Marvin 3.0.0 x64 1CPU - 2558	100	+ 33	= 32	- 35	49.0 %	2551
1025	Cipollino 3.25 x64 1CPU - 2558	100	+ 28	= 34	- 38	45.0 %	2524
1036	GreKo 2018.07 x64 - 2553	100	+ 34	= 29	- 37	48.5 %	2543
1049	Shield 2.1 x64 1CPU - 2544	100	+ 36	= 33	- 31	52.5 %	2561
1052	Gogobello 1.4 x64 1CPU - 2544	100	+ 33	= 36	- 31	51.0 %	2551
1060	Pro Deo 2.2 - 2539	100	+ 33	= 33	- 34	49.5 %	2536
1068	Pro Deo 2.8 - 2532	100	+ 30	= 29	- 41	44.5 %	2494
1090	Counter 2.9 x64 1CPU - 2521	100	+ 44	= 32	- 24	60.0 %	2591
1118	GreKo 2018.02 x64 - 2508	100	+ 48	= 32	- 20	64.0 %	2607
1126	Counter 2.8 x64 1CPU - 2502	4	+ 2	= 1	- 1	62.5 %	2590
1188	GreKo 2018.05 x64 - 2472	100	+ 55	= 27	- 18	68.5 %	2607
1245	DanaSah 7.30 - 2453	100	+ 56	= 27	- 17	69.5 %	2596