z3-1.0.0-fno-constrain-bool-value

z3-1.0.0-fno-constrain-bool-value

HTML result view exported from: https://openbenchmarking.org/result/2407175-NE-Z3100FNOC71.

z3-1.0.0-fno-constrain-bool-valueProcessorMotherboardChipsetMemoryDiskGraphicsNetworkOSKernelVulkanCompilerFile-SystemScreen Resolutionz3-1.0.0-fno-constrain-bool-value2 x AMD EPYC 9J14 96-Core @ 2.60GHz (192 Cores)Oracle Asm MB+Tray E5-2c (83040400 BIOS)AMD Device 14a42272GB215GB BlockVolumeASPEED2 x Mellanox MT2892Ubuntu 22.046.5.0-1025-oracle (x86_64)1.3.255GCC 11.4.0ext41024x768OpenBenchmarking.org- libiscsi.debug_libiscsi_eh=1 - Transparent Huge Pages: madvise- Scaling Governor: acpi-cpufreq performance (Boost: Disabled) - CPU Microcode: 0xa10113e - Python 3.10.12- gather_data_sampling: Not affected + itlb_multihit: Not affected + l1tf: Not affected + mds: Not affected + meltdown: Not affected + mmio_stale_data: Not affected + retbleed: Not affected + spec_rstack_overflow: Mitigation of Safe RET + 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 / Automatic IBRS; IBPB: conditional; STIBP: always-on; RSB filling; PBRSB-eIBRS: Not affected; BHI: Not affected + srbds: Not affected + tsx_async_abort: Not affected

z3-1.0.0-fno-constrain-bool-valuez3: 1.smt2z3: 2.smt2z3-1.0.0-fno-constrain-bool-value26.50647.414OpenBenchmarking.org

Z3 Theorem Prover

SMT File: 1.smt2

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 1.smt2z3-1.0.0-fno-constrain-bool-value612182430SE +/- 0.34, N = 1526.51

Z3 Theorem Prover

SMT File: 2.smt2

OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 2.smt2z3-1.0.0-fno-constrain-bool-value1122334455SE +/- 0.07, N = 347.41

Phoronix Test Suite v10.8.5