Compare your own system(s) to this result file with the
Phoronix Test Suite by running the command:
phoronix-test-suite benchmark 2408275-NE-Z3100FIGN91
{
"title": "z3-1.0.0-fignore-pure-const-attrs",
"last_modified": "2024-08-27 17:08:38",
"description": "z3-1.0.0-fignore-pure-const-attrs",
"systems": {
"z3-1.0.0-fignore-pure-const-attrs": {
"identifier": "z3-1.0.0-fignore-pure-const-attrs",
"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-27 16:55:00",
"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": {
"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-fignore-pure-const-attrs": {
"value": 40.8299999999999982946974341757595539093017578125,
"raw_values": [
43.38600000000000278532752417959272861480712890625,
40.5870000000000032969182939268648624420166015625,
40.5720000000000027284841053187847137451171875,
40.60900000000000176214598468504846096038818359375,
40.60799999999999698729880037717521190643310546875,
40.64399999999999835154085303656756877899169921875,
40.683999999999997498889570124447345733642578125,
40.6219999999999998863131622783839702606201171875,
40.566000000000002501110429875552654266357421875,
40.62400000000000233058017329312860965728759765625,
40.62299999999999755573298898525536060333251953125,
40.60600000000000164845914696343243122100830078125,
40.6569999999999964757080306299030780792236328125
],
"test_run_times": [
43.38000000000000255795384873636066913604736328125,
40.590000000000003410605131648480892181396484375,
40.57000000000000028421709430404007434844970703125,
40.6099999999999994315658113919198513031005859375,
40.6099999999999994315658113919198513031005859375,
40.6400000000000005684341886080801486968994140625,
40.67999999999999971578290569595992565155029296875,
40.61999999999999744204615126363933086395263671875,
40.57000000000000028421709430404007434844970703125,
40.61999999999999744204615126363933086395263671875,
40.61999999999999744204615126363933086395263671875,
40.6099999999999994315658113919198513031005859375,
40.659999999999996589394868351519107818603515625
]
}
}
},
"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-fignore-pure-const-attrs": {
"value": 72.18999999999999772626324556767940521240234375,
"raw_values": [
72.16599999999999681676854379475116729736328125,
72.1640000000000014779288903810083866119384765625,
72.2409999999999996589394868351519107818603515625
],
"test_run_times": [
72.1700000000000017053025658242404460906982421875,
72.159999999999996589394868351519107818603515625,
72.2399999999999948840923025272786617279052734375
]
}
}
}
}
}