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-param_tuning-no_inprocessing
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 4de2f5a5ab6580efcbd50a8755c69eac608e4a7c
Z3 branch: param-tuning
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config.false smt_parallel.inprocessing=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: new scoring

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-param_tuning-no_inprocessing
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 4de2f5a5ab6580efcbd50a8755c69eac608e4a7c
Z3 branch: param-tuning
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config.false smt_parallel.inprocessing=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: new scoring

</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.104s  |   0.104s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.129s  |   0.129s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.135s  |   0.135s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.151s  |   0.151s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.176s  |   0.176s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.196s  |   0.196s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.206s  |   0.206s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.214s  |   0.214s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.226s  |   0.226s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.210s  |   0.210s  |   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.104s  |   0.104s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.129s  |   0.129s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.135s  |   0.135s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.151s  |   0.151s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.176s  |   0.176s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.196s  |   0.196s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.206s  |   0.206s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.214s  |   0.214s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.226s  |   0.226s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.210s  |   0.210s  |   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.104s  |   0.104s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.129s  |   0.129s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.135s  |   0.135s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.151s  |   0.151s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.176s  |   0.176s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.196s  |   0.196s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.206s  |   0.206s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.214s  |   0.214s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.226s  |   0.226s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.210s  |   0.210s  |   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.104s  |   0.104s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.129s  |   0.129s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.135s  |   0.135s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.151s  |   0.151s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.176s  |   0.176s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.196s  |   0.196s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.206s  |   0.206s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.214s  |   0.214s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.226s  |   0.226s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.210s  |   0.210s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scheduling/swv12_2972.smt2                                                                 |  30.177s |696.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.172s |673.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.161s |637.0MiB|
|scheduling/swv14_2885.smt2                                                                 |  30.153s |607.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.150s |704.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.150s |682.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.146s |625.0MiB|
|scheduling/swv11_3050.smt2                                                                 |  30.146s |648.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.139s |682.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  30.133s |640.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  30.132s |629.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  30.130s |638.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.125s |689.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.124s |731.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.122s |694.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.118s |643.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.117s |629.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.117s |707.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.116s |677.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  30.110s |494.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scheduling/swv12_2972.smt2                                                                 |  30.177s |696.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.172s |673.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.161s |637.0MiB|
|scheduling/swv14_2885.smt2                                                                 |  30.153s |607.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.150s |704.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.150s |682.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.146s |625.0MiB|
|scheduling/swv11_3050.smt2                                                                 |  30.146s |648.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.139s |682.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  30.133s |640.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  30.132s |629.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  30.130s |638.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.125s |689.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.124s |731.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.122s |694.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.118s |643.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.117s |629.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.117s |707.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.116s |677.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  30.110s |494.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                                             |90.408MiB|90.408MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |91.308MiB|91.308MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.932MiB|91.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |93.184MiB|93.184MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |93.404MiB|93.404MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |94.072MiB|94.072MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |95.012MiB|95.012MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |95.636MiB|95.636MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |95.86MiB|95.86MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |96.2MiB|96.2MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |96.412MiB|96.412MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |97.268MiB|97.268MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |98.216MiB|98.216MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |98.228MiB|98.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |99.156MiB|99.156MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |99.228MiB|99.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |99.932MiB|99.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |98.0MiB|98.0MiB|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                                             |90.408MiB|90.408MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |91.308MiB|91.308MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.932MiB|91.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |93.184MiB|93.184MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |93.404MiB|93.404MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |94.072MiB|94.072MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |95.012MiB|95.012MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |95.636MiB|95.636MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |95.86MiB|95.86MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |96.2MiB|96.2MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |96.412MiB|96.412MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |97.268MiB|97.268MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |98.216MiB|98.216MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |98.228MiB|98.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |99.156MiB|99.156MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |99.228MiB|99.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |99.932MiB|99.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |98.0MiB|98.0MiB|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                                             |90.408MiB|90.408MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |91.308MiB|91.308MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.932MiB|91.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |93.184MiB|93.184MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |93.404MiB|93.404MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |94.072MiB|94.072MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |95.012MiB|95.012MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |95.636MiB|95.636MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |95.86MiB|95.86MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |96.2MiB|96.2MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |96.412MiB|96.412MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |97.268MiB|97.268MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |98.216MiB|98.216MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |98.228MiB|98.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |99.156MiB|99.156MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |99.228MiB|99.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |99.932MiB|99.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |98.0MiB|98.0MiB|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                                             |90.408MiB|90.408MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |90.904MiB|90.904MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |91.308MiB|91.308MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |91.932MiB|91.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |92.44MiB|92.44MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |93.184MiB|93.184MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |93.404MiB|93.404MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |94.072MiB|94.072MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |95.012MiB|95.012MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |95.636MiB|95.636MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |95.86MiB|95.86MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |96.2MiB|96.2MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |96.412MiB|96.412MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |97.268MiB|97.268MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |98.216MiB|98.216MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |98.228MiB|98.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |99.156MiB|99.156MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |99.228MiB|99.228MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |99.932MiB|99.932MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |98.0MiB|98.0MiB|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-20.induction.cvc.smt2                                                   |  24.417s |973.0MiB|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |  10.477s |829.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |  11.995s |826.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |  11.841s |810.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.124s |731.0MiB|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                        |  30.109s |729.0MiB|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                   |  14.764s |725.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.117s |707.0MiB|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                   |   7.916s |705.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.150s |704.0MiB|
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                                                   |   6.145s |701.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  30.177s |696.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.122s |694.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.125s |689.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.150s |682.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.139s |682.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.116s |677.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.172s |673.0MiB|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  30.109s |666.0MiB|
|scheduling/swv11_3050.smt2                                                                 |  30.146s |648.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-20.induction.cvc.smt2                                                   |  24.417s |973.0MiB|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |  10.477s |829.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |  11.995s |826.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |  11.841s |810.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.124s |731.0MiB|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                        |  30.109s |729.0MiB|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                   |  14.764s |725.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.117s |707.0MiB|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                   |   7.916s |705.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.150s |704.0MiB|
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                                                   |   6.145s |701.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  30.177s |696.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.122s |694.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.125s |689.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.150s |682.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.139s |682.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.116s |677.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.172s |673.0MiB|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  30.109s |666.0MiB|
|scheduling/swv11_3050.smt2                                                                 |  30.146s |648.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.104s  |   0.104s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.115s  |   0.115s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.129s  |   0.129s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.135s  |   0.135s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.151s  |   0.151s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.176s  |   0.176s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.188s  |   0.188s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.196s  |   0.196s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.206s  |   0.206s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.214s  |   0.214s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.226s  |   0.226s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.210s  |   0.210s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2                                             |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2                                             |   0.246s  |   0.246s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2                                         |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2                                         |   0.207s  |   0.207s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2                                         |   1.390s  |   1.390s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2                                         |  13.937s  |  13.937s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2                                         |  30.031s  |  30.031s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2                                         |  30.069s  |  30.069s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2                                  |   0.096s  |   0.096s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2                                  |  30.078s  |  30.078s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2                                         |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2                                         |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2                                         |   0.507s  |   0.507s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2                                         |  19.309s  |  19.309s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2                                         |  30.062s  |  30.062s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2                                         |  30.080s  |  30.080s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2                                      |   0.127s  |   0.127s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2                                      |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2                                      |   0.145s  |   0.145s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2                                      |   0.133s  |   0.133s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2                                      |   0.130s  |   0.130s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2                                      |   0.161s  |   0.161s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2                                      |   0.170s  |   0.170s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2                                      |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2                                      |   0.273s  |   0.273s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2                                      |   0.470s  |   0.470s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2                                      |   0.739s  |   0.739s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2                                      |   2.036s  |   2.036s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2                                      |   3.300s  |   3.300s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2                                      |   3.784s  |   3.784s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2                                      |   5.516s  |   5.516s  |   0.000s  | 0.0%|
|check/bignum_rdl1.smt2                                                                      |   0.099s  |   0.099s  |   0.000s  | 0.0%|
|check/bignum_rdl2.smt2                                                                      |   0.102s  |   0.102s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-1.smt2                                                                   |   0.175s  |   0.175s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-10.smt2                                                                  |   0.166s  |   0.166s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-11.smt2                                                                  |   0.198s  |   0.198s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-12.smt2                                                                  |   0.253s  |   0.253s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-13.smt2                                                                  |   0.297s  |   0.297s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-14.smt2                                                                  |   0.421s  |   0.421s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-15.smt2                                                                  |   0.461s  |   0.461s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-16.smt2                                                                  |   0.352s  |   0.352s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-17.smt2                                                                  |   0.564s  |   0.564s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-18.smt2                                                                  |   0.960s  |   0.960s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-19.smt2                                                                  |   1.172s  |   1.172s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-2.smt2                                                                   |   0.100s  |   0.100s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-20.smt2                                                                  |   1.335s  |   1.335s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-3.smt2                                                                   |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-4.smt2                                                                   |   0.200s  |   0.200s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-5.smt2                                                                   |   0.103s  |   0.103s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-6.smt2                                                                   |   0.108s  |   0.108s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-7.smt2                                                                   |   0.142s  |   0.142s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-8.smt2                                                                   |   0.227s  |   0.227s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-9.smt2                                                                   |   0.162s  |   0.162s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-1.smt2                                                                   |   0.139s  |   0.139s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-10.smt2                                                                  |   0.804s  |   0.804s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-11.smt2                                                                  |   1.340s  |   1.340s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-12.smt2                                                                  |   1.824s  |   1.824s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-13.smt2                                                                  |   1.985s  |   1.985s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-14.smt2                                                                  |   3.517s  |   3.517s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-15.smt2                                                                  |   5.805s  |   5.805s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-16.smt2                                                                  |   8.043s  |   8.043s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-17.smt2                                                                  |  10.967s  |  10.967s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-18.smt2                                                                  |  18.128s  |  18.128s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-19.smt2                                                                  |  21.261s  |  21.261s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-2.smt2                                                                   |   0.203s  |   0.203s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-20.smt2                                                                  |  27.207s  |  27.207s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-3.smt2                                                                   |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-4.smt2                                                                   |   0.102s  |   0.102s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-5.smt2                                                                   |   0.128s  |   0.128s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-6.smt2                                                                   |   0.132s  |   0.132s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-7.smt2                                                                   |   0.216s  |   0.216s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-8.smt2                                                                   |   0.244s  |   0.244s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-9.smt2                                                                   |   0.301s  |   0.301s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-1.smt2                                                                   |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-10.smt2                                                                  |   2.531s  |   2.531s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-11.smt2                                                                  |   3.586s  |   3.586s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-12.smt2                                                                  |   6.827s  |   6.827s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-13.smt2                                                                  |  12.198s  |  12.198s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-14.smt2                                                                  |  24.288s  |  24.288s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-15.smt2                                                                  |  30.021s  |  30.021s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-16.smt2                                                                  |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-17.smt2                                                                  |  30.050s  |  30.050s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-18.smt2                                                                  |  30.061s  |  30.061s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-19.smt2                                                                  |  30.051s  |  30.051s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-2.smt2                                                                   |   0.087s  |   0.087s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-20.smt2                                                                  |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-3.smt2                                                                   |   0.120s  |   0.120s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-4.smt2                                                                   |   0.159s  |   0.159s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-5.smt2                                                                   |   0.136s  |   0.136s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-6.smt2                                                                   |   0.358s  |   0.358s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-7.smt2                                                                   |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-8.smt2                                                                   |   0.315s  |   0.315s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-9.smt2                                                                   |   1.116s  |   1.116s  |   0.000s  | 0.0%|
|scheduling/abz5_1000.smt2                                                                   |   0.311s  |   0.311s  |   0.000s  | 0.0%|
|scheduling/abz5_1200.smt2                                                                   |   3.535s  |   3.535s  |   0.000s  | 0.0%|
|scheduling/abz5_1234.smt2                                                                   |   2.537s  |   2.537s  |   0.000s  | 0.0%|
|scheduling/abz5_1300.smt2                                                                   |   0.612s  |   0.612s  |   0.000s  | 0.0%|
|scheduling/abz5_1400.smt2                                                                   |   0.461s  |   0.461s  |   0.000s  | 0.0%|
|scheduling/abz6_1000.smt2                                                                   |   0.444s  |   0.444s  |   0.000s  | 0.0%|
|scheduling/abz6_1100.smt2                                                                   |   0.320s  |   0.320s  |   0.000s  | 0.0%|
|scheduling/abz6_800.smt2                                                                    |   0.334s  |   0.334s  |   0.000s  | 0.0%|
|scheduling/abz6_900.smt2                                                                    |   0.409s  |   0.409s  |   0.000s  | 0.0%|
|scheduling/abz6_943.smt2                                                                    |   1.162s  |   1.162s  |   0.000s  | 0.0%|
|scheduling/abz7_500.smt2                                                                    |   3.281s  |   3.281s  |   0.000s  | 0.0%|
|scheduling/abz7_600.smt2                                                                    |  30.075s  |  30.075s  |   0.000s  | 0.0%|
|scheduling/abz7_667.smt2                                                                    |  30.066s  |  30.066s  |   0.000s  | 0.0%|
|scheduling/abz7_670.smt2                                                                    |  30.087s  |  30.087s  |   0.000s  | 0.0%|
|scheduling/abz7_691.smt2                                                                    |  30.081s  |  30.081s  |   0.000s  | 0.0%|
|scheduling/abz7_700.smt2                                                                    |  30.078s  |  30.078s  |   0.000s  | 0.0%|
|scheduling/abz7_800.smt2                                                                    |  30.077s  |  30.077s  |   0.000s  | 0.0%|
|scheduling/orb01_1000.smt2                                                                  |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|scheduling/orb01_1059.smt2                                                                  |  30.063s  |  30.063s  |   0.000s  | 0.0%|
|scheduling/orb01_1100.smt2                                                                  |   7.398s  |   7.398s  |   0.000s  | 0.0%|
|scheduling/orb01_1200.smt2                                                                  |   1.999s  |   1.999s  |   0.000s  | 0.0%|
|scheduling/orb01_900.smt2                                                                   |   0.646s  |   0.646s  |   0.000s  | 0.0%|
|scheduling/orb02_1000.smt2                                                                  |   0.331s  |   0.331s  |   0.000s  | 0.0%|
|scheduling/orb02_700.smt2                                                                   |   0.286s  |   0.286s  |   0.000s  | 0.0%|
|scheduling/orb02_800.smt2                                                                   |   0.371s  |   0.371s  |   0.000s  | 0.0%|
|scheduling/orb02_888.smt2                                                                   |   2.946s  |   2.946s  |   0.000s  | 0.0%|
|scheduling/orb02_900.smt2                                                                   |   0.910s  |   0.910s  |   0.000s  | 0.0%|
|scheduling/orb03_1005.smt2                                                                  |  30.050s  |  30.050s  |   0.000s  | 0.0%|
|scheduling/orb03_1100.smt2                                                                  |   0.846s  |   0.846s  |   0.000s  | 0.0%|
|scheduling/orb03_1200.smt2                                                                  |   0.642s  |   0.642s  |   0.000s  | 0.0%|
|scheduling/orb03_850.smt2                                                                   |   0.423s  |   0.423s  |   0.000s  | 0.0%|
|scheduling/orb03_950.smt2                                                                   |  18.715s  |  18.715s  |   0.000s  | 0.0%|
|scheduling/orb04_1005.smt2                                                                  |   7.330s  |   7.330s  |   0.000s  | 0.0%|
|scheduling/orb04_1100.smt2                                                                  |   0.839s  |   0.839s  |   0.000s  | 0.0%|
|scheduling/orb04_1200.smt2                                                                  |   0.382s  |   0.382s  |   0.000s  | 0.0%|
|scheduling/orb04_850.smt2                                                                   |   0.323s  |   0.323s  |   0.000s  | 0.0%|
|scheduling/orb04_950.smt2                                                                   |   0.669s  |   0.669s  |   0.000s  | 0.0%|
|scheduling/orb05_1000.smt2                                                                  |   0.535s  |   0.535s  |   0.000s  | 0.0%|
|scheduling/orb05_700.smt2                                                                   |   0.260s  |   0.260s  |   0.000s  | 0.0%|
|scheduling/orb05_800.smt2                                                                   |   0.431s  |   0.431s  |   0.000s  | 0.0%|
|scheduling/orb05_887.smt2                                                                   |   7.453s  |   7.453s  |   0.000s  | 0.0%|
|scheduling/orb05_900.smt2                                                                   |   1.588s  |   1.588s  |   0.000s  | 0.0%|
|scheduling/orb06_1000.smt2                                                                  |  30.038s  |  30.038s  |   0.000s  | 0.0%|
|scheduling/orb06_1010.smt2                                                                  |  30.057s  |  30.057s  |   0.000s  | 0.0%|
|scheduling/orb06_1100.smt2                                                                  |   5.171s  |   5.171s  |   0.000s  | 0.0%|
|scheduling/orb06_1200.smt2                                                                  |   0.345s  |   0.345s  |   0.000s  | 0.0%|
|scheduling/orb06_900.smt2                                                                   |   0.568s  |   0.568s  |   0.000s  | 0.0%|
|scheduling/orb07_250.smt2                                                                   |   0.254s  |   0.254s  |   0.000s  | 0.0%|
|scheduling/orb07_330.smt2                                                                   |   0.328s  |   0.328s  |   0.000s  | 0.0%|
|scheduling/orb07_397.smt2                                                                   |   5.457s  |   5.457s  |   0.000s  | 0.0%|
|scheduling/orb07_430.smt2                                                                   |   0.689s  |   0.689s  |   0.000s  | 0.0%|
|scheduling/orb07_550.smt2                                                                   |   0.352s  |   0.352s  |   0.000s  | 0.0%|
|scheduling/orb08_1000.smt2                                                                  |   0.611s  |   0.611s  |   0.000s  | 0.0%|
|scheduling/orb08_700.smt2                                                                   |   0.303s  |   0.303s  |   0.000s  | 0.0%|
|scheduling/orb08_830.smt2                                                                   |   0.424s  |   0.424s  |   0.000s  | 0.0%|
|scheduling/orb08_888.smt2                                                                   |  14.918s  |  14.918s  |   0.000s  | 0.0%|
|scheduling/orb08_930.smt2                                                                   |   7.391s  |   7.391s  |   0.000s  | 0.0%|
|scheduling/orb09_1000.smt2                                                                  |   0.509s  |   0.509s  |   0.000s  | 0.0%|
|scheduling/orb09_1100.smt2                                                                  |   0.277s  |   0.277s  |   0.000s  | 0.0%|
|scheduling/orb09_800.smt2                                                                   |   0.324s  |   0.324s  |   0.000s  | 0.0%|
|scheduling/orb09_900.smt2                                                                   |   2.296s  |   2.296s  |   0.000s  | 0.0%|
|scheduling/orb09_934.smt2                                                                   |   1.237s  |   1.237s  |   0.000s  | 0.0%|
|scheduling/orb10_1000.smt2                                                                  |   1.511s  |   1.511s  |   0.000s  | 0.0%|
|scheduling/orb10_1100.smt2                                                                  |   0.370s  |   0.370s  |   0.000s  | 0.0%|
|scheduling/orb10_800.smt2                                                                   |   0.254s  |   0.254s  |   0.000s  | 0.0%|
|scheduling/orb10_900.smt2                                                                   |   0.983s  |   0.983s  |   0.000s  | 0.0%|
|scheduling/orb10_944.smt2                                                                   |   6.458s  |   6.458s  |   0.000s  | 0.0%|
|scheduling/swv11_2900.smt2                                                                  |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|scheduling/swv11_2983.smt2                                                                  |  30.146s  |  30.146s  |   0.000s  | 0.0%|
|scheduling/swv11_2988.smt2                                                                  |  30.132s  |  30.132s  |   0.000s  | 0.0%|
|scheduling/swv11_2992.smt2                                                                  |  30.117s  |  30.117s  |   0.000s  | 0.0%|
|scheduling/swv11_3050.smt2                                                                  |  30.146s  |  30.146s  |   0.000s  | 0.0%|
|scheduling/swv12_2900.smt2                                                                  |  30.125s  |  30.125s  |   0.000s  | 0.0%|
|scheduling/swv12_2972.smt2                                                                  |  30.177s  |  30.177s  |   0.000s  | 0.0%|
|scheduling/swv12_2990.smt2                                                                  |  30.116s  |  30.116s  |   0.000s  | 0.0%|
|scheduling/swv12_3004.smt2                                                                  |  30.139s  |  30.139s  |   0.000s  | 0.0%|
|scheduling/swv12_3050.smt2                                                                  |  30.124s  |  30.124s  |   0.000s  | 0.0%|
|scheduling/swv13_3000.smt2                                                                  |  30.150s  |  30.150s  |   0.000s  | 0.0%|
|scheduling/swv13_3104.smt2                                                                  |  30.122s  |  30.122s  |   0.000s  | 0.0%|
|scheduling/swv13_3150.smt2                                                                  |  30.117s  |  30.117s  |   0.000s  | 0.0%|
|scheduling/swv13_3200.smt2                                                                  |  30.150s  |  30.150s  |   0.000s  | 0.0%|
|scheduling/swv14_2800.smt2                                                                  |  30.130s  |  30.130s  |   0.000s  | 0.0%|
|scheduling/swv14_2885.smt2                                                                  |  30.153s  |  30.153s  |   0.000s  | 0.0%|
|scheduling/swv14_2895.smt2                                                                  |  30.161s  |  30.161s  |   0.000s  | 0.0%|
|scheduling/swv14_2905.smt2                                                                  |  30.106s  |  30.106s  |   0.000s  | 0.0%|
|scheduling/swv14_3000.smt2                                                                  |  30.172s  |  30.172s  |   0.000s  | 0.0%|
|scheduling/yn1_750.smt2                                                                     |   2.446s  |   2.446s  |   0.000s  | 0.0%|
|scheduling/yn1_827.smt2                                                                     |  30.076s  |  30.076s  |   0.000s  | 0.0%|
|scheduling/yn1_850.smt2                                                                     |  30.095s  |  30.095s  |   0.000s  | 0.0%|
|scheduling/yn1_887.smt2                                                                     |  30.068s  |  30.068s  |   0.000s  | 0.0%|
|scheduling/yn1_950.smt2                                                                     |  30.076s  |  30.076s  |   0.000s  | 0.0%|
|scheduling/yn2_750.smt2                                                                     |   8.520s  |   8.520s  |   0.000s  | 0.0%|
|scheduling/yn2_862.smt2                                                                     |  30.087s  |  30.087s  |   0.000s  | 0.0%|
|scheduling/yn2_890.smt2                                                                     |  30.086s  |  30.086s  |   0.000s  | 0.0%|
|scheduling/yn2_910.smt2                                                                     |  30.090s  |  30.090s  |   0.000s  | 0.0%|
|scheduling/yn2_950.smt2                                                                     |  30.069s  |  30.069s  |   0.000s  | 0.0%|
|scheduling/yn3_750.smt2                                                                     |   5.611s  |   5.611s  |   0.000s  | 0.0%|
|scheduling/yn3_828.smt2                                                                     |  30.076s  |  30.076s  |   0.000s  | 0.0%|
|scheduling/yn3_860.smt2                                                                     |  30.085s  |  30.085s  |   0.000s  | 0.0%|
|scheduling/yn3_894.smt2                                                                     |  30.093s  |  30.093s  |   0.000s  | 0.0%|
|scheduling/yn3_950.smt2                                                                     |  30.073s  |  30.073s  |   0.000s  | 0.0%|
|scheduling/yn4_1000.smt2                                                                    |  30.079s  |  30.079s  |   0.000s  | 0.0%|
|scheduling/yn4_850.smt2                                                                     |  30.078s  |  30.078s  |   0.000s  | 0.0%|
|scheduling/yn4_919.smt2                                                                     |  30.094s  |  30.094s  |   0.000s  | 0.0%|
|scheduling/yn4_950.smt2                                                                     |  30.084s  |  30.084s  |   0.000s  | 0.0%|
|scheduling/yn4_969.smt2                                                                     |  30.081s  |  30.081s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-10.smt2                                                                   |   2.627s  |   2.627s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-15.smt2                                                                   |  30.074s  |  30.074s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-20.smt2                                                                   |  30.067s  |  30.067s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-5.smt2                                                                    |   0.781s  |   0.781s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                                                         |   2.330s  |   2.330s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                                                    |   3.031s  |   3.031s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                                                         |   5.970s  |   5.970s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                                                    |   4.039s  |   4.039s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                         |  18.220s  |  18.220s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                                                    |   3.721s  |   3.721s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                         |  30.099s  |  30.099s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                                                    |   7.241s  |   7.241s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                         |  30.110s  |  30.110s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                                                    |   6.145s  |   6.145s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                         |  30.087s  |  30.087s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                    |  14.764s  |  14.764s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                         |  30.092s  |  30.092s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                    |   7.916s  |   7.916s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                         |  30.106s  |  30.106s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                    |  11.841s  |  11.841s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                         |  30.118s  |  30.118s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                    |  11.995s  |  11.995s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                         |  30.109s  |  30.109s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                    |  10.477s  |  10.477s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                         |  30.109s  |  30.109s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                    |  24.417s  |  24.417s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                                                          |   1.249s  |   1.249s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                                                     |   0.904s  |   0.904s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                                                          |   0.833s  |   0.833s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                                                     |   1.126s  |   1.126s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                                                          |   1.117s  |   1.117s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                                                     |   1.636s  |   1.636s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                                                          |   1.385s  |   1.385s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                                                     |   1.933s  |   1.933s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                                                          |   1.676s  |   1.676s  |   0.000s  | 0.0%|
</details>