uname - Z3_Theorem_Prover_Gentoo2.13_Ryzen_5950X
Return To Z3_Theorem_Prover_Gentoo2.13_Ryzen_5950X System Information
Linux bbox 6.3.1-gentoo-x86_64 #1 SMP PREEMPT_DYNAMIC Mon May 8 21:26:39 EDT 2023 x86_64 AMD Ryzen 9 5950X 16-Core Processor AuthenticAMD GNU/Linux