CPU: Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz

[inv2004]

CPU: Intel(R) Core(TM) i5-7500 CPU @ 3.40GHz
Cores: 4
Freq: 3407.999 MHz
Ram: 12Gi
Disk: Msft Virtual Disk
OS: Linux (5.10.60.1-microsoft-standard-WSL2)
Cc: gcc (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0
169.890 seconds: ./build_all.sh
54.009 seconds: ./koch temp -d:release

[inv2004]

WSL2: arch + clang from ALHP:

152.320 seconds: ./build_all.sh
41.921 seconds: ./koch temp -d:release

[inv2004]

WSL2: ubuntu + clang:

142.180 seconds: ./build_all.sh
38.428 seconds: ./koch temp -d:release