z3-1.0.0-fdrop-deref-attr

z3-1.0.0-fdrop-deref-attr

Compare your own system(s) to this result file with the Phoronix Test Suite by running the command: phoronix-test-suite benchmark 2403168-NE-Z3100FDRO44
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-deref-attr
March 16
  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-fdrop-deref-attr", "last_modified": "2024-03-16 15:42:23", "description": "z3-1.0.0-fdrop-deref-attr", "systems": { "z3-1.0.0-fdrop-deref-attr": { "identifier": "z3-1.0.0-fdrop-deref-attr", "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-16 15:37:53", "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": { "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-deref-attr": { "value": 30.78600000000000136424205265939235687255859375, "raw_values": [ 31.31099999999999994315658113919198513031005859375, 30.65299999999999869260136620141565799713134765625, 30.393000000000000682121026329696178436279296875 ], "test_run_times": [ 31.309999999999998721023075631819665431976318359375, 30.64999999999999857891452847979962825775146484375, 30.3900000000000005684341886080801486968994140625 ] } } }, "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-deref-attr": { "value": 48.8419999999999987494447850622236728668212890625, "raw_values": [ 48.62599999999999766941982670687139034271240234375, 48.8070000000000021600499167107045650482177734375, 49.0919999999999987494447850622236728668212890625 ], "test_run_times": [ 48.63000000000000255795384873636066913604736328125, 48.81000000000000227373675443232059478759765625, 49.090000000000003410605131648480892181396484375 ] } } } } }