Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: test test
Job tag: tag with sapace
Z3 repo: Z3Prover/z3
Z3 commit: af270da785e1b15614951678e963a73c3e0d544d
Z3 branch: 
Z3 options: "-T:1 -v:2 -st tactic.default_tactic="(then simplify propagate-values solve-eqs simplify sls-smt)" model_validate=true"
Z3 inputs: inputs/QF_BV_SAT
Z3 commit message: Fix complete_partial_func for finite domains (#7547)

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: test test
Job tag: tag with sapace
Z3 repo: Z3Prover/z3
Z3 commit: af270da785e1b15614951678e963a73c3e0d544d
Z3 branch: 
Z3 options: "-T:1 -v:2 -st tactic.default_tactic="(then simplify propagate-values solve-eqs simplify sls-smt)" model_validate=true"
Z3 inputs: inputs/QF_BV_SAT
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        |
|------------|----------:|---------:|
|bench_1307.smt2                                                                            |   0.005s |1096.0KiB|
|bench_1761.smt2                                                                            |   0.004s |1052.0KiB|
|bench_3297.smt2                                                                            |   0.004s |1100.0KiB|
|bench_14875.smt2                                                                           |   0.004s |1100.0KiB|
|bin_libsmbsharemodes_vc7104.smt2                                                           |   0.004s |1020.0KiB|
|bench_10144.smt2                                                                           |   0.004s |1100.0KiB|
|bench_7304.smt2                                                                            |   0.004s |848.0KiB|
|bench_8344.smt2                                                                            |   0.004s |1100.0KiB|
|bench_6691.smt2                                                                            |   0.004s |992.0KiB|
|bench_5188.smt2                                                                            |   0.004s |848.0KiB|
|bench_3263.smt2                                                                            |   0.004s |1100.0KiB|
|bench_12006.smt2                                                                           |   0.004s |1060.0KiB|
|bench_3578.smt2                                                                            |   0.004s |1100.0KiB|
|nnrpd_nnrpd_vc21636.smt2                                                                   |   0.004s |1100.0KiB|
|bin_libmsrpc_vc1228527.smt2                                                                |   0.004s |848.0KiB|
|bench_11357.smt2                                                                           |   0.004s |1100.0KiB|
|bench_4219.smt2                                                                            |   0.004s |844.0KiB|
|bench_2629.smt2                                                                            |   0.004s |1056.0KiB|
|bench_11232.smt2                                                                           |   0.004s |1040.0KiB|
|bench_3765.smt2                                                                            |   0.004s |1100.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench_1307.smt2                                                                            |   0.005s |1096.0KiB|
|bench_1761.smt2                                                                            |   0.004s |1052.0KiB|
|bench_3297.smt2                                                                            |   0.004s |1100.0KiB|
|bench_14875.smt2                                                                           |   0.004s |1100.0KiB|
|bin_libsmbsharemodes_vc7104.smt2                                                           |   0.004s |1020.0KiB|
|bench_10144.smt2                                                                           |   0.004s |1100.0KiB|
|bench_7304.smt2                                                                            |   0.004s |848.0KiB|
|bench_8344.smt2                                                                            |   0.004s |1100.0KiB|
|bench_6691.smt2                                                                            |   0.004s |992.0KiB|
|bench_5188.smt2                                                                            |   0.004s |848.0KiB|
|bench_3263.smt2                                                                            |   0.004s |1100.0KiB|
|bench_12006.smt2                                                                           |   0.004s |1060.0KiB|
|bench_3578.smt2                                                                            |   0.004s |1100.0KiB|
|nnrpd_nnrpd_vc21636.smt2                                                                   |   0.004s |1100.0KiB|
|bin_libmsrpc_vc1228527.smt2                                                                |   0.004s |848.0KiB|
|bench_11357.smt2                                                                           |   0.004s |1100.0KiB|
|bench_4219.smt2                                                                            |   0.004s |844.0KiB|
|bench_2629.smt2                                                                            |   0.004s |1056.0KiB|
|bench_11232.smt2                                                                           |   0.004s |1040.0KiB|
|bench_3765.smt2                                                                            |   0.004s |1100.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        |
|------------|----------:|---------:|
|bench_3754.smt2                                                                            |   0.003s |1356.0KiB|
|innd_innd_vc33732.smt2                                                                     |   0.003s |1356.0KiB|
|bench_4740.smt2                                                                            |   0.002s |1356.0KiB|
|bin_libmsrpc_vc1225626.smt2                                                                |   0.001s |1356.0KiB|
|bench_1424.smt2                                                                            |   0.002s |1352.0KiB|
|bench_3223.smt2                                                                            |   0.002s |1332.0KiB|
|bench_3446.smt2                                                                            |   0.001s |1332.0KiB|
|bench_1958.smt2                                                                            |   0.002s |1316.0KiB|
|bench_3557.smt2                                                                            |   0.002s |1316.0KiB|
|bench_2407.smt2                                                                            |   0.001s |1276.0KiB|
|bench_7556.smt2                                                                            |   0.002s |1268.0KiB|
|bench_2550.smt2                                                                            |   0.002s |1232.0KiB|
|bench_267.smt2                                                                             |   0.002s |1204.0KiB|
|bin_libsmbsharemodes_vc7105.smt2                                                           |   0.001s |1144.0KiB|
|bench_4397.smt2                                                                            |   0.002s |1120.0KiB|
|bench_753.smt2                                                                             |   0.002s |1120.0KiB|
|bin_libsmbsharemodes_vc5748.smt2                                                           |   0.001s |1120.0KiB|
|bench_988.smt2                                                                             |   0.001s |1120.0KiB|
|bench_2050.smt2                                                                            |   0.002s |1116.0KiB|
|bench_3041.smt2                                                                            |   0.002s |1116.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench_3754.smt2                                                                            |   0.003s |1356.0KiB|
|innd_innd_vc33732.smt2                                                                     |   0.003s |1356.0KiB|
|bench_4740.smt2                                                                            |   0.002s |1356.0KiB|
|bin_libmsrpc_vc1225626.smt2                                                                |   0.001s |1356.0KiB|
|bench_1424.smt2                                                                            |   0.002s |1352.0KiB|
|bench_3223.smt2                                                                            |   0.002s |1332.0KiB|
|bench_3446.smt2                                                                            |   0.001s |1332.0KiB|
|bench_1958.smt2                                                                            |   0.002s |1316.0KiB|
|bench_3557.smt2                                                                            |   0.002s |1316.0KiB|
|bench_2407.smt2                                                                            |   0.001s |1276.0KiB|
|bench_7556.smt2                                                                            |   0.002s |1268.0KiB|
|bench_2550.smt2                                                                            |   0.002s |1232.0KiB|
|bench_267.smt2                                                                             |   0.002s |1204.0KiB|
|bin_libsmbsharemodes_vc7105.smt2                                                           |   0.001s |1144.0KiB|
|bench_4397.smt2                                                                            |   0.002s |1120.0KiB|
|bench_753.smt2                                                                             |   0.002s |1120.0KiB|
|bin_libsmbsharemodes_vc5748.smt2                                                           |   0.001s |1120.0KiB|
|bench_988.smt2                                                                             |   0.001s |1120.0KiB|
|bench_2050.smt2                                                                            |   0.002s |1116.0KiB|
|bench_3041.smt2                                                                            |   0.002s |1116.0KiB|
</details>


## FULL COMPARISON

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

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