Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_RDL-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_RDL
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_RDL-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_RDL
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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1200.173s  |1200.173s  |   0.000s  | 0.0%|
|scrambled103636.smt2                                                                        |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled106386.smt2                                                                        |1200.244s  |1200.244s  |   0.000s  | 0.0%|
|scrambled111948.smt2                                                                        |1200.189s  |1200.189s  |   0.000s  | 0.0%|
|scrambled114492.smt2                                                                        |1200.169s  |1200.169s  |   0.000s  | 0.0%|
|scrambled116502.smt2                                                                        |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled118796.smt2                                                                        |1200.120s  |1200.120s  |   0.000s  | 0.0%|
|scrambled120626.smt2                                                                        |1200.217s  |1200.217s  |   0.000s  | 0.0%|
|scrambled12077.smt2                                                                         |1200.088s  |1200.088s  |   0.000s  | 0.0%|
|scrambled19322.smt2                                                                         |1200.388s  |1200.388s  |   0.000s  | 0.0%|
|scrambled23753.smt2                                                                         | 900.374s  | 900.374s  |   0.000s  | 0.0%|
|scrambled36439.smt2                                                                         |1200.103s  |1200.103s  |   0.000s  | 0.0%|
|scrambled36692.smt2                                                                         |1200.253s  |1200.253s  |   0.000s  | 0.0%|
|scrambled43005.smt2                                                                         |1200.198s  |1200.198s  |   0.000s  | 0.0%|
|scrambled43798.smt2                                                                         |1200.417s  |1200.417s  |   0.000s  | 0.0%|
|scrambled5175.smt2                                                                          |1200.381s  |1200.381s  |   0.000s  | 0.0%|
|scrambled55916.smt2                                                                         |1200.203s  |1200.203s  |   0.000s  | 0.0%|
|scrambled57711.smt2                                                                         |1200.352s  |1200.352s  |   0.000s  | 0.0%|
|scrambled64619.smt2                                                                         |1200.113s  |1200.113s  |   0.000s  | 0.0%|
|scrambled68857.smt2                                                                         |1200.244s  |1200.244s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1200.173s  |1200.173s  |   0.000s  | 0.0%|
|scrambled103636.smt2                                                                        |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled106386.smt2                                                                        |1200.244s  |1200.244s  |   0.000s  | 0.0%|
|scrambled111948.smt2                                                                        |1200.189s  |1200.189s  |   0.000s  | 0.0%|
|scrambled114492.smt2                                                                        |1200.169s  |1200.169s  |   0.000s  | 0.0%|
|scrambled116502.smt2                                                                        |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled118796.smt2                                                                        |1200.120s  |1200.120s  |   0.000s  | 0.0%|
|scrambled120626.smt2                                                                        |1200.217s  |1200.217s  |   0.000s  | 0.0%|
|scrambled12077.smt2                                                                         |1200.088s  |1200.088s  |   0.000s  | 0.0%|
|scrambled19322.smt2                                                                         |1200.388s  |1200.388s  |   0.000s  | 0.0%|
|scrambled23753.smt2                                                                         | 900.374s  | 900.374s  |   0.000s  | 0.0%|
|scrambled36439.smt2                                                                         |1200.103s  |1200.103s  |   0.000s  | 0.0%|
|scrambled36692.smt2                                                                         |1200.253s  |1200.253s  |   0.000s  | 0.0%|
|scrambled43005.smt2                                                                         |1200.198s  |1200.198s  |   0.000s  | 0.0%|
|scrambled43798.smt2                                                                         |1200.417s  |1200.417s  |   0.000s  | 0.0%|
|scrambled5175.smt2                                                                          |1200.381s  |1200.381s  |   0.000s  | 0.0%|
|scrambled55916.smt2                                                                         |1200.203s  |1200.203s  |   0.000s  | 0.0%|
|scrambled57711.smt2                                                                         |1200.352s  |1200.352s  |   0.000s  | 0.0%|
|scrambled64619.smt2                                                                         |1200.113s  |1200.113s  |   0.000s  | 0.0%|
|scrambled68857.smt2                                                                         |1200.244s  |1200.244s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1200.173s  |1200.173s  |   0.000s  | 0.0%|
|scrambled103636.smt2                                                                        |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled106386.smt2                                                                        |1200.244s  |1200.244s  |   0.000s  | 0.0%|
|scrambled111948.smt2                                                                        |1200.189s  |1200.189s  |   0.000s  | 0.0%|
|scrambled114492.smt2                                                                        |1200.169s  |1200.169s  |   0.000s  | 0.0%|
|scrambled116502.smt2                                                                        |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled118796.smt2                                                                        |1200.120s  |1200.120s  |   0.000s  | 0.0%|
|scrambled120626.smt2                                                                        |1200.217s  |1200.217s  |   0.000s  | 0.0%|
|scrambled12077.smt2                                                                         |1200.088s  |1200.088s  |   0.000s  | 0.0%|
|scrambled19322.smt2                                                                         |1200.388s  |1200.388s  |   0.000s  | 0.0%|
|scrambled23753.smt2                                                                         | 900.374s  | 900.374s  |   0.000s  | 0.0%|
|scrambled36439.smt2                                                                         |1200.103s  |1200.103s  |   0.000s  | 0.0%|
|scrambled36692.smt2                                                                         |1200.253s  |1200.253s  |   0.000s  | 0.0%|
|scrambled43005.smt2                                                                         |1200.198s  |1200.198s  |   0.000s  | 0.0%|
|scrambled43798.smt2                                                                         |1200.417s  |1200.417s  |   0.000s  | 0.0%|
|scrambled5175.smt2                                                                          |1200.381s  |1200.381s  |   0.000s  | 0.0%|
|scrambled55916.smt2                                                                         |1200.203s  |1200.203s  |   0.000s  | 0.0%|
|scrambled57711.smt2                                                                         |1200.352s  |1200.352s  |   0.000s  | 0.0%|
|scrambled64619.smt2                                                                         |1200.113s  |1200.113s  |   0.000s  | 0.0%|
|scrambled68857.smt2                                                                         |1200.244s  |1200.244s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1200.173s  |1200.173s  |   0.000s  | 0.0%|
|scrambled103636.smt2                                                                        |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled106386.smt2                                                                        |1200.244s  |1200.244s  |   0.000s  | 0.0%|
|scrambled111948.smt2                                                                        |1200.189s  |1200.189s  |   0.000s  | 0.0%|
|scrambled114492.smt2                                                                        |1200.169s  |1200.169s  |   0.000s  | 0.0%|
|scrambled116502.smt2                                                                        |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled118796.smt2                                                                        |1200.120s  |1200.120s  |   0.000s  | 0.0%|
|scrambled120626.smt2                                                                        |1200.217s  |1200.217s  |   0.000s  | 0.0%|
|scrambled12077.smt2                                                                         |1200.088s  |1200.088s  |   0.000s  | 0.0%|
|scrambled19322.smt2                                                                         |1200.388s  |1200.388s  |   0.000s  | 0.0%|
|scrambled23753.smt2                                                                         | 900.374s  | 900.374s  |   0.000s  | 0.0%|
|scrambled36439.smt2                                                                         |1200.103s  |1200.103s  |   0.000s  | 0.0%|
|scrambled36692.smt2                                                                         |1200.253s  |1200.253s  |   0.000s  | 0.0%|
|scrambled43005.smt2                                                                         |1200.198s  |1200.198s  |   0.000s  | 0.0%|
|scrambled43798.smt2                                                                         |1200.417s  |1200.417s  |   0.000s  | 0.0%|
|scrambled5175.smt2                                                                          |1200.381s  |1200.381s  |   0.000s  | 0.0%|
|scrambled55916.smt2                                                                         |1200.203s  |1200.203s  |   0.000s  | 0.0%|
|scrambled57711.smt2                                                                         |1200.352s  |1200.352s  |   0.000s  | 0.0%|
|scrambled64619.smt2                                                                         |1200.113s  |1200.113s  |   0.000s  | 0.0%|
|scrambled68857.smt2                                                                         |1200.244s  |1200.244s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled43798.smt2                                                                        |1200.417s |1235.0MiB|
|scrambled19322.smt2                                                                        |1200.388s |6333.0MiB|
|scrambled5175.smt2                                                                         |1200.381s |1316.0MiB|
|scrambled57711.smt2                                                                        |1200.352s |6417.0MiB|
|scrambled36692.smt2                                                                        |1200.253s |5488.0MiB|
|scrambled106386.smt2                                                                       |1200.244s |5679.0MiB|
|scrambled68857.smt2                                                                        |1200.244s |5622.0MiB|
|scrambled120626.smt2                                                                       |1200.217s |5634.0MiB|
|scrambled73226.smt2                                                                        |1200.204s |1240.0MiB|
|scrambled55916.smt2                                                                        |1200.203s |1181.0MiB|
|scrambled43005.smt2                                                                        |1200.198s |5677.0MiB|
|scrambled111948.smt2                                                                       |1200.189s |1235.0MiB|
|scrambled103130.smt2                                                                       |1200.173s |1272.0MiB|
|scrambled114492.smt2                                                                       |1200.169s |6087.0MiB|
|scrambled7069.smt2                                                                         |1200.156s |1330.0MiB|
|scrambled116502.smt2                                                                       |1200.152s |5613.0MiB|
|scrambled95269.smt2                                                                        |1200.145s |1232.0MiB|
|scrambled118796.smt2                                                                       |1200.120s |1265.0MiB|
|scrambled64619.smt2                                                                        |1200.113s |5483.0MiB|
|scrambled103636.smt2                                                                       |1200.107s |1211.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled43798.smt2                                                                        |1200.417s |1235.0MiB|
|scrambled19322.smt2                                                                        |1200.388s |6333.0MiB|
|scrambled5175.smt2                                                                         |1200.381s |1316.0MiB|
|scrambled57711.smt2                                                                        |1200.352s |6417.0MiB|
|scrambled36692.smt2                                                                        |1200.253s |5488.0MiB|
|scrambled106386.smt2                                                                       |1200.244s |5679.0MiB|
|scrambled68857.smt2                                                                        |1200.244s |5622.0MiB|
|scrambled120626.smt2                                                                       |1200.217s |5634.0MiB|
|scrambled73226.smt2                                                                        |1200.204s |1240.0MiB|
|scrambled55916.smt2                                                                        |1200.203s |1181.0MiB|
|scrambled43005.smt2                                                                        |1200.198s |5677.0MiB|
|scrambled111948.smt2                                                                       |1200.189s |1235.0MiB|
|scrambled103130.smt2                                                                       |1200.173s |1272.0MiB|
|scrambled114492.smt2                                                                       |1200.169s |6087.0MiB|
|scrambled7069.smt2                                                                         |1200.156s |1330.0MiB|
|scrambled116502.smt2                                                                       |1200.152s |5613.0MiB|
|scrambled95269.smt2                                                                        |1200.145s |1232.0MiB|
|scrambled118796.smt2                                                                       |1200.120s |1265.0MiB|
|scrambled64619.smt2                                                                        |1200.113s |5483.0MiB|
|scrambled103636.smt2                                                                       |1200.107s |1211.0MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1272.0MiB|1272.0MiB|0B| 0.0%|
|scrambled103636.smt2                                                                        |1211.0MiB|1211.0MiB|0B| 0.0%|
|scrambled106386.smt2                                                                        |5679.0MiB|5679.0MiB|0B| 0.0%|
|scrambled111948.smt2                                                                        |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled114492.smt2                                                                        |6087.0MiB|6087.0MiB|0B| 0.0%|
|scrambled116502.smt2                                                                        |5613.0MiB|5613.0MiB|0B| 0.0%|
|scrambled118796.smt2                                                                        |1265.0MiB|1265.0MiB|0B| 0.0%|
|scrambled120626.smt2                                                                        |5634.0MiB|5634.0MiB|0B| 0.0%|
|scrambled12077.smt2                                                                         |1276.0MiB|1276.0MiB|0B| 0.0%|
|scrambled19322.smt2                                                                         |6333.0MiB|6333.0MiB|0B| 0.0%|
|scrambled23753.smt2                                                                         |1008.0MiB|1008.0MiB|0B| 0.0%|
|scrambled36439.smt2                                                                         |5545.0MiB|5545.0MiB|0B| 0.0%|
|scrambled36692.smt2                                                                         |5488.0MiB|5488.0MiB|0B| 0.0%|
|scrambled43005.smt2                                                                         |5677.0MiB|5677.0MiB|0B| 0.0%|
|scrambled43798.smt2                                                                         |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled5175.smt2                                                                          |1316.0MiB|1316.0MiB|0B| 0.0%|
|scrambled55916.smt2                                                                         |1181.0MiB|1181.0MiB|0B| 0.0%|
|scrambled57711.smt2                                                                         |6417.0MiB|6417.0MiB|0B| 0.0%|
|scrambled64619.smt2                                                                         |5483.0MiB|5483.0MiB|0B| 0.0%|
|scrambled68857.smt2                                                                         |5622.0MiB|5622.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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1272.0MiB|1272.0MiB|0B| 0.0%|
|scrambled103636.smt2                                                                        |1211.0MiB|1211.0MiB|0B| 0.0%|
|scrambled106386.smt2                                                                        |5679.0MiB|5679.0MiB|0B| 0.0%|
|scrambled111948.smt2                                                                        |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled114492.smt2                                                                        |6087.0MiB|6087.0MiB|0B| 0.0%|
|scrambled116502.smt2                                                                        |5613.0MiB|5613.0MiB|0B| 0.0%|
|scrambled118796.smt2                                                                        |1265.0MiB|1265.0MiB|0B| 0.0%|
|scrambled120626.smt2                                                                        |5634.0MiB|5634.0MiB|0B| 0.0%|
|scrambled12077.smt2                                                                         |1276.0MiB|1276.0MiB|0B| 0.0%|
|scrambled19322.smt2                                                                         |6333.0MiB|6333.0MiB|0B| 0.0%|
|scrambled23753.smt2                                                                         |1008.0MiB|1008.0MiB|0B| 0.0%|
|scrambled36439.smt2                                                                         |5545.0MiB|5545.0MiB|0B| 0.0%|
|scrambled36692.smt2                                                                         |5488.0MiB|5488.0MiB|0B| 0.0%|
|scrambled43005.smt2                                                                         |5677.0MiB|5677.0MiB|0B| 0.0%|
|scrambled43798.smt2                                                                         |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled5175.smt2                                                                          |1316.0MiB|1316.0MiB|0B| 0.0%|
|scrambled55916.smt2                                                                         |1181.0MiB|1181.0MiB|0B| 0.0%|
|scrambled57711.smt2                                                                         |6417.0MiB|6417.0MiB|0B| 0.0%|
|scrambled64619.smt2                                                                         |5483.0MiB|5483.0MiB|0B| 0.0%|
|scrambled68857.smt2                                                                         |5622.0MiB|5622.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1272.0MiB|1272.0MiB|0B| 0.0%|
|scrambled103636.smt2                                                                        |1211.0MiB|1211.0MiB|0B| 0.0%|
|scrambled106386.smt2                                                                        |5679.0MiB|5679.0MiB|0B| 0.0%|
|scrambled111948.smt2                                                                        |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled114492.smt2                                                                        |6087.0MiB|6087.0MiB|0B| 0.0%|
|scrambled116502.smt2                                                                        |5613.0MiB|5613.0MiB|0B| 0.0%|
|scrambled118796.smt2                                                                        |1265.0MiB|1265.0MiB|0B| 0.0%|
|scrambled120626.smt2                                                                        |5634.0MiB|5634.0MiB|0B| 0.0%|
|scrambled12077.smt2                                                                         |1276.0MiB|1276.0MiB|0B| 0.0%|
|scrambled19322.smt2                                                                         |6333.0MiB|6333.0MiB|0B| 0.0%|
|scrambled23753.smt2                                                                         |1008.0MiB|1008.0MiB|0B| 0.0%|
|scrambled36439.smt2                                                                         |5545.0MiB|5545.0MiB|0B| 0.0%|
|scrambled36692.smt2                                                                         |5488.0MiB|5488.0MiB|0B| 0.0%|
|scrambled43005.smt2                                                                         |5677.0MiB|5677.0MiB|0B| 0.0%|
|scrambled43798.smt2                                                                         |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled5175.smt2                                                                          |1316.0MiB|1316.0MiB|0B| 0.0%|
|scrambled55916.smt2                                                                         |1181.0MiB|1181.0MiB|0B| 0.0%|
|scrambled57711.smt2                                                                         |6417.0MiB|6417.0MiB|0B| 0.0%|
|scrambled64619.smt2                                                                         |5483.0MiB|5483.0MiB|0B| 0.0%|
|scrambled68857.smt2                                                                         |5622.0MiB|5622.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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1272.0MiB|1272.0MiB|0B| 0.0%|
|scrambled103636.smt2                                                                        |1211.0MiB|1211.0MiB|0B| 0.0%|
|scrambled106386.smt2                                                                        |5679.0MiB|5679.0MiB|0B| 0.0%|
|scrambled111948.smt2                                                                        |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled114492.smt2                                                                        |6087.0MiB|6087.0MiB|0B| 0.0%|
|scrambled116502.smt2                                                                        |5613.0MiB|5613.0MiB|0B| 0.0%|
|scrambled118796.smt2                                                                        |1265.0MiB|1265.0MiB|0B| 0.0%|
|scrambled120626.smt2                                                                        |5634.0MiB|5634.0MiB|0B| 0.0%|
|scrambled12077.smt2                                                                         |1276.0MiB|1276.0MiB|0B| 0.0%|
|scrambled19322.smt2                                                                         |6333.0MiB|6333.0MiB|0B| 0.0%|
|scrambled23753.smt2                                                                         |1008.0MiB|1008.0MiB|0B| 0.0%|
|scrambled36439.smt2                                                                         |5545.0MiB|5545.0MiB|0B| 0.0%|
|scrambled36692.smt2                                                                         |5488.0MiB|5488.0MiB|0B| 0.0%|
|scrambled43005.smt2                                                                         |5677.0MiB|5677.0MiB|0B| 0.0%|
|scrambled43798.smt2                                                                         |1235.0MiB|1235.0MiB|0B| 0.0%|
|scrambled5175.smt2                                                                          |1316.0MiB|1316.0MiB|0B| 0.0%|
|scrambled55916.smt2                                                                         |1181.0MiB|1181.0MiB|0B| 0.0%|
|scrambled57711.smt2                                                                         |6417.0MiB|6417.0MiB|0B| 0.0%|
|scrambled64619.smt2                                                                         |5483.0MiB|5483.0MiB|0B| 0.0%|
|scrambled68857.smt2                                                                         |5622.0MiB|5622.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        |
|------------|----------:|---------:|
|scrambled57711.smt2                                                                        |1200.352s |6417.0MiB|
|scrambled19322.smt2                                                                        |1200.388s |6333.0MiB|
|scrambled114492.smt2                                                                       |1200.169s |6087.0MiB|
|scrambled106386.smt2                                                                       |1200.244s |5679.0MiB|
|scrambled43005.smt2                                                                        |1200.198s |5677.0MiB|
|scrambled120626.smt2                                                                       |1200.217s |5634.0MiB|
|scrambled68857.smt2                                                                        |1200.244s |5622.0MiB|
|scrambled116502.smt2                                                                       |1200.152s |5613.0MiB|
|scrambled36439.smt2                                                                        |1200.103s |5545.0MiB|
|scrambled36692.smt2                                                                        |1200.253s |5488.0MiB|
|scrambled64619.smt2                                                                        |1200.113s |5483.0MiB|
|scrambled7069.smt2                                                                         |1200.156s |1330.0MiB|
|scrambled5175.smt2                                                                         |1200.381s |1316.0MiB|
|scrambled69775.smt2                                                                        |1200.107s |1297.0MiB|
|scrambled12077.smt2                                                                        |1200.088s |1276.0MiB|
|scrambled103130.smt2                                                                       |1200.173s |1272.0MiB|
|scrambled118796.smt2                                                                       |1200.120s |1265.0MiB|
|scrambled73226.smt2                                                                        |1200.204s |1240.0MiB|
|scrambled43798.smt2                                                                        |1200.417s |1235.0MiB|
|scrambled111948.smt2                                                                       |1200.189s |1235.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled57711.smt2                                                                        |1200.352s |6417.0MiB|
|scrambled19322.smt2                                                                        |1200.388s |6333.0MiB|
|scrambled114492.smt2                                                                       |1200.169s |6087.0MiB|
|scrambled106386.smt2                                                                       |1200.244s |5679.0MiB|
|scrambled43005.smt2                                                                        |1200.198s |5677.0MiB|
|scrambled120626.smt2                                                                       |1200.217s |5634.0MiB|
|scrambled68857.smt2                                                                        |1200.244s |5622.0MiB|
|scrambled116502.smt2                                                                       |1200.152s |5613.0MiB|
|scrambled36439.smt2                                                                        |1200.103s |5545.0MiB|
|scrambled36692.smt2                                                                        |1200.253s |5488.0MiB|
|scrambled64619.smt2                                                                        |1200.113s |5483.0MiB|
|scrambled7069.smt2                                                                         |1200.156s |1330.0MiB|
|scrambled5175.smt2                                                                         |1200.381s |1316.0MiB|
|scrambled69775.smt2                                                                        |1200.107s |1297.0MiB|
|scrambled12077.smt2                                                                        |1200.088s |1276.0MiB|
|scrambled103130.smt2                                                                       |1200.173s |1272.0MiB|
|scrambled118796.smt2                                                                       |1200.120s |1265.0MiB|
|scrambled73226.smt2                                                                        |1200.204s |1240.0MiB|
|scrambled43798.smt2                                                                        |1200.417s |1235.0MiB|
|scrambled111948.smt2                                                                       |1200.189s |1235.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|scrambled103130.smt2                                                                        |1200.173s  |1200.173s  |   0.000s  | 0.0%|
|scrambled103636.smt2                                                                        |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled106386.smt2                                                                        |1200.244s  |1200.244s  |   0.000s  | 0.0%|
|scrambled111948.smt2                                                                        |1200.189s  |1200.189s  |   0.000s  | 0.0%|
|scrambled114492.smt2                                                                        |1200.169s  |1200.169s  |   0.000s  | 0.0%|
|scrambled116502.smt2                                                                        |1200.152s  |1200.152s  |   0.000s  | 0.0%|
|scrambled118796.smt2                                                                        |1200.120s  |1200.120s  |   0.000s  | 0.0%|
|scrambled120626.smt2                                                                        |1200.217s  |1200.217s  |   0.000s  | 0.0%|
|scrambled12077.smt2                                                                         |1200.088s  |1200.088s  |   0.000s  | 0.0%|
|scrambled19322.smt2                                                                         |1200.388s  |1200.388s  |   0.000s  | 0.0%|
|scrambled23753.smt2                                                                         | 900.374s  | 900.374s  |   0.000s  | 0.0%|
|scrambled36439.smt2                                                                         |1200.103s  |1200.103s  |   0.000s  | 0.0%|
|scrambled36692.smt2                                                                         |1200.253s  |1200.253s  |   0.000s  | 0.0%|
|scrambled43005.smt2                                                                         |1200.198s  |1200.198s  |   0.000s  | 0.0%|
|scrambled43798.smt2                                                                         |1200.417s  |1200.417s  |   0.000s  | 0.0%|
|scrambled5175.smt2                                                                          |1200.381s  |1200.381s  |   0.000s  | 0.0%|
|scrambled55916.smt2                                                                         |1200.203s  |1200.203s  |   0.000s  | 0.0%|
|scrambled57711.smt2                                                                         |1200.352s  |1200.352s  |   0.000s  | 0.0%|
|scrambled64619.smt2                                                                         |1200.113s  |1200.113s  |   0.000s  | 0.0%|
|scrambled68857.smt2                                                                         |1200.244s  |1200.244s  |   0.000s  | 0.0%|
|scrambled69775.smt2                                                                         |1200.107s  |1200.107s  |   0.000s  | 0.0%|
|scrambled7069.smt2                                                                          |1200.156s  |1200.156s  |   0.000s  | 0.0%|
|scrambled73226.smt2                                                                         |1200.204s  |1200.204s  |   0.000s  | 0.0%|
</details>