CPU: 12th Gen Intel(R) Core(TM) i5-12600

[inv2004]

CPU: 12th Gen Intel(R) Core(TM) i5-12600
Cores: 12
Freq: 3300.000 MHz
Ram: 30Gi
Disk: ATA TOSHIBA DT01ACA200
OS: Linux (5.16.4-zen1-1-zen)
Cc: clang version 13.0.0
71,719 seconds: ./build_all.sh CC=clang
17,792 seconds: ./koch temp -d:release --cc:clang

from here: #64 (comment)