Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_NIA-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1200
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_LRA
OpenSMT commit message: Updated MacOS CircleCI resource class

</pre>
# RHS
<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_NIA-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1200
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_LRA
OpenSMT commit message: Updated MacOS CircleCI resource class

</pre>
</details>


## TOP 20 RUNTIME INCREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.021s  |1200.021s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |  55.860s  |  55.860s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        | 333.334s  | 333.334s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.076s  |1200.076s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 233.278s  | 233.278s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        | 998.626s  | 998.626s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |  52.079s  |  52.079s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        | 242.136s  | 242.136s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        |  21.428s  |  21.428s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |  72.202s  |  72.202s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         | 347.842s  | 347.842s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1076.927s  |1076.927s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         | 341.672s  | 341.672s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.054s  |1200.054s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.021s  |1200.021s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |  55.860s  |  55.860s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        | 333.334s  | 333.334s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.076s  |1200.076s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 233.278s  | 233.278s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        | 998.626s  | 998.626s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |  52.079s  |  52.079s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        | 242.136s  | 242.136s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        |  21.428s  |  21.428s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |  72.202s  |  72.202s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         | 347.842s  | 347.842s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1076.927s  |1076.927s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         | 341.672s  | 341.672s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.054s  |1200.054s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.021s  |1200.021s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |  55.860s  |  55.860s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        | 333.334s  | 333.334s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.076s  |1200.076s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 233.278s  | 233.278s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        | 998.626s  | 998.626s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |  52.079s  |  52.079s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        | 242.136s  | 242.136s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        |  21.428s  |  21.428s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |  72.202s  |  72.202s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         | 347.842s  | 347.842s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1076.927s  |1076.927s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         | 341.672s  | 341.672s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.054s  |1200.054s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.021s  |1200.021s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |  55.860s  |  55.860s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        | 333.334s  | 333.334s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.076s  |1200.076s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 233.278s  | 233.278s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        | 998.626s  | 998.626s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |  52.079s  |  52.079s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        | 242.136s  | 242.136s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        |  21.428s  |  21.428s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |  72.202s  |  72.202s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         | 347.842s  | 347.842s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1076.927s  |1076.927s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         | 341.672s  | 341.672s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.054s  |1200.054s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled65517.smt2                                                                        |1200.078s |541.0MiB|
|scrambled104811.smt2                                                                       |1200.076s |429.0MiB|
|scrambled37260.smt2                                                                        |1200.054s |267.0MiB|
|scrambled17583.smt2                                                                        |1200.044s |295.0MiB|
|scrambled77308.smt2                                                                        |1200.043s |455.0MiB|
|scrambled49820.smt2                                                                        |1200.042s |137.0MiB|
|scrambled95284.smt2                                                                        |1200.038s |278.0MiB|
|scrambled101728.smt2                                                                       |1200.036s |284.0MiB|
|scrambled55845.smt2                                                                        |1200.035s |99.0MiB|
|scrambled35077.smt2                                                                        |1200.031s |53.14MiB|
|scrambled76532.smt2                                                                        |1200.028s |51.92MiB|
|scrambled31085.smt2                                                                        |1200.024s |188.0MiB|
|scrambled76525.smt2                                                                        |1200.022s |126.0MiB|
|scrambled124681.smt2                                                                       |1200.022s |127.0MiB|
|scrambled101086.smt2                                                                       |1200.021s |128.0MiB|
|scrambled103576.smt2                                                                       |1200.015s |113.0MiB|
|scrambled13209.smt2                                                                        |1076.927s |511.0MiB|
|scrambled111949.smt2                                                                       | 998.626s |444.0MiB|
|scrambled92964.smt2                                                                        | 993.366s |125.0MiB|
|scrambled44527.smt2                                                                        | 724.785s |1575.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled65517.smt2                                                                        |1200.078s |541.0MiB|
|scrambled104811.smt2                                                                       |1200.076s |429.0MiB|
|scrambled37260.smt2                                                                        |1200.054s |267.0MiB|
|scrambled17583.smt2                                                                        |1200.044s |295.0MiB|
|scrambled77308.smt2                                                                        |1200.043s |455.0MiB|
|scrambled49820.smt2                                                                        |1200.042s |137.0MiB|
|scrambled95284.smt2                                                                        |1200.038s |278.0MiB|
|scrambled101728.smt2                                                                       |1200.036s |284.0MiB|
|scrambled55845.smt2                                                                        |1200.035s |99.0MiB|
|scrambled35077.smt2                                                                        |1200.031s |53.14MiB|
|scrambled76532.smt2                                                                        |1200.028s |51.92MiB|
|scrambled31085.smt2                                                                        |1200.024s |188.0MiB|
|scrambled76525.smt2                                                                        |1200.022s |126.0MiB|
|scrambled124681.smt2                                                                       |1200.022s |127.0MiB|
|scrambled101086.smt2                                                                       |1200.021s |128.0MiB|
|scrambled103576.smt2                                                                       |1200.015s |113.0MiB|
|scrambled13209.smt2                                                                        |1076.927s |511.0MiB|
|scrambled111949.smt2                                                                       | 998.626s |444.0MiB|
|scrambled92964.smt2                                                                        | 993.366s |125.0MiB|
|scrambled44527.smt2                                                                        | 724.785s |1575.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |128.0MiB|128.0MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |284.0MiB|284.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |491.0MiB|491.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |296.0MiB|296.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |113.0MiB|113.0MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |429.0MiB|429.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |147.0MiB|147.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |444.0MiB|444.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |25.984MiB|25.984MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |110.0MiB|110.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |25.3MiB|25.3MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |93.452MiB|93.452MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |127.0MiB|127.0MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |604.0MiB|604.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |511.0MiB|511.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |295.0MiB|295.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |532.0MiB|532.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |188.0MiB|188.0MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.14MiB|53.14MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |267.0MiB|267.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |128.0MiB|128.0MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |284.0MiB|284.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |491.0MiB|491.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |296.0MiB|296.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |113.0MiB|113.0MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |429.0MiB|429.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |147.0MiB|147.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |444.0MiB|444.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |25.984MiB|25.984MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |110.0MiB|110.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |25.3MiB|25.3MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |93.452MiB|93.452MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |127.0MiB|127.0MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |604.0MiB|604.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |511.0MiB|511.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |295.0MiB|295.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |532.0MiB|532.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |188.0MiB|188.0MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.14MiB|53.14MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |267.0MiB|267.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |128.0MiB|128.0MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |284.0MiB|284.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |491.0MiB|491.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |296.0MiB|296.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |113.0MiB|113.0MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |429.0MiB|429.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |147.0MiB|147.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |444.0MiB|444.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |25.984MiB|25.984MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |110.0MiB|110.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |25.3MiB|25.3MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |93.452MiB|93.452MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |127.0MiB|127.0MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |604.0MiB|604.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |511.0MiB|511.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |295.0MiB|295.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |532.0MiB|532.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |188.0MiB|188.0MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.14MiB|53.14MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |267.0MiB|267.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |128.0MiB|128.0MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |284.0MiB|284.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |491.0MiB|491.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |296.0MiB|296.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |113.0MiB|113.0MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |429.0MiB|429.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |147.0MiB|147.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |444.0MiB|444.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |25.984MiB|25.984MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |110.0MiB|110.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |25.3MiB|25.3MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |93.452MiB|93.452MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |127.0MiB|127.0MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |604.0MiB|604.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |511.0MiB|511.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |295.0MiB|295.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |532.0MiB|532.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |188.0MiB|188.0MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.14MiB|53.14MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |267.0MiB|267.0MiB|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        |
|------------|----------:|---------:|
|scrambled44527.smt2                                                                        | 724.785s |1575.0MiB|
|scrambled8163.smt2                                                                         | 362.597s |669.0MiB|
|scrambled13169.smt2                                                                        | 347.842s |604.0MiB|
|scrambled65517.smt2                                                                        |1200.078s |541.0MiB|
|scrambled25695.smt2                                                                        | 341.672s |532.0MiB|
|scrambled13209.smt2                                                                        |1076.927s |511.0MiB|
|scrambled102621.smt2                                                                       |  55.860s |491.0MiB|
|scrambled55850.smt2                                                                        | 224.145s |464.0MiB|
|scrambled77308.smt2                                                                        |1200.043s |455.0MiB|
|scrambled111949.smt2                                                                       | 998.626s |444.0MiB|
|scrambled104811.smt2                                                                       |1200.076s |429.0MiB|
|scrambled98986.smt2                                                                        | 141.576s |425.0MiB|
|scrambled77008.smt2                                                                        | 644.763s |332.0MiB|
|scrambled102680.smt2                                                                       | 333.334s |296.0MiB|
|scrambled17583.smt2                                                                        |1200.044s |295.0MiB|
|scrambled101728.smt2                                                                       |1200.036s |284.0MiB|
|scrambled95284.smt2                                                                        |1200.038s |278.0MiB|
|scrambled37260.smt2                                                                        |1200.054s |267.0MiB|
|scrambled31085.smt2                                                                        |1200.024s |188.0MiB|
|scrambled71015.smt2                                                                        | 113.776s |169.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled44527.smt2                                                                        | 724.785s |1575.0MiB|
|scrambled8163.smt2                                                                         | 362.597s |669.0MiB|
|scrambled13169.smt2                                                                        | 347.842s |604.0MiB|
|scrambled65517.smt2                                                                        |1200.078s |541.0MiB|
|scrambled25695.smt2                                                                        | 341.672s |532.0MiB|
|scrambled13209.smt2                                                                        |1076.927s |511.0MiB|
|scrambled102621.smt2                                                                       |  55.860s |491.0MiB|
|scrambled55850.smt2                                                                        | 224.145s |464.0MiB|
|scrambled77308.smt2                                                                        |1200.043s |455.0MiB|
|scrambled111949.smt2                                                                       | 998.626s |444.0MiB|
|scrambled104811.smt2                                                                       |1200.076s |429.0MiB|
|scrambled98986.smt2                                                                        | 141.576s |425.0MiB|
|scrambled77008.smt2                                                                        | 644.763s |332.0MiB|
|scrambled102680.smt2                                                                       | 333.334s |296.0MiB|
|scrambled17583.smt2                                                                        |1200.044s |295.0MiB|
|scrambled101728.smt2                                                                       |1200.036s |284.0MiB|
|scrambled95284.smt2                                                                        |1200.038s |278.0MiB|
|scrambled37260.smt2                                                                        |1200.054s |267.0MiB|
|scrambled31085.smt2                                                                        |1200.024s |188.0MiB|
|scrambled71015.smt2                                                                        | 113.776s |169.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.021s  |1200.021s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |  55.860s  |  55.860s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        | 333.334s  | 333.334s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.076s  |1200.076s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 233.278s  | 233.278s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        | 998.626s  | 998.626s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |  52.079s  |  52.079s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        | 242.136s  | 242.136s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        |  21.428s  |  21.428s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |  72.202s  |  72.202s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         | 347.842s  | 347.842s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1076.927s  |1076.927s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         | 341.672s  | 341.672s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.054s  |1200.054s  |   0.000s  | 0.0%|
|scrambled44527.smt2                                                                         | 724.785s  | 724.785s  |   0.000s  | 0.0%|
|scrambled46192.smt2                                                                         |  51.080s  |  51.080s  |   0.000s  | 0.0%|
|scrambled47581.smt2                                                                         |  64.014s  |  64.014s  |   0.000s  | 0.0%|
|scrambled49820.smt2                                                                         |1200.042s  |1200.042s  |   0.000s  | 0.0%|
|scrambled55845.smt2                                                                         |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled55850.smt2                                                                         | 224.145s  | 224.145s  |   0.000s  | 0.0%|
|scrambled59368.smt2                                                                         | 426.712s  | 426.712s  |   0.000s  | 0.0%|
|scrambled65517.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled71015.smt2                                                                         | 113.776s  | 113.776s  |   0.000s  | 0.0%|
|scrambled76525.smt2                                                                         |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled76532.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled77008.smt2                                                                         | 644.763s  | 644.763s  |   0.000s  | 0.0%|
|scrambled77308.smt2                                                                         |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled8163.smt2                                                                          | 362.597s  | 362.597s  |   0.000s  | 0.0%|
|scrambled88927.smt2                                                                         | 285.670s  | 285.670s  |   0.000s  | 0.0%|
|scrambled92964.smt2                                                                         | 993.366s  | 993.366s  |   0.000s  | 0.0%|
|scrambled95284.smt2                                                                         |1200.038s  |1200.038s  |   0.000s  | 0.0%|
</details>