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-inprocessingfix-lockdebug
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 425ef97aea476937cbd9415116cfec3225d3b86c
Z3 branch: parallel-lockdebug
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_LIA
Z3 commit message: add nikolaj's inprocessing patch

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qflia-threads-4-inprocessingfix-lockdebug
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 425ef97aea476937cbd9415116cfec3225d3b86c
Z3 branch: parallel-lockdebug
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_LIA
Z3 commit message: add nikolaj's inprocessing patch

</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        |
|------------|----------:|---------:|
|n7585-prp-44-49.smt2                                                                       |  15.217s |104.0MiB|
|n7430-prp-16-49.smt2                                                                       |  15.042s |104.0MiB|
|n7450-prp-2-49.smt2                                                                        |  15.022s |104.0MiB|
|n7550-prp-38-49.smt2                                                                       |  14.929s |104.0MiB|
|n7405-prp-11-49.smt2                                                                       |  14.922s |103.0MiB|
|n7420-prp-14-49.smt2                                                                       |  14.915s |104.0MiB|
|n7545-prp-37-49.smt2                                                                       |  14.910s |104.0MiB|
|n7510-prp-30-49.smt2                                                                       |  14.908s |104.0MiB|
|n7580-prp-43-49.smt2                                                                       |  14.894s |104.0MiB|
|n7540-prp-36-49.smt2                                                                       |  14.885s |104.0MiB|
|n7410-prp-12-49.smt2                                                                       |  14.885s |104.0MiB|
|n7525-prp-33-49.smt2                                                                       |  14.884s |104.0MiB|
|n7605-prp-48-49.smt2                                                                       |  14.874s |104.0MiB|
|n7555-prp-39-49.smt2                                                                       |  14.858s |104.0MiB|
|n7390-prp-0-49.smt2                                                                        |  14.741s |104.0MiB|
|n7444-prp-19-48.smt2                                                                       |  13.513s |102.0MiB|
|n7544-prp-37-48.smt2                                                                       |  12.898s |102.0MiB|
|n7584-prp-44-48.smt2                                                                       |  12.864s |102.0MiB|
|n7619-prp-50-48.smt2                                                                       |  12.864s |102.0MiB|
|n7574-prp-42-48.smt2                                                                       |  12.861s |98.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n7585-prp-44-49.smt2                                                                       |  15.217s |104.0MiB|
|n7430-prp-16-49.smt2                                                                       |  15.042s |104.0MiB|
|n7450-prp-2-49.smt2                                                                        |  15.022s |104.0MiB|
|n7550-prp-38-49.smt2                                                                       |  14.929s |104.0MiB|
|n7405-prp-11-49.smt2                                                                       |  14.922s |103.0MiB|
|n7420-prp-14-49.smt2                                                                       |  14.915s |104.0MiB|
|n7545-prp-37-49.smt2                                                                       |  14.910s |104.0MiB|
|n7510-prp-30-49.smt2                                                                       |  14.908s |104.0MiB|
|n7580-prp-43-49.smt2                                                                       |  14.894s |104.0MiB|
|n7540-prp-36-49.smt2                                                                       |  14.885s |104.0MiB|
|n7410-prp-12-49.smt2                                                                       |  14.885s |104.0MiB|
|n7525-prp-33-49.smt2                                                                       |  14.884s |104.0MiB|
|n7605-prp-48-49.smt2                                                                       |  14.874s |104.0MiB|
|n7555-prp-39-49.smt2                                                                       |  14.858s |104.0MiB|
|n7390-prp-0-49.smt2                                                                        |  14.741s |104.0MiB|
|n7444-prp-19-48.smt2                                                                       |  13.513s |102.0MiB|
|n7544-prp-37-48.smt2                                                                       |  12.898s |102.0MiB|
|n7584-prp-44-48.smt2                                                                       |  12.864s |102.0MiB|
|n7619-prp-50-48.smt2                                                                       |  12.864s |102.0MiB|
|n7574-prp-42-48.smt2                                                                       |  12.861s |98.0MiB|
</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        |
|------------|----------:|---------:|
|n7370-prp-75-50.smt2                                                                       |   6.963s |139.0MiB|
|n7244-prp-46-50.smt2                                                                       |   6.938s |139.0MiB|
|n7279-prp-52-50.smt2                                                                       |   6.926s |139.0MiB|
|n7314-prp-59-50.smt2                                                                       |   6.923s |139.0MiB|
|n7051-prp-10-50.smt2                                                                       |   6.923s |139.0MiB|
|n7139-prp-27-50.smt2                                                                       |   6.922s |139.0MiB|
|n7130-prp-25-50.smt2                                                                       |   6.917s |139.0MiB|
|n7254-prp-48-50.smt2                                                                       |   6.917s |139.0MiB|
|n7259-prp-49-50.smt2                                                                       |   6.911s |139.0MiB|
|n7299-prp-56-50.smt2                                                                       |   6.909s |139.0MiB|
|n7379-prp-8-50.smt2                                                                        |   6.876s |139.0MiB|
|n7061-prp-12-50.smt2                                                                       |   7.073s |138.0MiB|
|n7264-prp-5-50.smt2                                                                        |   6.984s |138.0MiB|
|n7169-prp-32-50.smt2                                                                       |   6.983s |138.0MiB|
|n7154-prp-3-50.smt2                                                                        |   6.970s |138.0MiB|
|n7076-prp-15-50.smt2                                                                       |   6.967s |138.0MiB|
|n7358-prp-7-50.smt2                                                                        |   6.964s |138.0MiB|
|n7086-prp-17-50.smt2                                                                       |   6.957s |138.0MiB|
|n7214-prp-40-50.smt2                                                                       |   6.952s |138.0MiB|
|n7340-prp-64-50.smt2                                                                       |   6.952s |138.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n7370-prp-75-50.smt2                                                                       |   6.963s |139.0MiB|
|n7244-prp-46-50.smt2                                                                       |   6.938s |139.0MiB|
|n7279-prp-52-50.smt2                                                                       |   6.926s |139.0MiB|
|n7314-prp-59-50.smt2                                                                       |   6.923s |139.0MiB|
|n7051-prp-10-50.smt2                                                                       |   6.923s |139.0MiB|
|n7139-prp-27-50.smt2                                                                       |   6.922s |139.0MiB|
|n7130-prp-25-50.smt2                                                                       |   6.917s |139.0MiB|
|n7254-prp-48-50.smt2                                                                       |   6.917s |139.0MiB|
|n7259-prp-49-50.smt2                                                                       |   6.911s |139.0MiB|
|n7299-prp-56-50.smt2                                                                       |   6.909s |139.0MiB|
|n7379-prp-8-50.smt2                                                                        |   6.876s |139.0MiB|
|n7061-prp-12-50.smt2                                                                       |   7.073s |138.0MiB|
|n7264-prp-5-50.smt2                                                                        |   6.984s |138.0MiB|
|n7169-prp-32-50.smt2                                                                       |   6.983s |138.0MiB|
|n7154-prp-3-50.smt2                                                                        |   6.970s |138.0MiB|
|n7076-prp-15-50.smt2                                                                       |   6.967s |138.0MiB|
|n7358-prp-7-50.smt2                                                                        |   6.964s |138.0MiB|
|n7086-prp-17-50.smt2                                                                       |   6.957s |138.0MiB|
|n7214-prp-40-50.smt2                                                                       |   6.952s |138.0MiB|
|n7340-prp-64-50.smt2                                                                       |   6.952s |138.0MiB|
</details>


## FULL COMPARISON

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

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