Comparing data and data


# SUMMARY
- LHS tests = 189
- RHS tests = 189
- LHS success = 189  (100.0%)
- RHS success = 189  (100.0%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: certora2-poly-seed-2
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: ed84b14e6c7dfaf6efd1b740119ecb1631e8bdfb
Z3 branch: arie
Z3 options: "-T:30 smt.arith.nl.nra.poly=true smt.random_seed=2"
Z3 inputs: inputs/certora2
Z3 commit message: fixing coi bug

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: certora2-poly-seed-2
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: ed84b14e6c7dfaf6efd1b740119ecb1631e8bdfb
Z3 branch: arie
Z3 options: "-T:30 smt.arith.nl.nra.poly=true smt.random_seed=2"
Z3 inputs: inputs/certora2
Z3 commit message: fixing coi bug

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>
</details>


## TOP 20 RUNTIME INCREASE

<details><summary>TOP 20 RUNTIME INCREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |  30.015s  |  30.015s  |   0.000s  | 0.0%|
|auk-0002.smt2                                                                               |   0.355s  |   0.355s  |   0.000s  | 0.0%|
|auk-0003.smt2                                                                               |   0.159s  |   0.159s  |   0.000s  | 0.0%|
|auk-0004.smt2                                                                               |   0.446s  |   0.446s  |   0.000s  | 0.0%|
|auk-0005.smt2                                                                               |  30.017s  |  30.017s  |   0.000s  | 0.0%|
|auk-0006.smt2                                                                               |   0.454s  |   0.454s  |   0.000s  | 0.0%|
|auk-0007.smt2                                                                               |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|auk-0008.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0009.smt2                                                                               |   0.050s  |   0.050s  |   0.000s  | 0.0%|
|auk-0010.smt2                                                                               |   0.468s  |   0.468s  |   0.000s  | 0.0%|
|auk-0011.smt2                                                                               |  30.034s  |  30.034s  |   0.000s  | 0.0%|
|auk-0012.smt2                                                                               |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|auk-0013.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|auk-0014.smt2                                                                               |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|auk-0015.smt2                                                                               |   0.537s  |   0.537s  |   0.000s  | 0.0%|
|auk-0016.smt2                                                                               |   0.268s  |   0.268s  |   0.000s  | 0.0%|
|auk-0017.smt2                                                                               |   0.261s  |   0.261s  |   0.000s  | 0.0%|
|auk-0018.smt2                                                                               |   0.259s  |   0.259s  |   0.000s  | 0.0%|
|auk-0019.smt2                                                                               |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|auk-0020.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME INCREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |  30.015s  |  30.015s  |   0.000s  | 0.0%|
|auk-0002.smt2                                                                               |   0.355s  |   0.355s  |   0.000s  | 0.0%|
|auk-0003.smt2                                                                               |   0.159s  |   0.159s  |   0.000s  | 0.0%|
|auk-0004.smt2                                                                               |   0.446s  |   0.446s  |   0.000s  | 0.0%|
|auk-0005.smt2                                                                               |  30.017s  |  30.017s  |   0.000s  | 0.0%|
|auk-0006.smt2                                                                               |   0.454s  |   0.454s  |   0.000s  | 0.0%|
|auk-0007.smt2                                                                               |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|auk-0008.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0009.smt2                                                                               |   0.050s  |   0.050s  |   0.000s  | 0.0%|
|auk-0010.smt2                                                                               |   0.468s  |   0.468s  |   0.000s  | 0.0%|
|auk-0011.smt2                                                                               |  30.034s  |  30.034s  |   0.000s  | 0.0%|
|auk-0012.smt2                                                                               |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|auk-0013.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|auk-0014.smt2                                                                               |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|auk-0015.smt2                                                                               |   0.537s  |   0.537s  |   0.000s  | 0.0%|
|auk-0016.smt2                                                                               |   0.268s  |   0.268s  |   0.000s  | 0.0%|
|auk-0017.smt2                                                                               |   0.261s  |   0.261s  |   0.000s  | 0.0%|
|auk-0018.smt2                                                                               |   0.259s  |   0.259s  |   0.000s  | 0.0%|
|auk-0019.smt2                                                                               |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|auk-0020.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

<details><summary>TOP 20 RUNTIME DECREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |  30.015s  |  30.015s  |   0.000s  | 0.0%|
|auk-0002.smt2                                                                               |   0.355s  |   0.355s  |   0.000s  | 0.0%|
|auk-0003.smt2                                                                               |   0.159s  |   0.159s  |   0.000s  | 0.0%|
|auk-0004.smt2                                                                               |   0.446s  |   0.446s  |   0.000s  | 0.0%|
|auk-0005.smt2                                                                               |  30.017s  |  30.017s  |   0.000s  | 0.0%|
|auk-0006.smt2                                                                               |   0.454s  |   0.454s  |   0.000s  | 0.0%|
|auk-0007.smt2                                                                               |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|auk-0008.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0009.smt2                                                                               |   0.050s  |   0.050s  |   0.000s  | 0.0%|
|auk-0010.smt2                                                                               |   0.468s  |   0.468s  |   0.000s  | 0.0%|
|auk-0011.smt2                                                                               |  30.034s  |  30.034s  |   0.000s  | 0.0%|
|auk-0012.smt2                                                                               |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|auk-0013.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|auk-0014.smt2                                                                               |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|auk-0015.smt2                                                                               |   0.537s  |   0.537s  |   0.000s  | 0.0%|
|auk-0016.smt2                                                                               |   0.268s  |   0.268s  |   0.000s  | 0.0%|
|auk-0017.smt2                                                                               |   0.261s  |   0.261s  |   0.000s  | 0.0%|
|auk-0018.smt2                                                                               |   0.259s  |   0.259s  |   0.000s  | 0.0%|
|auk-0019.smt2                                                                               |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|auk-0020.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME DECREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |  30.015s  |  30.015s  |   0.000s  | 0.0%|
|auk-0002.smt2                                                                               |   0.355s  |   0.355s  |   0.000s  | 0.0%|
|auk-0003.smt2                                                                               |   0.159s  |   0.159s  |   0.000s  | 0.0%|
|auk-0004.smt2                                                                               |   0.446s  |   0.446s  |   0.000s  | 0.0%|
|auk-0005.smt2                                                                               |  30.017s  |  30.017s  |   0.000s  | 0.0%|
|auk-0006.smt2                                                                               |   0.454s  |   0.454s  |   0.000s  | 0.0%|
|auk-0007.smt2                                                                               |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|auk-0008.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0009.smt2                                                                               |   0.050s  |   0.050s  |   0.000s  | 0.0%|
|auk-0010.smt2                                                                               |   0.468s  |   0.468s  |   0.000s  | 0.0%|
|auk-0011.smt2                                                                               |  30.034s  |  30.034s  |   0.000s  | 0.0%|
|auk-0012.smt2                                                                               |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|auk-0013.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|auk-0014.smt2                                                                               |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|auk-0015.smt2                                                                               |   0.537s  |   0.537s  |   0.000s  | 0.0%|
|auk-0016.smt2                                                                               |   0.268s  |   0.268s  |   0.000s  | 0.0%|
|auk-0017.smt2                                                                               |   0.261s  |   0.261s  |   0.000s  | 0.0%|
|auk-0018.smt2                                                                               |   0.259s  |   0.259s  |   0.000s  | 0.0%|
|auk-0019.smt2                                                                               |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|auk-0020.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

<details><summary>TOP 20 LHS FILES, BY RUNTIME</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|auk-0098.smt2                                                                              |  30.067s |168.0MiB|
|auk-0011.smt2                                                                              |  30.034s |45.904MiB|
|auk-0088.smt2                                                                              |  30.032s |101.0MiB|
|auk-0186.smt2                                                                              |  30.028s |75.72MiB|
|auk-0099.smt2                                                                              |  30.027s |161.0MiB|
|auk-0086.smt2                                                                              |  30.023s |104.0MiB|
|auk-0089.smt2                                                                              |  30.022s |73.532MiB|
|auk-0185.smt2                                                                              |  30.021s |53.244MiB|
|auk-0085.smt2                                                                              |  30.020s |98.596MiB|
|auk-0092.smt2                                                                              |  30.020s |94.472MiB|
|auk-0181.smt2                                                                              |  30.019s |81.664MiB|
|auk-0081.smt2                                                                              |  30.019s |36.088MiB|
|auk-0090.smt2                                                                              |  30.019s |65.788MiB|
|auk-0007.smt2                                                                              |  30.018s |48.884MiB|
|auk-0189.smt2                                                                              |  30.017s |61.96MiB|
|auk-0005.smt2                                                                              |  30.017s |47.564MiB|
|auk-0087.smt2                                                                              |  30.016s |66.348MiB|
|auk-0140.smt2                                                                              |  30.016s |46.752MiB|
|auk-0001.smt2                                                                              |  30.015s |31.432MiB|
|auk-0188.smt2                                                                              |  30.015s |54.04MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

<details><summary>TOP 20 RHS FILES, BY RUNTIME</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|auk-0098.smt2                                                                              |  30.067s |168.0MiB|
|auk-0011.smt2                                                                              |  30.034s |45.904MiB|
|auk-0088.smt2                                                                              |  30.032s |101.0MiB|
|auk-0186.smt2                                                                              |  30.028s |75.72MiB|
|auk-0099.smt2                                                                              |  30.027s |161.0MiB|
|auk-0086.smt2                                                                              |  30.023s |104.0MiB|
|auk-0089.smt2                                                                              |  30.022s |73.532MiB|
|auk-0185.smt2                                                                              |  30.021s |53.244MiB|
|auk-0085.smt2                                                                              |  30.020s |98.596MiB|
|auk-0092.smt2                                                                              |  30.020s |94.472MiB|
|auk-0181.smt2                                                                              |  30.019s |81.664MiB|
|auk-0081.smt2                                                                              |  30.019s |36.088MiB|
|auk-0090.smt2                                                                              |  30.019s |65.788MiB|
|auk-0007.smt2                                                                              |  30.018s |48.884MiB|
|auk-0189.smt2                                                                              |  30.017s |61.96MiB|
|auk-0005.smt2                                                                              |  30.017s |47.564MiB|
|auk-0087.smt2                                                                              |  30.016s |66.348MiB|
|auk-0140.smt2                                                                              |  30.016s |46.752MiB|
|auk-0001.smt2                                                                              |  30.015s |31.432MiB|
|auk-0188.smt2                                                                              |  30.015s |54.04MiB|
</details>


## TOP 20 MEMORY INCREASE

<details><summary>TOP 20 MEMORY INCREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |31.432MiB|31.432MiB|0B| 0.0%|
|auk-0002.smt2                                                                               |34.452MiB|34.452MiB|0B| 0.0%|
|auk-0003.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0004.smt2                                                                               |34.376MiB|34.376MiB|0B| 0.0%|
|auk-0005.smt2                                                                               |47.564MiB|47.564MiB|0B| 0.0%|
|auk-0006.smt2                                                                               |34.772MiB|34.772MiB|0B| 0.0%|
|auk-0007.smt2                                                                               |48.884MiB|48.884MiB|0B| 0.0%|
|auk-0008.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0009.smt2                                                                               |20.276MiB|20.276MiB|0B| 0.0%|
|auk-0010.smt2                                                                               |34.356MiB|34.356MiB|0B| 0.0%|
|auk-0011.smt2                                                                               |45.904MiB|45.904MiB|0B| 0.0%|
|auk-0012.smt2                                                                               |20.296MiB|20.296MiB|0B| 0.0%|
|auk-0013.smt2                                                                               |27.968MiB|27.968MiB|0B| 0.0%|
|auk-0014.smt2                                                                               |28.0MiB|28.0MiB|0B| 0.0%|
|auk-0015.smt2                                                                               |35.568MiB|35.568MiB|0B| 0.0%|
|auk-0016.smt2                                                                               |25.484MiB|25.484MiB|0B| 0.0%|
|auk-0017.smt2                                                                               |28.624MiB|28.624MiB|0B| 0.0%|
|auk-0018.smt2                                                                               |27.704MiB|27.704MiB|0B| 0.0%|
|auk-0019.smt2                                                                               |25.968MiB|25.968MiB|0B| 0.0%|
|auk-0020.smt2                                                                               |25.424MiB|25.424MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

<details><summary>TOP 20 MEMORY INCREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |31.432MiB|31.432MiB|0B| 0.0%|
|auk-0002.smt2                                                                               |34.452MiB|34.452MiB|0B| 0.0%|
|auk-0003.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0004.smt2                                                                               |34.376MiB|34.376MiB|0B| 0.0%|
|auk-0005.smt2                                                                               |47.564MiB|47.564MiB|0B| 0.0%|
|auk-0006.smt2                                                                               |34.772MiB|34.772MiB|0B| 0.0%|
|auk-0007.smt2                                                                               |48.884MiB|48.884MiB|0B| 0.0%|
|auk-0008.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0009.smt2                                                                               |20.276MiB|20.276MiB|0B| 0.0%|
|auk-0010.smt2                                                                               |34.356MiB|34.356MiB|0B| 0.0%|
|auk-0011.smt2                                                                               |45.904MiB|45.904MiB|0B| 0.0%|
|auk-0012.smt2                                                                               |20.296MiB|20.296MiB|0B| 0.0%|
|auk-0013.smt2                                                                               |27.968MiB|27.968MiB|0B| 0.0%|
|auk-0014.smt2                                                                               |28.0MiB|28.0MiB|0B| 0.0%|
|auk-0015.smt2                                                                               |35.568MiB|35.568MiB|0B| 0.0%|
|auk-0016.smt2                                                                               |25.484MiB|25.484MiB|0B| 0.0%|
|auk-0017.smt2                                                                               |28.624MiB|28.624MiB|0B| 0.0%|
|auk-0018.smt2                                                                               |27.704MiB|27.704MiB|0B| 0.0%|
|auk-0019.smt2                                                                               |25.968MiB|25.968MiB|0B| 0.0%|
|auk-0020.smt2                                                                               |25.424MiB|25.424MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

<details><summary>TOP 20 MEMORY DECREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |31.432MiB|31.432MiB|0B| 0.0%|
|auk-0002.smt2                                                                               |34.452MiB|34.452MiB|0B| 0.0%|
|auk-0003.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0004.smt2                                                                               |34.376MiB|34.376MiB|0B| 0.0%|
|auk-0005.smt2                                                                               |47.564MiB|47.564MiB|0B| 0.0%|
|auk-0006.smt2                                                                               |34.772MiB|34.772MiB|0B| 0.0%|
|auk-0007.smt2                                                                               |48.884MiB|48.884MiB|0B| 0.0%|
|auk-0008.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0009.smt2                                                                               |20.276MiB|20.276MiB|0B| 0.0%|
|auk-0010.smt2                                                                               |34.356MiB|34.356MiB|0B| 0.0%|
|auk-0011.smt2                                                                               |45.904MiB|45.904MiB|0B| 0.0%|
|auk-0012.smt2                                                                               |20.296MiB|20.296MiB|0B| 0.0%|
|auk-0013.smt2                                                                               |27.968MiB|27.968MiB|0B| 0.0%|
|auk-0014.smt2                                                                               |28.0MiB|28.0MiB|0B| 0.0%|
|auk-0015.smt2                                                                               |35.568MiB|35.568MiB|0B| 0.0%|
|auk-0016.smt2                                                                               |25.484MiB|25.484MiB|0B| 0.0%|
|auk-0017.smt2                                                                               |28.624MiB|28.624MiB|0B| 0.0%|
|auk-0018.smt2                                                                               |27.704MiB|27.704MiB|0B| 0.0%|
|auk-0019.smt2                                                                               |25.968MiB|25.968MiB|0B| 0.0%|
|auk-0020.smt2                                                                               |25.424MiB|25.424MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

<details><summary>TOP 20 MEMORY DECREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |31.432MiB|31.432MiB|0B| 0.0%|
|auk-0002.smt2                                                                               |34.452MiB|34.452MiB|0B| 0.0%|
|auk-0003.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0004.smt2                                                                               |34.376MiB|34.376MiB|0B| 0.0%|
|auk-0005.smt2                                                                               |47.564MiB|47.564MiB|0B| 0.0%|
|auk-0006.smt2                                                                               |34.772MiB|34.772MiB|0B| 0.0%|
|auk-0007.smt2                                                                               |48.884MiB|48.884MiB|0B| 0.0%|
|auk-0008.smt2                                                                               |27.844MiB|27.844MiB|0B| 0.0%|
|auk-0009.smt2                                                                               |20.276MiB|20.276MiB|0B| 0.0%|
|auk-0010.smt2                                                                               |34.356MiB|34.356MiB|0B| 0.0%|
|auk-0011.smt2                                                                               |45.904MiB|45.904MiB|0B| 0.0%|
|auk-0012.smt2                                                                               |20.296MiB|20.296MiB|0B| 0.0%|
|auk-0013.smt2                                                                               |27.968MiB|27.968MiB|0B| 0.0%|
|auk-0014.smt2                                                                               |28.0MiB|28.0MiB|0B| 0.0%|
|auk-0015.smt2                                                                               |35.568MiB|35.568MiB|0B| 0.0%|
|auk-0016.smt2                                                                               |25.484MiB|25.484MiB|0B| 0.0%|
|auk-0017.smt2                                                                               |28.624MiB|28.624MiB|0B| 0.0%|
|auk-0018.smt2                                                                               |27.704MiB|27.704MiB|0B| 0.0%|
|auk-0019.smt2                                                                               |25.968MiB|25.968MiB|0B| 0.0%|
|auk-0020.smt2                                                                               |25.424MiB|25.424MiB|0B| 0.0%|
</details>


## TOP 20 LHS FILES, BY PEAK MEMORY USAGE

<details><summary>TOP 20 LHS FILES, BY PEAK MEMORY USAGE</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|auk-0098.smt2                                                                              |  30.067s |168.0MiB|
|auk-0099.smt2                                                                              |  30.027s |161.0MiB|
|auk-0086.smt2                                                                              |  30.023s |104.0MiB|
|auk-0088.smt2                                                                              |  30.032s |101.0MiB|
|auk-0082.smt2                                                                              |   2.915s |99.0MiB|
|auk-0083.smt2                                                                              |   2.816s |99.0MiB|
|auk-0085.smt2                                                                              |  30.020s |98.596MiB|
|auk-0092.smt2                                                                              |  30.020s |94.472MiB|
|auk-0131.smt2                                                                              |   1.643s |91.264MiB|
|auk-0181.smt2                                                                              |  30.019s |81.664MiB|
|auk-0182.smt2                                                                              |  29.308s |77.108MiB|
|auk-0186.smt2                                                                              |  30.028s |75.72MiB|
|auk-0089.smt2                                                                              |  30.022s |73.532MiB|
|auk-0087.smt2                                                                              |  30.016s |66.348MiB|
|auk-0183.smt2                                                                              |   3.560s |66.272MiB|
|auk-0090.smt2                                                                              |  30.019s |65.788MiB|
|auk-0189.smt2                                                                              |  30.017s |61.96MiB|
|auk-0084.smt2                                                                              |  14.471s |57.444MiB|
|auk-0187.smt2                                                                              |  20.869s |56.776MiB|
|auk-0132.smt2                                                                              |   1.034s |55.092MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

<details><summary>TOP 20 RHS FILES, BY PEAK MEMORY USAGE</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|auk-0098.smt2                                                                              |  30.067s |168.0MiB|
|auk-0099.smt2                                                                              |  30.027s |161.0MiB|
|auk-0086.smt2                                                                              |  30.023s |104.0MiB|
|auk-0088.smt2                                                                              |  30.032s |101.0MiB|
|auk-0082.smt2                                                                              |   2.915s |99.0MiB|
|auk-0083.smt2                                                                              |   2.816s |99.0MiB|
|auk-0085.smt2                                                                              |  30.020s |98.596MiB|
|auk-0092.smt2                                                                              |  30.020s |94.472MiB|
|auk-0131.smt2                                                                              |   1.643s |91.264MiB|
|auk-0181.smt2                                                                              |  30.019s |81.664MiB|
|auk-0182.smt2                                                                              |  29.308s |77.108MiB|
|auk-0186.smt2                                                                              |  30.028s |75.72MiB|
|auk-0089.smt2                                                                              |  30.022s |73.532MiB|
|auk-0087.smt2                                                                              |  30.016s |66.348MiB|
|auk-0183.smt2                                                                              |   3.560s |66.272MiB|
|auk-0090.smt2                                                                              |  30.019s |65.788MiB|
|auk-0189.smt2                                                                              |  30.017s |61.96MiB|
|auk-0084.smt2                                                                              |  14.471s |57.444MiB|
|auk-0187.smt2                                                                              |  20.869s |56.776MiB|
|auk-0132.smt2                                                                              |   1.034s |55.092MiB|
</details>


## FULL COMPARISON

<details><summary>FULL COMPARISON</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|auk-0001.smt2                                                                               |  30.015s  |  30.015s  |   0.000s  | 0.0%|
|auk-0002.smt2                                                                               |   0.355s  |   0.355s  |   0.000s  | 0.0%|
|auk-0003.smt2                                                                               |   0.159s  |   0.159s  |   0.000s  | 0.0%|
|auk-0004.smt2                                                                               |   0.446s  |   0.446s  |   0.000s  | 0.0%|
|auk-0005.smt2                                                                               |  30.017s  |  30.017s  |   0.000s  | 0.0%|
|auk-0006.smt2                                                                               |   0.454s  |   0.454s  |   0.000s  | 0.0%|
|auk-0007.smt2                                                                               |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|auk-0008.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0009.smt2                                                                               |   0.050s  |   0.050s  |   0.000s  | 0.0%|
|auk-0010.smt2                                                                               |   0.468s  |   0.468s  |   0.000s  | 0.0%|
|auk-0011.smt2                                                                               |  30.034s  |  30.034s  |   0.000s  | 0.0%|
|auk-0012.smt2                                                                               |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|auk-0013.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|auk-0014.smt2                                                                               |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|auk-0015.smt2                                                                               |   0.537s  |   0.537s  |   0.000s  | 0.0%|
|auk-0016.smt2                                                                               |   0.268s  |   0.268s  |   0.000s  | 0.0%|
|auk-0017.smt2                                                                               |   0.261s  |   0.261s  |   0.000s  | 0.0%|
|auk-0018.smt2                                                                               |   0.259s  |   0.259s  |   0.000s  | 0.0%|
|auk-0019.smt2                                                                               |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|auk-0020.smt2                                                                               |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|auk-0021.smt2                                                                               |   0.216s  |   0.216s  |   0.000s  | 0.0%|
|auk-0022.smt2                                                                               |   0.547s  |   0.547s  |   0.000s  | 0.0%|
|auk-0023.smt2                                                                               |   0.379s  |   0.379s  |   0.000s  | 0.0%|
|auk-0024.smt2                                                                               |   0.193s  |   0.193s  |   0.000s  | 0.0%|
|auk-0025.smt2                                                                               |   0.658s  |   0.658s  |   0.000s  | 0.0%|
|auk-0026.smt2                                                                               |   0.150s  |   0.150s  |   0.000s  | 0.0%|
|auk-0027.smt2                                                                               |   2.359s  |   2.359s  |   0.000s  | 0.0%|
|auk-0028.smt2                                                                               |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|auk-0029.smt2                                                                               |   0.191s  |   0.191s  |   0.000s  | 0.0%|
|auk-0030.smt2                                                                               |   0.171s  |   0.171s  |   0.000s  | 0.0%|
|auk-0031.smt2                                                                               |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|auk-0032.smt2                                                                               |   0.095s  |   0.095s  |   0.000s  | 0.0%|
|auk-0033.smt2                                                                               |   0.200s  |   0.200s  |   0.000s  | 0.0%|
|auk-0034.smt2                                                                               |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|auk-0035.smt2                                                                               |   0.084s  |   0.084s  |   0.000s  | 0.0%|
|auk-0036.smt2                                                                               |   0.094s  |   0.094s  |   0.000s  | 0.0%|
|auk-0037.smt2                                                                               |   0.150s  |   0.150s  |   0.000s  | 0.0%|
|auk-0038.smt2                                                                               |   0.039s  |   0.039s  |   0.000s  | 0.0%|
|auk-0039.smt2                                                                               |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|auk-0040.smt2                                                                               |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|auk-0041.smt2                                                                               |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|auk-0042.smt2                                                                               |   0.052s  |   0.052s  |   0.000s  | 0.0%|
|auk-0043.smt2                                                                               |   0.165s  |   0.165s  |   0.000s  | 0.0%|
|auk-0044.smt2                                                                               |   0.108s  |   0.108s  |   0.000s  | 0.0%|
|auk-0045.smt2                                                                               |   0.173s  |   0.173s  |   0.000s  | 0.0%|
|auk-0046.smt2                                                                               |   0.044s  |   0.044s  |   0.000s  | 0.0%|
|auk-0047.smt2                                                                               |   0.119s  |   0.119s  |   0.000s  | 0.0%|
|auk-0048.smt2                                                                               |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|auk-0049.smt2                                                                               |   0.177s  |   0.177s  |   0.000s  | 0.0%|
|auk-0050.smt2                                                                               |   0.051s  |   0.051s  |   0.000s  | 0.0%|
|auk-0051.smt2                                                                               |   0.112s  |   0.112s  |   0.000s  | 0.0%|
|auk-0052.smt2                                                                               |   0.135s  |   0.135s  |   0.000s  | 0.0%|
|auk-0053.smt2                                                                               |   0.066s  |   0.066s  |   0.000s  | 0.0%|
|auk-0054.smt2                                                                               |   0.035s  |   0.035s  |   0.000s  | 0.0%|
|auk-0055.smt2                                                                               |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|auk-0056.smt2                                                                               |   0.436s  |   0.436s  |   0.000s  | 0.0%|
|auk-0057.smt2                                                                               |   0.050s  |   0.050s  |   0.000s  | 0.0%|
|auk-0058.smt2                                                                               |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|auk-0059.smt2                                                                               |   0.106s  |   0.106s  |   0.000s  | 0.0%|
|auk-0060.smt2                                                                               |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|auk-0061.smt2                                                                               |   0.093s  |   0.093s  |   0.000s  | 0.0%|
|auk-0062.smt2                                                                               |   0.133s  |   0.133s  |   0.000s  | 0.0%|
|auk-0063.smt2                                                                               |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|auk-0064.smt2                                                                               |   0.112s  |   0.112s  |   0.000s  | 0.0%|
|auk-0065.smt2                                                                               |   0.104s  |   0.104s  |   0.000s  | 0.0%|
|auk-0066.smt2                                                                               |   0.035s  |   0.035s  |   0.000s  | 0.0%|
|auk-0067.smt2                                                                               |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|auk-0068.smt2                                                                               |   0.048s  |   0.048s  |   0.000s  | 0.0%|
|auk-0069.smt2                                                                               |   0.048s  |   0.048s  |   0.000s  | 0.0%|
|auk-0070.smt2                                                                               |   0.545s  |   0.545s  |   0.000s  | 0.0%|
|auk-0071.smt2                                                                               |   1.151s  |   1.151s  |   0.000s  | 0.0%|
|auk-0072.smt2                                                                               |   0.810s  |   0.810s  |   0.000s  | 0.0%|
|auk-0073.smt2                                                                               |   1.239s  |   1.239s  |   0.000s  | 0.0%|
|auk-0074.smt2                                                                               |  12.514s  |  12.514s  |   0.000s  | 0.0%|
|auk-0075.smt2                                                                               |   1.357s  |   1.357s  |   0.000s  | 0.0%|
|auk-0076.smt2                                                                               |   1.373s  |   1.373s  |   0.000s  | 0.0%|
|auk-0077.smt2                                                                               |   1.047s  |   1.047s  |   0.000s  | 0.0%|
|auk-0078.smt2                                                                               |   0.692s  |   0.692s  |   0.000s  | 0.0%|
|auk-0079.smt2                                                                               |   3.120s  |   3.120s  |   0.000s  | 0.0%|
|auk-0080.smt2                                                                               |   2.378s  |   2.378s  |   0.000s  | 0.0%|
|auk-0081.smt2                                                                               |  30.019s  |  30.019s  |   0.000s  | 0.0%|
|auk-0082.smt2                                                                               |   2.915s  |   2.915s  |   0.000s  | 0.0%|
|auk-0083.smt2                                                                               |   2.816s  |   2.816s  |   0.000s  | 0.0%|
|auk-0084.smt2                                                                               |  14.471s  |  14.471s  |   0.000s  | 0.0%|
|auk-0085.smt2                                                                               |  30.020s  |  30.020s  |   0.000s  | 0.0%|
|auk-0086.smt2                                                                               |  30.023s  |  30.023s  |   0.000s  | 0.0%|
|auk-0087.smt2                                                                               |  30.016s  |  30.016s  |   0.000s  | 0.0%|
|auk-0088.smt2                                                                               |  30.032s  |  30.032s  |   0.000s  | 0.0%|
|auk-0089.smt2                                                                               |  30.022s  |  30.022s  |   0.000s  | 0.0%|
|auk-0090.smt2                                                                               |  30.019s  |  30.019s  |   0.000s  | 0.0%|
|auk-0091.smt2                                                                               |   1.123s  |   1.123s  |   0.000s  | 0.0%|
|auk-0092.smt2                                                                               |  30.020s  |  30.020s  |   0.000s  | 0.0%|
|auk-0093.smt2                                                                               |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|auk-0094.smt2                                                                               |   1.065s  |   1.065s  |   0.000s  | 0.0%|
|auk-0095.smt2                                                                               |  30.012s  |  30.012s  |   0.000s  | 0.0%|
|auk-0096.smt2                                                                               |   0.549s  |   0.549s  |   0.000s  | 0.0%|
|auk-0097.smt2                                                                               |   0.085s  |   0.085s  |   0.000s  | 0.0%|
|auk-0098.smt2                                                                               |  30.067s  |  30.067s  |   0.000s  | 0.0%|
|auk-0099.smt2                                                                               |  30.027s  |  30.027s  |   0.000s  | 0.0%|
|auk-0100.smt2                                                                               |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|auk-0101.smt2                                                                               |   1.284s  |   1.284s  |   0.000s  | 0.0%|
|auk-0102.smt2                                                                               |   0.179s  |   0.179s  |   0.000s  | 0.0%|
|auk-0103.smt2                                                                               |   0.289s  |   0.289s  |   0.000s  | 0.0%|
|auk-0104.smt2                                                                               |   0.169s  |   0.169s  |   0.000s  | 0.0%|
|auk-0105.smt2                                                                               |   0.277s  |   0.277s  |   0.000s  | 0.0%|
|auk-0106.smt2                                                                               |   0.186s  |   0.186s  |   0.000s  | 0.0%|
|auk-0107.smt2                                                                               |   0.200s  |   0.200s  |   0.000s  | 0.0%|
|auk-0108.smt2                                                                               |   0.221s  |   0.221s  |   0.000s  | 0.0%|
|auk-0109.smt2                                                                               |   0.577s  |   0.577s  |   0.000s  | 0.0%|
|auk-0110.smt2                                                                               |   0.152s  |   0.152s  |   0.000s  | 0.0%|
|auk-0111.smt2                                                                               |   0.236s  |   0.236s  |   0.000s  | 0.0%|
|auk-0112.smt2                                                                               |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|auk-0113.smt2                                                                               |   0.290s  |   0.290s  |   0.000s  | 0.0%|
|auk-0114.smt2                                                                               |   0.169s  |   0.169s  |   0.000s  | 0.0%|
|auk-0115.smt2                                                                               |   0.767s  |   0.767s  |   0.000s  | 0.0%|
|auk-0116.smt2                                                                               |   0.358s  |   0.358s  |   0.000s  | 0.0%|
|auk-0117.smt2                                                                               |   1.076s  |   1.076s  |   0.000s  | 0.0%|
|auk-0118.smt2                                                                               |   0.197s  |   0.197s  |   0.000s  | 0.0%|
|auk-0119.smt2                                                                               |   0.653s  |   0.653s  |   0.000s  | 0.0%|
|auk-0120.smt2                                                                               |   0.395s  |   0.395s  |   0.000s  | 0.0%|
|auk-0121.smt2                                                                               |   0.209s  |   0.209s  |   0.000s  | 0.0%|
|auk-0122.smt2                                                                               |   0.332s  |   0.332s  |   0.000s  | 0.0%|
|auk-0123.smt2                                                                               |   0.403s  |   0.403s  |   0.000s  | 0.0%|
|auk-0124.smt2                                                                               |   0.202s  |   0.202s  |   0.000s  | 0.0%|
|auk-0125.smt2                                                                               |   0.142s  |   0.142s  |   0.000s  | 0.0%|
|auk-0126.smt2                                                                               |   0.212s  |   0.212s  |   0.000s  | 0.0%|
|auk-0127.smt2                                                                               |   0.239s  |   0.239s  |   0.000s  | 0.0%|
|auk-0128.smt2                                                                               |   0.381s  |   0.381s  |   0.000s  | 0.0%|
|auk-0129.smt2                                                                               |   0.197s  |   0.197s  |   0.000s  | 0.0%|
|auk-0130.smt2                                                                               |   0.429s  |   0.429s  |   0.000s  | 0.0%|
|auk-0131.smt2                                                                               |   1.643s  |   1.643s  |   0.000s  | 0.0%|
|auk-0132.smt2                                                                               |   1.034s  |   1.034s  |   0.000s  | 0.0%|
|auk-0133.smt2                                                                               |   0.913s  |   0.913s  |   0.000s  | 0.0%|
|auk-0134.smt2                                                                               |   2.603s  |   2.603s  |   0.000s  | 0.0%|
|auk-0135.smt2                                                                               |   0.594s  |   0.594s  |   0.000s  | 0.0%|
|auk-0136.smt2                                                                               |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|auk-0137.smt2                                                                               |   7.933s  |   7.933s  |   0.000s  | 0.0%|
|auk-0138.smt2                                                                               |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|auk-0139.smt2                                                                               |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|auk-0140.smt2                                                                               |  30.016s  |  30.016s  |   0.000s  | 0.0%|
|auk-0141.smt2                                                                               |  14.868s  |  14.868s  |   0.000s  | 0.0%|
|auk-0142.smt2                                                                               |   4.541s  |   4.541s  |   0.000s  | 0.0%|
|auk-0143.smt2                                                                               |   0.258s  |   0.258s  |   0.000s  | 0.0%|
|auk-0144.smt2                                                                               |   1.249s  |   1.249s  |   0.000s  | 0.0%|
|auk-0145.smt2                                                                               |   0.852s  |   0.852s  |   0.000s  | 0.0%|
|auk-0146.smt2                                                                               |   2.338s  |   2.338s  |   0.000s  | 0.0%|
|auk-0147.smt2                                                                               |  30.010s  |  30.010s  |   0.000s  | 0.0%|
|auk-0148.smt2                                                                               |   2.406s  |   2.406s  |   0.000s  | 0.0%|
|auk-0149.smt2                                                                               |   0.998s  |   0.998s  |   0.000s  | 0.0%|
|auk-0150.smt2                                                                               |   0.165s  |   0.165s  |   0.000s  | 0.0%|
|auk-0151.smt2                                                                               |   0.860s  |   0.860s  |   0.000s  | 0.0%|
|auk-0152.smt2                                                                               |   0.215s  |   0.215s  |   0.000s  | 0.0%|
|auk-0153.smt2                                                                               |   0.234s  |   0.234s  |   0.000s  | 0.0%|
|auk-0154.smt2                                                                               |   0.233s  |   0.233s  |   0.000s  | 0.0%|
|auk-0155.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0156.smt2                                                                               |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|auk-0157.smt2                                                                               |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|auk-0158.smt2                                                                               |   0.234s  |   0.234s  |   0.000s  | 0.0%|
|auk-0159.smt2                                                                               |   0.053s  |   0.053s  |   0.000s  | 0.0%|
|auk-0160.smt2                                                                               |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|auk-0161.smt2                                                                               |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|auk-0162.smt2                                                                               |   0.158s  |   0.158s  |   0.000s  | 0.0%|
|auk-0163.smt2                                                                               |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|auk-0164.smt2                                                                               |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|auk-0165.smt2                                                                               |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|auk-0166.smt2                                                                               |   0.087s  |   0.087s  |   0.000s  | 0.0%|
|auk-0167.smt2                                                                               |   0.216s  |   0.216s  |   0.000s  | 0.0%|
|auk-0168.smt2                                                                               |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|auk-0169.smt2                                                                               |   0.152s  |   0.152s  |   0.000s  | 0.0%|
|auk-0170.smt2                                                                               |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|auk-0171.smt2                                                                               |   0.187s  |   0.187s  |   0.000s  | 0.0%|
|auk-0172.smt2                                                                               |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|auk-0173.smt2                                                                               |   0.181s  |   0.181s  |   0.000s  | 0.0%|
|auk-0174.smt2                                                                               |   0.171s  |   0.171s  |   0.000s  | 0.0%|
|auk-0175.smt2                                                                               |   0.206s  |   0.206s  |   0.000s  | 0.0%|
|auk-0176.smt2                                                                               |   0.150s  |   0.150s  |   0.000s  | 0.0%|
|auk-0177.smt2                                                                               |   0.182s  |   0.182s  |   0.000s  | 0.0%|
|auk-0178.smt2                                                                               |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|auk-0179.smt2                                                                               |   0.034s  |   0.034s  |   0.000s  | 0.0%|
|auk-0180.smt2                                                                               |   0.328s  |   0.328s  |   0.000s  | 0.0%|
|auk-0181.smt2                                                                               |  30.019s  |  30.019s  |   0.000s  | 0.0%|
|auk-0182.smt2                                                                               |  29.308s  |  29.308s  |   0.000s  | 0.0%|
|auk-0183.smt2                                                                               |   3.560s  |   3.560s  |   0.000s  | 0.0%|
|auk-0184.smt2                                                                               |  30.011s  |  30.011s  |   0.000s  | 0.0%|
|auk-0185.smt2                                                                               |  30.021s  |  30.021s  |   0.000s  | 0.0%|
|auk-0186.smt2                                                                               |  30.028s  |  30.028s  |   0.000s  | 0.0%|
|auk-0187.smt2                                                                               |  20.869s  |  20.869s  |   0.000s  | 0.0%|
|auk-0188.smt2                                                                               |  30.015s  |  30.015s  |   0.000s  | 0.0%|
</details>