WinServer2016, "Redis 4.0.8 - Test: SET", Higher Results Are Better "WinServer2016",371609.06,365363.53,339213.03,375093.78,372439.5,367647.06,368731.56 "Win10DockerForWindows",771010,786782.06,777604.94 "PHPBench 0.8.1 - PHP Benchmark Suite", Higher Results Are Better "WinServer2016",591659,594513,592043 "Win10DockerForWindows",640908,638989,639644 "Redis 4.0.8 - Test: LPOP", Higher Results Are Better "WinServer2016",387446.72,418410.03,416840.38,419463.06,418060.22 "Win10DockerForWindows",752445.44,737463.12,747943.12 "Redis 4.0.8 - Test: LPUSH", Higher Results Are Better "WinServer2016",337381.91,342231.34,346380.31 "Win10DockerForWindows",757575.75,758725.38,755857.94 "Redis 4.0.8 - Test: SADD", Higher Results Are Better "WinServer2016",391542.69,389105.06,388953.69 "Win10DockerForWindows",825763.88,829875.5,829875.5 "Redis 4.0.8 - Test: GET", Higher Results Are Better "WinServer2016",403063.28,409500.44,411522.62 "Win10DockerForWindows",881057.25,882612.5,884955.75 "PHP Micro Benchmarks - Test: Zend micro_bench", Lower Results Are Better "WinServer2016",1.828,1.838,1.861 "Win10DockerForWindows",1.872,1.838,1.836 "PHP Micro Benchmarks - Test: Zend bench", Lower Results Are Better "WinServer2016",0.256,0.257,0.258 "Win10DockerForWindows",0.268,0.27,0.27