Comparing data and data


# SUMMARY
- LHS tests = 44
- RHS tests = 44
- LHS success = 35  (79.54545454545455%)
- RHS success = 35  (79.54545454545455%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_NRA-timeout20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti ref: main
Z3 version: 4.12.1 (prebuilt)
Z3 options: "-T:1200 -v:0"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_NRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>
# RHS
<pre>
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_NRA-timeout20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti ref: main
Z3 version: 4.12.1 (prebuilt)
Z3 options: "-T:1200 -v:0"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_NRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>
</details>


## TOP 20 RUNTIME INCREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.020s  |1200.020s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.595s  |1201.595s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.081s  |1200.081s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.116s  |1200.116s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.187s  |  18.187s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 249.095s  | 249.095s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.063s  |1200.063s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.091s  |1200.091s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 569.941s  | 569.941s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.045s  |1200.045s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.020s  |1200.020s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.595s  |1201.595s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.081s  |1200.081s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.116s  |1200.116s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.187s  |  18.187s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 249.095s  | 249.095s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.063s  |1200.063s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.091s  |1200.091s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 569.941s  | 569.941s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.020s  |1200.020s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.595s  |1201.595s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.081s  |1200.081s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.116s  |1200.116s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.187s  |  18.187s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 249.095s  | 249.095s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.063s  |1200.063s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.091s  |1200.091s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 569.941s  | 569.941s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.045s  |1200.045s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.020s  |1200.020s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.595s  |1201.595s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.081s  |1200.081s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.116s  |1200.116s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.187s  |  18.187s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 249.095s  | 249.095s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.063s  |1200.063s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.091s  |1200.091s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 569.941s  | 569.941s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |1201.595s |17.382GiB|
|scrambled5797.smt2                                                                         |1200.149s |1471.0MiB|
|scrambled124828.smt2                                                                       |1200.116s |1093.0MiB|
|scrambled29556.smt2                                                                        |1200.091s |824.0MiB|
|scrambled118224.smt2                                                                       |1200.081s |749.0MiB|
|scrambled14016.smt2                                                                        |1200.078s |503.0MiB|
|scrambled85895.smt2                                                                        |1200.069s |1435.0MiB|
|scrambled22492.smt2                                                                        |1200.063s |9491.0MiB|
|scrambled94768.smt2                                                                        |1200.052s |120.0MiB|
|scrambled82241.smt2                                                                        |1200.050s |99.0MiB|
|scrambled42946.smt2                                                                        |1200.047s |69.336MiB|
|scrambled36539.smt2                                                                        |1200.045s |104.0MiB|
|scrambled32269.smt2                                                                        |1200.045s |183.0MiB|
|scrambled74869.smt2                                                                        |1200.042s |55.972MiB|
|scrambled7923.smt2                                                                         |1200.038s |66.648MiB|
|scrambled112083.smt2                                                                       |1200.036s |120.0MiB|
|scrambled28630.smt2                                                                        |1200.036s |41.096MiB|
|scrambled117334.smt2                                                                       |1200.036s |190.0MiB|
|scrambled94319.smt2                                                                        |1200.035s |117.0MiB|
|scrambled58292.smt2                                                                        |1200.035s |270.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |1201.595s |17.382GiB|
|scrambled5797.smt2                                                                         |1200.149s |1471.0MiB|
|scrambled124828.smt2                                                                       |1200.116s |1093.0MiB|
|scrambled29556.smt2                                                                        |1200.091s |824.0MiB|
|scrambled118224.smt2                                                                       |1200.081s |749.0MiB|
|scrambled14016.smt2                                                                        |1200.078s |503.0MiB|
|scrambled85895.smt2                                                                        |1200.069s |1435.0MiB|
|scrambled22492.smt2                                                                        |1200.063s |9491.0MiB|
|scrambled94768.smt2                                                                        |1200.052s |120.0MiB|
|scrambled82241.smt2                                                                        |1200.050s |99.0MiB|
|scrambled42946.smt2                                                                        |1200.047s |69.336MiB|
|scrambled36539.smt2                                                                        |1200.045s |104.0MiB|
|scrambled32269.smt2                                                                        |1200.045s |183.0MiB|
|scrambled74869.smt2                                                                        |1200.042s |55.972MiB|
|scrambled7923.smt2                                                                         |1200.038s |66.648MiB|
|scrambled112083.smt2                                                                       |1200.036s |120.0MiB|
|scrambled28630.smt2                                                                        |1200.036s |41.096MiB|
|scrambled117334.smt2                                                                       |1200.036s |190.0MiB|
|scrambled94319.smt2                                                                        |1200.035s |117.0MiB|
|scrambled58292.smt2                                                                        |1200.035s |270.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |94.264MiB|94.264MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.316MiB|84.316MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |190.0MiB|190.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |164.0MiB|164.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1093.0MiB|1093.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.456MiB|39.456MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.308MiB|53.308MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.052MiB|82.052MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.096MiB|41.096MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |824.0MiB|824.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |183.0MiB|183.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |104.0MiB|104.0MiB|0B| 0.0%|
|scrambled34121.smt2                                                                         |162.0MiB|162.0MiB|0B| 0.0%|
|scrambled36539.smt2                                                                         |104.0MiB|104.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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |94.264MiB|94.264MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.316MiB|84.316MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |190.0MiB|190.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |164.0MiB|164.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1093.0MiB|1093.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.456MiB|39.456MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.308MiB|53.308MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.052MiB|82.052MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.096MiB|41.096MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |824.0MiB|824.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |183.0MiB|183.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |104.0MiB|104.0MiB|0B| 0.0%|
|scrambled34121.smt2                                                                         |162.0MiB|162.0MiB|0B| 0.0%|
|scrambled36539.smt2                                                                         |104.0MiB|104.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |94.264MiB|94.264MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.316MiB|84.316MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |190.0MiB|190.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |164.0MiB|164.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1093.0MiB|1093.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.456MiB|39.456MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.308MiB|53.308MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.052MiB|82.052MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.096MiB|41.096MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |824.0MiB|824.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |183.0MiB|183.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |104.0MiB|104.0MiB|0B| 0.0%|
|scrambled34121.smt2                                                                         |162.0MiB|162.0MiB|0B| 0.0%|
|scrambled36539.smt2                                                                         |104.0MiB|104.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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |94.264MiB|94.264MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.316MiB|84.316MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |190.0MiB|190.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |164.0MiB|164.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1093.0MiB|1093.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.456MiB|39.456MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.308MiB|53.308MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.052MiB|82.052MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.096MiB|41.096MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |824.0MiB|824.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |183.0MiB|183.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |104.0MiB|104.0MiB|0B| 0.0%|
|scrambled34121.smt2                                                                         |162.0MiB|162.0MiB|0B| 0.0%|
|scrambled36539.smt2                                                                         |104.0MiB|104.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        |
|------------|----------:|---------:|
|scrambled6476.smt2                                                                         | 579.352s |65.862GiB|
|scrambled121780.smt2                                                                       | 569.573s |65.569GiB|
|scrambled78428.smt2                                                                        | 544.046s |65.1GiB|
|scrambled70990.smt2                                                                        | 531.189s |64.53GiB|
|scrambled60239.smt2                                                                        | 541.019s |62.85GiB|
|scrambled91241.smt2                                                                        | 531.583s |62.657GiB|
|scrambled27426.smt2                                                                        | 539.211s |62.554GiB|
|scrambled41575.smt2                                                                        | 513.987s |62.538GiB|
|scrambled61896.smt2                                                                        | 528.519s |62.434GiB|
|scrambled114923.smt2                                                                       |1201.595s |17.382GiB|
|scrambled22492.smt2                                                                        |1200.063s |9491.0MiB|
|scrambled5797.smt2                                                                         |1200.149s |1471.0MiB|
|scrambled85895.smt2                                                                        |1200.069s |1435.0MiB|
|scrambled124828.smt2                                                                       |1200.116s |1093.0MiB|
|scrambled29556.smt2                                                                        |1200.091s |824.0MiB|
|scrambled118224.smt2                                                                       |1200.081s |749.0MiB|
|scrambled14016.smt2                                                                        |1200.078s |503.0MiB|
|scrambled21647.smt2                                                                        | 249.095s |314.0MiB|
|scrambled58292.smt2                                                                        |1200.035s |270.0MiB|
|scrambled54263.smt2                                                                        |  56.860s |195.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled6476.smt2                                                                         | 579.352s |65.862GiB|
|scrambled121780.smt2                                                                       | 569.573s |65.569GiB|
|scrambled78428.smt2                                                                        | 544.046s |65.1GiB|
|scrambled70990.smt2                                                                        | 531.189s |64.53GiB|
|scrambled60239.smt2                                                                        | 541.019s |62.85GiB|
|scrambled91241.smt2                                                                        | 531.583s |62.657GiB|
|scrambled27426.smt2                                                                        | 539.211s |62.554GiB|
|scrambled41575.smt2                                                                        | 513.987s |62.538GiB|
|scrambled61896.smt2                                                                        | 528.519s |62.434GiB|
|scrambled114923.smt2                                                                       |1201.595s |17.382GiB|
|scrambled22492.smt2                                                                        |1200.063s |9491.0MiB|
|scrambled5797.smt2                                                                         |1200.149s |1471.0MiB|
|scrambled85895.smt2                                                                        |1200.069s |1435.0MiB|
|scrambled124828.smt2                                                                       |1200.116s |1093.0MiB|
|scrambled29556.smt2                                                                        |1200.091s |824.0MiB|
|scrambled118224.smt2                                                                       |1200.081s |749.0MiB|
|scrambled14016.smt2                                                                        |1200.078s |503.0MiB|
|scrambled21647.smt2                                                                        | 249.095s |314.0MiB|
|scrambled58292.smt2                                                                        |1200.035s |270.0MiB|
|scrambled54263.smt2                                                                        |  56.860s |195.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.020s  |1200.020s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.595s  |1201.595s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.081s  |1200.081s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.116s  |1200.116s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.187s  |  18.187s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.022s  |1200.022s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 249.095s  | 249.095s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.063s  |1200.063s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.036s  |1200.036s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.091s  |1200.091s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 569.941s  | 569.941s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.045s  |1200.045s  |   0.000s  | 0.0%|
|scrambled42946.smt2                                                                         |1200.047s  |1200.047s  |   0.000s  | 0.0%|
|scrambled54263.smt2                                                                         |  56.860s  |  56.860s  |   0.000s  | 0.0%|
|scrambled5797.smt2                                                                          |1200.149s  |1200.149s  |   0.000s  | 0.0%|
|scrambled58292.smt2                                                                         |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled65757.smt2                                                                         | 215.610s  | 215.610s  |   0.000s  | 0.0%|
|scrambled73220.smt2                                                                         |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled74869.smt2                                                                         |1200.042s  |1200.042s  |   0.000s  | 0.0%|
|scrambled7586.smt2                                                                          |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled7923.smt2                                                                          |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled80728.smt2                                                                         |1200.030s  |1200.030s  |   0.000s  | 0.0%|
|scrambled82241.smt2                                                                         |1200.050s  |1200.050s  |   0.000s  | 0.0%|
|scrambled85895.smt2                                                                         |1200.069s  |1200.069s  |   0.000s  | 0.0%|
|scrambled94319.smt2                                                                         |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled94768.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
</details>