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: better markovich with random seed
Job tag: random_seed_123_better_markovich
Z3 repo: Z3Prover/z3
Z3 commit: 4bc14d775ef7638cf8de5fed39a01040ea3993ac
Z3 branch: 
Z3 options: "-T:600 -st stm.random_seed=123"
Z3 inputs: inputs/QF_LIA
Z3 commit message: more accurate work with Markovich number

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: better markovich with random seed
Job tag: random_seed_123_better_markovich
Z3 repo: Z3Prover/z3
Z3 commit: 4bc14d775ef7638cf8de5fed39a01040ea3993ac
Z3 branch: 
Z3 options: "-T:600 -st stm.random_seed=123"
Z3 inputs: inputs/QF_LIA
Z3 commit message: more accurate work with Markovich number

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>

</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        |
|------------|----------:|---------:|
|n3954-RF-15.smt2                                                                           |   0.005s |1464.0KiB|
|n4432-RC-13.smt2                                                                           |   0.005s |1556.0KiB|
|n3152-RC-13.smt2                                                                           |   0.005s |1564.0KiB|
|n3817-RF-05.smt2                                                                           |   0.005s |1564.0KiB|
|n6450-problem_2__016.smt2                                                                  |   0.005s |1544.0KiB|
|n2287-RF-07.smt2                                                                           |   0.005s |1560.0KiB|
|n6578-prp-16-47.smt2                                                                       |   0.005s |1492.0KiB|
|n3194-RF-07.smt2                                                                           |   0.005s |1560.0KiB|
|n3266-RC-04.smt2                                                                           |   0.005s |1556.0KiB|
|30-25.slack.smt2                                                                           |   0.005s |1560.0KiB|
|prp-29-29.smt2                                                                             |   0.005s |1784.0KiB|
|n5416-RC-12.smt2                                                                           |   0.005s |1560.0KiB|
|n2780-RF-07.smt2                                                                           |   0.005s |1788.0KiB|
|n7731-prp-24-46.smt2                                                                       |   0.005s |1488.0KiB|
|convert-jpg2gif-query-1439.smt2                                                            |   0.005s |1560.0KiB|
|n7656-prp-10-46.smt2                                                                       |   0.005s |1560.0KiB|
|n5230-RF-10.smt2                                                                           |   0.005s |1788.0KiB|
|n5709-RC-14.smt2                                                                           |   0.005s |1564.0KiB|
|prp-39-44.smt2                                                                             |   0.005s |1488.0KiB|
|n957-RC-14.smt2                                                                            |   0.005s |1564.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n3954-RF-15.smt2                                                                           |   0.005s |1464.0KiB|
|n4432-RC-13.smt2                                                                           |   0.005s |1556.0KiB|
|n3152-RC-13.smt2                                                                           |   0.005s |1564.0KiB|
|n3817-RF-05.smt2                                                                           |   0.005s |1564.0KiB|
|n6450-problem_2__016.smt2                                                                  |   0.005s |1544.0KiB|
|n2287-RF-07.smt2                                                                           |   0.005s |1560.0KiB|
|n6578-prp-16-47.smt2                                                                       |   0.005s |1492.0KiB|
|n3194-RF-07.smt2                                                                           |   0.005s |1560.0KiB|
|n3266-RC-04.smt2                                                                           |   0.005s |1556.0KiB|
|30-25.slack.smt2                                                                           |   0.005s |1560.0KiB|
|prp-29-29.smt2                                                                             |   0.005s |1784.0KiB|
|n5416-RC-12.smt2                                                                           |   0.005s |1560.0KiB|
|n2780-RF-07.smt2                                                                           |   0.005s |1788.0KiB|
|n7731-prp-24-46.smt2                                                                       |   0.005s |1488.0KiB|
|convert-jpg2gif-query-1439.smt2                                                            |   0.005s |1560.0KiB|
|n7656-prp-10-46.smt2                                                                       |   0.005s |1560.0KiB|
|n5230-RF-10.smt2                                                                           |   0.005s |1788.0KiB|
|n5709-RC-14.smt2                                                                           |   0.005s |1564.0KiB|
|prp-39-44.smt2                                                                             |   0.005s |1488.0KiB|
|n957-RC-14.smt2                                                                            |   0.005s |1564.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        |
|------------|----------:|---------:|
|n2936-RF-03.smt2                                                                           |   0.003s |2044.0KiB|
|n2731-RC-06.smt2                                                                           |   0.003s |2040.0KiB|
|n1630-RC-15.smt2                                                                           |   0.003s |1816.0KiB|
|n2941-RF-08.smt2                                                                           |   0.003s |1816.0KiB|
|n1505-RF-02.smt2                                                                           |   0.003s |1816.0KiB|
|n6020-problem__003.smt2                                                                    |   0.003s |1812.0KiB|
|n3627-RF-04.smt2                                                                           |   0.004s |1804.0KiB|
|n2008-RF-06.smt2                                                                           |   0.003s |1804.0KiB|
|n553-RC-08.smt2                                                                            |   0.003s |1800.0KiB|
|n7180-prp-35-46.smt2                                                                       |   0.003s |1796.0KiB|
|v25_problem__021.smt2.slack.smt2                                                           |   0.004s |1792.0KiB|
|n6291-problem__032.smt2                                                                    |   0.004s |1792.0KiB|
|n3659-RF-04.smt2                                                                           |   0.004s |1792.0KiB|
|n6953-prp-54-48.smt2                                                                       |   0.004s |1792.0KiB|
|n3309-RF-00.smt2                                                                           |   0.004s |1792.0KiB|
|n6365-problem_2__001.smt2                                                                  |   0.004s |1792.0KiB|
|n3868-RC-09.smt2                                                                           |   0.004s |1792.0KiB|
|n4063-RC-12.smt2                                                                           |   0.004s |1792.0KiB|
|prp-20-31.smt2                                                                             |   0.003s |1792.0KiB|
|ex4100_2400_100.smt2                                                                       |   0.003s |1792.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n2936-RF-03.smt2                                                                           |   0.003s |2044.0KiB|
|n2731-RC-06.smt2                                                                           |   0.003s |2040.0KiB|
|n1630-RC-15.smt2                                                                           |   0.003s |1816.0KiB|
|n2941-RF-08.smt2                                                                           |   0.003s |1816.0KiB|
|n1505-RF-02.smt2                                                                           |   0.003s |1816.0KiB|
|n6020-problem__003.smt2                                                                    |   0.003s |1812.0KiB|
|n3627-RF-04.smt2                                                                           |   0.004s |1804.0KiB|
|n2008-RF-06.smt2                                                                           |   0.003s |1804.0KiB|
|n553-RC-08.smt2                                                                            |   0.003s |1800.0KiB|
|n7180-prp-35-46.smt2                                                                       |   0.003s |1796.0KiB|
|v25_problem__021.smt2.slack.smt2                                                           |   0.004s |1792.0KiB|
|n6291-problem__032.smt2                                                                    |   0.004s |1792.0KiB|
|n3659-RF-04.smt2                                                                           |   0.004s |1792.0KiB|
|n6953-prp-54-48.smt2                                                                       |   0.004s |1792.0KiB|
|n3309-RF-00.smt2                                                                           |   0.004s |1792.0KiB|
|n6365-problem_2__001.smt2                                                                  |   0.004s |1792.0KiB|
|n3868-RC-09.smt2                                                                           |   0.004s |1792.0KiB|
|n4063-RC-12.smt2                                                                           |   0.004s |1792.0KiB|
|prp-20-31.smt2                                                                             |   0.003s |1792.0KiB|
|ex4100_2400_100.smt2                                                                       |   0.003s |1792.0KiB|
</details>


## FULL COMPARISON

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

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