Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_IDL-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_IDL
OpenSMT commit message: Updated MacOS CircleCI resource class

</pre>
# RHS
<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_IDL-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_IDL
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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |1200.025s  |1200.025s  |   0.000s  | 0.0%|
|scrambled103851.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled109208.smt2                                                                        |1200.060s  |1200.060s  |   0.000s  | 0.0%|
|scrambled116992.smt2                                                                        |1200.041s  |1200.041s  |   0.000s  | 0.0%|
|scrambled117178.smt2                                                                        |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled119992.smt2                                                                        |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled122058.smt2                                                                        |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled122413.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled124624.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled128361.smt2                                                                        |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled1379.smt2                                                                          | 154.923s  | 154.923s  |   0.000s  | 0.0%|
|scrambled1447.smt2                                                                          |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled14967.smt2                                                                         |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled15284.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled15552.smt2                                                                         |1200.039s  |1200.039s  |   0.000s  | 0.0%|
|scrambled21544.smt2                                                                         |1200.066s  |1200.066s  |   0.000s  | 0.0%|
|scrambled23483.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled25140.smt2                                                                         |1200.259s  |1200.259s  |   0.000s  | 0.0%|
|scrambled27577.smt2                                                                         |1200.073s  |1200.073s  |   0.000s  | 0.0%|
|scrambled35345.smt2                                                                         |1200.023s  |1200.023s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |1200.025s  |1200.025s  |   0.000s  | 0.0%|
|scrambled103851.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled109208.smt2                                                                        |1200.060s  |1200.060s  |   0.000s  | 0.0%|
|scrambled116992.smt2                                                                        |1200.041s  |1200.041s  |   0.000s  | 0.0%|
|scrambled117178.smt2                                                                        |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled119992.smt2                                                                        |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled122058.smt2                                                                        |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled122413.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled124624.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled128361.smt2                                                                        |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled1379.smt2                                                                          | 154.923s  | 154.923s  |   0.000s  | 0.0%|
|scrambled1447.smt2                                                                          |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled14967.smt2                                                                         |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled15284.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled15552.smt2                                                                         |1200.039s  |1200.039s  |   0.000s  | 0.0%|
|scrambled21544.smt2                                                                         |1200.066s  |1200.066s  |   0.000s  | 0.0%|
|scrambled23483.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled25140.smt2                                                                         |1200.259s  |1200.259s  |   0.000s  | 0.0%|
|scrambled27577.smt2                                                                         |1200.073s  |1200.073s  |   0.000s  | 0.0%|
|scrambled35345.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |1200.025s  |1200.025s  |   0.000s  | 0.0%|
|scrambled103851.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled109208.smt2                                                                        |1200.060s  |1200.060s  |   0.000s  | 0.0%|
|scrambled116992.smt2                                                                        |1200.041s  |1200.041s  |   0.000s  | 0.0%|
|scrambled117178.smt2                                                                        |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled119992.smt2                                                                        |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled122058.smt2                                                                        |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled122413.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled124624.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled128361.smt2                                                                        |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled1379.smt2                                                                          | 154.923s  | 154.923s  |   0.000s  | 0.0%|
|scrambled1447.smt2                                                                          |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled14967.smt2                                                                         |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled15284.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled15552.smt2                                                                         |1200.039s  |1200.039s  |   0.000s  | 0.0%|
|scrambled21544.smt2                                                                         |1200.066s  |1200.066s  |   0.000s  | 0.0%|
|scrambled23483.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled25140.smt2                                                                         |1200.259s  |1200.259s  |   0.000s  | 0.0%|
|scrambled27577.smt2                                                                         |1200.073s  |1200.073s  |   0.000s  | 0.0%|
|scrambled35345.smt2                                                                         |1200.023s  |1200.023s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |1200.025s  |1200.025s  |   0.000s  | 0.0%|
|scrambled103851.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled109208.smt2                                                                        |1200.060s  |1200.060s  |   0.000s  | 0.0%|
|scrambled116992.smt2                                                                        |1200.041s  |1200.041s  |   0.000s  | 0.0%|
|scrambled117178.smt2                                                                        |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled119992.smt2                                                                        |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled122058.smt2                                                                        |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled122413.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled124624.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled128361.smt2                                                                        |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled1379.smt2                                                                          | 154.923s  | 154.923s  |   0.000s  | 0.0%|
|scrambled1447.smt2                                                                          |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled14967.smt2                                                                         |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled15284.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled15552.smt2                                                                         |1200.039s  |1200.039s  |   0.000s  | 0.0%|
|scrambled21544.smt2                                                                         |1200.066s  |1200.066s  |   0.000s  | 0.0%|
|scrambled23483.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled25140.smt2                                                                         |1200.259s  |1200.259s  |   0.000s  | 0.0%|
|scrambled27577.smt2                                                                         |1200.073s  |1200.073s  |   0.000s  | 0.0%|
|scrambled35345.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled25140.smt2                                                                        |1200.259s |1536.0MiB|
|scrambled62536.smt2                                                                        |1200.183s |1244.0MiB|
|scrambled27577.smt2                                                                        |1200.073s |306.0MiB|
|scrambled78432.smt2                                                                        |1200.068s |209.0MiB|
|scrambled21544.smt2                                                                        |1200.066s |255.0MiB|
|scrambled78606.smt2                                                                        |1200.064s |209.0MiB|
|scrambled82743.smt2                                                                        |1200.062s |165.0MiB|
|scrambled128361.smt2                                                                       |1200.062s |158.0MiB|
|scrambled109208.smt2                                                                       |1200.060s |233.0MiB|
|scrambled4441.smt2                                                                         |1200.054s |173.0MiB|
|scrambled98799.smt2                                                                        |1200.053s |205.0MiB|
|scrambled9927.smt2                                                                         |1200.053s |210.0MiB|
|scrambled92133.smt2                                                                        |1200.052s |162.0MiB|
|scrambled14967.smt2                                                                        |1200.048s |119.0MiB|
|scrambled119992.smt2                                                                       |1200.048s |136.0MiB|
|scrambled41773.smt2                                                                        |1200.046s |115.0MiB|
|scrambled79181.smt2                                                                        |1200.044s |113.0MiB|
|scrambled15284.smt2                                                                        |1200.044s |174.0MiB|
|scrambled58720.smt2                                                                        |1200.044s |108.0MiB|
|scrambled1447.smt2                                                                         |1200.043s |100.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled25140.smt2                                                                        |1200.259s |1536.0MiB|
|scrambled62536.smt2                                                                        |1200.183s |1244.0MiB|
|scrambled27577.smt2                                                                        |1200.073s |306.0MiB|
|scrambled78432.smt2                                                                        |1200.068s |209.0MiB|
|scrambled21544.smt2                                                                        |1200.066s |255.0MiB|
|scrambled78606.smt2                                                                        |1200.064s |209.0MiB|
|scrambled82743.smt2                                                                        |1200.062s |165.0MiB|
|scrambled128361.smt2                                                                       |1200.062s |158.0MiB|
|scrambled109208.smt2                                                                       |1200.060s |233.0MiB|
|scrambled4441.smt2                                                                         |1200.054s |173.0MiB|
|scrambled98799.smt2                                                                        |1200.053s |205.0MiB|
|scrambled9927.smt2                                                                         |1200.053s |210.0MiB|
|scrambled92133.smt2                                                                        |1200.052s |162.0MiB|
|scrambled14967.smt2                                                                        |1200.048s |119.0MiB|
|scrambled119992.smt2                                                                       |1200.048s |136.0MiB|
|scrambled41773.smt2                                                                        |1200.046s |115.0MiB|
|scrambled79181.smt2                                                                        |1200.044s |113.0MiB|
|scrambled15284.smt2                                                                        |1200.044s |174.0MiB|
|scrambled58720.smt2                                                                        |1200.044s |108.0MiB|
|scrambled1447.smt2                                                                         |1200.043s |100.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |96.456MiB|96.456MiB|0B| 0.0%|
|scrambled103851.smt2                                                                        |53.124MiB|53.124MiB|0B| 0.0%|
|scrambled109208.smt2                                                                        |233.0MiB|233.0MiB|0B| 0.0%|
|scrambled116992.smt2                                                                        |48.932MiB|48.932MiB|0B| 0.0%|
|scrambled117178.smt2                                                                        |129.0MiB|129.0MiB|0B| 0.0%|
|scrambled119992.smt2                                                                        |136.0MiB|136.0MiB|0B| 0.0%|
|scrambled122058.smt2                                                                        |153.0MiB|153.0MiB|0B| 0.0%|
|scrambled122413.smt2                                                                        |106.0MiB|106.0MiB|0B| 0.0%|
|scrambled124624.smt2                                                                        |126.0MiB|126.0MiB|0B| 0.0%|
|scrambled128361.smt2                                                                        |158.0MiB|158.0MiB|0B| 0.0%|
|scrambled1379.smt2                                                                          |59.82MiB|59.82MiB|0B| 0.0%|
|scrambled1447.smt2                                                                          |100.0MiB|100.0MiB|0B| 0.0%|
|scrambled14967.smt2                                                                         |119.0MiB|119.0MiB|0B| 0.0%|
|scrambled15284.smt2                                                                         |174.0MiB|174.0MiB|0B| 0.0%|
|scrambled15552.smt2                                                                         |184.0MiB|184.0MiB|0B| 0.0%|
|scrambled21544.smt2                                                                         |255.0MiB|255.0MiB|0B| 0.0%|
|scrambled23483.smt2                                                                         |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled25140.smt2                                                                         |1536.0MiB|1536.0MiB|0B| 0.0%|
|scrambled27577.smt2                                                                         |306.0MiB|306.0MiB|0B| 0.0%|
|scrambled35345.smt2                                                                         |70.032MiB|70.032MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |96.456MiB|96.456MiB|0B| 0.0%|
|scrambled103851.smt2                                                                        |53.124MiB|53.124MiB|0B| 0.0%|
|scrambled109208.smt2                                                                        |233.0MiB|233.0MiB|0B| 0.0%|
|scrambled116992.smt2                                                                        |48.932MiB|48.932MiB|0B| 0.0%|
|scrambled117178.smt2                                                                        |129.0MiB|129.0MiB|0B| 0.0%|
|scrambled119992.smt2                                                                        |136.0MiB|136.0MiB|0B| 0.0%|
|scrambled122058.smt2                                                                        |153.0MiB|153.0MiB|0B| 0.0%|
|scrambled122413.smt2                                                                        |106.0MiB|106.0MiB|0B| 0.0%|
|scrambled124624.smt2                                                                        |126.0MiB|126.0MiB|0B| 0.0%|
|scrambled128361.smt2                                                                        |158.0MiB|158.0MiB|0B| 0.0%|
|scrambled1379.smt2                                                                          |59.82MiB|59.82MiB|0B| 0.0%|
|scrambled1447.smt2                                                                          |100.0MiB|100.0MiB|0B| 0.0%|
|scrambled14967.smt2                                                                         |119.0MiB|119.0MiB|0B| 0.0%|
|scrambled15284.smt2                                                                         |174.0MiB|174.0MiB|0B| 0.0%|
|scrambled15552.smt2                                                                         |184.0MiB|184.0MiB|0B| 0.0%|
|scrambled21544.smt2                                                                         |255.0MiB|255.0MiB|0B| 0.0%|
|scrambled23483.smt2                                                                         |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled25140.smt2                                                                         |1536.0MiB|1536.0MiB|0B| 0.0%|
|scrambled27577.smt2                                                                         |306.0MiB|306.0MiB|0B| 0.0%|
|scrambled35345.smt2                                                                         |70.032MiB|70.032MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |96.456MiB|96.456MiB|0B| 0.0%|
|scrambled103851.smt2                                                                        |53.124MiB|53.124MiB|0B| 0.0%|
|scrambled109208.smt2                                                                        |233.0MiB|233.0MiB|0B| 0.0%|
|scrambled116992.smt2                                                                        |48.932MiB|48.932MiB|0B| 0.0%|
|scrambled117178.smt2                                                                        |129.0MiB|129.0MiB|0B| 0.0%|
|scrambled119992.smt2                                                                        |136.0MiB|136.0MiB|0B| 0.0%|
|scrambled122058.smt2                                                                        |153.0MiB|153.0MiB|0B| 0.0%|
|scrambled122413.smt2                                                                        |106.0MiB|106.0MiB|0B| 0.0%|
|scrambled124624.smt2                                                                        |126.0MiB|126.0MiB|0B| 0.0%|
|scrambled128361.smt2                                                                        |158.0MiB|158.0MiB|0B| 0.0%|
|scrambled1379.smt2                                                                          |59.82MiB|59.82MiB|0B| 0.0%|
|scrambled1447.smt2                                                                          |100.0MiB|100.0MiB|0B| 0.0%|
|scrambled14967.smt2                                                                         |119.0MiB|119.0MiB|0B| 0.0%|
|scrambled15284.smt2                                                                         |174.0MiB|174.0MiB|0B| 0.0%|
|scrambled15552.smt2                                                                         |184.0MiB|184.0MiB|0B| 0.0%|
|scrambled21544.smt2                                                                         |255.0MiB|255.0MiB|0B| 0.0%|
|scrambled23483.smt2                                                                         |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled25140.smt2                                                                         |1536.0MiB|1536.0MiB|0B| 0.0%|
|scrambled27577.smt2                                                                         |306.0MiB|306.0MiB|0B| 0.0%|
|scrambled35345.smt2                                                                         |70.032MiB|70.032MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |96.456MiB|96.456MiB|0B| 0.0%|
|scrambled103851.smt2                                                                        |53.124MiB|53.124MiB|0B| 0.0%|
|scrambled109208.smt2                                                                        |233.0MiB|233.0MiB|0B| 0.0%|
|scrambled116992.smt2                                                                        |48.932MiB|48.932MiB|0B| 0.0%|
|scrambled117178.smt2                                                                        |129.0MiB|129.0MiB|0B| 0.0%|
|scrambled119992.smt2                                                                        |136.0MiB|136.0MiB|0B| 0.0%|
|scrambled122058.smt2                                                                        |153.0MiB|153.0MiB|0B| 0.0%|
|scrambled122413.smt2                                                                        |106.0MiB|106.0MiB|0B| 0.0%|
|scrambled124624.smt2                                                                        |126.0MiB|126.0MiB|0B| 0.0%|
|scrambled128361.smt2                                                                        |158.0MiB|158.0MiB|0B| 0.0%|
|scrambled1379.smt2                                                                          |59.82MiB|59.82MiB|0B| 0.0%|
|scrambled1447.smt2                                                                          |100.0MiB|100.0MiB|0B| 0.0%|
|scrambled14967.smt2                                                                         |119.0MiB|119.0MiB|0B| 0.0%|
|scrambled15284.smt2                                                                         |174.0MiB|174.0MiB|0B| 0.0%|
|scrambled15552.smt2                                                                         |184.0MiB|184.0MiB|0B| 0.0%|
|scrambled21544.smt2                                                                         |255.0MiB|255.0MiB|0B| 0.0%|
|scrambled23483.smt2                                                                         |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled25140.smt2                                                                         |1536.0MiB|1536.0MiB|0B| 0.0%|
|scrambled27577.smt2                                                                         |306.0MiB|306.0MiB|0B| 0.0%|
|scrambled35345.smt2                                                                         |70.032MiB|70.032MiB|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        |
|------------|----------:|---------:|
|scrambled25140.smt2                                                                        |1200.259s |1536.0MiB|
|scrambled62536.smt2                                                                        |1200.183s |1244.0MiB|
|scrambled96514.smt2                                                                        |  84.547s |889.0MiB|
|scrambled27577.smt2                                                                        |1200.073s |306.0MiB|
|scrambled21544.smt2                                                                        |1200.066s |255.0MiB|
|scrambled109208.smt2                                                                       |1200.060s |233.0MiB|
|scrambled9927.smt2                                                                         |1200.053s |210.0MiB|
|scrambled78432.smt2                                                                        |1200.068s |209.0MiB|
|scrambled78606.smt2                                                                        |1200.064s |209.0MiB|
|scrambled98799.smt2                                                                        |1200.053s |205.0MiB|
|scrambled54073.smt2                                                                        |1200.029s |199.0MiB|
|scrambled90733.smt2                                                                        |1200.024s |199.0MiB|
|scrambled89071.smt2                                                                        |1200.036s |198.0MiB|
|scrambled15552.smt2                                                                        |1200.039s |184.0MiB|
|scrambled15284.smt2                                                                        |1200.044s |174.0MiB|
|scrambled4441.smt2                                                                         |1200.054s |173.0MiB|
|scrambled82743.smt2                                                                        |1200.062s |165.0MiB|
|scrambled92133.smt2                                                                        |1200.052s |162.0MiB|
|scrambled128361.smt2                                                                       |1200.062s |158.0MiB|
|scrambled122058.smt2                                                                       |1200.024s |153.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled25140.smt2                                                                        |1200.259s |1536.0MiB|
|scrambled62536.smt2                                                                        |1200.183s |1244.0MiB|
|scrambled96514.smt2                                                                        |  84.547s |889.0MiB|
|scrambled27577.smt2                                                                        |1200.073s |306.0MiB|
|scrambled21544.smt2                                                                        |1200.066s |255.0MiB|
|scrambled109208.smt2                                                                       |1200.060s |233.0MiB|
|scrambled9927.smt2                                                                         |1200.053s |210.0MiB|
|scrambled78432.smt2                                                                        |1200.068s |209.0MiB|
|scrambled78606.smt2                                                                        |1200.064s |209.0MiB|
|scrambled98799.smt2                                                                        |1200.053s |205.0MiB|
|scrambled54073.smt2                                                                        |1200.029s |199.0MiB|
|scrambled90733.smt2                                                                        |1200.024s |199.0MiB|
|scrambled89071.smt2                                                                        |1200.036s |198.0MiB|
|scrambled15552.smt2                                                                        |1200.039s |184.0MiB|
|scrambled15284.smt2                                                                        |1200.044s |174.0MiB|
|scrambled4441.smt2                                                                         |1200.054s |173.0MiB|
|scrambled82743.smt2                                                                        |1200.062s |165.0MiB|
|scrambled92133.smt2                                                                        |1200.052s |162.0MiB|
|scrambled128361.smt2                                                                       |1200.062s |158.0MiB|
|scrambled122058.smt2                                                                       |1200.024s |153.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100416.smt2                                                                        |1200.025s  |1200.025s  |   0.000s  | 0.0%|
|scrambled103851.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled109208.smt2                                                                        |1200.060s  |1200.060s  |   0.000s  | 0.0%|
|scrambled116992.smt2                                                                        |1200.041s  |1200.041s  |   0.000s  | 0.0%|
|scrambled117178.smt2                                                                        |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled119992.smt2                                                                        |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled122058.smt2                                                                        |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled122413.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled124624.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled128361.smt2                                                                        |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled1379.smt2                                                                          | 154.923s  | 154.923s  |   0.000s  | 0.0%|
|scrambled1447.smt2                                                                          |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled14967.smt2                                                                         |1200.048s  |1200.048s  |   0.000s  | 0.0%|
|scrambled15284.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled15552.smt2                                                                         |1200.039s  |1200.039s  |   0.000s  | 0.0%|
|scrambled21544.smt2                                                                         |1200.066s  |1200.066s  |   0.000s  | 0.0%|
|scrambled23483.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled25140.smt2                                                                         |1200.259s  |1200.259s  |   0.000s  | 0.0%|
|scrambled27577.smt2                                                                         |1200.073s  |1200.073s  |   0.000s  | 0.0%|
|scrambled35345.smt2                                                                         |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled38610.smt2                                                                         |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled41312.smt2                                                                         |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled41773.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled41801.smt2                                                                         |1200.040s  |1200.040s  |   0.000s  | 0.0%|
|scrambled42287.smt2                                                                         |1200.043s  |1200.043s  |   0.000s  | 0.0%|
|scrambled4441.smt2                                                                          |1200.054s  |1200.054s  |   0.000s  | 0.0%|
|scrambled54073.smt2                                                                         |1200.029s  |1200.029s  |   0.000s  | 0.0%|
|scrambled58720.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled62536.smt2                                                                         |1200.183s  |1200.183s  |   0.000s  | 0.0%|
|scrambled62810.smt2                                                                         |1200.040s  |1200.040s  |   0.000s  | 0.0%|
|scrambled62859.smt2                                                                         |1200.021s  |1200.021s  |   0.000s  | 0.0%|
|scrambled6373.smt2                                                                          |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled75206.smt2                                                                         | 762.687s  | 762.687s  |   0.000s  | 0.0%|
|scrambled78432.smt2                                                                         |1200.068s  |1200.068s  |   0.000s  | 0.0%|
|scrambled78606.smt2                                                                         |1200.064s  |1200.064s  |   0.000s  | 0.0%|
|scrambled79181.smt2                                                                         |1200.044s  |1200.044s  |   0.000s  | 0.0%|
|scrambled82743.smt2                                                                         |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled89071.smt2                                                                         |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled90733.smt2                                                                         |1200.024s  |1200.024s  |   0.000s  | 0.0%|
|scrambled92133.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
|scrambled96514.smt2                                                                         |  84.547s  |  84.547s  |   0.000s  | 0.0%|
|scrambled96733.smt2                                                                         |1200.010s  |1200.010s  |   0.000s  | 0.0%|
|scrambled97138.smt2                                                                         |1200.014s  |1200.014s  |   0.000s  | 0.0%|
|scrambled98799.smt2                                                                         |1200.053s  |1200.053s  |   0.000s  | 0.0%|
</details>