1003	Devel 2.0000 w32 -2561	2518	+820	-875	=823	48.9 %	perf.
839	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
861	Godel 4.0.7 x64 - 2631	105	+ 23	= 43	- 39	42.4 %	2579
892	Counter 3.1 x64 1CPU - 2620	100	+ 27	= 29	- 44	41.5 %	2561
899	Cheese 2.0 x64 1CPU - 2618	100	+ 25	= 44	- 31	47.0 %	2597
901	RuyDos 1.1.0 x64 - 2617	100	+ 24	= 38	- 38	43.0 %	2569
928	Twisted Logic 20100131 x64 - 2604	100	+ 27	= 34	- 39	44.0 %	2563
936	Pawny 1.2 x64 - 2602	100	+ 28	= 31	- 41	43.5 %	2557
957	Bison 9.11 x64 - 2591	100	+ 30	= 33	- 37	46.5 %	2567
963	Counter 3.0 x64 1CPU - 2589	100	+ 41	= 23	- 36	52.5 %	2606
968	Arminius 2018-12-23 x64 1CPU - 2586	100	+ 34	= 33	- 33	50.5 %	2589
979	Godel 3.4.9 x64 - 2576	100	+ 26	= 36	- 38	44.0 %	2535
994	GreKo 20181231 x64 - 2565	100	+ 29	= 34	- 37	46.0 %	2538
1005	GreKo 2018.08 x64 - 2561	100	+ 21	= 35	- 44	38.5 %	2480
1013	Marvin 3.0.0 x64 1CPU - 2558	100	+ 33	= 32	- 35	49.0 %	2551
1014	Cipollino 3.25 x64 1CPU - 2558	100	+ 28	= 34	- 38	45.0 %	2524
1025	GreKo 2018.07 x64 - 2553	100	+ 34	= 29	- 37	48.5 %	2543
1039	Gogobello 1.4 x64 1CPU - 2544	100	+ 33	= 36	- 31	51.0 %	2551
1040	Shield 2.1 x64 1CPU - 2544	100	+ 36	= 33	- 31	52.5 %	2561
1048	Pro Deo 2.2 - 2539	100	+ 33	= 33	- 34	49.5 %	2536
1057	Pro Deo 2.8 - 2531	100	+ 30	= 29	- 41	44.5 %	2493
1078	Counter 2.9 x64 1CPU - 2521	100	+ 44	= 32	- 24	60.0 %	2591
1104	GreKo 2018.02 x64 - 2508	100	+ 48	= 32	- 20	64.0 %	2607
1113	Counter 2.8 x64 1CPU - 2502	4	+ 2	= 1	- 1	62.5 %	2590
1175	GreKo 2018.05 x64 - 2472	100	+ 55	= 27	- 18	68.5 %	2607
1231	DanaSah 7.30 - 2453	100	+ 56	= 27	- 17	69.5 %	2596