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.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.037s  |1200.037s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.032s  |1200.032s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.477s  |1201.477s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.097s  |1200.097s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.083s  |1200.083s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.214s  |  18.214s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 220.450s  | 220.450s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.096s  |1200.096s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 472.978s  | 472.978s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.037s  |1200.037s  |   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.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.037s  |1200.037s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.032s  |1200.032s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.477s  |1201.477s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.097s  |1200.097s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.083s  |1200.083s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.214s  |  18.214s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 220.450s  | 220.450s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.096s  |1200.096s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 472.978s  | 472.978s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.037s  |1200.037s  |   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.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.037s  |1200.037s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.032s  |1200.032s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.477s  |1201.477s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.097s  |1200.097s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.083s  |1200.083s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.214s  |  18.214s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 220.450s  | 220.450s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.096s  |1200.096s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 472.978s  | 472.978s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.037s  |1200.037s  |   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.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.037s  |1200.037s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.032s  |1200.032s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.477s  |1201.477s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.097s  |1200.097s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.083s  |1200.083s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.214s  |  18.214s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 220.450s  | 220.450s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.096s  |1200.096s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 472.978s  | 472.978s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.037s  |1200.037s  |   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.477s |17.382GiB|
|scrambled5797.smt2                                                                         |1200.149s |1469.0MiB|
|scrambled124828.smt2                                                                       |1200.136s |1091.0MiB|
|scrambled118224.smt2                                                                       |1200.097s |749.0MiB|
|scrambled29556.smt2                                                                        |1200.096s |859.0MiB|
|scrambled14016.smt2                                                                        |1200.083s |503.0MiB|
|scrambled22492.smt2                                                                        |1200.078s |9491.0MiB|
|scrambled85895.smt2                                                                        |1200.062s |1435.0MiB|
|scrambled58292.smt2                                                                        |1200.054s |273.0MiB|
|scrambled32269.smt2                                                                        |1200.052s |183.0MiB|
|scrambled94768.smt2                                                                        |1200.046s |122.0MiB|
|scrambled34121.smt2                                                                        |1200.046s |162.0MiB|
|scrambled82241.smt2                                                                        |1200.042s |100.0MiB|
|scrambled94319.smt2                                                                        |1200.040s |117.0MiB|
|scrambled7923.smt2                                                                         |1200.040s |66.66MiB|
|scrambled42946.smt2                                                                        |1200.039s |69.48MiB|
|scrambled36539.smt2                                                                        |1200.037s |104.0MiB|
|scrambled112083.smt2                                                                       |1200.037s |120.0MiB|
|scrambled80728.smt2                                                                        |1200.035s |193.0MiB|
|scrambled117334.smt2                                                                       |1200.034s |192.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |1201.477s |17.382GiB|
|scrambled5797.smt2                                                                         |1200.149s |1469.0MiB|
|scrambled124828.smt2                                                                       |1200.136s |1091.0MiB|
|scrambled118224.smt2                                                                       |1200.097s |749.0MiB|
|scrambled29556.smt2                                                                        |1200.096s |859.0MiB|
|scrambled14016.smt2                                                                        |1200.083s |503.0MiB|
|scrambled22492.smt2                                                                        |1200.078s |9491.0MiB|
|scrambled85895.smt2                                                                        |1200.062s |1435.0MiB|
|scrambled58292.smt2                                                                        |1200.054s |273.0MiB|
|scrambled32269.smt2                                                                        |1200.052s |183.0MiB|
|scrambled94768.smt2                                                                        |1200.046s |122.0MiB|
|scrambled34121.smt2                                                                        |1200.046s |162.0MiB|
|scrambled82241.smt2                                                                        |1200.042s |100.0MiB|
|scrambled94319.smt2                                                                        |1200.040s |117.0MiB|
|scrambled7923.smt2                                                                         |1200.040s |66.66MiB|
|scrambled42946.smt2                                                                        |1200.039s |69.48MiB|
|scrambled36539.smt2                                                                        |1200.037s |104.0MiB|
|scrambled112083.smt2                                                                       |1200.037s |120.0MiB|
|scrambled80728.smt2                                                                        |1200.035s |193.0MiB|
|scrambled117334.smt2                                                                       |1200.034s |192.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |94.136MiB|94.136MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.336MiB|84.336MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |192.0MiB|192.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |163.0MiB|163.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1091.0MiB|1091.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.468MiB|39.468MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.756MiB|53.756MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.096MiB|82.096MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.032MiB|41.032MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |859.0MiB|859.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.136MiB|94.136MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.336MiB|84.336MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |192.0MiB|192.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |163.0MiB|163.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1091.0MiB|1091.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.468MiB|39.468MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.756MiB|53.756MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.096MiB|82.096MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.032MiB|41.032MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |859.0MiB|859.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.136MiB|94.136MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.336MiB|84.336MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |192.0MiB|192.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |163.0MiB|163.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1091.0MiB|1091.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.468MiB|39.468MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.756MiB|53.756MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.096MiB|82.096MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.032MiB|41.032MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |859.0MiB|859.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.136MiB|94.136MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |120.0MiB|120.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |84.336MiB|84.336MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |17.382GiB|17.382GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |192.0MiB|192.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |163.0MiB|163.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |749.0MiB|749.0MiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |1091.0MiB|1091.0MiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |503.0MiB|503.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |39.468MiB|39.468MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |53.756MiB|53.756MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |82.096MiB|82.096MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |314.0MiB|314.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |9491.0MiB|9491.0MiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |41.032MiB|41.032MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |859.0MiB|859.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                                                                         | 577.314s |65.862GiB|
|scrambled121780.smt2                                                                       | 563.761s |65.57GiB|
|scrambled78428.smt2                                                                        | 532.255s |65.1GiB|
|scrambled70990.smt2                                                                        | 538.728s |64.53GiB|
|scrambled60239.smt2                                                                        | 539.917s |62.85GiB|
|scrambled91241.smt2                                                                        | 527.101s |62.657GiB|
|scrambled27426.smt2                                                                        | 541.815s |62.554GiB|
|scrambled41575.smt2                                                                        | 511.907s |62.538GiB|
|scrambled61896.smt2                                                                        | 520.190s |62.433GiB|
|scrambled114923.smt2                                                                       |1201.477s |17.382GiB|
|scrambled22492.smt2                                                                        |1200.078s |9491.0MiB|
|scrambled5797.smt2                                                                         |1200.149s |1469.0MiB|
|scrambled85895.smt2                                                                        |1200.062s |1435.0MiB|
|scrambled124828.smt2                                                                       |1200.136s |1091.0MiB|
|scrambled29556.smt2                                                                        |1200.096s |859.0MiB|
|scrambled118224.smt2                                                                       |1200.097s |749.0MiB|
|scrambled14016.smt2                                                                        |1200.083s |503.0MiB|
|scrambled21647.smt2                                                                        | 220.450s |314.0MiB|
|scrambled58292.smt2                                                                        |1200.054s |273.0MiB|
|scrambled54263.smt2                                                                        |  51.438s |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                                                                         | 577.314s |65.862GiB|
|scrambled121780.smt2                                                                       | 563.761s |65.57GiB|
|scrambled78428.smt2                                                                        | 532.255s |65.1GiB|
|scrambled70990.smt2                                                                        | 538.728s |64.53GiB|
|scrambled60239.smt2                                                                        | 539.917s |62.85GiB|
|scrambled91241.smt2                                                                        | 527.101s |62.657GiB|
|scrambled27426.smt2                                                                        | 541.815s |62.554GiB|
|scrambled41575.smt2                                                                        | 511.907s |62.538GiB|
|scrambled61896.smt2                                                                        | 520.190s |62.433GiB|
|scrambled114923.smt2                                                                       |1201.477s |17.382GiB|
|scrambled22492.smt2                                                                        |1200.078s |9491.0MiB|
|scrambled5797.smt2                                                                         |1200.149s |1469.0MiB|
|scrambled85895.smt2                                                                        |1200.062s |1435.0MiB|
|scrambled124828.smt2                                                                       |1200.136s |1091.0MiB|
|scrambled29556.smt2                                                                        |1200.096s |859.0MiB|
|scrambled118224.smt2                                                                       |1200.097s |749.0MiB|
|scrambled14016.smt2                                                                        |1200.083s |503.0MiB|
|scrambled21647.smt2                                                                        | 220.450s |314.0MiB|
|scrambled58292.smt2                                                                        |1200.054s |273.0MiB|
|scrambled54263.smt2                                                                        |  51.438s |195.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.037s  |1200.037s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.032s  |1200.032s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1201.477s  |1201.477s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.023s  |1200.023s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.097s  |1200.097s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.083s  |1200.083s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.214s  |  18.214s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.027s  |1200.027s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.026s  |1200.026s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 220.450s  | 220.450s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.078s  |1200.078s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.096s  |1200.096s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.052s  |1200.052s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         | 472.978s  | 472.978s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.037s  |1200.037s  |   0.000s  | 0.0%|
|scrambled42946.smt2                                                                         |1200.039s  |1200.039s  |   0.000s  | 0.0%|
|scrambled54263.smt2                                                                         |  51.438s  |  51.438s  |   0.000s  | 0.0%|
|scrambled5797.smt2                                                                          |1200.149s  |1200.149s  |   0.000s  | 0.0%|
|scrambled58292.smt2                                                                         |1200.054s  |1200.054s  |   0.000s  | 0.0%|
|scrambled65757.smt2                                                                         | 197.428s  | 197.428s  |   0.000s  | 0.0%|
|scrambled73220.smt2                                                                         |1200.019s  |1200.019s  |   0.000s  | 0.0%|
|scrambled74869.smt2                                                                         |1200.033s  |1200.033s  |   0.000s  | 0.0%|
|scrambled7586.smt2                                                                          |1200.030s  |1200.030s  |   0.000s  | 0.0%|
|scrambled7923.smt2                                                                          |1200.040s  |1200.040s  |   0.000s  | 0.0%|
|scrambled80728.smt2                                                                         |1200.035s  |1200.035s  |   0.000s  | 0.0%|
|scrambled82241.smt2                                                                         |1200.042s  |1200.042s  |   0.000s  | 0.0%|
|scrambled85895.smt2                                                                         |1200.062s  |1200.062s  |   0.000s  | 0.0%|
|scrambled94319.smt2                                                                         |1200.040s  |1200.040s  |   0.000s  | 0.0%|
|scrambled94768.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
</details>