z3-1.0.0-fno-strict-aliasing

z3-1.0.0-fno-strict-aliasing

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2408288-NE-Z3100FNOS68
Jump To Table - Results

Statistics

Remove Outliers Before Calculating Averages

Graph Settings

Prefer Vertical Bar Graphs

Multi-Way Comparison

Condense Multi-Option Tests Into Single Result Graphs

Table

Show Detailed System Result Table

Run Management

Result
Identifier
View Logs
Performance Per
Dollar
Date
Run
  Test
  Duration
z3-1.0.0-fno-strict-aliasing
August 28
  13 Minutes
Only show results matching title/arguments (delimit multiple options with a comma):
Do not show results matching title/arguments (delimit multiple options with a comma):


{ "title": "z3-1.0.0-fno-strict-aliasing", "last_modified": "2024-08-28 13:41:25", "description": "z3-1.0.0-fno-strict-aliasing", "systems": { "z3-1.0.0-fno-strict-aliasing": { "identifier": "z3-1.0.0-fno-strict-aliasing", "hardware": { "Processor": "ARMv8 Neoverse-N1 @ 2.00GHz (160 Cores)", "Motherboard": "Oracle TLA MB TRAY A1-2c (77015500 BIOS)", "Memory": "1008GB", "Disk": "215GB BlockVolume", "Graphics": "mgag200drmfb" }, "software": { "OS": "Ubuntu 22.04", "Kernel": "6.5.0-1026-oracle (aarch64)", "Vulkan": "1.3.255", "Compiler": "GCC 11.4.0", "File-System": "ext4", "Screen Resolution": "1024x768" }, "user": "ubuntu", "timestamp": "2024-08-28 13:27:19", "client_version": "10.8.4", "data": { "cpu-scaling-governor": "cppc_cpufreq performance (Boost: Disabled)", "kernel-parameters": "libiscsi.debug_libiscsi_eh=1", "kernel-extra-details": "Transparent Huge Pages: madvise", "python": "Python 3.10.12", "security": "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: Not affected + spec_store_bypass: Mitigation of SSB disabled via prctl + spectre_v1: Mitigation of __user pointer sanitization + spectre_v2: Mitigation of CSV2 BHB + srbds: Not affected + tsx_async_abort: Not affected" } } }, "results": { "f3282dd9c062dfbebf49ec4938dff78e3b26e418": { "identifier": "pts\/z3-1.0.0", "title": "Z3 Theorem Prover", "app_version": "4.12.1", "arguments": "2.smt2", "description": "SMT File: 2.smt2", "scale": "Seconds", "proportion": "LIB", "display_format": "BAR_GRAPH", "results": { "z3-1.0.0-fno-strict-aliasing": { "value": 75.0969999999999942019712761975824832916259765625, "raw_values": [ 75.1219999999999998863131622783839702606201171875, 75.08899999999999863575794734060764312744140625, 75.0810000000000030695446184836328029632568359375 ], "test_run_times": [ 75.1200000000000045474735088646411895751953125, 75.090000000000003410605131648480892181396484375, 75.0799999999999982946974341757595539093017578125 ] } } }, "c3f0e58eecb1b8539ae35d5af1600f99be0e5881": { "identifier": "pts\/z3-1.0.0", "title": "Z3 Theorem Prover", "app_version": "4.12.1", "arguments": "1.smt2", "description": "SMT File: 1.smt2", "scale": "Seconds", "proportion": "LIB", "display_format": "BAR_GRAPH", "results": { "z3-1.0.0-fno-strict-aliasing": { "value": 42.2770000000000010231815394945442676544189453125, "raw_values": [ 44.5679999999999978399500832892954349517822265625, 42.0439999999999969304553815163671970367431640625, 42.07600000000000051159076974727213382720947265625, 42.0799999999999982946974341757595539093017578125, 42.0750000000000028421709430404007434844970703125, 42.07600000000000051159076974727213382720947265625, 42.090000000000003410605131648480892181396484375, 42.1219999999999998863131622783839702606201171875, 42.0739999999999980673237587325274944305419921875, 42.1039999999999992041921359486877918243408203125, 42.09899999999999664623828721232712268829345703125, 42.0799999999999982946974341757595539093017578125, 42.1159999999999996589394868351519107818603515625 ], "test_run_times": [ 44.57000000000000028421709430404007434844970703125, 42.03999999999999914734871708787977695465087890625, 42.0799999999999982946974341757595539093017578125, 42.0799999999999982946974341757595539093017578125, 42.07000000000000028421709430404007434844970703125, 42.0799999999999982946974341757595539093017578125, 42.090000000000003410605131648480892181396484375, 42.11999999999999744204615126363933086395263671875, 42.07000000000000028421709430404007434844970703125, 42.10000000000000142108547152020037174224853515625, 42.10000000000000142108547152020037174224853515625, 42.0799999999999982946974341757595539093017578125, 42.11999999999999744204615126363933086395263671875 ] } } } } }