Add Processor To Compare:


 
Intel Xeon Platinum 8468  
Core Count
48
Thread Count
96
CPU Clock *
3.8 GHz
Core Family
Sapphire Rapids
First Appeared
2023
Overall Percentile
65th
Total OpenBenchmarking.org Results
1,629
Qualified Test Combinations
106
Performance Per Dollar
Affiliate Shopping Links *
More Details On OpenBenchmarking.org
Remove From Comparison
* Note: Due to differences in Linux drivers/interfaces, the reported CPU clock may be displayed different depending upon the CPU - i.e. base vs. boost frequency.
* Disclosure: OpenBenchmarking.org may earn a commission/referral on affiliate shopping links should you decide to make any purchases from the third-party shopping links.


Of the components selected for comparison, there were 106 benchmarks in common (matching test profile, test version and any configurable test options) and where that data was statistically significant and at least three independent data points for each component of the public test results on OpenBenchmarking.org.


106 Benchmarks Found In Common - Sort By: Greatest Spread

OpenBenchmarking.orgMIPS, More Is Better7-Zip Compression 22.01Test: Compression RatingIntel Xeon Platinum 846870K140K210K280K350KSE +/- 1843.05, N = 16344658
OpenBenchmarking.orgMIPS, More Is Better7-Zip Compression 22.01Test: Decompression RatingIntel Xeon Platinum 846850K100K150K200K250KSE +/- 840.36, N = 17254107
OpenBenchmarking.orgGFLOP/s, More Is BetterACES DGEMM 1.0Sustained Floating-Point RateIntel Xeon Platinum 8468510152025SE +/- 0.43, N = 319.50
OpenBenchmarking.orgFigure Of Merit, More Is BetterAlgebraic Multi-Grid Benchmark 1.2Intel Xeon Platinum 8468300M600M900M1200M1500MSE +/- 4838454.65, N = 41615399750
OpenBenchmarking.orgOp/s, More Is BetterApache Cassandra 4.1.3Test: WritesIntel Xeon Platinum 846830K60K90K120K150KSE +/- 2612.28, N = 7146621
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 100Intel Xeon Platinum 846820M40M60M80M100MSE +/- 1523989.79, N = 888860055
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 100Intel Xeon Platinum 84681224364860SE +/- 1.05, N = 852
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 400Intel Xeon Platinum 846820M40M60M80M100MSE +/- 1527481.41, N = 684636084
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 400Intel Xeon Platinum 84684080120160200SE +/- 4.25, N = 6198
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 100Intel Xeon Platinum 846820M40M60M80M100MSE +/- 1840861.16, N = 8108180669
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 100Intel Xeon Platinum 84681530456075SE +/- 1.17, N = 869
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 400Intel Xeon Platinum 846820M40M60M80M100MSE +/- 2684331.20, N = 8102600473
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 500 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 400Intel Xeon Platinum 846860120180240300SE +/- 8.00, N = 8256
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 100Intel Xeon Platinum 846820M40M60M80M100MSE +/- 1508254.48, N = 6107164279
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 100Intel Xeon Platinum 84681020304050SE +/- 0.63, N = 644.20
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 400Intel Xeon Platinum 846820M40M60M80M100MSE +/- 1393251.69, N = 6104790492
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 500 - Client Number: 400Intel Xeon Platinum 84684080120160200SE +/- 1.93, N = 6177
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 100Intel Xeon Platinum 846830M60M90M120M150MSE +/- 1308346.91, N = 6123227973
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 100Intel Xeon Platinum 84681428425670SE +/- 0.69, N = 662
OpenBenchmarking.orgpoint/sec, More Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 400Intel Xeon Platinum 846820M40M60M80M100MSE +/- 4741741.49, N = 8116206606
OpenBenchmarking.orgAverage Latency, Fewer Is BetterApache IoTDB 1.2Device Count: 800 - Batch Size Per Write: 100 - Sensor Count: 800 - Client Number: 400Intel Xeon Platinum 846860120180240300SE +/- 12.29, N = 8262
OpenBenchmarking.orgMpix/sec, More Is BetterASKAP 1.0Test: tConvolve MPI - DegriddingIntel Xeon Platinum 84683K6K9K12K15KSE +/- 158.70, N = 315748
OpenBenchmarking.orgMpix/sec, More Is BetterASKAP 1.0Test: tConvolve MPI - GriddingIntel Xeon Platinum 84684K8K12K16K20KSE +/- 304.67, N = 319662
OpenBenchmarking.orgQueries Per Minute, Geo Mean, More Is BetterClickHouse 22.12.3.5100M Rows Hits Dataset, First Run / Cold CacheIntel Xeon Platinum 8468100200300400500SE +/- 22.64, N = 5441
OpenBenchmarking.orgQueries Per Minute, Geo Mean, More Is BetterClickHouse 22.12.3.5100M Rows Hits Dataset, Second RunIntel Xeon Platinum 8468100200300400500SE +/- 22.28, N = 5459
OpenBenchmarking.orgQueries Per Minute, Geo Mean, More Is BetterClickHouse 22.12.3.5100M Rows Hits Dataset, Third RunIntel Xeon Platinum 8468100200300400500SE +/- 23.43, N = 5463
OpenBenchmarking.orgops/s, More Is BetterCockroachDB 22.2Workload: KV, 50% Reads - Concurrency: 128Intel Xeon Platinum 846820K40K60K80K100KSE +/- 216.10, N = 3115841
OpenBenchmarking.orgVoices, More Is BetterGoogle SynthMark 20201109Test: VoiceMark_100Intel Xeon Platinum 8468170340510680850SE +/- 2.73, N = 3773
OpenBenchmarking.orgSeconds, Fewer Is BetterGPAW 23.6Input: Carbon NanotubeIntel Xeon Platinum 84681224364860SE +/- 3.09, N = 454.10
OpenBenchmarking.orgReal C/S, More Is BetterJohn The Ripper 2023.03.14Test: bcryptIntel Xeon Platinum 846820K40K60K80K100KSE +/- 488.66, N = 1282359
OpenBenchmarking.orgReal C/S, More Is BetterJohn The Ripper 2023.03.14Test: WPA PSKIntel Xeon Platinum 846870K140K210K280K350KSE +/- 378.07, N = 11343471
OpenBenchmarking.orgReal C/S, More Is BetterJohn The Ripper 2023.03.14Test: BlowfishIntel Xeon Platinum 846820K40K60K80K100KSE +/- 490.66, N = 1282268
OpenBenchmarking.orgReal C/S, More Is BetterJohn The Ripper 2023.03.14Test: HMAC-SHA512Intel Xeon Platinum 846850M100M150M200M250MSE +/- 1836656.69, N = 11220578636
OpenBenchmarking.orgReal C/S, More Is BetterJohn The Ripper 2023.03.14Test: MD5Intel Xeon Platinum 84682M4M6M8M10MSE +/- 14360.73, N = 118874818
OpenBenchmarking.orgFrames Per Second, More Is BetterKvazaar 2.2Video Input: Bosphorus 4K - Video Preset: MediumIntel Xeon Platinum 8468510152025SE +/- 0.03, N = 521.20
OpenBenchmarking.orgFrames Per Second, More Is BetterKvazaar 2.2Video Input: Bosphorus 4K - Video Preset: Very FastIntel Xeon Platinum 84681122334455SE +/- 0.15, N = 347.90
OpenBenchmarking.orgFrames Per Second, More Is BetterKvazaar 2.2Video Input: Bosphorus 4K - Video Preset: Super FastIntel Xeon Platinum 84681428425670SE +/- 0.22, N = 363.10
OpenBenchmarking.orgns/day, More Is BetterLAMMPS Molecular Dynamics Simulator 23Jun2022Model: 20k AtomsIntel Xeon Platinum 8468816243240SE +/- 0.13, N = 532.50
OpenBenchmarking.orgSeconds, Fewer Is Betterlibavif avifenc 1.0Encoder Speed: 0Intel Xeon Platinum 84681530456075SE +/- 0.17, N = 368
OpenBenchmarking.orgSeconds, Fewer Is Betterlibavif avifenc 1.0Encoder Speed: 2Intel Xeon Platinum 8468816243240SE +/- 0.26, N = 536.50
OpenBenchmarking.orgSeconds, Fewer Is Betterlibavif avifenc 1.0Encoder Speed: 6, LosslessIntel Xeon Platinum 8468246810SE +/- 0.038, N = 56.340
OpenBenchmarking.orgsamples/s, More Is BetterLiquid-DSP 1.6Threads: 64 - Buffer Length: 256 - Filter Length: 32Intel Xeon Platinum 8468400M800M1200M1600M2000MSE +/- 4600599.06, N = 51957186667
OpenBenchmarking.orgsamples/s, More Is BetterLiquid-DSP 1.6Threads: 128 - Buffer Length: 256 - Filter Length: 32Intel Xeon Platinum 8468600M1200M1800M2400M3000MSE +/- 5679217.51, N = 52777146667
OpenBenchmarking.orgsamples/s, More Is BetterLiquid-DSP 1.6Threads: 64 - Buffer Length: 256 - Filter Length: 512Intel Xeon Platinum 8468150M300M450M600M750MSE +/- 4195464.44, N = 4695169167
OpenBenchmarking.orgsamples/s, More Is BetterLiquid-DSP 1.6Threads: 128 - Buffer Length: 256 - Filter Length: 512Intel Xeon Platinum 8468200M400M600M800M1000MSE +/- 6345415.67, N = 4849813333
OpenBenchmarking.orgz/s, More Is BetterLULESH 2.0.3Intel Xeon Platinum 84685K10K15K20K25KSE +/- 930.30, N = 324591
OpenBenchmarking.orgM samples/sec, More Is BetterLuxCoreRender 2.6Scene: DLSC - Acceleration: CPUIntel Xeon Platinum 8468246810SE +/- 0.07, N = 57.90
OpenBenchmarking.orgM samples/sec, More Is BetterLuxCoreRender 2.6Scene: Orange Juice - Acceleration: CPUIntel Xeon Platinum 84683691215SE +/- 0.11, N = 512.20
OpenBenchmarking.orgGFInst/s, More Is BetterminiBUDE 20210901Implementation: OpenMP - Input Deck: BM1Intel Xeon Platinum 8468400800120016002000SE +/- 16.23, N = 31935
OpenBenchmarking.orgBillion Interactions/s, More Is BetterminiBUDE 20210901Implementation: OpenMP - Input Deck: BM1Intel Xeon Platinum 846820406080100SE +/- 0.65, N = 377
OpenBenchmarking.orgGFInst/s, More Is BetterminiBUDE 20210901Implementation: OpenMP - Input Deck: BM2Intel Xeon Platinum 8468400800120016002000SE +/- 7.79, N = 32064
OpenBenchmarking.orgBillion Interactions/s, More Is BetterminiBUDE 20210901Implementation: OpenMP - Input Deck: BM2Intel Xeon Platinum 846820406080100SE +/- 0.31, N = 383
OpenBenchmarking.orgCG Mflops, More Is BetterminiFE 2.2Problem Size: SmallIntel Xeon Platinum 84688K16K24K32K40KSE +/- 123.30, N = 335410
OpenBenchmarking.orgdays/ns, Fewer Is BetterNAMD 2.14ATPase Simulation - 327,506 AtomsIntel Xeon Platinum 84680.07210.14420.21630.28840.3605SE +/- 0.00142, N = 40.32000
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: BT.CIntel Xeon Platinum 846830K60K90K120K150KSE +/- 74.36, N = 4152790
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: CG.CIntel Xeon Platinum 84687K14K21K28K35KSE +/- 137.87, N = 433548
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: EP.DIntel Xeon Platinum 846814002800420056007000SE +/- 47.05, N = 46597
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: IS.DIntel Xeon Platinum 84686001200180024003000SE +/- 12.59, N = 32839
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: LU.CIntel Xeon Platinum 846830K60K90K120K150KSE +/- 207.50, N = 4137188
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: MG.CIntel Xeon Platinum 846820K40K60K80K100KSE +/- 335.62, N = 483990
OpenBenchmarking.orgTotal Mop/s, More Is BetterNAS Parallel Benchmarks 3.4Test / Class: SP.CIntel Xeon Platinum 846813K26K39K52K65KSE +/- 188.20, N = 462876
OpenBenchmarking.orgruns/s, More Is BetterNode.js V8 Web Tooling BenchmarkIntel Xeon Platinum 846848121620SE +/- 0.48, N = 316.20
OpenBenchmarking.orgScore, More Is BetterNumpy BenchmarkIntel Xeon Platinum 8468110220330440550SE +/- 1.79, N = 3495
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenFOAM 10Input: drivaerFastback, Small Mesh Size - Mesh TimeIntel Xeon Platinum 8468714212835SE +/- 2.10, N = 328.80
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenFOAM 10Input: drivaerFastback, Small Mesh Size - Execution TimeIntel Xeon Platinum 84681122334455SE +/- 0.41, N = 346.30
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenFOAM 10Input: drivaerFastback, Medium Mesh Size - Mesh TimeIntel Xeon Platinum 8468306090120150SE +/- 5.29, N = 3132
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenFOAM 10Input: drivaerFastback, Medium Mesh Size - Execution TimeIntel Xeon Platinum 8468100200300400500SE +/- 2.14, N = 3462
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenRadioss 2023.09.15Model: Bumper BeamIntel Xeon Platinum 846820406080100SE +/- 0.20, N = 779
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenRadioss 2023.09.15Model: Cell Phone Drop TestIntel Xeon Platinum 8468714212835SE +/- 0.28, N = 1132.20
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenRadioss 2023.09.15Model: Bird Strike on WindshieldIntel Xeon Platinum 8468306090120150SE +/- 0.51, N = 9121
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenRadioss 2023.09.15Model: Rubber O-Ring Seal InstallationIntel Xeon Platinum 84681326395265SE +/- 0.36, N = 758.20
OpenBenchmarking.orgSeconds, Fewer Is BetterOpenRadioss 2023.09.15Model: INIVOL and Fluid Structure Interaction Drop ContainerIntel Xeon Platinum 8468306090120150SE +/- 1.59, N = 11145
OpenBenchmarking.orgbyte/s, More Is BetterOpenSSL 3.1Algorithm: SHA256Intel Xeon Platinum 846811000M22000M33000M44000M55000MSE +/- 248493592.08, N = 953029104318
OpenBenchmarking.orgbyte/s, More Is BetterOpenSSL 3.1Algorithm: SHA512Intel Xeon Platinum 84684000M8000M12000M16000M20000MSE +/- 31060352.88, N = 919541315004
OpenBenchmarking.orgsign/s, More Is BetterOpenSSL 3.1Algorithm: RSA4096Intel Xeon Platinum 84685K10K15K20K25KSE +/- 64.20, N = 925430
OpenBenchmarking.orgverify/s, More Is BetterOpenSSL 3.1Algorithm: RSA4096Intel Xeon Platinum 8468200K400K600K800K1000KSE +/- 425.05, N = 9841116
OpenBenchmarking.orgbyte/s, More Is BetterOpenSSL 3.1Algorithm: ChaCha20Intel Xeon Platinum 846860000M120000M180000M240000M300000MSE +/- 287618415.90, N = 8266885721033
OpenBenchmarking.orgbyte/s, More Is BetterOpenSSL 3.1Algorithm: AES-128-GCMIntel Xeon Platinum 8468150000M300000M450000M600000M750000MSE +/- 234461769.46, N = 8716917845253
OpenBenchmarking.orgbyte/s, More Is BetterOpenSSL 3.1Algorithm: AES-256-GCMIntel Xeon Platinum 8468120000M240000M360000M480000M600000MSE +/- 280965129.78, N = 8575631909409
OpenBenchmarking.orgbyte/s, More Is BetterOpenSSL 3.1Algorithm: ChaCha20-Poly1305Intel Xeon Platinum 846840000M80000M120000M160000M200000MSE +/- 78644709.87, N = 8192295839880
OpenBenchmarking.orgHydro Cycle Time - Seconds, Fewer Is BetterPennant 1.0.1Test: sedovbigIntel Xeon Platinum 846848121620SE +/- 0.08, N = 318.10
OpenBenchmarking.orgHydro Cycle Time - Seconds, Fewer Is BetterPennant 1.0.1Test: leblancbigIntel Xeon Platinum 84681.26592.53183.79775.06366.3295SE +/- 0.074, N = 35.630
OpenBenchmarking.orgTPS, More Is BetterPostgreSQL 16Scaling Factor: 100 - Clients: 1000 - Mode: Read OnlyIntel Xeon Platinum 8468400K800K1200K1600K2000KSE +/- 33397.20, N = 41989525
OpenBenchmarking.orgms, Fewer Is BetterPostgreSQL 16Scaling Factor: 100 - Clients: 1000 - Mode: Read Only - Average LatencyIntel Xeon Platinum 84680.11320.22640.33960.45280.566SE +/- 0.009, N = 40.500
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: GET - Parallel Connections: 50Intel Xeon Platinum 8468800K1600K2400K3200K4000KSE +/- 162113.05, N = 53735623
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: SET - Parallel Connections: 50Intel Xeon Platinum 8468600K1200K1800K2400K3000KSE +/- 21372.43, N = 52887105
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: GET - Parallel Connections: 500Intel Xeon Platinum 8468600K1200K1800K2400K3000KSE +/- 7215.57, N = 52979003
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: SADD - Parallel Connections: 50Intel Xeon Platinum 8468700K1400K2100K2800K3500KSE +/- 57853.33, N = 43345043
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: SET - Parallel Connections: 500Intel Xeon Platinum 8468500K1000K1500K2000K2500KSE +/- 14428.48, N = 52393840
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: LPUSH - Parallel Connections: 50Intel Xeon Platinum 8468500K1000K1500K2000K2500KSE +/- 92856.95, N = 42422443
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: SADD - Parallel Connections: 500Intel Xeon Platinum 8468600K1200K1800K2400K3000KSE +/- 29629.93, N = 42798565
OpenBenchmarking.orgRequests Per Second, More Is BetterRedis 7.0.4Test: LPUSH - Parallel Connections: 500Intel Xeon Platinum 8468500K1000K1500K2000K2500KSE +/- 36343.05, N = 42160010
OpenBenchmarking.orgmarks, More Is BetterSecureMark 1.0.4Benchmark: SecureMark-TLSIntel Xeon Platinum 846860K120K180K240K300KSE +/- 6157.91, N = 4289979
OpenBenchmarking.orgEvents Per Second, More Is BetterSysbench 1.0.20Test: CPUIntel Xeon Platinum 846830K60K90K120K150KSE +/- 238.02, N = 4132500
OpenBenchmarking.orgSeconds, Fewer Is BetterTimed Godot Game Engine Compilation 4.0Time To CompileIntel Xeon Platinum 8468306090120150SE +/- 2.34, N = 13126
OpenBenchmarking.orgSeconds, Fewer Is BetterTimed Linux Kernel Compilation 6.1Build: defconfigIntel Xeon Platinum 8468816243240SE +/- 1.04, N = 1132.50
OpenBenchmarking.orgSeconds, Fewer Is BetterTimed Linux Kernel Compilation 6.1Build: allmodconfigIntel Xeon Platinum 846870140210280350SE +/- 3.93, N = 11304
OpenBenchmarking.orgSeconds, Fewer Is BetterTimed LLVM Compilation 16.0Build System: NinjaIntel Xeon Platinum 84684080120160200SE +/- 1.90, N = 13187
OpenBenchmarking.orgSeconds, Fewer Is BetterTimed LLVM Compilation 16.0Build System: Unix MakefilesIntel Xeon Platinum 846850100150200250SE +/- 1.84, N = 6244
OpenBenchmarking.orgSeconds, Fewer Is BetterTimed Node.js Compilation 19.8.1Time To CompileIntel Xeon Platinum 84684080120160200SE +/- 0.36, N = 10163
OpenBenchmarking.orgFrames Per Second, More Is Betteruvg266 0.4.1Video Input: Bosphorus 4K - Video Preset: MediumIntel Xeon Platinum 846848121620SE +/- 0.03, N = 517.90
OpenBenchmarking.orgFrames Per Second, More Is Betteruvg266 0.4.1Video Input: Bosphorus 4K - Video Preset: Very FastIntel Xeon Platinum 84681122334455SE +/- 0.16, N = 347.40
OpenBenchmarking.orgSeconds, Fewer Is BetterWRF 4.2.2Input: conus 2.5kmIntel Xeon Platinum 84683K6K9K12K15KSE +/- 24.22, N = 312631
OpenBenchmarking.orgSeconds, Fewer Is BetterXcompact3d Incompact3d 2021-03-11Input: X3D-benchmarking input.i3dIntel Xeon Platinum 846880160240320400SE +/- 2.76, N = 3384
OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 1.smt2Intel Xeon Platinum 8468510152025SE +/- 0.11, N = 620.50
OpenBenchmarking.orgSeconds, Fewer Is BetterZ3 Theorem Prover 4.12.1SMT File: 2.smt2Intel Xeon Platinum 846820406080100SE +/- 0.18, N = 682