Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_LRA-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_LRA
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_LRA-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_LRA
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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.177s  |1200.177s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |1200.223s  |1200.223s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        |1098.214s  |1098.214s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.101s  |1200.101s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 816.954s  | 816.954s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        |1200.161s  |1200.161s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |1200.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        |1200.068s  |1200.068s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        | 993.489s  | 993.489s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.014s  |1200.014s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         |1200.166s  |1200.166s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1200.230s  |1200.230s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.053s  |1200.053s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         |1200.225s  |1200.225s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.019s  |1200.019s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.029s  |1200.029s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.074s  |1200.074s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.177s  |1200.177s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |1200.223s  |1200.223s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        |1098.214s  |1098.214s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.101s  |1200.101s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 816.954s  | 816.954s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        |1200.161s  |1200.161s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |1200.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        |1200.068s  |1200.068s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        | 993.489s  | 993.489s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.014s  |1200.014s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         |1200.166s  |1200.166s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1200.230s  |1200.230s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.053s  |1200.053s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         |1200.225s  |1200.225s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.019s  |1200.019s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.029s  |1200.029s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.074s  |1200.074s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.177s  |1200.177s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |1200.223s  |1200.223s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        |1098.214s  |1098.214s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.101s  |1200.101s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 816.954s  | 816.954s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        |1200.161s  |1200.161s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |1200.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        |1200.068s  |1200.068s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        | 993.489s  | 993.489s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.014s  |1200.014s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         |1200.166s  |1200.166s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1200.230s  |1200.230s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.053s  |1200.053s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         |1200.225s  |1200.225s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.019s  |1200.019s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.029s  |1200.029s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.074s  |1200.074s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.177s  |1200.177s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |1200.223s  |1200.223s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        |1098.214s  |1098.214s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.101s  |1200.101s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 816.954s  | 816.954s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        |1200.161s  |1200.161s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |1200.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        |1200.068s  |1200.068s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        | 993.489s  | 993.489s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.014s  |1200.014s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         |1200.166s  |1200.166s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1200.230s  |1200.230s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.053s  |1200.053s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         |1200.225s  |1200.225s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.019s  |1200.019s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.029s  |1200.029s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.074s  |1200.074s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled13209.smt2                                                                        |1200.230s |1853.0MiB|
|scrambled25695.smt2                                                                        |1200.225s |1676.0MiB|
|scrambled102621.smt2                                                                       |1200.223s |1652.0MiB|
|scrambled8163.smt2                                                                         |1200.184s |1245.0MiB|
|scrambled98986.smt2                                                                        |1200.180s |1201.0MiB|
|scrambled101728.smt2                                                                       |1200.177s |1184.0MiB|
|scrambled55850.smt2                                                                        |1200.170s |1253.0MiB|
|scrambled13169.smt2                                                                        |1200.166s |1204.0MiB|
|scrambled111949.smt2                                                                       |1200.161s |1453.0MiB|
|scrambled77008.smt2                                                                        |1200.139s |971.0MiB|
|scrambled77308.smt2                                                                        |1200.109s |740.0MiB|
|scrambled104811.smt2                                                                       |1200.101s |760.0MiB|
|scrambled47581.smt2                                                                        |1200.085s |362.0MiB|
|scrambled76525.smt2                                                                        |1200.075s |284.0MiB|
|scrambled37260.smt2                                                                        |1200.074s |476.0MiB|
|scrambled95284.smt2                                                                        |1200.073s |448.0MiB|
|scrambled117897.smt2                                                                       |1200.068s |541.0MiB|
|scrambled17583.smt2                                                                        |1200.053s |271.0MiB|
|scrambled59368.smt2                                                                        |1200.046s |252.0MiB|
|scrambled55845.smt2                                                                        |1200.040s |131.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled13209.smt2                                                                        |1200.230s |1853.0MiB|
|scrambled25695.smt2                                                                        |1200.225s |1676.0MiB|
|scrambled102621.smt2                                                                       |1200.223s |1652.0MiB|
|scrambled8163.smt2                                                                         |1200.184s |1245.0MiB|
|scrambled98986.smt2                                                                        |1200.180s |1201.0MiB|
|scrambled101728.smt2                                                                       |1200.177s |1184.0MiB|
|scrambled55850.smt2                                                                        |1200.170s |1253.0MiB|
|scrambled13169.smt2                                                                        |1200.166s |1204.0MiB|
|scrambled111949.smt2                                                                       |1200.161s |1453.0MiB|
|scrambled77008.smt2                                                                        |1200.139s |971.0MiB|
|scrambled77308.smt2                                                                        |1200.109s |740.0MiB|
|scrambled104811.smt2                                                                       |1200.101s |760.0MiB|
|scrambled47581.smt2                                                                        |1200.085s |362.0MiB|
|scrambled76525.smt2                                                                        |1200.075s |284.0MiB|
|scrambled37260.smt2                                                                        |1200.074s |476.0MiB|
|scrambled95284.smt2                                                                        |1200.073s |448.0MiB|
|scrambled117897.smt2                                                                       |1200.068s |541.0MiB|
|scrambled17583.smt2                                                                        |1200.053s |271.0MiB|
|scrambled59368.smt2                                                                        |1200.046s |252.0MiB|
|scrambled55845.smt2                                                                        |1200.040s |131.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |58.872MiB|58.872MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |1184.0MiB|1184.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |1652.0MiB|1652.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |1395.0MiB|1395.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |35.084MiB|35.084MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |760.0MiB|760.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |793.0MiB|793.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |1453.0MiB|1453.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |66.18MiB|66.18MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |541.0MiB|541.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |51.184MiB|51.184MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |312.0MiB|312.0MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |29.18MiB|29.18MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |1204.0MiB|1204.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |1853.0MiB|1853.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |271.0MiB|271.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |1676.0MiB|1676.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |52.516MiB|52.516MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.12MiB|53.12MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |476.0MiB|476.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |58.872MiB|58.872MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |1184.0MiB|1184.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |1652.0MiB|1652.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |1395.0MiB|1395.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |35.084MiB|35.084MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |760.0MiB|760.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |793.0MiB|793.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |1453.0MiB|1453.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |66.18MiB|66.18MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |541.0MiB|541.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |51.184MiB|51.184MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |312.0MiB|312.0MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |29.18MiB|29.18MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |1204.0MiB|1204.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |1853.0MiB|1853.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |271.0MiB|271.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |1676.0MiB|1676.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |52.516MiB|52.516MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.12MiB|53.12MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |476.0MiB|476.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |58.872MiB|58.872MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |1184.0MiB|1184.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |1652.0MiB|1652.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |1395.0MiB|1395.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |35.084MiB|35.084MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |760.0MiB|760.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |793.0MiB|793.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |1453.0MiB|1453.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |66.18MiB|66.18MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |541.0MiB|541.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |51.184MiB|51.184MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |312.0MiB|312.0MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |29.18MiB|29.18MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |1204.0MiB|1204.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |1853.0MiB|1853.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |271.0MiB|271.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |1676.0MiB|1676.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |52.516MiB|52.516MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.12MiB|53.12MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |476.0MiB|476.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |58.872MiB|58.872MiB|0B| 0.0%|
|scrambled101728.smt2                                                                        |1184.0MiB|1184.0MiB|0B| 0.0%|
|scrambled102621.smt2                                                                        |1652.0MiB|1652.0MiB|0B| 0.0%|
|scrambled102680.smt2                                                                        |1395.0MiB|1395.0MiB|0B| 0.0%|
|scrambled103576.smt2                                                                        |35.084MiB|35.084MiB|0B| 0.0%|
|scrambled104811.smt2                                                                        |760.0MiB|760.0MiB|0B| 0.0%|
|scrambled109307.smt2                                                                        |793.0MiB|793.0MiB|0B| 0.0%|
|scrambled111949.smt2                                                                        |1453.0MiB|1453.0MiB|0B| 0.0%|
|scrambled115671.smt2                                                                        |66.18MiB|66.18MiB|0B| 0.0%|
|scrambled117897.smt2                                                                        |541.0MiB|541.0MiB|0B| 0.0%|
|scrambled122587.smt2                                                                        |51.184MiB|51.184MiB|0B| 0.0%|
|scrambled124455.smt2                                                                        |312.0MiB|312.0MiB|0B| 0.0%|
|scrambled124681.smt2                                                                        |29.18MiB|29.18MiB|0B| 0.0%|
|scrambled13169.smt2                                                                         |1204.0MiB|1204.0MiB|0B| 0.0%|
|scrambled13209.smt2                                                                         |1853.0MiB|1853.0MiB|0B| 0.0%|
|scrambled17583.smt2                                                                         |271.0MiB|271.0MiB|0B| 0.0%|
|scrambled25695.smt2                                                                         |1676.0MiB|1676.0MiB|0B| 0.0%|
|scrambled31085.smt2                                                                         |52.516MiB|52.516MiB|0B| 0.0%|
|scrambled35077.smt2                                                                         |53.12MiB|53.12MiB|0B| 0.0%|
|scrambled37260.smt2                                                                         |476.0MiB|476.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        |
|------------|----------:|---------:|
|scrambled13209.smt2                                                                        |1200.230s |1853.0MiB|
|scrambled25695.smt2                                                                        |1200.225s |1676.0MiB|
|scrambled102621.smt2                                                                       |1200.223s |1652.0MiB|
|scrambled111949.smt2                                                                       |1200.161s |1453.0MiB|
|scrambled102680.smt2                                                                       |1098.214s |1395.0MiB|
|scrambled55850.smt2                                                                        |1200.170s |1253.0MiB|
|scrambled8163.smt2                                                                         |1200.184s |1245.0MiB|
|scrambled13169.smt2                                                                        |1200.166s |1204.0MiB|
|scrambled98986.smt2                                                                        |1200.180s |1201.0MiB|
|scrambled101728.smt2                                                                       |1200.177s |1184.0MiB|
|scrambled44527.smt2                                                                        | 177.580s |1123.0MiB|
|scrambled77008.smt2                                                                        |1200.139s |971.0MiB|
|scrambled109307.smt2                                                                       | 816.954s |793.0MiB|
|scrambled104811.smt2                                                                       |1200.101s |760.0MiB|
|scrambled77308.smt2                                                                        |1200.109s |740.0MiB|
|scrambled117897.smt2                                                                       |1200.068s |541.0MiB|
|scrambled37260.smt2                                                                        |1200.074s |476.0MiB|
|scrambled95284.smt2                                                                        |1200.073s |448.0MiB|
|scrambled47581.smt2                                                                        |1200.085s |362.0MiB|
|scrambled124455.smt2                                                                       |1200.038s |312.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled13209.smt2                                                                        |1200.230s |1853.0MiB|
|scrambled25695.smt2                                                                        |1200.225s |1676.0MiB|
|scrambled102621.smt2                                                                       |1200.223s |1652.0MiB|
|scrambled111949.smt2                                                                       |1200.161s |1453.0MiB|
|scrambled102680.smt2                                                                       |1098.214s |1395.0MiB|
|scrambled55850.smt2                                                                        |1200.170s |1253.0MiB|
|scrambled8163.smt2                                                                         |1200.184s |1245.0MiB|
|scrambled13169.smt2                                                                        |1200.166s |1204.0MiB|
|scrambled98986.smt2                                                                        |1200.180s |1201.0MiB|
|scrambled101728.smt2                                                                       |1200.177s |1184.0MiB|
|scrambled44527.smt2                                                                        | 177.580s |1123.0MiB|
|scrambled77008.smt2                                                                        |1200.139s |971.0MiB|
|scrambled109307.smt2                                                                       | 816.954s |793.0MiB|
|scrambled104811.smt2                                                                       |1200.101s |760.0MiB|
|scrambled77308.smt2                                                                        |1200.109s |740.0MiB|
|scrambled117897.smt2                                                                       |1200.068s |541.0MiB|
|scrambled37260.smt2                                                                        |1200.074s |476.0MiB|
|scrambled95284.smt2                                                                        |1200.073s |448.0MiB|
|scrambled47581.smt2                                                                        |1200.085s |362.0MiB|
|scrambled124455.smt2                                                                       |1200.038s |312.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled101086.smt2                                                                        |1200.031s  |1200.031s  |   0.000s  | 0.0%|
|scrambled101728.smt2                                                                        |1200.177s  |1200.177s  |   0.000s  | 0.0%|
|scrambled102621.smt2                                                                        |1200.223s  |1200.223s  |   0.000s  | 0.0%|
|scrambled102680.smt2                                                                        |1098.214s  |1098.214s  |   0.000s  | 0.0%|
|scrambled103576.smt2                                                                        |1200.034s  |1200.034s  |   0.000s  | 0.0%|
|scrambled104811.smt2                                                                        |1200.101s  |1200.101s  |   0.000s  | 0.0%|
|scrambled109307.smt2                                                                        | 816.954s  | 816.954s  |   0.000s  | 0.0%|
|scrambled111949.smt2                                                                        |1200.161s  |1200.161s  |   0.000s  | 0.0%|
|scrambled115671.smt2                                                                        |1200.018s  |1200.018s  |   0.000s  | 0.0%|
|scrambled117897.smt2                                                                        |1200.068s  |1200.068s  |   0.000s  | 0.0%|
|scrambled122587.smt2                                                                        | 993.489s  | 993.489s  |   0.000s  | 0.0%|
|scrambled124455.smt2                                                                        |1200.038s  |1200.038s  |   0.000s  | 0.0%|
|scrambled124681.smt2                                                                        |1200.014s  |1200.014s  |   0.000s  | 0.0%|
|scrambled13169.smt2                                                                         |1200.166s  |1200.166s  |   0.000s  | 0.0%|
|scrambled13209.smt2                                                                         |1200.230s  |1200.230s  |   0.000s  | 0.0%|
|scrambled17583.smt2                                                                         |1200.053s  |1200.053s  |   0.000s  | 0.0%|
|scrambled25695.smt2                                                                         |1200.225s  |1200.225s  |   0.000s  | 0.0%|
|scrambled31085.smt2                                                                         |1200.019s  |1200.019s  |   0.000s  | 0.0%|
|scrambled35077.smt2                                                                         |1200.029s  |1200.029s  |   0.000s  | 0.0%|
|scrambled37260.smt2                                                                         |1200.074s  |1200.074s  |   0.000s  | 0.0%|
|scrambled44527.smt2                                                                         | 177.580s  | 177.580s  |   0.000s  | 0.0%|
|scrambled46192.smt2                                                                         |1200.032s  |1200.032s  |   0.000s  | 0.0%|
|scrambled47581.smt2                                                                         |1200.085s  |1200.085s  |   0.000s  | 0.0%|
|scrambled49820.smt2                                                                         |1200.033s  |1200.033s  |   0.000s  | 0.0%|
|scrambled55845.smt2                                                                         |1200.040s  |1200.040s  |   0.000s  | 0.0%|
|scrambled55850.smt2                                                                         |1200.170s  |1200.170s  |   0.000s  | 0.0%|
|scrambled59368.smt2                                                                         |1200.046s  |1200.046s  |   0.000s  | 0.0%|
|scrambled65517.smt2                                                                         |1200.020s  |1200.020s  |   0.000s  | 0.0%|
|scrambled71015.smt2                                                                         | 416.341s  | 416.341s  |   0.000s  | 0.0%|
|scrambled76525.smt2                                                                         |1200.075s  |1200.075s  |   0.000s  | 0.0%|
|scrambled76532.smt2                                                                         |1200.015s  |1200.015s  |   0.000s  | 0.0%|
|scrambled77008.smt2                                                                         |1200.139s  |1200.139s  |   0.000s  | 0.0%|
|scrambled77308.smt2                                                                         |1200.109s  |1200.109s  |   0.000s  | 0.0%|
|scrambled8163.smt2                                                                          |1200.184s  |1200.184s  |   0.000s  | 0.0%|
|scrambled88927.smt2                                                                         | 393.590s  | 393.590s  |   0.000s  | 0.0%|
|scrambled92964.smt2                                                                         |1200.028s  |1200.028s  |   0.000s  | 0.0%|
|scrambled95284.smt2                                                                         |1200.073s  |1200.073s  |   0.000s  | 0.0%|
</details>