Comparing data and data


# SUMMARY
- LHS tests = 2313
- RHS tests = 2313
- 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_qfnia-threads-4-cube-maxdepth-10
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: b9256ba336eca7da64d45fdf470a6a0ec32e1c8c
Z3 branch: 
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.share_conflicts=false smt_parallel.share_units=false smt_parallel.max_cube_depth=10"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Add new configurations for SMT parallel settings

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfnia-threads-4-cube-maxdepth-10
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: b9256ba336eca7da64d45fdf470a6a0ec32e1c8c
Z3 branch: 
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.share_conflicts=false smt_parallel.share_units=false smt_parallel.max_cube_depth=10"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Add new configurations for SMT parallel settings

</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        |
|------------|----------:|---------:|
|From_T2__s1-striped.t2_fixed__p10804_safety_0.smt2                                         |   0.028s |1560.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4595_safety_0.smt2                          |   0.028s |1788.0KiB|
|1361.smt2                                                                                  |   0.026s |1564.0KiB|
|From_T2__bakery.t2__p17150_terminationG_0.smt2                                             |   0.025s |1560.0KiB|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p5427_safety_0.smt2                       |   0.024s |1560.0KiB|
|From_AProVE_2014__juHashMapCreateRemove.jar-obl-11__p6792_safety_0.smt2                    |   0.023s |1788.0KiB|
|aproveSMT1256079449125527892.smt2                                                          |   0.023s |1560.0KiB|
|841.smt2                                                                                   |   0.023s |1560.0KiB|
|From_T2__s1-striped.t2__p14281_safety_0.smt2                                               |   0.022s |1560.0KiB|
|From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__p1718_edge_closing_0.smt2                   |   0.022s |1572.0KiB|
|From_AProVE_2014__juHashMapCreateSize.jar-obl-10__p7295_safety_0.smt2                      |   0.022s |1560.0KiB|
|From_T2__hqr.t2_fixed__p1737_terminationG_0.smt2                                           |   0.021s |1484.0KiB|
|aproveSMT2316535250821506157.smt2                                                          |   0.021s |1560.0KiB|
|term-fu8ErM.smt2                                                                           |   0.021s |1584.0KiB|
|From_AProVE_2014__Velroyen08-even.jar-obl-9__p13541_terminationG_0.smt2                    |   0.021s |1788.0KiB|
|Stroeder_15__NonTermination4_false-termination.c__p24980_edge_closing_0.smt2               |   0.021s |1564.0KiB|
|aproveSMT8204649684904954337.smt2                                                          |   0.021s |1560.0KiB|
|aproveSMT944940066259205664.smt2                                                           |   0.021s |1560.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4576_safety_0.smt2                          |   0.020s |1560.0KiB|
|1607.smt2                                                                                  |   0.020s |1560.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|From_T2__s1-striped.t2_fixed__p10804_safety_0.smt2                                         |   0.028s |1560.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4595_safety_0.smt2                          |   0.028s |1788.0KiB|
|1361.smt2                                                                                  |   0.026s |1564.0KiB|
|From_T2__bakery.t2__p17150_terminationG_0.smt2                                             |   0.025s |1560.0KiB|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p5427_safety_0.smt2                       |   0.024s |1560.0KiB|
|From_AProVE_2014__juHashMapCreateRemove.jar-obl-11__p6792_safety_0.smt2                    |   0.023s |1788.0KiB|
|aproveSMT1256079449125527892.smt2                                                          |   0.023s |1560.0KiB|
|841.smt2                                                                                   |   0.023s |1560.0KiB|
|From_T2__s1-striped.t2__p14281_safety_0.smt2                                               |   0.022s |1560.0KiB|
|From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__p1718_edge_closing_0.smt2                   |   0.022s |1572.0KiB|
|From_AProVE_2014__juHashMapCreateSize.jar-obl-10__p7295_safety_0.smt2                      |   0.022s |1560.0KiB|
|From_T2__hqr.t2_fixed__p1737_terminationG_0.smt2                                           |   0.021s |1484.0KiB|
|aproveSMT2316535250821506157.smt2                                                          |   0.021s |1560.0KiB|
|term-fu8ErM.smt2                                                                           |   0.021s |1584.0KiB|
|From_AProVE_2014__Velroyen08-even.jar-obl-9__p13541_terminationG_0.smt2                    |   0.021s |1788.0KiB|
|Stroeder_15__NonTermination4_false-termination.c__p24980_edge_closing_0.smt2               |   0.021s |1564.0KiB|
|aproveSMT8204649684904954337.smt2                                                          |   0.021s |1560.0KiB|
|aproveSMT944940066259205664.smt2                                                           |   0.021s |1560.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4576_safety_0.smt2                          |   0.020s |1560.0KiB|
|1607.smt2                                                                                  |   0.020s |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        |
|------------|----------:|---------:|
|From_T2__select.t2__p21345_terminationG_0.smt2                                             |   0.004s |1832.0KiB|
|From_AProVE_2014__Et4.jar-obl-8__p28936_terminationG_0.smt2                                |   0.004s |1832.0KiB|
|From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__terminationS_18_0.smt2                      |   0.004s |1812.0KiB|
|From_AProVE_2014__juHashMapCreateSize.jar-obl-10__p7576_safety_0.smt2                      |   0.006s |1792.0KiB|
|From_AProVE_2014__juLinkedListCreateContains.jar-obl-16__term_unfeasibility_9_0.smt2       |   0.004s |1792.0KiB|
|From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2398_safety_0.smt2                   |   0.004s |1792.0KiB|
|Stroeder_15__NO_13.c__p24749_terminationG_0.smt2                                           |   0.004s |1792.0KiB|
|From_T2__slayer-3-new.t2_fixed__terminationS_29_0.smt2                                     |   0.004s |1792.0KiB|
|From_T2__brp_withassume.t2__terminationS_17_0.smt2                                         |   0.004s |1792.0KiB|
|From_T2__janne_complex.t2__p2254_terminationG_0.smt2                                       |   0.003s |1792.0KiB|
|From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p32413_safety_0.smt2            |   0.003s |1792.0KiB|
|From_T2__hqr.c.i.hqr.pl.t2.fixed.t2__p1650_edge_closing_0.smt2                             |   0.003s |1792.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4595_safety_0.smt2                          |   0.028s |1788.0KiB|
|From_AProVE_2014__juHashMapCreateRemove.jar-obl-11__p6792_safety_0.smt2                    |   0.023s |1788.0KiB|
|From_AProVE_2014__Velroyen08-even.jar-obl-9__p13541_terminationG_0.smt2                    |   0.021s |1788.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7826_safety_0.smt2               |   0.020s |1788.0KiB|
|1536.smt2                                                                                  |   0.010s |1788.0KiB|
|From_T2__ex36.t2__p31964_safety_0.smt2                                                     |   0.008s |1788.0KiB|
|From_T2__s1.t2_fixed__p17067_safety_0.smt2                                                 |   0.008s |1788.0KiB|
|Stroeder_15__WhileNestedOffset.c__p26458_terminationG_0.smt2                               |   0.008s |1788.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|From_T2__select.t2__p21345_terminationG_0.smt2                                             |   0.004s |1832.0KiB|
|From_AProVE_2014__Et4.jar-obl-8__p28936_terminationG_0.smt2                                |   0.004s |1832.0KiB|
|From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__terminationS_18_0.smt2                      |   0.004s |1812.0KiB|
|From_AProVE_2014__juHashMapCreateSize.jar-obl-10__p7576_safety_0.smt2                      |   0.006s |1792.0KiB|
|From_AProVE_2014__juLinkedListCreateContains.jar-obl-16__term_unfeasibility_9_0.smt2       |   0.004s |1792.0KiB|
|From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2398_safety_0.smt2                   |   0.004s |1792.0KiB|
|Stroeder_15__NO_13.c__p24749_terminationG_0.smt2                                           |   0.004s |1792.0KiB|
|From_T2__slayer-3-new.t2_fixed__terminationS_29_0.smt2                                     |   0.004s |1792.0KiB|
|From_T2__brp_withassume.t2__terminationS_17_0.smt2                                         |   0.004s |1792.0KiB|
|From_T2__janne_complex.t2__p2254_terminationG_0.smt2                                       |   0.003s |1792.0KiB|
|From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p32413_safety_0.smt2            |   0.003s |1792.0KiB|
|From_T2__hqr.c.i.hqr.pl.t2.fixed.t2__p1650_edge_closing_0.smt2                             |   0.003s |1792.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4595_safety_0.smt2                          |   0.028s |1788.0KiB|
|From_AProVE_2014__juHashMapCreateRemove.jar-obl-11__p6792_safety_0.smt2                    |   0.023s |1788.0KiB|
|From_AProVE_2014__Velroyen08-even.jar-obl-9__p13541_terminationG_0.smt2                    |   0.021s |1788.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7826_safety_0.smt2               |   0.020s |1788.0KiB|
|1536.smt2                                                                                  |   0.010s |1788.0KiB|
|From_T2__ex36.t2__p31964_safety_0.smt2                                                     |   0.008s |1788.0KiB|
|From_T2__s1.t2_fixed__p17067_safety_0.smt2                                                 |   0.008s |1788.0KiB|
|Stroeder_15__WhileNestedOffset.c__p26458_terminationG_0.smt2                               |   0.008s |1788.0KiB|
</details>


## FULL COMPARISON

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

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