microsoft / qsharp

Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
https://microsoft.github.io/qsharp/
MIT License
367 stars 73 forks source link

Parameter to set maximum number of distillation rounds in default search #1669

Closed msoeken closed 1 day ago

msoeken commented 3 days ago

This adds a parameter maxDistillationRounds to the constraints group in resource estimation, which allows to modify the allowed number of distillation rounds in the first search for T factories. The default value is 3. Making this number larger will slow down resource estimation due to the larger exploration space of possible T factories.

github-actions[bot] commented 3 days ago

Benchmark for 433ebce

Click to view benchmark | Test | Base | PR | % | |------|--------------|------------------|---| | Array append evaluation | 330.8±18.63µs | 328.0±10.45µs | -0.85% | | Array literal evaluation | 169.1±1.68µs | 169.0±3.56µs | -0.06% | | Array update evaluation | 409.4±2.06µs | **406.7±2.05µs** | **-0.66%** | | Core + Standard library compilation | 20.0±0.32ms | 20.2±0.58ms | +1.00% | | Deutsch-Jozsa evaluation | 5.2±0.05ms | **5.1±0.04ms** | **-1.92%** | | Large file parity evaluation | 34.4±0.10ms | 34.4±0.07ms | 0.00% | | Large input file compilation | 12.6±0.31ms | 12.4±0.36ms | -1.59% | | Large input file compilation (interpreter) | 49.1±1.40ms | 49.6±1.52ms | +1.02% | | Large nested iteration | 31.8±0.24ms | 31.8±0.32ms | 0.00% | | Perform Runtime Capabilities Analysis (RCA) on Deutsch-Jozsa sample | 1550.1±49.87µs | 1563.1±55.54µs | +0.84% | | Perform Runtime Capabilities Analysis (RCA) on large file sample | 7.9±0.13ms | 7.9±0.11ms | 0.00% | | Perform Runtime Capabilities Analysis (RCA) on teleport sample | 1407.0±35.49µs | 1419.5±64.92µs | +0.89% | | Perform Runtime Capabilities Analysis (RCA) on the core and std libraries | 28.2±0.29ms | **27.9±0.26ms** | **-1.06%** | | Teleport evaluation | 91.5±3.83µs | 91.5±4.86µs | 0.00% |
github-actions[bot] commented 2 days ago

Benchmark for f319838

Click to view benchmark | Test | Base | PR | % | |------|--------------|------------------|---| | Array append evaluation | 328.6±5.05µs | 328.0±3.03µs | -0.18% | | Array literal evaluation | 169.9±3.88µs | 169.1±0.85µs | -0.47% | | Array update evaluation | 408.3±8.47µs | 408.0±2.85µs | -0.07% | | Core + Standard library compilation | **21.3±1.14ms** | 22.8±1.25ms | **+7.04%** | | Deutsch-Jozsa evaluation | 5.2±0.05ms | 5.2±0.05ms | 0.00% | | Large file parity evaluation | 34.8±0.51ms | 34.9±0.56ms | +0.29% | | Large input file compilation | 13.3±0.86ms | 13.6±1.00ms | +2.26% | | Large input file compilation (interpreter) | 53.5±3.39ms | 52.5±3.26ms | -1.87% | | Large nested iteration | 31.9±0.58ms | 31.9±0.62ms | 0.00% | | Perform Runtime Capabilities Analysis (RCA) on Deutsch-Jozsa sample | 1561.8±53.39µs | 1572.7±119.78µs | +0.70% | | Perform Runtime Capabilities Analysis (RCA) on large file sample | 8.0±0.19ms | 8.0±0.21ms | 0.00% | | Perform Runtime Capabilities Analysis (RCA) on teleport sample | 1420.0±40.21µs | 1445.4±145.12µs | +1.79% | | Perform Runtime Capabilities Analysis (RCA) on the core and std libraries | 28.4±0.68ms | 28.5±0.69ms | +0.35% | | Teleport evaluation | 91.2±3.58µs | 91.9±4.44µs | +0.77% |
github-actions[bot] commented 2 days ago

Benchmark for 936ffb7

Click to view benchmark | Test | Base | PR | % | |------|--------------|------------------|---| | Array append evaluation | **328.1±1.98µs** | 331.2±3.96µs | **+0.94%** | | Array literal evaluation | **169.2±1.29µs** | 186.2±0.86µs | **+10.05%** | | Array update evaluation | **407.1±1.13µs** | 410.4±1.82µs | **+0.81%** | | Core + Standard library compilation | 19.9±0.28ms | 20.0±0.53ms | +0.50% | | Deutsch-Jozsa evaluation | **5.1±0.13ms** | 5.2±0.07ms | **+1.96%** | | Large file parity evaluation | 34.4±0.09ms | 34.4±0.24ms | 0.00% | | Large input file compilation | 12.2±0.19ms | 12.1±0.34ms | -0.82% | | Large input file compilation (interpreter) | 49.6±2.07ms | **46.9±0.77ms** | **-5.44%** | | Large nested iteration | 32.0±0.37ms | 32.2±0.35ms | +0.62% | | Perform Runtime Capabilities Analysis (RCA) on Deutsch-Jozsa sample | 1550.4±34.63µs | 1546.1±47.03µs | -0.28% | | Perform Runtime Capabilities Analysis (RCA) on large file sample | 7.8±0.08ms | **7.7±0.09ms** | **-1.28%** | | Perform Runtime Capabilities Analysis (RCA) on teleport sample | 1411.6±34.35µs | 1404.6±29.92µs | -0.50% | | Perform Runtime Capabilities Analysis (RCA) on the core and std libraries | 27.9±0.16ms | **27.7±0.20ms** | **-0.72%** | | Teleport evaluation | 92.1±5.55µs | 91.7±4.25µs | -0.43% |