Comparing data and data


# SUMMARY
- LHS tests = 255
- RHS tests = 255
- LHS success = 255  (100.0%)
- RHS success = 255  (100.0%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 branch: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_RDL
Z3 commit message: fix build issues

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 branch: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_RDL
Z3 commit message: fix build issues

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>
</details>


## TOP 20 RUNTIME INCREASE

<details><summary>TOP 20 RUNTIME INCREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.075s  |   0.075s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.097s  |   0.097s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.123s  |   0.123s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.121s  |   0.121s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.149s  |   0.149s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.147s  |   0.147s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.154s  |   0.154s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.164s  |   0.164s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.171s  |   0.171s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME INCREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.075s  |   0.075s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.097s  |   0.097s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.123s  |   0.123s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.121s  |   0.121s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.149s  |   0.149s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.147s  |   0.147s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.154s  |   0.154s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.164s  |   0.164s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.171s  |   0.171s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

<details><summary>TOP 20 RUNTIME DECREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.075s  |   0.075s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.097s  |   0.097s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.123s  |   0.123s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.121s  |   0.121s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.149s  |   0.149s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.147s  |   0.147s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.154s  |   0.154s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.164s  |   0.164s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.171s  |   0.171s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME DECREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.075s  |   0.075s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.097s  |   0.097s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.123s  |   0.123s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.121s  |   0.121s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.149s  |   0.149s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.147s  |   0.147s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.154s  |   0.154s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.164s  |   0.164s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.171s  |   0.171s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  30.300s |1414.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  30.252s |1609.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  30.247s |1660.0MiB|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                        |  30.232s |1544.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  30.224s |593.0MiB|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                        |  30.217s |1203.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.216s |658.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  30.209s |916.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.198s |672.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.197s |715.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.170s |963.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.167s |606.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.162s |668.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.157s |663.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.155s |699.0MiB|
|skdmxa/skdmxa-3x3-20.smt2                                                                  |  30.154s |904.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.152s |639.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  30.145s |664.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.144s |739.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.144s |696.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  30.300s |1414.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  30.252s |1609.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  30.247s |1660.0MiB|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                        |  30.232s |1544.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  30.224s |593.0MiB|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                        |  30.217s |1203.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.216s |658.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  30.209s |916.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.198s |672.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.197s |715.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.170s |963.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.167s |606.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.162s |668.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.157s |663.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.155s |699.0MiB|
|skdmxa/skdmxa-3x3-20.smt2                                                                  |  30.154s |904.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.152s |639.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  30.145s |664.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.144s |739.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.144s |696.0MiB|
</details>


## TOP 20 MEMORY INCREASE

<details><summary>TOP 20 MEMORY INCREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |89.884MiB|89.884MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.4MiB|90.4MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.676MiB|91.676MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |91.672MiB|91.672MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |92.696MiB|92.696MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |93.076MiB|93.076MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |94.1MiB|94.1MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |94.804MiB|94.804MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |94.864MiB|94.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |95.128MiB|95.128MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |95.684MiB|95.684MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |96.024MiB|96.024MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |96.764MiB|96.764MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |96.76MiB|96.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |98.164MiB|98.164MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |98.296MiB|98.296MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |98.56MiB|98.56MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |99.284MiB|99.284MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

<details><summary>TOP 20 MEMORY INCREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |89.884MiB|89.884MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.4MiB|90.4MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.676MiB|91.676MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |91.672MiB|91.672MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |92.696MiB|92.696MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |93.076MiB|93.076MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |94.1MiB|94.1MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |94.804MiB|94.804MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |94.864MiB|94.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |95.128MiB|95.128MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |95.684MiB|95.684MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |96.024MiB|96.024MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |96.764MiB|96.764MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |96.76MiB|96.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |98.164MiB|98.164MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |98.296MiB|98.296MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |98.56MiB|98.56MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |99.284MiB|99.284MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

<details><summary>TOP 20 MEMORY DECREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |89.884MiB|89.884MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.4MiB|90.4MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.676MiB|91.676MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |91.672MiB|91.672MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |92.696MiB|92.696MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |93.076MiB|93.076MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |94.1MiB|94.1MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |94.804MiB|94.804MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |94.864MiB|94.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |95.128MiB|95.128MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |95.684MiB|95.684MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |96.024MiB|96.024MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |96.764MiB|96.764MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |96.76MiB|96.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |98.164MiB|98.164MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |98.296MiB|98.296MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |98.56MiB|98.56MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |99.284MiB|99.284MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

<details><summary>TOP 20 MEMORY DECREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |89.884MiB|89.884MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.4MiB|90.4MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.676MiB|91.676MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |91.672MiB|91.672MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |92.696MiB|92.696MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |93.076MiB|93.076MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |94.1MiB|94.1MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |94.804MiB|94.804MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |94.864MiB|94.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |95.128MiB|95.128MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |95.684MiB|95.684MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |96.024MiB|96.024MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |96.764MiB|96.764MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |96.76MiB|96.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |98.164MiB|98.164MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |98.296MiB|98.296MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |98.56MiB|98.56MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |99.284MiB|99.284MiB|0B| 0.0%|
</details>


## TOP 20 LHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  30.247s |1660.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  30.252s |1609.0MiB|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                        |  30.232s |1544.0MiB|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  30.300s |1414.0MiB|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                        |  30.217s |1203.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.170s |963.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  30.209s |916.0MiB|
|skdmxa/skdmxa-3x3-20.smt2                                                                  |  30.154s |904.0MiB|
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                                                        |  14.634s |863.0MiB|
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2                                        |   9.294s |833.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |  23.250s |828.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |  19.954s |816.0MiB|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |  16.673s |805.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.144s |739.0MiB|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                        |  30.127s |723.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.197s |715.0MiB|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2                                 |   5.116s |715.0MiB|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                   |  13.361s |712.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.155s |699.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.144s |696.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  30.247s |1660.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  30.252s |1609.0MiB|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                        |  30.232s |1544.0MiB|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  30.300s |1414.0MiB|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                        |  30.217s |1203.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.170s |963.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  30.209s |916.0MiB|
|skdmxa/skdmxa-3x3-20.smt2                                                                  |  30.154s |904.0MiB|
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                                                        |  14.634s |863.0MiB|
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2                                        |   9.294s |833.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |  23.250s |828.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |  19.954s |816.0MiB|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |  16.673s |805.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.144s |739.0MiB|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                        |  30.127s |723.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.197s |715.0MiB|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2                                 |   5.116s |715.0MiB|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                   |  13.361s |712.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.155s |699.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.144s |696.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.075s  |   0.075s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.097s  |   0.097s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.123s  |   0.123s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.121s  |   0.121s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.149s  |   0.149s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.147s  |   0.147s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.154s  |   0.154s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.164s  |   0.164s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.171s  |   0.171s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2                                             |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2                                             |   0.181s  |   0.181s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2                                         |   0.086s  |   0.086s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2                                         |   0.155s  |   0.155s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2                                         |   0.776s  |   0.776s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2                                         |   1.155s  |   1.155s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2                                         |   1.790s  |   1.790s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2                                         |   3.438s  |   3.438s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2                                  |   0.086s  |   0.086s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2                                  |   5.116s  |   5.116s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2                                         |   0.090s  |   0.090s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2                                         |   0.108s  |   0.108s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2                                         |   0.377s  |   0.377s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2                                         |   1.125s  |   1.125s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2                                         |   5.008s  |   5.008s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2                                         |   9.294s  |   9.294s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2                                      |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2                                      |   0.099s  |   0.099s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2                                      |   0.112s  |   0.112s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2                                      |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2                                      |   0.122s  |   0.122s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2                                      |   0.122s  |   0.122s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2                                      |   0.131s  |   0.131s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2                                      |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2                                      |   0.197s  |   0.197s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2                                      |   0.313s  |   0.313s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2                                      |   0.635s  |   0.635s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2                                      |   1.089s  |   1.089s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2                                      |   1.314s  |   1.314s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2                                      |   1.361s  |   1.361s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2                                      |   1.596s  |   1.596s  |   0.000s  | 0.0%|
|check/bignum_rdl1.smt2                                                                      |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|check/bignum_rdl2.smt2                                                                      |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-1.smt2                                                                   |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-10.smt2                                                                  |   0.172s  |   0.172s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-11.smt2                                                                  |   0.407s  |   0.407s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-12.smt2                                                                  |   0.554s  |   0.554s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-13.smt2                                                                  |   0.685s  |   0.685s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-14.smt2                                                                  |   1.043s  |   1.043s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-15.smt2                                                                  |   1.468s  |   1.468s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-16.smt2                                                                  |   1.980s  |   1.980s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-17.smt2                                                                  |   2.767s  |   2.767s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-18.smt2                                                                  |   2.809s  |   2.809s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-19.smt2                                                                  |   5.253s  |   5.253s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-2.smt2                                                                   |   0.086s  |   0.086s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-20.smt2                                                                  |   6.386s  |   6.386s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-3.smt2                                                                   |   0.093s  |   0.093s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-4.smt2                                                                   |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-5.smt2                                                                   |   0.098s  |   0.098s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-6.smt2                                                                   |   0.093s  |   0.093s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-7.smt2                                                                   |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-8.smt2                                                                   |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-9.smt2                                                                   |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-1.smt2                                                                   |   0.089s  |   0.089s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-10.smt2                                                                  |   3.550s  |   3.550s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-11.smt2                                                                  |   8.095s  |   8.095s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-12.smt2                                                                  |  11.530s  |  11.530s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-13.smt2                                                                  |  17.220s  |  17.220s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-14.smt2                                                                  |  30.049s  |  30.049s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-15.smt2                                                                  |  30.052s  |  30.052s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-16.smt2                                                                  |  30.039s  |  30.039s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-17.smt2                                                                  |  30.037s  |  30.037s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-18.smt2                                                                  |  30.046s  |  30.046s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-19.smt2                                                                  |  30.056s  |  30.056s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-2.smt2                                                                   |   0.112s  |   0.112s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-20.smt2                                                                  |  30.046s  |  30.046s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-3.smt2                                                                   |   0.104s  |   0.104s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-4.smt2                                                                   |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-5.smt2                                                                   |   0.102s  |   0.102s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-6.smt2                                                                   |   0.125s  |   0.125s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-7.smt2                                                                   |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-8.smt2                                                                   |   0.190s  |   0.190s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-9.smt2                                                                   |   0.906s  |   0.906s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-1.smt2                                                                   |   0.108s  |   0.108s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-10.smt2                                                                  |  14.850s  |  14.850s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-11.smt2                                                                  |  30.041s  |  30.041s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-12.smt2                                                                  |  30.029s  |  30.029s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-13.smt2                                                                  |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-14.smt2                                                                  |  30.064s  |  30.064s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-15.smt2                                                                  |  30.039s  |  30.039s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-16.smt2                                                                  |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-17.smt2                                                                  |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-18.smt2                                                                  |  30.046s  |  30.046s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-19.smt2                                                                  |  30.054s  |  30.054s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-2.smt2                                                                   |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-20.smt2                                                                  |  30.064s  |  30.064s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-3.smt2                                                                   |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-4.smt2                                                                   |   0.114s  |   0.114s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-5.smt2                                                                   |   0.128s  |   0.128s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-6.smt2                                                                   |   0.313s  |   0.313s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-7.smt2                                                                   |   0.179s  |   0.179s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-8.smt2                                                                   |   0.629s  |   0.629s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-9.smt2                                                                   |   3.905s  |   3.905s  |   0.000s  | 0.0%|
|scheduling/abz5_1000.smt2                                                                   |   0.216s  |   0.216s  |   0.000s  | 0.0%|
|scheduling/abz5_1200.smt2                                                                   |   3.786s  |   3.786s  |   0.000s  | 0.0%|
|scheduling/abz5_1234.smt2                                                                   |   3.907s  |   3.907s  |   0.000s  | 0.0%|
|scheduling/abz5_1300.smt2                                                                   |   0.513s  |   0.513s  |   0.000s  | 0.0%|
|scheduling/abz5_1400.smt2                                                                   |   0.410s  |   0.410s  |   0.000s  | 0.0%|
|scheduling/abz6_1000.smt2                                                                   |   0.404s  |   0.404s  |   0.000s  | 0.0%|
|scheduling/abz6_1100.smt2                                                                   |   0.304s  |   0.304s  |   0.000s  | 0.0%|
|scheduling/abz6_800.smt2                                                                    |   0.230s  |   0.230s  |   0.000s  | 0.0%|
|scheduling/abz6_900.smt2                                                                    |   0.364s  |   0.364s  |   0.000s  | 0.0%|
|scheduling/abz6_943.smt2                                                                    |   0.784s  |   0.784s  |   0.000s  | 0.0%|
|scheduling/abz7_500.smt2                                                                    |   2.218s  |   2.218s  |   0.000s  | 0.0%|
|scheduling/abz7_600.smt2                                                                    |  30.079s  |  30.079s  |   0.000s  | 0.0%|
|scheduling/abz7_667.smt2                                                                    |  30.102s  |  30.102s  |   0.000s  | 0.0%|
|scheduling/abz7_670.smt2                                                                    |  30.081s  |  30.081s  |   0.000s  | 0.0%|
|scheduling/abz7_691.smt2                                                                    |  30.080s  |  30.080s  |   0.000s  | 0.0%|
|scheduling/abz7_700.smt2                                                                    |  30.100s  |  30.100s  |   0.000s  | 0.0%|
|scheduling/abz7_800.smt2                                                                    |  30.091s  |  30.091s  |   0.000s  | 0.0%|
|scheduling/orb01_1000.smt2                                                                  |  28.007s  |  28.007s  |   0.000s  | 0.0%|
|scheduling/orb01_1059.smt2                                                                  |  30.050s  |  30.050s  |   0.000s  | 0.0%|
|scheduling/orb01_1100.smt2                                                                  |   9.995s  |   9.995s  |   0.000s  | 0.0%|
|scheduling/orb01_1200.smt2                                                                  |   1.036s  |   1.036s  |   0.000s  | 0.0%|
|scheduling/orb01_900.smt2                                                                   |   0.685s  |   0.685s  |   0.000s  | 0.0%|
|scheduling/orb02_1000.smt2                                                                  |   0.291s  |   0.291s  |   0.000s  | 0.0%|
|scheduling/orb02_700.smt2                                                                   |   0.323s  |   0.323s  |   0.000s  | 0.0%|
|scheduling/orb02_800.smt2                                                                   |   0.417s  |   0.417s  |   0.000s  | 0.0%|
|scheduling/orb02_888.smt2                                                                   |   3.175s  |   3.175s  |   0.000s  | 0.0%|
|scheduling/orb02_900.smt2                                                                   |   1.429s  |   1.429s  |   0.000s  | 0.0%|
|scheduling/orb03_1005.smt2                                                                  |  30.050s  |  30.050s  |   0.000s  | 0.0%|
|scheduling/orb03_1100.smt2                                                                  |   2.482s  |   2.482s  |   0.000s  | 0.0%|
|scheduling/orb03_1200.smt2                                                                  |   0.659s  |   0.659s  |   0.000s  | 0.0%|
|scheduling/orb03_850.smt2                                                                   |   0.450s  |   0.450s  |   0.000s  | 0.0%|
|scheduling/orb03_950.smt2                                                                   |   9.275s  |   9.275s  |   0.000s  | 0.0%|
|scheduling/orb04_1005.smt2                                                                  |  13.876s  |  13.876s  |   0.000s  | 0.0%|
|scheduling/orb04_1100.smt2                                                                  |   0.709s  |   0.709s  |   0.000s  | 0.0%|
|scheduling/orb04_1200.smt2                                                                  |   0.357s  |   0.357s  |   0.000s  | 0.0%|
|scheduling/orb04_850.smt2                                                                   |   0.330s  |   0.330s  |   0.000s  | 0.0%|
|scheduling/orb04_950.smt2                                                                   |   0.688s  |   0.688s  |   0.000s  | 0.0%|
|scheduling/orb05_1000.smt2                                                                  |   0.622s  |   0.622s  |   0.000s  | 0.0%|
|scheduling/orb05_700.smt2                                                                   |   0.284s  |   0.284s  |   0.000s  | 0.0%|
|scheduling/orb05_800.smt2                                                                   |   0.391s  |   0.391s  |   0.000s  | 0.0%|
|scheduling/orb05_887.smt2                                                                   |  11.053s  |  11.053s  |   0.000s  | 0.0%|
|scheduling/orb05_900.smt2                                                                   |   4.569s  |   4.569s  |   0.000s  | 0.0%|
|scheduling/orb06_1000.smt2                                                                  |  30.043s  |  30.043s  |   0.000s  | 0.0%|
|scheduling/orb06_1010.smt2                                                                  |  30.052s  |  30.052s  |   0.000s  | 0.0%|
|scheduling/orb06_1100.smt2                                                                  |   0.750s  |   0.750s  |   0.000s  | 0.0%|
|scheduling/orb06_1200.smt2                                                                  |   0.390s  |   0.390s  |   0.000s  | 0.0%|
|scheduling/orb06_900.smt2                                                                   |   0.596s  |   0.596s  |   0.000s  | 0.0%|
|scheduling/orb07_250.smt2                                                                   |   0.280s  |   0.280s  |   0.000s  | 0.0%|
|scheduling/orb07_330.smt2                                                                   |   0.348s  |   0.348s  |   0.000s  | 0.0%|
|scheduling/orb07_397.smt2                                                                   |   7.835s  |   7.835s  |   0.000s  | 0.0%|
|scheduling/orb07_430.smt2                                                                   |   0.952s  |   0.952s  |   0.000s  | 0.0%|
|scheduling/orb07_550.smt2                                                                   |   0.366s  |   0.366s  |   0.000s  | 0.0%|
|scheduling/orb08_1000.smt2                                                                  |   0.683s  |   0.683s  |   0.000s  | 0.0%|
|scheduling/orb08_700.smt2                                                                   |   0.289s  |   0.289s  |   0.000s  | 0.0%|
|scheduling/orb08_830.smt2                                                                   |   0.392s  |   0.392s  |   0.000s  | 0.0%|
|scheduling/orb08_888.smt2                                                                   |  12.117s  |  12.117s  |   0.000s  | 0.0%|
|scheduling/orb08_930.smt2                                                                   |   2.493s  |   2.493s  |   0.000s  | 0.0%|
|scheduling/orb09_1000.smt2                                                                  |   0.394s  |   0.394s  |   0.000s  | 0.0%|
|scheduling/orb09_1100.smt2                                                                  |   0.451s  |   0.451s  |   0.000s  | 0.0%|
|scheduling/orb09_800.smt2                                                                   |   0.335s  |   0.335s  |   0.000s  | 0.0%|
|scheduling/orb09_900.smt2                                                                   |   3.260s  |   3.260s  |   0.000s  | 0.0%|
|scheduling/orb09_934.smt2                                                                   |   4.853s  |   4.853s  |   0.000s  | 0.0%|
|scheduling/orb10_1000.smt2                                                                  |   0.845s  |   0.845s  |   0.000s  | 0.0%|
|scheduling/orb10_1100.smt2                                                                  |   0.457s  |   0.457s  |   0.000s  | 0.0%|
|scheduling/orb10_800.smt2                                                                   |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|scheduling/orb10_900.smt2                                                                   |   1.085s  |   1.085s  |   0.000s  | 0.0%|
|scheduling/orb10_944.smt2                                                                   |   8.008s  |   8.008s  |   0.000s  | 0.0%|
|scheduling/swv11_2900.smt2                                                                  |  30.130s  |  30.130s  |   0.000s  | 0.0%|
|scheduling/swv11_2983.smt2                                                                  |  30.216s  |  30.216s  |   0.000s  | 0.0%|
|scheduling/swv11_2988.smt2                                                                  |  30.224s  |  30.224s  |   0.000s  | 0.0%|
|scheduling/swv11_2992.smt2                                                                  |  30.167s  |  30.167s  |   0.000s  | 0.0%|
|scheduling/swv11_3050.smt2                                                                  |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|scheduling/swv12_2900.smt2                                                                  |  30.198s  |  30.198s  |   0.000s  | 0.0%|
|scheduling/swv12_2972.smt2                                                                  |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|scheduling/swv12_2990.smt2                                                                  |  30.162s  |  30.162s  |   0.000s  | 0.0%|
|scheduling/swv12_3004.smt2                                                                  |  30.155s  |  30.155s  |   0.000s  | 0.0%|
|scheduling/swv12_3050.smt2                                                                  |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|scheduling/swv13_3000.smt2                                                                  |  30.157s  |  30.157s  |   0.000s  | 0.0%|
|scheduling/swv13_3104.smt2                                                                  |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|scheduling/swv13_3150.smt2                                                                  |  30.197s  |  30.197s  |   0.000s  | 0.0%|
|scheduling/swv13_3200.smt2                                                                  |  30.140s  |  30.140s  |   0.000s  | 0.0%|
|scheduling/swv14_2800.smt2                                                                  |  30.145s  |  30.145s  |   0.000s  | 0.0%|
|scheduling/swv14_2885.smt2                                                                  |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|scheduling/swv14_2895.smt2                                                                  |  30.152s  |  30.152s  |   0.000s  | 0.0%|
|scheduling/swv14_2905.smt2                                                                  |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|scheduling/swv14_3000.smt2                                                                  |  30.142s  |  30.142s  |   0.000s  | 0.0%|
|scheduling/yn1_750.smt2                                                                     |   2.154s  |   2.154s  |   0.000s  | 0.0%|
|scheduling/yn1_827.smt2                                                                     |  30.098s  |  30.098s  |   0.000s  | 0.0%|
|scheduling/yn1_850.smt2                                                                     |  30.095s  |  30.095s  |   0.000s  | 0.0%|
|scheduling/yn1_887.smt2                                                                     |  30.081s  |  30.081s  |   0.000s  | 0.0%|
|scheduling/yn1_950.smt2                                                                     |  30.090s  |  30.090s  |   0.000s  | 0.0%|
|scheduling/yn2_750.smt2                                                                     |   4.814s  |   4.814s  |   0.000s  | 0.0%|
|scheduling/yn2_862.smt2                                                                     |  30.090s  |  30.090s  |   0.000s  | 0.0%|
|scheduling/yn2_890.smt2                                                                     |  30.128s  |  30.128s  |   0.000s  | 0.0%|
|scheduling/yn2_910.smt2                                                                     |  30.085s  |  30.085s  |   0.000s  | 0.0%|
|scheduling/yn2_950.smt2                                                                     |  30.086s  |  30.086s  |   0.000s  | 0.0%|
|scheduling/yn3_750.smt2                                                                     |   4.684s  |   4.684s  |   0.000s  | 0.0%|
|scheduling/yn3_828.smt2                                                                     |  30.065s  |  30.065s  |   0.000s  | 0.0%|
|scheduling/yn3_860.smt2                                                                     |  30.095s  |  30.095s  |   0.000s  | 0.0%|
|scheduling/yn3_894.smt2                                                                     |  30.097s  |  30.097s  |   0.000s  | 0.0%|
|scheduling/yn3_950.smt2                                                                     |  30.074s  |  30.074s  |   0.000s  | 0.0%|
|scheduling/yn4_1000.smt2                                                                    |  30.073s  |  30.073s  |   0.000s  | 0.0%|
|scheduling/yn4_850.smt2                                                                     |  30.096s  |  30.096s  |   0.000s  | 0.0%|
|scheduling/yn4_919.smt2                                                                     |  30.082s  |  30.082s  |   0.000s  | 0.0%|
|scheduling/yn4_950.smt2                                                                     |  30.098s  |  30.098s  |   0.000s  | 0.0%|
|scheduling/yn4_969.smt2                                                                     |  30.137s  |  30.137s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-10.smt2                                                                   |   1.986s  |   1.986s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-15.smt2                                                                   |  30.138s  |  30.138s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-20.smt2                                                                   |  30.154s  |  30.154s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-5.smt2                                                                    |   0.433s  |   0.433s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                                                         |   3.389s  |   3.389s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                                                    |   3.544s  |   3.544s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                                                         |  14.634s  |  14.634s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                                                    |   6.283s  |   6.283s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                         |  30.217s  |  30.217s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                                                    |   6.293s  |   6.293s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                         |  30.232s  |  30.232s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                                                    |   9.729s  |   9.729s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                         |  30.247s  |  30.247s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                                                    |  12.434s  |  12.434s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                         |  30.252s  |  30.252s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                    |  16.368s  |  16.368s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                         |  30.300s  |  30.300s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                    |  13.361s  |  13.361s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                         |  30.127s  |  30.127s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                    |  19.954s  |  19.954s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                         |  30.170s  |  30.170s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                    |  23.250s  |  23.250s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                         |  30.132s  |  30.132s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                    |  16.673s  |  16.673s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                         |  30.115s  |  30.115s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                    |  30.209s  |  30.209s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                                                          |   1.114s  |   1.114s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                                                     |   0.780s  |   0.780s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                                                          |   0.681s  |   0.681s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                                                     |   1.278s  |   1.278s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                                                          |   0.852s  |   0.852s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                                                     |   1.703s  |   1.703s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                                                          |   1.577s  |   1.577s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                                                     |   2.478s  |   2.478s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                                                          |   1.383s  |   1.383s  |   0.000s  | 0.0%|
</details>