z3-1.0.0-fdrop-noalias-restrict-attr

z3-1.0.0-fdrop-noalias-restrict-attr

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2408136-NE-Z3100FDRO97
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-fdrop-noalias-restrict-attr
August 13
  7 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-fdrop-noalias-restrict-attr", "last_modified": "2024-08-13 15:12:58", "description": "z3-1.0.0-fdrop-noalias-restrict-attr", "systems": { "z3-1.0.0-fdrop-noalias-restrict-attr": { "identifier": "z3-1.0.0-fdrop-noalias-restrict-attr", "hardware": { "Processor": "2 x AMD EPYC 9J14 96-Core @ 2.60GHz (192 Cores)", "Motherboard": "Oracle Asm MB+Tray E5-2c (83040400 BIOS)", "Chipset": "AMD Device 14a4", "Memory": "2272GB", "Disk": "215GB BlockVolume", "Graphics": "ASPEED", "Network": "2 x Mellanox MT2892" }, "software": { "OS": "Ubuntu 22.04", "Kernel": "6.5.0-1026-oracle (x86_64)", "Vulkan": "1.3.255", "Compiler": "GCC 11.4.0", "File-System": "ext4", "Screen Resolution": "1024x768" }, "user": "ubuntu", "timestamp": "2024-08-13 15:05:29", "client_version": "10.8.4", "data": { "cpu-scaling-governor": "acpi-cpufreq performance (Boost: Enabled)", "cpu-microcode": "0xa10113e", "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: 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" } } }, "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-fdrop-noalias-restrict-attr": { "value": 32.45700000000000073896444519050419330596923828125, "raw_values": [ 32.4969999999999998863131622783839702606201171875, 32.4789999999999992041921359486877918243408203125, 32.39500000000000312638803734444081783294677734375 ], "test_run_times": [ 32.5, 32.47999999999999687361196265555918216705322265625, 32.39999999999999857891452847979962825775146484375 ] } } }, "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-fdrop-noalias-restrict-attr": { "value": 19.757000000000001449507180950604379177093505859375, "raw_values": [ 23.47800000000000153477230924181640148162841796875, 19.40299999999999869260136620141565799713134765625, 19.495000000000000994759830064140260219573974609375, 19.54899999999999948840923025272786617279052734375, 19.376999999999998891553332214243710041046142578125, 19.4140000000000014779288903810083866119384765625, 19.431000000000000937916411203332245349884033203125, 19.58500000000000085265128291212022304534912109375, 19.4200000000000017053025658242404460906982421875, 19.506000000000000227373675443232059478759765625, 19.582999999999998408384271897375583648681640625, 19.4020000000000010231815394945442676544189453125, 19.513000000000001676880856393836438655853271484375, 19.443000000000001392663762089796364307403564453125 ], "test_run_times": [ 23.480000000000000426325641456060111522674560546875, 19.39999999999999857891452847979962825775146484375, 19.489999999999998436805981327779591083526611328125, 19.550000000000000710542735760100185871124267578125, 19.379999999999999005240169935859739780426025390625, 19.410000000000000142108547152020037174224853515625, 19.42999999999999971578290569595992565155029296875, 19.5799999999999982946974341757595539093017578125, 19.4200000000000017053025658242404460906982421875, 19.510000000000001563194018672220408916473388671875, 19.5799999999999982946974341757595539093017578125, 19.39999999999999857891452847979962825775146484375, 19.510000000000001563194018672220408916473388671875, 19.440000000000001278976924368180334568023681640625 ] } } } } }