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: 
Job tag: smt_qflia-threads-4-global_bb_pos_neg
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: ae8ad69ffaad1780a0ac83a6b10b335796792f78
Z3 branch: backbones
Z3 options: "-T:60 -v:0 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false smt_parallel.enable=true smt_parallel.num_global_bb_threads=2"
Z3 inputs: inputs/QF_LIA
Z3 commit message: fix merge

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qflia-threads-4-global_bb_pos_neg
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: ae8ad69ffaad1780a0ac83a6b10b335796792f78
Z3 branch: backbones
Z3 options: "-T:60 -v:0 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false smt_parallel.enable=true smt_parallel.num_global_bb_threads=2"
Z3 inputs: inputs/QF_LIA
Z3 commit message: fix merge

</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        |
|------------|----------:|---------:|
|ex5020_2400_100.smt2                                                                       |   0.050s |2000.0KiB|
|n6189-problem_2__035.smt2                                                                  |   0.047s |1988.0KiB|
|n1939-RF-00.smt2                                                                           |   0.047s |2256.0KiB|
|ex9340_2400_100.smt2                                                                       |   0.047s |2000.0KiB|
|n6157-problem_2__003.smt2                                                                  |   0.045s |2228.0KiB|
|n5440-RC-07.smt2                                                                           |   0.044s |2000.0KiB|
|n7424-prp-15-48.smt2                                                                       |   0.043s |2000.0KiB|
|prp-5-40.smt2                                                                              |   0.043s |2004.0KiB|
|convert-jpg2gif-query-1538.smt2                                                            |   0.043s |2228.0KiB|
|n1200-RC-01.smt2                                                                           |   0.043s |2228.0KiB|
|n6547-prp-10-46.smt2                                                                       |   0.042s |2020.0KiB|
|n758-RC-02.smt2                                                                            |   0.042s |2228.0KiB|
|n4303-RC-02.smt2                                                                           |   0.041s |2000.0KiB|
|n2934-RF-01.smt2                                                                           |   0.041s |2000.0KiB|
|Sz256_6616.smt2                                                                            |   0.040s |2228.0KiB|
|n7379-prp-8-50.smt2                                                                        |   0.039s |2000.0KiB|
|prp-26-38.smt2                                                                             |   0.039s |1996.0KiB|
|ex24500_2600_100.smt2                                                                      |   0.039s |2228.0KiB|
|25-13.slack.smt2                                                                           |   0.039s |2000.0KiB|
|n1940-RF-01.smt2                                                                           |   0.039s |2000.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|ex5020_2400_100.smt2                                                                       |   0.050s |2000.0KiB|
|n6189-problem_2__035.smt2                                                                  |   0.047s |1988.0KiB|
|n1939-RF-00.smt2                                                                           |   0.047s |2256.0KiB|
|ex9340_2400_100.smt2                                                                       |   0.047s |2000.0KiB|
|n6157-problem_2__003.smt2                                                                  |   0.045s |2228.0KiB|
|n5440-RC-07.smt2                                                                           |   0.044s |2000.0KiB|
|n7424-prp-15-48.smt2                                                                       |   0.043s |2000.0KiB|
|prp-5-40.smt2                                                                              |   0.043s |2004.0KiB|
|convert-jpg2gif-query-1538.smt2                                                            |   0.043s |2228.0KiB|
|n1200-RC-01.smt2                                                                           |   0.043s |2228.0KiB|
|n6547-prp-10-46.smt2                                                                       |   0.042s |2020.0KiB|
|n758-RC-02.smt2                                                                            |   0.042s |2228.0KiB|
|n4303-RC-02.smt2                                                                           |   0.041s |2000.0KiB|
|n2934-RF-01.smt2                                                                           |   0.041s |2000.0KiB|
|Sz256_6616.smt2                                                                            |   0.040s |2228.0KiB|
|n7379-prp-8-50.smt2                                                                        |   0.039s |2000.0KiB|
|prp-26-38.smt2                                                                             |   0.039s |1996.0KiB|
|ex24500_2600_100.smt2                                                                      |   0.039s |2228.0KiB|
|25-13.slack.smt2                                                                           |   0.039s |2000.0KiB|
|n1940-RF-01.smt2                                                                           |   0.039s |2000.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        |
|------------|----------:|---------:|
|n3566-RF-04.smt2                                                                           |   0.027s |2368.0KiB|
|v45_problem_2__014.smt2.slack.smt2                                                         |   0.010s |2364.0KiB|
|n6329-problem_2__035.smt2                                                                  |   0.010s |2304.0KiB|
|n7813-prp-34-41.smt2                                                                       |   0.038s |2300.0KiB|
|45-2.smt2                                                                                  |   0.007s |2300.0KiB|
|prp-43-39.smt2                                                                             |   0.007s |2276.0KiB|
|n8472-ring_2exp8_7vars_5ite_unsat.smt2                                                     |   0.006s |2276.0KiB|
|n1939-RF-00.smt2                                                                           |   0.047s |2256.0KiB|
|n5815-RC-05.smt2                                                                           |   0.035s |2256.0KiB|
|n8047-prp-3-47.smt2                                                                        |   0.007s |2256.0KiB|
|n3860-RC-01.smt2                                                                           |   0.013s |2252.0KiB|
|v40_problem_2__013.smt2.slack.smt2                                                         |   0.012s |2248.0KiB|
|n1696-RF-01.smt2                                                                           |   0.010s |2248.0KiB|
|n4281-RC-11.smt2                                                                           |   0.008s |2240.0KiB|
|n6563-prp-13-47.smt2                                                                       |   0.006s |2240.0KiB|
|n1012-RC-05.smt2                                                                           |   0.006s |2240.0KiB|
|n5710-RC-15.smt2                                                                           |   0.006s |2240.0KiB|
|convert-jpg2gif-query-1217.smt2                                                            |   0.026s |2236.0KiB|
|30-27.smt2                                                                                 |   0.036s |2232.0KiB|
|n6523-cut_lemma_01_013.smt2                                                                |   0.033s |2232.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n3566-RF-04.smt2                                                                           |   0.027s |2368.0KiB|
|v45_problem_2__014.smt2.slack.smt2                                                         |   0.010s |2364.0KiB|
|n6329-problem_2__035.smt2                                                                  |   0.010s |2304.0KiB|
|n7813-prp-34-41.smt2                                                                       |   0.038s |2300.0KiB|
|45-2.smt2                                                                                  |   0.007s |2300.0KiB|
|prp-43-39.smt2                                                                             |   0.007s |2276.0KiB|
|n8472-ring_2exp8_7vars_5ite_unsat.smt2                                                     |   0.006s |2276.0KiB|
|n1939-RF-00.smt2                                                                           |   0.047s |2256.0KiB|
|n5815-RC-05.smt2                                                                           |   0.035s |2256.0KiB|
|n8047-prp-3-47.smt2                                                                        |   0.007s |2256.0KiB|
|n3860-RC-01.smt2                                                                           |   0.013s |2252.0KiB|
|v40_problem_2__013.smt2.slack.smt2                                                         |   0.012s |2248.0KiB|
|n1696-RF-01.smt2                                                                           |   0.010s |2248.0KiB|
|n4281-RC-11.smt2                                                                           |   0.008s |2240.0KiB|
|n6563-prp-13-47.smt2                                                                       |   0.006s |2240.0KiB|
|n1012-RC-05.smt2                                                                           |   0.006s |2240.0KiB|
|n5710-RC-15.smt2                                                                           |   0.006s |2240.0KiB|
|convert-jpg2gif-query-1217.smt2                                                            |   0.026s |2236.0KiB|
|30-27.smt2                                                                                 |   0.036s |2232.0KiB|
|n6523-cut_lemma_01_013.smt2                                                                |   0.033s |2232.0KiB|
</details>


## FULL COMPARISON

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

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