zz
Intel Core i7-1280P testing with a MSI MS-14C6 (E14C6IMS.115 BIOS) and MSI Intel Alder Lake-P IGP on Pop 22.04 via the Phoronix Test Suite.
HTML result view exported from: https://openbenchmarking.org/result/2305058-NE-ZZ363223386&rdt&grr.
Z3 Theorem Prover
SMT File: 2.smt2
eSpeak-NG Speech Engine
Text-To-Speech Synthesis
Z3 Theorem Prover
SMT File: 1.smt2
Phoronix Test Suite v10.8.5