Comparing data and data # SUMMARY - LHS tests = 308 - RHS tests = 308 - LHS success = 308 (100.0%) - RHS success = 308 (100.0%) ## METADATA
METADATA # LHS 
Ramon benchmark for Z3
-
Job description: master on certora
Job tag: master_cert
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 81a86c21021f3a04cdba9a8c426a44e8ed1ca7b5
Z3 branch: master
Z3 options: "-T:200 smt.random_seed=111"
Z3 inputs: inputs/certora
Z3 commit message: Bump actions/checkout from 5.0.1 to 6.0.2 (#9111)

Bumps [actions/checkout](https://github.com/actions/checkout) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] 
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
# RHS 
Ramon benchmark for Z3
-
Job description: master on certora
Job tag: master_cert
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 81a86c21021f3a04cdba9a8c426a44e8ed1ca7b5
Z3 branch: master
Z3 options: "-T:200 smt.random_seed=111"
Z3 inputs: inputs/certora
Z3 commit message: Bump actions/checkout from 5.0.1 to 6.0.2 (#9111)

Bumps [actions/checkout](https://github.com/actions/checkout) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] 
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
## TOP 20 RUNTIME INCREASE
TOP 20 RUNTIME INCREASE |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 | 1.020s | 1.020s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 | 1.169s | 1.169s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 | 2.596s | 2.596s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 | 0.723s | 0.723s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 | 0.499s | 0.499s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 | 2.188s | 2.188s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 | 1.395s | 1.395s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 | 1.069s | 1.069s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 | 27.371s | 27.371s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 | 3.504s | 3.504s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 | 200.037s | 200.037s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 | 2.127s | 2.127s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 | 200.056s | 200.056s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 | 57.948s | 57.948s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 | 40.553s | 40.553s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 | 4.866s | 4.866s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 | 11.128s | 11.128s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 | 10.187s | 10.187s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 | 5.184s | 5.184s | 0.000s | 0.0%|
## TOP 20 RUNTIME INCREASE (RELATIVE)
TOP 20 RUNTIME INCREASE (RELATIVE) |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 | 1.020s | 1.020s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 | 1.169s | 1.169s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 | 2.596s | 2.596s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 | 0.723s | 0.723s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 | 0.499s | 0.499s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 | 2.188s | 2.188s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 | 1.395s | 1.395s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 | 1.069s | 1.069s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 | 27.371s | 27.371s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 | 3.504s | 3.504s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 | 200.037s | 200.037s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 | 2.127s | 2.127s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 | 200.056s | 200.056s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 | 57.948s | 57.948s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 | 40.553s | 40.553s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 | 4.866s | 4.866s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 | 11.128s | 11.128s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 | 10.187s | 10.187s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 | 5.184s | 5.184s | 0.000s | 0.0%|
## TOP 20 RUNTIME DECREASE
TOP 20 RUNTIME DECREASE |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 | 1.020s | 1.020s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 | 1.169s | 1.169s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 | 2.596s | 2.596s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 | 0.723s | 0.723s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 | 0.499s | 0.499s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 | 2.188s | 2.188s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 | 1.395s | 1.395s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 | 1.069s | 1.069s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 | 27.371s | 27.371s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 | 3.504s | 3.504s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 | 200.037s | 200.037s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 | 2.127s | 2.127s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 | 200.056s | 200.056s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 | 57.948s | 57.948s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 | 40.553s | 40.553s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 | 4.866s | 4.866s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 | 11.128s | 11.128s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 | 10.187s | 10.187s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 | 5.184s | 5.184s | 0.000s | 0.0%|
## TOP 20 RUNTIME DECREASE (RELATIVE)
TOP 20 RUNTIME DECREASE (RELATIVE) |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 | 1.020s | 1.020s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 | 1.169s | 1.169s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 | 2.596s | 2.596s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 | 0.723s | 0.723s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 | 0.499s | 0.499s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 | 2.188s | 2.188s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 | 1.395s | 1.395s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 | 1.069s | 1.069s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 | 27.371s | 27.371s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 | 3.504s | 3.504s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 | 200.037s | 200.037s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 | 2.127s | 2.127s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 | 200.056s | 200.056s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 | 57.948s | 57.948s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 | 40.553s | 40.553s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 | 4.866s | 4.866s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 | 11.128s | 11.128s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 | 10.187s | 10.187s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 | 5.184s | 5.184s | 0.000s | 0.0%|
## TOP 20 LHS FILES, BY RUNTIME
TOP 20 LHS FILES, BY RUNTIME |FILE |TIME |MEM | |------------|----------:|---------:| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFLIA.smt2 | 200.312s |3064.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFDTLIA.smt2 | 200.287s |2895.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFDTLIA.smt2 | 200.246s |2470.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFLIA.smt2 | 200.232s |2346.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFLIA.smt2 | 200.227s |2257.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFDTLIA.smt2 | 200.224s |2264.0MiB| |66603_accdadf23a1cf70ae043_76_QF_UFNIA.smt2 | 200.168s |1565.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFLIA.smt2 | 200.163s |1721.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFLIA.smt2 | 200.148s |1383.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFNIA.smt2 | 200.128s |1322.0MiB| |3106_1c933134166dbad31f79_38_QF_UFNIA.smt2 | 200.119s |900.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFNIA.smt2 | 200.116s |1200.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFLIA.smt2 | 200.115s |903.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFLIA.smt2 | 200.110s |1153.0MiB| |3106_1c933134166dbad31f79_38_QF_UFLIA.smt2 | 200.109s |870.0MiB| |66603_accdadf23a1cf70ae043_73_QF_UFLIA.smt2 | 200.104s |914.0MiB| |83314_a702bf8b823398c9e37a_4_UFLIA.smt2 | 200.103s |794.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFDTLIA.smt2 | 200.101s |1070.0MiB| |44788_1965f0d6d94d5d8054ba_36_QF_UFDTLIA.smt2 | 200.099s |909.0MiB| |83314_a702bf8b823398c9e37a_3_UFLIA.smt2 | 200.089s |615.0MiB|
## TOP 20 RHS FILES, BY RUNTIME
TOP 20 RHS FILES, BY RUNTIME |FILE |TIME |MEM | |------------|----------:|---------:| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFLIA.smt2 | 200.312s |3064.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFDTLIA.smt2 | 200.287s |2895.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFDTLIA.smt2 | 200.246s |2470.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFLIA.smt2 | 200.232s |2346.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFLIA.smt2 | 200.227s |2257.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFDTLIA.smt2 | 200.224s |2264.0MiB| |66603_accdadf23a1cf70ae043_76_QF_UFNIA.smt2 | 200.168s |1565.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFLIA.smt2 | 200.163s |1721.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFLIA.smt2 | 200.148s |1383.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFNIA.smt2 | 200.128s |1322.0MiB| |3106_1c933134166dbad31f79_38_QF_UFNIA.smt2 | 200.119s |900.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFNIA.smt2 | 200.116s |1200.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFLIA.smt2 | 200.115s |903.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFLIA.smt2 | 200.110s |1153.0MiB| |3106_1c933134166dbad31f79_38_QF_UFLIA.smt2 | 200.109s |870.0MiB| |66603_accdadf23a1cf70ae043_73_QF_UFLIA.smt2 | 200.104s |914.0MiB| |83314_a702bf8b823398c9e37a_4_UFLIA.smt2 | 200.103s |794.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFDTLIA.smt2 | 200.101s |1070.0MiB| |44788_1965f0d6d94d5d8054ba_36_QF_UFDTLIA.smt2 | 200.099s |909.0MiB| |83314_a702bf8b823398c9e37a_3_UFLIA.smt2 | 200.089s |615.0MiB|
## TOP 20 MEMORY INCREASE
TOP 20 MEMORY INCREASE |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 |36.604MiB|36.604MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 |30.144MiB|30.144MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 |40.668MiB|40.668MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 |31.976MiB|31.976MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 |34.832MiB|34.832MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 |28.64MiB|28.64MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 |35.576MiB|35.576MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 |28.328MiB|28.328MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 |85.756MiB|85.756MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 |23.944MiB|23.944MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 |180.0MiB|180.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 |23.6MiB|23.6MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 |471.0MiB|471.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 |40.104MiB|40.104MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 |504.0MiB|504.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 |37.288MiB|37.288MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 |68.636MiB|68.636MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 |34.08MiB|34.08MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 |86.996MiB|86.996MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 |31.812MiB|31.812MiB|0B| 0.0%|
## TOP 20 MEMORY INCREASE (RELATIVE)
TOP 20 MEMORY INCREASE (RELATIVE) |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 |36.604MiB|36.604MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 |30.144MiB|30.144MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 |40.668MiB|40.668MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 |31.976MiB|31.976MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 |34.832MiB|34.832MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 |28.64MiB|28.64MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 |35.576MiB|35.576MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 |28.328MiB|28.328MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 |85.756MiB|85.756MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 |23.944MiB|23.944MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 |180.0MiB|180.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 |23.6MiB|23.6MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 |471.0MiB|471.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 |40.104MiB|40.104MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 |504.0MiB|504.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 |37.288MiB|37.288MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 |68.636MiB|68.636MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 |34.08MiB|34.08MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 |86.996MiB|86.996MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 |31.812MiB|31.812MiB|0B| 0.0%|
## TOP 20 MEMORY DECREASE
TOP 20 MEMORY DECREASE |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 |36.604MiB|36.604MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 |30.144MiB|30.144MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 |40.668MiB|40.668MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 |31.976MiB|31.976MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 |34.832MiB|34.832MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 |28.64MiB|28.64MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 |35.576MiB|35.576MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 |28.328MiB|28.328MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 |85.756MiB|85.756MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 |23.944MiB|23.944MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 |180.0MiB|180.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 |23.6MiB|23.6MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 |471.0MiB|471.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 |40.104MiB|40.104MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 |504.0MiB|504.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 |37.288MiB|37.288MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 |68.636MiB|68.636MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 |34.08MiB|34.08MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 |86.996MiB|86.996MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 |31.812MiB|31.812MiB|0B| 0.0%|
## TOP 20 MEMORY DECREASE (RELATIVE)
TOP 20 MEMORY DECREASE (RELATIVE) |FILE |MEM_L |MEM_R |DIFF |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 |36.604MiB|36.604MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 |30.144MiB|30.144MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 |40.668MiB|40.668MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 |31.976MiB|31.976MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 |34.832MiB|34.832MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 |28.64MiB|28.64MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 |35.576MiB|35.576MiB|0B| 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 |28.328MiB|28.328MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 |85.756MiB|85.756MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 |23.944MiB|23.944MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 |180.0MiB|180.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 |23.6MiB|23.6MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 |471.0MiB|471.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 |40.104MiB|40.104MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 |504.0MiB|504.0MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 |37.288MiB|37.288MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 |68.636MiB|68.636MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 |34.08MiB|34.08MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 |86.996MiB|86.996MiB|0B| 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 |31.812MiB|31.812MiB|0B| 0.0%|
## TOP 20 LHS FILES, BY PEAK MEMORY USAGE
TOP 20 LHS FILES, BY PEAK MEMORY USAGE |FILE |TIME |MEM | |------------|----------:|---------:| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFLIA.smt2 | 200.312s |3064.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFDTLIA.smt2 | 200.287s |2895.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFDTLIA.smt2 | 200.246s |2470.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFLIA.smt2 | 200.232s |2346.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFDTLIA.smt2 | 200.224s |2264.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFLIA.smt2 | 200.227s |2257.0MiB| |66603_accdadf23a1cf70ae043_76_QF_UFLIA.smt2 | 41.188s |1741.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFLIA.smt2 | 200.163s |1721.0MiB| |66603_accdadf23a1cf70ae043_76_QF_UFNIA.smt2 | 200.168s |1565.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFLIA.smt2 | 200.148s |1383.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFNIA.smt2 | 200.128s |1322.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFNIA.smt2 | 200.116s |1200.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFLIA.smt2 | 200.110s |1153.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFDTLIA.smt2 | 200.101s |1070.0MiB| |66603_accdadf23a1cf70ae043_73_QF_UFLIA.smt2 | 200.104s |914.0MiB| |44788_1965f0d6d94d5d8054ba_36_QF_UFDTLIA.smt2 | 200.099s |909.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFLIA.smt2 | 200.115s |903.0MiB| |3106_1c933134166dbad31f79_38_QF_UFNIA.smt2 | 200.119s |900.0MiB| |3106_1c933134166dbad31f79_38_QF_UFLIA.smt2 | 200.109s |870.0MiB| |66603_accdadf23a1cf70ae043_73_QF_UFNIA.smt2 | 200.089s |820.0MiB|
## TOP 20 RHS FILES, BY PEAK MEMORY USAGE
TOP 20 RHS FILES, BY PEAK MEMORY USAGE |FILE |TIME |MEM | |------------|----------:|---------:| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFLIA.smt2 | 200.312s |3064.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFDTLIA.smt2 | 200.287s |2895.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFDTLIA.smt2 | 200.246s |2470.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFLIA.smt2 | 200.232s |2346.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFDTLIA.smt2 | 200.224s |2264.0MiB| |38347_525a1ca0331f2bcbf520_54_QF_UFLIA.smt2 | 200.227s |2257.0MiB| |66603_accdadf23a1cf70ae043_76_QF_UFLIA.smt2 | 41.188s |1741.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFLIA.smt2 | 200.163s |1721.0MiB| |66603_accdadf23a1cf70ae043_76_QF_UFNIA.smt2 | 200.168s |1565.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFLIA.smt2 | 200.148s |1383.0MiB| |66603_accdadf23a1cf70ae043_74_QF_UFNIA.smt2 | 200.128s |1322.0MiB| |66603_accdadf23a1cf70ae043_75_QF_UFNIA.smt2 | 200.116s |1200.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFLIA.smt2 | 200.110s |1153.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFDTLIA.smt2 | 200.101s |1070.0MiB| |66603_accdadf23a1cf70ae043_73_QF_UFLIA.smt2 | 200.104s |914.0MiB| |44788_1965f0d6d94d5d8054ba_36_QF_UFDTLIA.smt2 | 200.099s |909.0MiB| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFLIA.smt2 | 200.115s |903.0MiB| |3106_1c933134166dbad31f79_38_QF_UFNIA.smt2 | 200.119s |900.0MiB| |3106_1c933134166dbad31f79_38_QF_UFLIA.smt2 | 200.109s |870.0MiB| |66603_accdadf23a1cf70ae043_73_QF_UFNIA.smt2 | 200.089s |820.0MiB|
## FULL COMPARISON
FULL COMPARISON |FILE |TIME_L |TIME_R |DIFF(s) |DIFF(%)| |-------------|-------------:|-------------:|--------------:|------------:| |11775_ad46e5b8db4748c51973_42_QF_UFDTLIA.smt2 | 1.020s | 1.020s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFDTNIA.smt2 | 1.169s | 1.169s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFLIA.smt2 | 2.596s | 2.596s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_42_QF_UFNIA.smt2 | 0.723s | 0.723s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTLIA.smt2 | 0.499s | 0.499s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFDTNIA.smt2 | 2.188s | 2.188s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFLIA.smt2 | 1.395s | 1.395s | 0.000s | 0.0%| |11775_ad46e5b8db4748c51973_43_QF_UFNIA.smt2 | 1.069s | 1.069s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTLIA.smt2 | 27.371s | 27.371s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFDTNIA.smt2 | 3.504s | 3.504s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFLIA.smt2 | 200.037s | 200.037s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_19_QF_UFNIA.smt2 | 2.127s | 2.127s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTLIA.smt2 | 200.056s | 200.056s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFDTNIA.smt2 | 57.948s | 57.948s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFLIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_20_QF_UFNIA.smt2 | 40.553s | 40.553s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTLIA.smt2 | 4.866s | 4.866s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFDTNIA.smt2 | 11.128s | 11.128s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFLIA.smt2 | 10.187s | 10.187s | 0.000s | 0.0%| |17512_5c1021b0faa6b6e1791b_21_QF_UFNIA.smt2 | 5.184s | 5.184s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFDTLIA.smt2 | 200.287s | 200.287s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFDTNIA.smt2 | 200.017s | 200.017s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFLIA.smt2 | 200.312s | 200.312s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_65_QF_UFNIA.smt2 | 200.029s | 200.029s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFDTLIA.smt2 | 200.101s | 200.101s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFDTNIA.smt2 | 200.039s | 200.039s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFLIA.smt2 | 200.115s | 200.115s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_66_QF_UFNIA.smt2 | 3.306s | 3.306s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFDTLIA.smt2 | 200.224s | 200.224s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFDTNIA.smt2 | 200.026s | 200.026s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFLIA.smt2 | 200.232s | 200.232s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_67_QF_UFNIA.smt2 | 200.031s | 200.031s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFDTLIA.smt2 | 200.075s | 200.075s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFDTNIA.smt2 | 131.467s | 131.467s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFLIA.smt2 | 200.110s | 200.110s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_68_QF_UFNIA.smt2 | 200.020s | 200.020s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_69_QF_UFDTLIA.smt2 | 200.087s | 200.087s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_69_QF_UFDTNIA.smt2 | 3.550s | 3.550s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_69_QF_UFLIA.smt2 | 200.084s | 200.084s | 0.000s | 0.0%| |25959_5dee2e2f6ef44465a2bea4b085818948_69_QF_UFNIA.smt2 | 11.442s | 11.442s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_27_QF_UFDTLIA.smt2 | 19.043s | 19.043s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_27_QF_UFDTNIA.smt2 | 21.937s | 21.937s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_27_QF_UFLIA.smt2 | 55.736s | 55.736s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_27_QF_UFNIA.smt2 | 42.964s | 42.964s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_28_QF_UFDTLIA.smt2 | 44.771s | 44.771s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_28_QF_UFDTNIA.smt2 | 28.819s | 28.819s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_28_QF_UFLIA.smt2 | 107.076s | 107.076s | 0.000s | 0.0%| |30078_f817a923328f75af7e60_28_QF_UFNIA.smt2 | 52.391s | 52.391s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_38_QF_UFDTLIA.smt2 | 200.045s | 200.045s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_38_QF_UFDTNIA.smt2 | 200.052s | 200.052s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_38_QF_UFLIA.smt2 | 200.109s | 200.109s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_38_QF_UFNIA.smt2 | 200.119s | 200.119s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_39_QF_UFDTLIA.smt2 | 7.429s | 7.429s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_39_QF_UFDTNIA.smt2 | 40.886s | 40.886s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_39_QF_UFLIA.smt2 | 32.506s | 32.506s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_39_QF_UFNIA.smt2 | 161.797s | 161.797s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_40_QF_UFDTLIA.smt2 | 0.150s | 0.150s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_40_QF_UFDTNIA.smt2 | 0.136s | 0.136s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_40_QF_UFLIA.smt2 | 0.102s | 0.102s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_40_QF_UFNIA.smt2 | 0.174s | 0.174s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_41_QF_UFDTLIA.smt2 | 2.234s | 2.234s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_41_QF_UFDTNIA.smt2 | 8.103s | 8.103s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_41_QF_UFLIA.smt2 | 11.700s | 11.700s | 0.000s | 0.0%| |3106_1c933134166dbad31f79_41_QF_UFNIA.smt2 | 13.263s | 13.263s | 0.000s | 0.0%| |3106_afb7bc55417e43d7a22790c3576f04fc_37_QF_UFDTLIA.smt2 | 13.519s | 13.519s | 0.000s | 0.0%| |3106_afb7bc55417e43d7a22790c3576f04fc_37_QF_UFDTNIA.smt2 | 14.933s | 14.933s | 0.000s | 0.0%| |3106_afb7bc55417e43d7a22790c3576f04fc_37_QF_UFLIA.smt2 | 200.024s | 200.024s | 0.000s | 0.0%| |3106_afb7bc55417e43d7a22790c3576f04fc_37_QF_UFNIA.smt2 | 67.039s | 67.039s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_55_QF_UFDTLIA.smt2 | 14.127s | 14.127s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_55_QF_UFDTNIA.smt2 | 170.298s | 170.298s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_55_QF_UFLIA.smt2 | 200.015s | 200.015s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_55_QF_UFNIA.smt2 | 200.017s | 200.017s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_56_QF_UFDTLIA.smt2 | 24.035s | 24.035s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_56_QF_UFDTNIA.smt2 | 1.954s | 1.954s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_56_QF_UFLIA.smt2 | 200.056s | 200.056s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_56_QF_UFNIA.smt2 | 12.148s | 12.148s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_57_QF_UFDTLIA.smt2 | 200.032s | 200.032s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_57_QF_UFDTNIA.smt2 | 200.011s | 200.011s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_57_QF_UFLIA.smt2 | 200.051s | 200.051s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_57_QF_UFNIA.smt2 | 200.013s | 200.013s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_58_QF_UFDTLIA.smt2 | 0.411s | 0.411s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_58_QF_UFDTNIA.smt2 | 0.297s | 0.297s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_58_QF_UFLIA.smt2 | 0.849s | 0.849s | 0.000s | 0.0%| |38347_092cc73601c78e45f4f9_58_QF_UFNIA.smt2 | 1.587s | 1.587s | 0.000s | 0.0%| |38347_525a1ca0331f2bcbf520_54_QF_UFDTLIA.smt2 | 200.246s | 200.246s | 0.000s | 0.0%| |38347_525a1ca0331f2bcbf520_54_QF_UFDTNIA.smt2 | 200.036s | 200.036s | 0.000s | 0.0%| |38347_525a1ca0331f2bcbf520_54_QF_UFLIA.smt2 | 200.227s | 200.227s | 0.000s | 0.0%| |38347_525a1ca0331f2bcbf520_54_QF_UFNIA.smt2 | 200.052s | 200.052s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_44_QF_UFDTLIA.smt2 | 2.878s | 2.878s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_44_QF_UFDTNIA.smt2 | 18.578s | 18.578s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_44_QF_UFLIA.smt2 | 100.223s | 100.223s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_44_QF_UFNIA.smt2 | 100.313s | 100.313s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_45_QF_UFDTLIA.smt2 | 4.081s | 4.081s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_45_QF_UFDTNIA.smt2 | 9.022s | 9.022s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_45_QF_UFLIA.smt2 | 46.747s | 46.747s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_45_QF_UFNIA.smt2 | 118.325s | 118.325s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_46_QF_UFDTLIA.smt2 | 3.034s | 3.034s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_46_QF_UFDTNIA.smt2 | 23.439s | 23.439s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_46_QF_UFLIA.smt2 | 4.233s | 4.233s | 0.000s | 0.0%| |39657_1c7158801cd59dc13f05_46_QF_UFNIA.smt2 | 94.173s | 94.173s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_47_QF_UFDTLIA.smt2 | 16.552s | 16.552s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_47_QF_UFDTNIA.smt2 | 0.423s | 0.423s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_47_QF_UFLIA.smt2 | 49.869s | 49.869s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_47_QF_UFNIA.smt2 | 6.211s | 6.211s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_48_QF_UFDTLIA.smt2 | 9.173s | 9.173s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_48_QF_UFDTNIA.smt2 | 0.225s | 0.225s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_48_QF_UFLIA.smt2 | 10.193s | 10.193s | 0.000s | 0.0%| |39657_2866defdd1f2434b69ab_48_QF_UFNIA.smt2 | 1.293s | 1.293s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_61_QF_UFDTLIA.smt2 | 200.065s | 200.065s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_61_QF_UFDTNIA.smt2 | 200.021s | 200.021s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_61_QF_UFLIA.smt2 | 200.048s | 200.048s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_61_QF_UFNIA.smt2 | 6.435s | 6.435s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_62_QF_UFDTLIA.smt2 | 32.086s | 32.086s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_62_QF_UFDTNIA.smt2 | 200.022s | 200.022s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_62_QF_UFLIA.smt2 | 28.480s | 28.480s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_62_QF_UFNIA.smt2 | 22.868s | 22.868s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_63_QF_UFDTLIA.smt2 | 1.612s | 1.612s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_63_QF_UFDTNIA.smt2 | 83.650s | 83.650s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_63_QF_UFLIA.smt2 | 4.985s | 4.985s | 0.000s | 0.0%| |41958_32933c5a1384696720a2_63_QF_UFNIA.smt2 | 200.029s | 200.029s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_59_QF_UFDTLIA.smt2 | 0.982s | 0.982s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_59_QF_UFDTNIA.smt2 | 0.443s | 0.443s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_59_QF_UFLIA.smt2 | 46.419s | 46.419s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_59_QF_UFNIA.smt2 | 3.276s | 3.276s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_60_QF_UFDTLIA.smt2 | 0.599s | 0.599s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_60_QF_UFDTNIA.smt2 | 0.323s | 0.323s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_60_QF_UFLIA.smt2 | 3.608s | 3.608s | 0.000s | 0.0%| |41958_45c688a4814eb926c254_60_QF_UFNIA.smt2 | 8.841s | 8.841s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_14_QF_UFDTLIA.smt2 | 2.117s | 2.117s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_14_QF_UFDTNIA.smt2 | 2.087s | 2.087s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_14_QF_UFLIA.smt2 | 10.102s | 10.102s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_14_QF_UFNIA.smt2 | 102.847s | 102.847s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_15_QF_UFDTLIA.smt2 | 6.910s | 6.910s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_15_QF_UFDTNIA.smt2 | 5.015s | 5.015s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_15_QF_UFLIA.smt2 | 200.087s | 200.087s | 0.000s | 0.0%| |44289_4066055e0f64d96da11a_15_QF_UFNIA.smt2 | 124.900s | 124.900s | 0.000s | 0.0%| |44289_b077fc096b3d41cba49f8628caff7fa5_16_QF_UFDTLIA.smt2 | 6.465s | 6.465s | 0.000s | 0.0%| |44289_b077fc096b3d41cba49f8628caff7fa5_16_QF_UFDTNIA.smt2 | 7.665s | 7.665s | 0.000s | 0.0%| |44289_b077fc096b3d41cba49f8628caff7fa5_16_QF_UFLIA.smt2 | 79.757s | 79.757s | 0.000s | 0.0%| |44289_b077fc096b3d41cba49f8628caff7fa5_16_QF_UFNIA.smt2 | 25.060s | 25.060s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_17_QF_UFDTLIA.smt2 | 2.394s | 2.394s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_17_QF_UFDTNIA.smt2 | 2.617s | 2.617s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_17_QF_UFLIA.smt2 | 10.661s | 10.661s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_17_QF_UFNIA.smt2 | 12.820s | 12.820s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_18_QF_UFDTLIA.smt2 | 2.495s | 2.495s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_18_QF_UFDTNIA.smt2 | 3.230s | 3.230s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_18_QF_UFLIA.smt2 | 9.715s | 9.715s | 0.000s | 0.0%| |44289_e5a2e5c780236919ee6a_18_QF_UFNIA.smt2 | 13.767s | 13.767s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_34_QF_UFDTLIA.smt2 | 0.160s | 0.160s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_34_QF_UFDTNIA.smt2 | 200.053s | 200.053s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_34_QF_UFLIA.smt2 | 0.219s | 0.219s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_34_QF_UFNIA.smt2 | 200.019s | 200.019s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_35_QF_UFDTLIA.smt2 | 0.977s | 0.977s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_35_QF_UFDTNIA.smt2 | 200.019s | 200.019s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_35_QF_UFLIA.smt2 | 0.736s | 0.736s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_35_QF_UFNIA.smt2 | 200.024s | 200.024s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_36_QF_UFDTLIA.smt2 | 200.099s | 200.099s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_36_QF_UFDTNIA.smt2 | 200.013s | 200.013s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_36_QF_UFLIA.smt2 | 149.528s | 149.528s | 0.000s | 0.0%| |44788_1965f0d6d94d5d8054ba_36_QF_UFNIA.smt2 | 200.022s | 200.022s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_12_QF_UFDTLIA.smt2 | 0.511s | 0.511s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_12_QF_UFDTNIA.smt2 | 0.588s | 0.588s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_12_QF_UFLIA.smt2 | 24.994s | 24.994s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_12_QF_UFNIA.smt2 | 200.037s | 200.037s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_13_QF_UFDTLIA.smt2 | 0.369s | 0.369s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_13_QF_UFDTNIA.smt2 | 0.802s | 0.802s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_13_QF_UFLIA.smt2 | 15.183s | 15.183s | 0.000s | 0.0%| |52759_af0c476fe3b544b9a8507f3e42472c43_13_QF_UFNIA.smt2 | 200.032s | 200.032s | 0.000s | 0.0%| |52759_b3ecd2335fd16ec2eee2_9_UFDTLIA.smt2 | 200.025s | 200.025s | 0.000s | 0.0%| |52759_b3ecd2335fd16ec2eee2_9_UFDTNIA.smt2 | 200.014s | 200.014s | 0.000s | 0.0%| |52759_b3ecd2335fd16ec2eee2_9_UFLIA.smt2 | 200.033s | 200.033s | 0.000s | 0.0%| |52759_b3ecd2335fd16ec2eee2_9_UFNIA.smt2 | 200.021s | 200.021s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_10_QF_UFDTLIA.smt2 | 39.428s | 39.428s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_10_QF_UFDTNIA.smt2 | 43.544s | 43.544s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_10_QF_UFLIA.smt2 | 40.639s | 40.639s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_10_QF_UFNIA.smt2 | 200.046s | 200.046s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_11_QF_UFDTLIA.smt2 | 5.026s | 5.026s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_11_QF_UFDTNIA.smt2 | 3.692s | 3.692s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_11_QF_UFLIA.smt2 | 18.854s | 18.854s | 0.000s | 0.0%| |52759_bec3a2272267494faeecb6bfaf253e3b_11_QF_UFNIA.smt2 | 11.072s | 11.072s | 0.000s | 0.0%| |63058_55d6bef5390186355f11_26_QF_UFDTLIA.smt2 | 2.916s | 2.916s | 0.000s | 0.0%| |63058_55d6bef5390186355f11_26_QF_UFDTNIA.smt2 | 5.082s | 5.082s | 0.000s | 0.0%| |63058_55d6bef5390186355f11_26_QF_UFLIA.smt2 | 31.271s | 31.271s | 0.000s | 0.0%| |63058_55d6bef5390186355f11_26_QF_UFNIA.smt2 | 26.860s | 26.860s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_22_QF_UFDTLIA.smt2 | 3.814s | 3.814s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_22_QF_UFDTNIA.smt2 | 6.366s | 6.366s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_22_QF_UFLIA.smt2 | 17.143s | 17.143s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_22_QF_UFNIA.smt2 | 32.541s | 32.541s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_23_QF_UFDTLIA.smt2 | 2.800s | 2.800s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_23_QF_UFDTNIA.smt2 | 7.355s | 7.355s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_23_QF_UFLIA.smt2 | 33.365s | 33.365s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_23_QF_UFNIA.smt2 | 200.031s | 200.031s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_24_QF_UFDTLIA.smt2 | 2.947s | 2.947s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_24_QF_UFDTNIA.smt2 | 3.595s | 3.595s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_24_QF_UFLIA.smt2 | 30.426s | 30.426s | 0.000s | 0.0%| |63058_64ab9a7ef7b6c3492507_24_QF_UFNIA.smt2 | 200.039s | 200.039s | 0.000s | 0.0%| |63058_aa742630eef64f949de269382c1f9035_25_UFDTLIA.smt2 | 0.128s | 0.128s | 0.000s | 0.0%| |63058_aa742630eef64f949de269382c1f9035_25_UFDTNIA.smt2 | 0.133s | 0.133s | 0.000s | 0.0%| |63058_aa742630eef64f949de269382c1f9035_25_UFLIA.smt2 | 0.109s | 0.109s | 0.000s | 0.0%| |63058_aa742630eef64f949de269382c1f9035_25_UFNIA.smt2 | 0.102s | 0.102s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_5_QF_UFDTLIA.smt2 | 200.036s | 200.036s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_5_QF_UFDTNIA.smt2 | 200.018s | 200.018s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_5_QF_UFLIA.smt2 | 200.045s | 200.045s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_5_QF_UFNIA.smt2 | 200.018s | 200.018s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_6_QF_UFDTLIA.smt2 | 0.091s | 0.091s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_6_QF_UFDTNIA.smt2 | 0.075s | 0.075s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_6_QF_UFLIA.smt2 | 0.128s | 0.128s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_6_QF_UFNIA.smt2 | 0.109s | 0.109s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_7_QF_UFDTLIA.smt2 | 0.522s | 0.522s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_7_QF_UFDTNIA.smt2 | 9.317s | 9.317s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_7_QF_UFLIA.smt2 | 0.149s | 0.149s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_7_QF_UFNIA.smt2 | 2.849s | 2.849s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_8_QF_UFDTLIA.smt2 | 0.630s | 0.630s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_8_QF_UFDTNIA.smt2 | 2.210s | 2.210s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_8_QF_UFLIA.smt2 | 0.444s | 0.444s | 0.000s | 0.0%| |65782_cd31513fdcd15701933b_8_QF_UFNIA.smt2 | 1.689s | 1.689s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_72_QF_UFDTLIA.smt2 | 5.541s | 5.541s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_72_QF_UFDTNIA.smt2 | 5.243s | 5.243s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_72_QF_UFLIA.smt2 | 9.782s | 9.782s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_72_QF_UFNIA.smt2 | 32.114s | 32.114s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_73_QF_UFDTLIA.smt2 | 200.049s | 200.049s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_73_QF_UFDTNIA.smt2 | 6.616s | 6.616s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_73_QF_UFLIA.smt2 | 200.104s | 200.104s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_73_QF_UFNIA.smt2 | 200.089s | 200.089s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_74_QF_UFDTLIA.smt2 | 15.525s | 15.525s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_74_QF_UFDTNIA.smt2 | 200.028s | 200.028s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_74_QF_UFLIA.smt2 | 200.148s | 200.148s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_74_QF_UFNIA.smt2 | 200.128s | 200.128s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_75_QF_UFDTLIA.smt2 | 14.289s | 14.289s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_75_QF_UFDTNIA.smt2 | 200.039s | 200.039s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_75_QF_UFLIA.smt2 | 200.163s | 200.163s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_75_QF_UFNIA.smt2 | 200.116s | 200.116s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_76_QF_UFDTLIA.smt2 | 13.043s | 13.043s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_76_QF_UFDTNIA.smt2 | 10.513s | 10.513s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_76_QF_UFLIA.smt2 | 41.188s | 41.188s | 0.000s | 0.0%| |66603_accdadf23a1cf70ae043_76_QF_UFNIA.smt2 | 200.168s | 200.168s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_70_QF_UFDTLIA.smt2 | 1.511s | 1.511s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_70_QF_UFDTNIA.smt2 | 200.021s | 200.021s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_70_QF_UFLIA.smt2 | 10.590s | 10.590s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_70_QF_UFNIA.smt2 | 2.936s | 2.936s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_71_QF_UFDTLIA.smt2 | 200.062s | 200.062s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_71_QF_UFDTNIA.smt2 | 200.019s | 200.019s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_71_QF_UFLIA.smt2 | 200.057s | 200.057s | 0.000s | 0.0%| |72658_63104dadde9c6026353f_71_QF_UFNIA.smt2 | 200.013s | 200.013s | 0.000s | 0.0%| |72771_f9d228efc97cf1458e38_64_QF_UFDTLIA.smt2 | 2.908s | 2.908s | 0.000s | 0.0%| |72771_f9d228efc97cf1458e38_64_QF_UFDTNIA.smt2 | 0.573s | 0.573s | 0.000s | 0.0%| |72771_f9d228efc97cf1458e38_64_QF_UFLIA.smt2 | 30.149s | 30.149s | 0.000s | 0.0%| |72771_f9d228efc97cf1458e38_64_QF_UFNIA.smt2 | 1.725s | 1.725s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_0_UFDTLIA.smt2 | 6.642s | 6.642s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_0_UFDTNIA.smt2 | 0.355s | 0.355s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_0_UFLIA.smt2 | 38.815s | 38.815s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_0_UFNIA.smt2 | 0.773s | 0.773s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_1_UFDTLIA.smt2 | 200.075s | 200.075s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_1_UFDTNIA.smt2 | 47.234s | 47.234s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_1_UFLIA.smt2 | 200.049s | 200.049s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_1_UFNIA.smt2 | 1.749s | 1.749s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_2_UFDTLIA.smt2 | 200.067s | 200.067s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_2_UFDTNIA.smt2 | 57.868s | 57.868s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_2_UFLIA.smt2 | 200.031s | 200.031s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_2_UFNIA.smt2 | 200.036s | 200.036s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_3_UFDTLIA.smt2 | 105.061s | 105.061s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_3_UFDTNIA.smt2 | 200.036s | 200.036s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_3_UFLIA.smt2 | 200.089s | 200.089s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_3_UFNIA.smt2 | 200.023s | 200.023s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_4_UFDTLIA.smt2 | 200.080s | 200.080s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_4_UFDTNIA.smt2 | 65.691s | 65.691s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_4_UFLIA.smt2 | 200.103s | 200.103s | 0.000s | 0.0%| |83314_a702bf8b823398c9e37a_4_UFNIA.smt2 | 200.042s | 200.042s | 0.000s | 0.0%| |93493_1fdb6cc8eb9c4363b5838af9eb8c7f1f_53_QF_UFDTLIA.smt2 | 15.465s | 15.465s | 0.000s | 0.0%| |93493_1fdb6cc8eb9c4363b5838af9eb8c7f1f_53_QF_UFDTNIA.smt2 | 110.036s | 110.036s | 0.000s | 0.0%| |93493_1fdb6cc8eb9c4363b5838af9eb8c7f1f_53_QF_UFLIA.smt2 | 200.041s | 200.041s | 0.000s | 0.0%| |93493_1fdb6cc8eb9c4363b5838af9eb8c7f1f_53_QF_UFNIA.smt2 | 100.419s | 100.419s | 0.000s | 0.0%| |93493_27ab26d56d60426da02e50231269b6ff_51_QF_UFDTLIA.smt2 | 36.861s | 36.861s | 0.000s | 0.0%| |93493_27ab26d56d60426da02e50231269b6ff_51_QF_UFDTNIA.smt2 | 19.490s | 19.490s | 0.000s | 0.0%| |93493_27ab26d56d60426da02e50231269b6ff_51_QF_UFLIA.smt2 | 200.031s | 200.031s | 0.000s | 0.0%| |93493_27ab26d56d60426da02e50231269b6ff_51_QF_UFNIA.smt2 | 14.630s | 14.630s | 0.000s | 0.0%| |93493_4ea6163ed03941199c785278ccc42812_49_QF_UFDTLIA.smt2 | 200.038s | 200.038s | 0.000s | 0.0%| |93493_4ea6163ed03941199c785278ccc42812_49_QF_UFDTNIA.smt2 | 200.041s | 200.041s | 0.000s | 0.0%| |93493_4ea6163ed03941199c785278ccc42812_49_QF_UFLIA.smt2 | 200.058s | 200.058s | 0.000s | 0.0%| |93493_4ea6163ed03941199c785278ccc42812_49_QF_UFNIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |93493_5990a6bf5f2740164f77_50_QF_UFDTLIA.smt2 | 65.574s | 65.574s | 0.000s | 0.0%| |93493_5990a6bf5f2740164f77_50_QF_UFDTNIA.smt2 | 132.896s | 132.896s | 0.000s | 0.0%| |93493_5990a6bf5f2740164f77_50_QF_UFLIA.smt2 | 200.070s | 200.070s | 0.000s | 0.0%| |93493_5990a6bf5f2740164f77_50_QF_UFNIA.smt2 | 200.061s | 200.061s | 0.000s | 0.0%| |93493_798593962ee29ad45ac8_52_QF_UFDTLIA.smt2 | 200.034s | 200.034s | 0.000s | 0.0%| |93493_798593962ee29ad45ac8_52_QF_UFDTNIA.smt2 | 200.029s | 200.029s | 0.000s | 0.0%| |93493_798593962ee29ad45ac8_52_QF_UFLIA.smt2 | 200.035s | 200.035s | 0.000s | 0.0%| |93493_798593962ee29ad45ac8_52_QF_UFNIA.smt2 | 200.027s | 200.027s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_29_QF_UFDTLIA.smt2 | 200.054s | 200.054s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_29_QF_UFDTNIA.smt2 | 21.056s | 21.056s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_29_QF_UFLIA.smt2 | 200.085s | 200.085s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_29_QF_UFNIA.smt2 | 200.077s | 200.077s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_30_QF_UFDTLIA.smt2 | 200.060s | 200.060s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_30_QF_UFDTNIA.smt2 | 23.021s | 23.021s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_30_QF_UFLIA.smt2 | 200.070s | 200.070s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_30_QF_UFNIA.smt2 | 42.641s | 42.641s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_31_QF_UFDTLIA.smt2 | 200.039s | 200.039s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_31_QF_UFDTNIA.smt2 | 13.136s | 13.136s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_31_QF_UFLIA.smt2 | 64.141s | 64.141s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_31_QF_UFNIA.smt2 | 7.306s | 7.306s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_32_QF_UFDTLIA.smt2 | 200.068s | 200.068s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_32_QF_UFDTNIA.smt2 | 32.281s | 32.281s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_32_QF_UFLIA.smt2 | 200.051s | 200.051s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_32_QF_UFNIA.smt2 | 115.938s | 115.938s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_33_QF_UFDTLIA.smt2 | 200.054s | 200.054s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_33_QF_UFDTNIA.smt2 | 32.516s | 32.516s | 0.000s | 0.0%| |940_590f27b1c3c800d3243e_33_QF_UFLIA.smt2 | 200.055s | 200.055s | 0.000s | 0.0%|