Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_NRA-timeout_20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--engine=ariparti --ariparti-dir=. --ariparti-entry=bin/AriParti.py --ariparti-partitioner=bin/partitioner --ariparti-solver=bin/ariparti-solver --ariparti-max-running-tasks=8 --ariparti-time-limit=1200"
AriParti solver backend: z3
AriParti 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
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_NRA-timeout_20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--engine=ariparti --ariparti-dir=. --ariparti-entry=bin/AriParti.py --ariparti-partitioner=bin/partitioner --ariparti-solver=bin/ariparti-solver --ariparti-max-running-tasks=8 --ariparti-time-limit=1200"
AriParti solver backend: z3
AriParti 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.781s  |1200.781s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.134s  |1200.134s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.483s  |1200.483s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1200.115s  |1200.115s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.521s  |1200.521s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.140s  |1200.140s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled121780.smt2                                                                        |1200.242s  |1200.242s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.114s  |1200.114s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.155s  |1200.155s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.547s  |  18.547s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.271s  |1200.271s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.506s  |1200.506s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 156.070s  | 156.070s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled27426.smt2                                                                         |1200.418s  |1200.418s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.163s  |1200.163s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.584s  |1200.584s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.180s  |1200.180s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         |  20.837s  |  20.837s  |   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.781s  |1200.781s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.134s  |1200.134s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.483s  |1200.483s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1200.115s  |1200.115s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.521s  |1200.521s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.140s  |1200.140s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled121780.smt2                                                                        |1200.242s  |1200.242s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.114s  |1200.114s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.155s  |1200.155s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.547s  |  18.547s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.271s  |1200.271s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.506s  |1200.506s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 156.070s  | 156.070s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled27426.smt2                                                                         |1200.418s  |1200.418s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.163s  |1200.163s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.584s  |1200.584s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.180s  |1200.180s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         |  20.837s  |  20.837s  |   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.781s  |1200.781s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.134s  |1200.134s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.483s  |1200.483s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1200.115s  |1200.115s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.521s  |1200.521s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.140s  |1200.140s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled121780.smt2                                                                        |1200.242s  |1200.242s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.114s  |1200.114s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.155s  |1200.155s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.547s  |  18.547s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.271s  |1200.271s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.506s  |1200.506s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 156.070s  | 156.070s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled27426.smt2                                                                         |1200.418s  |1200.418s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.163s  |1200.163s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.584s  |1200.584s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.180s  |1200.180s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         |  20.837s  |  20.837s  |   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.781s  |1200.781s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.134s  |1200.134s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.483s  |1200.483s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1200.115s  |1200.115s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.521s  |1200.521s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.140s  |1200.140s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled121780.smt2                                                                        |1200.242s  |1200.242s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.114s  |1200.114s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.155s  |1200.155s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.547s  |  18.547s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.271s  |1200.271s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.506s  |1200.506s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 156.070s  | 156.070s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled27426.smt2                                                                         |1200.418s  |1200.418s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.163s  |1200.163s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.584s  |1200.584s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.180s  |1200.180s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         |  20.837s  |  20.837s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled100912.smt2                                                                       |1200.781s |1577.0MiB|
|scrambled60239.smt2                                                                        |1200.585s |129.0GiB|
|scrambled29556.smt2                                                                        |1200.584s |827.0MiB|
|scrambled61896.smt2                                                                        |1200.532s |119.0GiB|
|scrambled117334.smt2                                                                       |1200.521s |8183.0MiB|
|scrambled18831.smt2                                                                        |1200.506s |3497.0MiB|
|scrambled7923.smt2                                                                         |1200.506s |524.0MiB|
|scrambled112144.smt2                                                                       |1200.483s |795.0MiB|
|scrambled34121.smt2                                                                        |1200.433s |727.0MiB|
|scrambled27426.smt2                                                                        |1200.418s |117.0GiB|
|scrambled80728.smt2                                                                        |1200.412s |1157.0MiB|
|scrambled5797.smt2                                                                         |1200.400s |65.639GiB|
|scrambled99534.smt2                                                                        |1200.276s |780.0MiB|
|scrambled14880.smt2                                                                        |1200.271s |1124.0MiB|
|scrambled94319.smt2                                                                        |1200.257s |765.0MiB|
|scrambled121780.smt2                                                                       |1200.242s |141.0GiB|
|scrambled7586.smt2                                                                         |1200.229s |624.0MiB|
|scrambled73220.smt2                                                                        |1200.181s |1858.0MiB|
|scrambled32269.smt2                                                                        |1200.180s |1044.0MiB|
|scrambled28630.smt2                                                                        |1200.163s |482.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled100912.smt2                                                                       |1200.781s |1577.0MiB|
|scrambled60239.smt2                                                                        |1200.585s |129.0GiB|
|scrambled29556.smt2                                                                        |1200.584s |827.0MiB|
|scrambled61896.smt2                                                                        |1200.532s |119.0GiB|
|scrambled117334.smt2                                                                       |1200.521s |8183.0MiB|
|scrambled18831.smt2                                                                        |1200.506s |3497.0MiB|
|scrambled7923.smt2                                                                         |1200.506s |524.0MiB|
|scrambled112144.smt2                                                                       |1200.483s |795.0MiB|
|scrambled34121.smt2                                                                        |1200.433s |727.0MiB|
|scrambled27426.smt2                                                                        |1200.418s |117.0GiB|
|scrambled80728.smt2                                                                        |1200.412s |1157.0MiB|
|scrambled5797.smt2                                                                         |1200.400s |65.639GiB|
|scrambled99534.smt2                                                                        |1200.276s |780.0MiB|
|scrambled14880.smt2                                                                        |1200.271s |1124.0MiB|
|scrambled94319.smt2                                                                        |1200.257s |765.0MiB|
|scrambled121780.smt2                                                                       |1200.242s |141.0GiB|
|scrambled7586.smt2                                                                         |1200.229s |624.0MiB|
|scrambled73220.smt2                                                                        |1200.181s |1858.0MiB|
|scrambled32269.smt2                                                                        |1200.180s |1044.0MiB|
|scrambled28630.smt2                                                                        |1200.163s |482.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1577.0MiB|1577.0MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |680.0MiB|680.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |795.0MiB|795.0MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |49.11GiB|49.11GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |8183.0MiB|8183.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |1084.0MiB|1084.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |11.087GiB|11.087GiB|0B| 0.0%|
|scrambled121780.smt2                                                                        |141.0GiB|141.0GiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |10.896GiB|10.896GiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |5812.0MiB|5812.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |431.0MiB|431.0MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |1124.0MiB|1124.0MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |3497.0MiB|3497.0MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |2224.0MiB|2224.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |36.805GiB|36.805GiB|0B| 0.0%|
|scrambled27426.smt2                                                                         |117.0GiB|117.0GiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |482.0MiB|482.0MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |827.0MiB|827.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |1044.0MiB|1044.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |686.0MiB|686.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                                                                        |1577.0MiB|1577.0MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |680.0MiB|680.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |795.0MiB|795.0MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |49.11GiB|49.11GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |8183.0MiB|8183.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |1084.0MiB|1084.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |11.087GiB|11.087GiB|0B| 0.0%|
|scrambled121780.smt2                                                                        |141.0GiB|141.0GiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |10.896GiB|10.896GiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |5812.0MiB|5812.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |431.0MiB|431.0MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |1124.0MiB|1124.0MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |3497.0MiB|3497.0MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |2224.0MiB|2224.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |36.805GiB|36.805GiB|0B| 0.0%|
|scrambled27426.smt2                                                                         |117.0GiB|117.0GiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |482.0MiB|482.0MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |827.0MiB|827.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |1044.0MiB|1044.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |686.0MiB|686.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                                                                        |1577.0MiB|1577.0MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |680.0MiB|680.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |795.0MiB|795.0MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |49.11GiB|49.11GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |8183.0MiB|8183.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |1084.0MiB|1084.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |11.087GiB|11.087GiB|0B| 0.0%|
|scrambled121780.smt2                                                                        |141.0GiB|141.0GiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |10.896GiB|10.896GiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |5812.0MiB|5812.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |431.0MiB|431.0MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |1124.0MiB|1124.0MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |3497.0MiB|3497.0MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |2224.0MiB|2224.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |36.805GiB|36.805GiB|0B| 0.0%|
|scrambled27426.smt2                                                                         |117.0GiB|117.0GiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |482.0MiB|482.0MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |827.0MiB|827.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |1044.0MiB|1044.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |686.0MiB|686.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                                                                        |1577.0MiB|1577.0MiB|0B| 0.0%|
|scrambled112083.smt2                                                                        |680.0MiB|680.0MiB|0B| 0.0%|
|scrambled112144.smt2                                                                        |795.0MiB|795.0MiB|0B| 0.0%|
|scrambled114923.smt2                                                                        |49.11GiB|49.11GiB|0B| 0.0%|
|scrambled117334.smt2                                                                        |8183.0MiB|8183.0MiB|0B| 0.0%|
|scrambled117944.smt2                                                                        |1084.0MiB|1084.0MiB|0B| 0.0%|
|scrambled118224.smt2                                                                        |11.087GiB|11.087GiB|0B| 0.0%|
|scrambled121780.smt2                                                                        |141.0GiB|141.0GiB|0B| 0.0%|
|scrambled124828.smt2                                                                        |10.896GiB|10.896GiB|0B| 0.0%|
|scrambled14016.smt2                                                                         |5812.0MiB|5812.0MiB|0B| 0.0%|
|scrambled14368.smt2                                                                         |431.0MiB|431.0MiB|0B| 0.0%|
|scrambled14880.smt2                                                                         |1124.0MiB|1124.0MiB|0B| 0.0%|
|scrambled18831.smt2                                                                         |3497.0MiB|3497.0MiB|0B| 0.0%|
|scrambled21647.smt2                                                                         |2224.0MiB|2224.0MiB|0B| 0.0%|
|scrambled22492.smt2                                                                         |36.805GiB|36.805GiB|0B| 0.0%|
|scrambled27426.smt2                                                                         |117.0GiB|117.0GiB|0B| 0.0%|
|scrambled28630.smt2                                                                         |482.0MiB|482.0MiB|0B| 0.0%|
|scrambled29556.smt2                                                                         |827.0MiB|827.0MiB|0B| 0.0%|
|scrambled32269.smt2                                                                         |1044.0MiB|1044.0MiB|0B| 0.0%|
|scrambled32701.smt2                                                                         |686.0MiB|686.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        |
|------------|----------:|---------:|
|scrambled121780.smt2                                                                       |1200.242s |141.0GiB|
|scrambled6476.smt2                                                                         |1200.157s |131.0GiB|
|scrambled60239.smt2                                                                        |1200.585s |129.0GiB|
|scrambled41575.smt2                                                                        |1200.093s |129.0GiB|
|scrambled61896.smt2                                                                        |1200.532s |119.0GiB|
|scrambled27426.smt2                                                                        |1200.418s |117.0GiB|
|scrambled91241.smt2                                                                        |1200.146s |117.0GiB|
|scrambled5797.smt2                                                                         |1200.400s |65.639GiB|
|scrambled114923.smt2                                                                       |1200.115s |49.11GiB|
|scrambled22492.smt2                                                                        |1200.152s |36.805GiB|
|scrambled118224.smt2                                                                       |1200.136s |11.087GiB|
|scrambled124828.smt2                                                                       |1200.114s |10.896GiB|
|scrambled117334.smt2                                                                       |1200.521s |8183.0MiB|
|scrambled14016.smt2                                                                        |1200.155s |5812.0MiB|
|scrambled58292.smt2                                                                        |1200.130s |4527.0MiB|
|scrambled18831.smt2                                                                        |1200.506s |3497.0MiB|
|scrambled85895.smt2                                                                        |1200.144s |2786.0MiB|
|scrambled42946.smt2                                                                        |1200.135s |2612.0MiB|
|scrambled21647.smt2                                                                        | 156.070s |2224.0MiB|
|scrambled73220.smt2                                                                        |1200.181s |1858.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled121780.smt2                                                                       |1200.242s |141.0GiB|
|scrambled6476.smt2                                                                         |1200.157s |131.0GiB|
|scrambled60239.smt2                                                                        |1200.585s |129.0GiB|
|scrambled41575.smt2                                                                        |1200.093s |129.0GiB|
|scrambled61896.smt2                                                                        |1200.532s |119.0GiB|
|scrambled27426.smt2                                                                        |1200.418s |117.0GiB|
|scrambled91241.smt2                                                                        |1200.146s |117.0GiB|
|scrambled5797.smt2                                                                         |1200.400s |65.639GiB|
|scrambled114923.smt2                                                                       |1200.115s |49.11GiB|
|scrambled22492.smt2                                                                        |1200.152s |36.805GiB|
|scrambled118224.smt2                                                                       |1200.136s |11.087GiB|
|scrambled124828.smt2                                                                       |1200.114s |10.896GiB|
|scrambled117334.smt2                                                                       |1200.521s |8183.0MiB|
|scrambled14016.smt2                                                                        |1200.155s |5812.0MiB|
|scrambled58292.smt2                                                                        |1200.130s |4527.0MiB|
|scrambled18831.smt2                                                                        |1200.506s |3497.0MiB|
|scrambled85895.smt2                                                                        |1200.144s |2786.0MiB|
|scrambled42946.smt2                                                                        |1200.135s |2612.0MiB|
|scrambled21647.smt2                                                                        | 156.070s |2224.0MiB|
|scrambled73220.smt2                                                                        |1200.181s |1858.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled100912.smt2                                                                        |1200.781s  |1200.781s  |   0.000s  | 0.0%|
|scrambled112083.smt2                                                                        |1200.134s  |1200.134s  |   0.000s  | 0.0%|
|scrambled112144.smt2                                                                        |1200.483s  |1200.483s  |   0.000s  | 0.0%|
|scrambled114923.smt2                                                                        |1200.115s  |1200.115s  |   0.000s  | 0.0%|
|scrambled117334.smt2                                                                        |1200.521s  |1200.521s  |   0.000s  | 0.0%|
|scrambled117944.smt2                                                                        |1200.140s  |1200.140s  |   0.000s  | 0.0%|
|scrambled118224.smt2                                                                        |1200.136s  |1200.136s  |   0.000s  | 0.0%|
|scrambled121780.smt2                                                                        |1200.242s  |1200.242s  |   0.000s  | 0.0%|
|scrambled124828.smt2                                                                        |1200.114s  |1200.114s  |   0.000s  | 0.0%|
|scrambled14016.smt2                                                                         |1200.155s  |1200.155s  |   0.000s  | 0.0%|
|scrambled14368.smt2                                                                         |  18.547s  |  18.547s  |   0.000s  | 0.0%|
|scrambled14880.smt2                                                                         |1200.271s  |1200.271s  |   0.000s  | 0.0%|
|scrambled18831.smt2                                                                         |1200.506s  |1200.506s  |   0.000s  | 0.0%|
|scrambled21647.smt2                                                                         | 156.070s  | 156.070s  |   0.000s  | 0.0%|
|scrambled22492.smt2                                                                         |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled27426.smt2                                                                         |1200.418s  |1200.418s  |   0.000s  | 0.0%|
|scrambled28630.smt2                                                                         |1200.163s  |1200.163s  |   0.000s  | 0.0%|
|scrambled29556.smt2                                                                         |1200.584s  |1200.584s  |   0.000s  | 0.0%|
|scrambled32269.smt2                                                                         |1200.180s  |1200.180s  |   0.000s  | 0.0%|
|scrambled32701.smt2                                                                         |  20.837s  |  20.837s  |   0.000s  | 0.0%|
|scrambled34121.smt2                                                                         |1200.433s  |1200.433s  |   0.000s  | 0.0%|
|scrambled36539.smt2                                                                         |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled41575.smt2                                                                         |1200.093s  |1200.093s  |   0.000s  | 0.0%|
|scrambled42946.smt2                                                                         |1200.135s  |1200.135s  |   0.000s  | 0.0%|
|scrambled54263.smt2                                                                         |  41.538s  |  41.538s  |   0.000s  | 0.0%|
|scrambled5797.smt2                                                                          |1200.400s  |1200.400s  |   0.000s  | 0.0%|
|scrambled58292.smt2                                                                         |1200.130s  |1200.130s  |   0.000s  | 0.0%|
|scrambled60239.smt2                                                                         |1200.585s  |1200.585s  |   0.000s  | 0.0%|
|scrambled61896.smt2                                                                         |1200.532s  |1200.532s  |   0.000s  | 0.0%|
|scrambled6476.smt2                                                                          |1200.157s  |1200.157s  |   0.000s  | 0.0%|
|scrambled65757.smt2                                                                         | 263.765s  | 263.765s  |   0.000s  | 0.0%|
|scrambled70990.smt2                                                                         |  11.121s  |  11.121s  |   0.000s  | 0.0%|
|scrambled73220.smt2                                                                         |1200.181s  |1200.181s  |   0.000s  | 0.0%|
|scrambled74869.smt2                                                                         |1200.154s  |1200.154s  |   0.000s  | 0.0%|
|scrambled7586.smt2                                                                          |1200.229s  |1200.229s  |   0.000s  | 0.0%|
|scrambled78428.smt2                                                                         |   6.977s  |   6.977s  |   0.000s  | 0.0%|
|scrambled7923.smt2                                                                          |1200.506s  |1200.506s  |   0.000s  | 0.0%|
|scrambled80728.smt2                                                                         |1200.412s  |1200.412s  |   0.000s  | 0.0%|
|scrambled82241.smt2                                                                         |1200.101s  |1200.101s  |   0.000s  | 0.0%|
|scrambled85895.smt2                                                                         |1200.144s  |1200.144s  |   0.000s  | 0.0%|
|scrambled91241.smt2                                                                         |1200.146s  |1200.146s  |   0.000s  | 0.0%|
|scrambled94319.smt2                                                                         |1200.257s  |1200.257s  |   0.000s  | 0.0%|
|scrambled94768.smt2                                                                         |  62.114s  |  62.114s  |   0.000s  | 0.0%|
</details>