1004	Devel 2.0000 w32 -2561	2518	+820	-875	=823	48.9 %	perf.
840	RuyDos 1.1.6 x64 - 2637	104	+ 24	= 31	- 49	38.0 %	2553
852	Marvin 3.1.0 x64 1CPU - 2634	105	+ 29	= 34	- 42	43.8 %	2591
862	Godel 4.0.7 x64 - 2631	105	+ 23	= 43	- 39	42.4 %	2579
895	Counter 3.1 x64 1CPU - 2619	100	+ 27	= 29	- 44	41.5 %	2560
897	Cheese 2.0 x64 1CPU - 2619	100	+ 25	= 44	- 31	47.0 %	2598
901	RuyDos 1.1.0 x64 - 2617	100	+ 24	= 38	- 38	43.0 %	2569
929	Twisted Logic 20100131 x64 - 2604	100	+ 27	= 34	- 39	44.0 %	2563
937	Pawny 1.2 x64 - 2602	100	+ 28	= 31	- 41	43.5 %	2557
958	Bison 9.11 x64 - 2591	100	+ 30	= 33	- 37	46.5 %	2567
963	Counter 3.0 x64 1CPU - 2590	100	+ 41	= 23	- 36	52.5 %	2607
969	Arminius 2018-12-23 x64 1CPU - 2587	100	+ 34	= 33	- 33	50.5 %	2590
980	Godel 3.4.9 x64 - 2576	100	+ 26	= 36	- 38	44.0 %	2535
995	GreKo 20181231 x64 - 2564	100	+ 29	= 34	- 37	46.0 %	2537
1006	GreKo 2018.08 x64 - 2561	100	+ 21	= 35	- 44	38.5 %	2480
1014	Marvin 3.0.0 x64 1CPU - 2558	100	+ 33	= 32	- 35	49.0 %	2551
1015	Cipollino 3.25 x64 1CPU - 2558	100	+ 28	= 34	- 38	45.0 %	2524
1026	GreKo 2018.07 x64 - 2554	100	+ 34	= 29	- 37	48.5 %	2544
1039	Shield 2.1 x64 1CPU - 2544	100	+ 36	= 33	- 31	52.5 %	2561
1041	Gogobello 1.4 x64 1CPU - 2544	100	+ 33	= 36	- 31	51.0 %	2551
1049	Pro Deo 2.2 - 2539	100	+ 33	= 33	- 34	49.5 %	2536
1057	Pro Deo 2.8 - 2532	100	+ 30	= 29	- 41	44.5 %	2494
1079	Counter 2.9 x64 1CPU - 2521	100	+ 44	= 32	- 24	60.0 %	2591
1108	GreKo 2018.02 x64 - 2508	100	+ 48	= 32	- 20	64.0 %	2607
1115	Counter 2.8 x64 1CPU - 2502	4	+ 2	= 1	- 1	62.5 %	2590
1177	GreKo 2018.05 x64 - 2472	100	+ 55	= 27	- 18	68.5 %	2607
1233	DanaSah 7.30 - 2453	100	+ 56	= 27	- 17	69.5 %	2596