z3-1.0.0-fdrop-noalias-restrict-attr

z3-1.0.0-fdrop-noalias-restrict-attr

HTML result view exported from: https://openbenchmarking.org/result/2403153-NE-Z3100FDRO68.

z3-1.0.0-fdrop-noalias-restrict-attrProcessorMotherboardChipsetMemoryDiskGraphicsAudioNetworkOSKernelDisplay ServerCompilerFile-Systemz3-1.0.0-fdrop-noalias-restrict-attrIntel Core i5-10500 @ 3.10GHz (6 Cores)Dell 0NDYHG (1.25.0 BIOS)Intel Tiger Lake-H8GBPC SN730 NVMe WDC 256GB + 1000GB MB001000GWFGF + 0GB SD Card ReaderIntel CometLake-S GT2 [UHD 630] (1150MHz)Realtek ALC3246IntelDebian 126.1.0-13-amd64 (x86_64)X Server 1.21.1.7GCC 12.2.0ext4OpenBenchmarking.org- Transparent Huge Pages: always- LDFLAGS=- Scaling Governor: intel_pstate performance (EPP: performance) - CPU Microcode: 0xf8- Python 3.11.2- gather_data_sampling: Mitigation of Microcode + itlb_multihit: KVM: Mitigation of VMX disabled + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Mitigation of Clear buffers; SMT disabled + retbleed: Mitigation of Enhanced IBRS + spec_rstack_overflow: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of usercopy/swapgs barriers and __user pointer sanitization + spectre_v2: Mitigation of Enhanced IBRS IBPB: conditional RSB filling PBRSB-eIBRS: SW sequence + srbds: Mitigation of Microcode + tsx_async_abort: Not affected

z3-1.0.0-fdrop-noalias-restrict-attrz3: 1.smt2z3: 2.smt2z3-1.0.0-fdrop-noalias-restrict-attr30.83149.580OpenBenchmarking.org

Z3 Theorem Prover

SMT File: 1.smt2

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 1.smt2z3-1.0.0-fdrop-noalias-restrict-attr714212835SE +/- 0.29, N = 330.83

Z3 Theorem Prover

SMT File: 2.smt2

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 2.smt2z3-1.0.0-fdrop-noalias-restrict-attr1122334455SE +/- 0.23, N = 349.58

Phoronix Test Suite v10.8.4