z3-1.0.0-mllvm-zero-uninit-loads

z3-1.0.0-mllvm-zero-uninit-loads

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2403130-NE-Z3100MLLV77
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-mllvm-zero-uninit-loads
March 13
  4 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-mllvm-zero-uninit-loads", "last_modified": "2024-03-13 07:01:17", "description": "z3-1.0.0-mllvm-zero-uninit-loads", "systems": { "z3-1.0.0-mllvm-zero-uninit-loads": { "identifier": "z3-1.0.0-mllvm-zero-uninit-loads", "hardware": { "Processor": "Intel Core i5-10500 @ 3.10GHz (6 Cores)", "Motherboard": "Dell 0NDYHG (1.25.0 BIOS)", "Chipset": "Intel Tiger Lake-H", "Memory": "8GB", "Disk": "PC SN730 NVMe WDC 256GB + 1000GB MB001000GWFGF + 0GB SD Card Reader", "Graphics": "Intel CometLake-S GT2 [UHD 630] (1150MHz)", "Audio": "Realtek ALC3246", "Network": "Intel" }, "software": { "OS": "Debian 12", "Kernel": "6.1.0-13-amd64 (x86_64)", "Display Server": "X Server 1.21.1.7", "Compiler": "GCC 12.2.0", "File-System": "ext4" }, "user": "lucian", "timestamp": "2024-03-13 06:56:46", "client_version": "10.8.4", "data": { "cpu-scaling-governor": "intel_pstate performance (EPP: performance)", "cpu-microcode": "0xf8", "kernel-extra-details": "Transparent Huge Pages: always", "environment-variables": "LDFLAGS=", "python": "Python 3.11.2", "security": "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" } } }, "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-mllvm-zero-uninit-loads": { "value": 49.183999999999997498889570124447345733642578125, "raw_values": [ 49.38900000000000289901436190120875835418701171875, 48.6880000000000023874235921539366245269775390625, 49.4759999999999990905052982270717620849609375 ], "test_run_times": [ 49.3900000000000005684341886080801486968994140625, 48.68999999999999772626324556767940521240234375, 49.47999999999999687361196265555918216705322265625 ] } } }, "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-mllvm-zero-uninit-loads": { "value": 30.76200000000000045474735088646411895751953125, "raw_values": [ 31.2259999999999990905052982270717620849609375, 30.45700000000000073896444519050419330596923828125, 30.602000000000000312638803734444081783294677734375 ], "test_run_times": [ 31.230000000000000426325641456060111522674560546875, 30.46000000000000085265128291212022304534912109375, 30.60000000000000142108547152020037174224853515625 ] } } } } }