Comparing data and data


# SUMMARY
- LHS tests = 5000
- RHS tests = 5000
- LHS success = 0  (0.0%)
- RHS success = 0  (0.0%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: disabled die eqs on reb_dio branch with random seed 8 
Job tag: reb_dio_no_dio_eqs
Z3 repo: Z3Prover/z3
Z3 commit: af270da785e1b15614951678e963a73c3e0d544d
Z3 branch: 
Z3 options: "-T:600 -st smt.arith.lp.dio_eqs=false"
Z3 inputs: inputs/QF_LIA
Z3 commit message: Fix complete_partial_func for finite domains (#7547)

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: disabled die eqs on reb_dio branch with random seed 8 
Job tag: reb_dio_no_dio_eqs
Z3 repo: Z3Prover/z3
Z3 commit: af270da785e1b15614951678e963a73c3e0d544d
Z3 branch: 
Z3 options: "-T:600 -st smt.arith.lp.dio_eqs=false"
Z3 inputs: inputs/QF_LIA
Z3 commit message: Fix complete_partial_func for finite domains (#7547)

</pre>
</details>


## TOP 20 RUNTIME INCREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n4529-RF-05.smt2                                                                           |   0.007s |1564.0KiB|
|n1650-RC-03.smt2                                                                           |   0.006s |1560.0KiB|
|n7349-prp-67-50.smt2                                                                       |   0.006s |1568.0KiB|
|n6513-cut_lemma_01_003.smt2                                                                |   0.006s |1564.0KiB|
|n2383-RF-09.smt2                                                                           |   0.006s |1564.0KiB|
|n3939-RF-00.smt2                                                                           |   0.006s |1564.0KiB|
|n1753-RC-14.smt2                                                                           |   0.006s |1560.0KiB|
|n5695-RC-00.smt2                                                                           |   0.006s |1788.0KiB|
|n1544-RF-09.smt2                                                                           |   0.006s |1560.0KiB|
|v15_problem_2__008.smt2.slack.smt2                                                         |   0.006s |1636.0KiB|
|convert-jpg2gif-query-1580.smt2                                                            |   0.006s |1560.0KiB|
|ex15100_2600_100.smt2                                                                      |   0.006s |1560.0KiB|
|prp-5-37.smt2                                                                              |   0.006s |1560.0KiB|
|n3274-RC-13.smt2                                                                           |   0.006s |1560.0KiB|
|n3789-RF-09.smt2                                                                           |   0.006s |1568.0KiB|
|problem-005675.cvc.2.smt2                                                                  |   0.006s |1560.0KiB|
|n285-RF-11.smt2                                                                            |   0.006s |1560.0KiB|
|n3753-RF-05.smt2                                                                           |   0.006s |1560.0KiB|
|n8083-prp-0-48.smt2                                                                        |   0.006s |1560.0KiB|
|n4420-RC-00.smt2                                                                           |   0.006s |1560.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n4529-RF-05.smt2                                                                           |   0.007s |1564.0KiB|
|n1650-RC-03.smt2                                                                           |   0.006s |1560.0KiB|
|n7349-prp-67-50.smt2                                                                       |   0.006s |1568.0KiB|
|n6513-cut_lemma_01_003.smt2                                                                |   0.006s |1564.0KiB|
|n2383-RF-09.smt2                                                                           |   0.006s |1564.0KiB|
|n3939-RF-00.smt2                                                                           |   0.006s |1564.0KiB|
|n1753-RC-14.smt2                                                                           |   0.006s |1560.0KiB|
|n5695-RC-00.smt2                                                                           |   0.006s |1788.0KiB|
|n1544-RF-09.smt2                                                                           |   0.006s |1560.0KiB|
|v15_problem_2__008.smt2.slack.smt2                                                         |   0.006s |1636.0KiB|
|convert-jpg2gif-query-1580.smt2                                                            |   0.006s |1560.0KiB|
|ex15100_2600_100.smt2                                                                      |   0.006s |1560.0KiB|
|prp-5-37.smt2                                                                              |   0.006s |1560.0KiB|
|n3274-RC-13.smt2                                                                           |   0.006s |1560.0KiB|
|n3789-RF-09.smt2                                                                           |   0.006s |1568.0KiB|
|problem-005675.cvc.2.smt2                                                                  |   0.006s |1560.0KiB|
|n285-RF-11.smt2                                                                            |   0.006s |1560.0KiB|
|n3753-RF-05.smt2                                                                           |   0.006s |1560.0KiB|
|n8083-prp-0-48.smt2                                                                        |   0.006s |1560.0KiB|
|n4420-RC-00.smt2                                                                           |   0.006s |1560.0KiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 LHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n2568-RC-00.smt2                                                                           |   0.003s |1992.0KiB|
|n2192-RF-07.smt2                                                                           |   0.004s |1864.0KiB|
|n5992-problem__005.smt2                                                                    |   0.004s |1860.0KiB|
|45-6.slack.smt2                                                                            |   0.004s |1856.0KiB|
|d100.1.smt2                                                                                |   0.005s |1852.0KiB|
|n5318-RC-01.smt2                                                                           |   0.004s |1852.0KiB|
|n3959-RC-04.smt2                                                                           |   0.004s |1852.0KiB|
|n7925-prp-61-47.smt2                                                                       |   0.005s |1836.0KiB|
|n4976-RF-09.smt2                                                                           |   0.005s |1832.0KiB|
|n268-RC-10.smt2                                                                            |   0.003s |1832.0KiB|
|n1606-RF-07.smt2                                                                           |   0.004s |1820.0KiB|
|25-29.slack.smt2                                                                           |   0.004s |1816.0KiB|
|ex12600_2600_100.smt2                                                                      |   0.004s |1816.0KiB|
|35-31.smt2                                                                                 |   0.003s |1816.0KiB|
|n5178-RC-04.smt2                                                                           |   0.004s |1812.0KiB|
|n2221-RF-04.smt2                                                                           |   0.004s |1812.0KiB|
|35-34.slack.smt2                                                                           |   0.004s |1812.0KiB|
|n3282-RF-05.smt2                                                                           |   0.004s |1808.0KiB|
|n7259-prp-49-50.smt2                                                                       |   0.004s |1808.0KiB|
|prp-5-34.smt2                                                                              |   0.004s |1804.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n2568-RC-00.smt2                                                                           |   0.003s |1992.0KiB|
|n2192-RF-07.smt2                                                                           |   0.004s |1864.0KiB|
|n5992-problem__005.smt2                                                                    |   0.004s |1860.0KiB|
|45-6.slack.smt2                                                                            |   0.004s |1856.0KiB|
|d100.1.smt2                                                                                |   0.005s |1852.0KiB|
|n5318-RC-01.smt2                                                                           |   0.004s |1852.0KiB|
|n3959-RC-04.smt2                                                                           |   0.004s |1852.0KiB|
|n7925-prp-61-47.smt2                                                                       |   0.005s |1836.0KiB|
|n4976-RF-09.smt2                                                                           |   0.005s |1832.0KiB|
|n268-RC-10.smt2                                                                            |   0.003s |1832.0KiB|
|n1606-RF-07.smt2                                                                           |   0.004s |1820.0KiB|
|25-29.slack.smt2                                                                           |   0.004s |1816.0KiB|
|ex12600_2600_100.smt2                                                                      |   0.004s |1816.0KiB|
|35-31.smt2                                                                                 |   0.003s |1816.0KiB|
|n5178-RC-04.smt2                                                                           |   0.004s |1812.0KiB|
|n2221-RF-04.smt2                                                                           |   0.004s |1812.0KiB|
|35-34.slack.smt2                                                                           |   0.004s |1812.0KiB|
|n3282-RF-05.smt2                                                                           |   0.004s |1808.0KiB|
|n7259-prp-49-50.smt2                                                                       |   0.004s |1808.0KiB|
|prp-5-34.smt2                                                                              |   0.004s |1804.0KiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>