# .

* SAT 0
* UNSAT 92
* TIMEOUT 0
* UNKNOWN 916

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/UFDTNIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-UFDTNIA.tar.zst-do
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 459629c662eb7abf25a010b7383431a9f729d234
Z3 branch: master
Z3 options: "-T:20 -v:2 -st tactic.default_tactic="(then simplify propagate-values solve-eqs simplify sls-smt)" model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/UFDTNIA.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

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

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout__two_mul_with_bit1lib_layout.two_mul_with_bit1._01.smt2 |    0.026s | 19.832MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.20.smt2 |    0.028s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/util__page_ptr_util_u.13.smt2 |    0.030s | 20.396MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__math_vlib_marshalling.math_v.distribute_left._01.smt2 |    0.030s | 19.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__setlib.12.smt2 |    0.037s | 20.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extra.8.smt2 |    0.038s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__addr_s__page.1.smt2 |    0.039s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__UniformSizedSeq_v.5.smt2 |    0.040s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.24.smt2 |    0.041s | 20.312MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__math_vlib_marshalling.math_v.distribute_left._01.smt2 |    0.042s | 19.94MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.13.smt2 |    0.046s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__UniformSizedSeq_v.4.smt2 |    0.046s | 20.532MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layoutlib_layout.bitand_with_mask_gives_rounding._09.smt2 |    0.048s | 20.86MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__ResizableUniformSizedSeq_v.9.smt2 |    0.050s | 20.604MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__layout_v.32.smt2 |    0.051s | 20.644MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__bits_p.8.smt2 |    0.053s | 20.668MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.24.smt2 |    0.053s | 21.388MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__bits_p.7.smt2 |    0.055s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/2019-Gleiss/non-interference/10-ni-rsa-exponentiation.spec.smt2 |    0.056s | 19.776MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.3.smt2 |    0.058s | 21.592MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_left_inequality._01.smt2 |    0.058s | 20.064MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.45.smt2 |    0.058s | 20.784MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__integer.2.smt2 |    0.059s | 20.224MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.15.smt2 |    0.060s | 20.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.34.smt2 |    0.062s | 20.78MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__UniformSizedSeq_v.6.smt2 |    0.062s | 20.292MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__ResizableUniformSizedSeq_v.7.smt2 |    0.063s | 20.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.15.smt2 |    0.065s | 21.084MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.mult_less_mono_both2._01.smt2 |    0.067s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_fundamental_div_mod_converse_helper_1._01.smt2 |    0.067s | 19.932MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.mult_leq_mono2._01.smt2 |    0.068s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__inv_v.3.smt2 |    0.068s | 20.736MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.11.smt2 |    0.071s | 20.276MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.53.smt2 |    0.071s | 20.852MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__ResizableUniformSizedSeq_v.9.smt2 |    0.071s | 20.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__indexinglib_impl_u.indexing.lemma_entry_base_from_index._01.smt2 |    0.073s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page.15.smt2 |    0.073s | 21.856MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/ironkv-smt-verus_extra__seq_lib_v.5.smt2 |    0.073s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__UniformSizedSeq_v.1.smt2 |    0.073s | 20.256MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__bit_p.smt2 |    0.074s | 20.212MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout__align_downlib_layout.align_down._03.smt2 |    0.075s | 20.128MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__append_v.2.smt2 |    0.075s | 20.924MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizeslib_bin_sizes.lemma_div_is_ordered._01.smt2 |    0.075s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.2.smt2 |    0.076s | 20.956MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_refinement.4.smt2 |    0.076s | 21.44MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_t.2.smt2 |    0.077s | 22.472MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.mod_mult_zero_implies_mod_zero._01.smt2 |    0.077s | 20.24MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__math_v.smt2 |    0.079s | 19.976MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.5.smt2 |    0.079s | 20.0MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.6.smt2 |    0.079s | 20.58MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__stream__basic.1.smt2 |    0.080s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/memory_manager__spec_impl.9.smt2 |    0.081s | 21.324MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.19.smt2 |    0.081s | 21.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.15.smt2 |    0.081s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.20.smt2 |    0.081s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.19.smt2 |    0.081s | 20.468MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.25.smt2 |    0.082s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.3.smt2 |    0.083s | 21.452MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.1.smt2 |    0.083s | 20.408MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.20.smt2 |    0.084s | 19.996MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.7.smt2 |    0.084s | 21.788MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__bits_p.4.smt2 |    0.084s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.6.smt2 |    0.084s | 22.928MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_is_associative._01.smt2 |    0.084s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.6.smt2 |    0.084s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_alloc.8.smt2 |    0.084s | 20.504MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__setlib.11.smt2 |    0.085s | 20.536MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.9.smt2 |    0.085s | 21.304MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__bits_p.9.smt2 |    0.085s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.6.smt2 |    0.085s | 20.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_is_distributive._01.smt2 |    0.085s | 19.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/ironkv-smt-verus_extra__seq_lib_v.15.smt2 |    0.085s | 20.184MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.6.smt2 |    0.086s | 21.632MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.4.smt2 |    0.086s | 19.968MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-constants.6.smt2 |    0.086s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__inv_v.12.smt2 |    0.086s | 20.84MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.2.smt2 |    0.087s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.16.smt2 |    0.087s | 20.452MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__syscall_receive_empty.2.smt2 |    0.088s | 21.808MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extra.7.smt2 |    0.088s | 20.172MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.21.smt2 |    0.088s | 20.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.17.smt2 |    0.088s | 20.952MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.47.smt2 |    0.088s | 20.248MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__UniformSizedSeq_v.2.smt2 |    0.089s | 20.412MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.lemma_aligned_iff_eq_mul_div._01.smt2 |    0.089s | 20.064MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.10.smt2 |    0.089s | 19.776MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__ResizableUniformSizedSeq_v.10.smt2 |    0.090s | 20.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.44.smt2 |    0.091s | 20.204MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.39.smt2 |    0.091s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.53.smt2 |    0.091s | 21.992MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.22.smt2 |    0.091s | 20.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.20.smt2 |    0.091s | 22.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.45.smt2 |    0.091s | 20.48MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__create_and_share_pages.4.smt2 |    0.092s | 22.184MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.2.smt2 |    0.092s | 21.612MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.43.smt2 |    0.093s | 22.188MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-constants.8.smt2 |    0.093s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.2.smt2 |    0.093s | 21.956MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extra.3.smt2 |    0.094s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.3.smt2 |    0.094s | 21.704MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__align_sverismo_tspec.math.align_s.proof_align_down._01.smt2 |    0.095s | 20.168MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.mul_commute._01.smt2 |    0.095s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.17.smt2 |    0.095s | 21.156MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__pow_p.1.smt2 |    0.096s | 19.924MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.39.smt2 |    0.096s | 21.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.40.smt2 |    0.096s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_div_equal._01.smt2 |    0.096s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.35.smt2 |    0.096s | 20.752MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_utillib_os_mem_util.preserves_mem_chunk_good_on_transfer_to_capacity._02.smt2 |    0.096s | 22.056MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__KVPairFormat_v.7.smt2 |    0.097s | 20.388MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.27.smt2 |    0.097s | 20.64MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extra.1.smt2 |    0.097s | 20.128MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.33.smt2 |    0.098s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.24.smt2 |    0.098s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__inv_v.7.smt2 |    0.098s | 20.496MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.22.smt2 |    0.099s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.1.smt2 |    0.099s | 20.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.19.smt2 |    0.099s | 20.448MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.13.smt2 |    0.099s | 20.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__inv_v.15.smt2 |    0.099s | 20.824MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__pgtable__entry_p.7.smt2 |    0.100s | 20.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.24.smt2 |    0.100s | 20.248MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.14.smt2 |    0.100s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.33.smt2 |    0.100s | 20.496MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.10.smt2 |    0.101s | 20.432MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.7.smt2 |    0.102s | 20.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-main_t.7.smt2 |    0.102s | 20.484MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout__align_down.smt2 |    0.102s | 19.896MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.36.smt2 |    0.102s | 20.48MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-main_t.4.smt2 |    0.102s | 20.608MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.28.smt2 |    0.102s | 20.728MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.17.smt2 |    0.103s | 22.24MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__KVPairFormat_v.3.smt2 |    0.103s | 20.564MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__layout_v.27.smt2 |    0.103s | 20.392MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.27.smt2 |    0.103s | 20.884MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__math_v.smt2 |    0.103s | 19.996MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/lemma__lemma_u.1.smt2 |    0.104s | 20.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__params.5.smt2 |    0.104s | 24.196MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.22.smt2 |    0.104s | 20.932MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__size_s.4.smt2 |    0.105s | 21.24MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__addr_s__def_s.3.smt2 |    0.105s | 20.396MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__pgtable__entry_p.4.smt2 |    0.105s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.27.smt2 |    0.105s | 20.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer.4.smt2 |    0.105s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.38.smt2 |    0.105s | 20.332MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.23.smt2 |    0.106s | 21.292MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__ResizableUniformSizedSeq_v.3.smt2 |    0.106s | 20.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_t.5.smt2 |    0.107s | 22.388MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.34.smt2 |    0.107s | 20.544MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.18.smt2 |    0.107s | 20.464MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.17.smt2 |    0.108s | 23.08MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__pgtable__memmap_p.5.smt2 |    0.108s | 20.404MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic.2.smt2 |    0.108s | 21.36MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.2.smt2 |    0.109s | 22.656MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpuid.5.smt2 |    0.109s | 23.176MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.1.smt2 |    0.109s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.31.smt2 |    0.109s | 20.344MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_is_distributive_add._01.smt2 |    0.109s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.8.smt2 |    0.109s | 20.748MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl.14.smt2 |    0.109s | 20.304MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_segment.6.smt2 |    0.109s | 22.124MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl.5.smt2 |    0.109s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.1.smt2 |    0.110s | 21.436MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer.5.smt2 |    0.111s | 20.42MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.22.smt2 |    0.111s | 20.36MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.2.smt2 |    0.112s | 22.424MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.17.smt2 |    0.112s | 21.536MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.2.smt2 |    0.112s | 20.356MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.7.smt2 |    0.112s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__ResizableUniformSizedSeq_v.4.smt2 |    0.112s | 20.444MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/memory_manager__spec_impl.5.smt2 |    0.113s | 21.428MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/lemma__lemma_u.2.smt2 |    0.113s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__layout_v.30.smt2 |    0.113s | 20.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.24.smt2 |    0.113s | 20.596MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__UniformSizedSeq_v.2.smt2 |    0.113s | 20.44MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.37.smt2 |    0.114s | 20.36MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/memory_manager__spec_impl.8.smt2 |    0.114s | 21.336MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.5.smt2 |    0.114s | 21.628MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__layout_v.30.smt2 |    0.114s | 20.412MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__ptr_e.9.smt2 |    0.115s | 22.304MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-pmem__pmcopy_t.3.smt2 |    0.115s | 20.816MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.10.smt2 |    0.116s | 21.396MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1lib_impl_u.l1.impl_%1.lemma_interp_of_entries_disjoint._04.smt2 |    0.116s | 20.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__logimpl_v.7.smt2 |    0.117s | 21.272MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-pagelib_page.page_init._02.smt2 |    0.117s | 22.712MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__snp_u.13.smt2 |    0.118s | 22.16MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.121.smt2 |    0.118s | 22.52MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.5.smt2 |    0.118s | 22.98MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.5.smt2 |    0.118s | 21.9MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.11.smt2 |    0.118s | 20.872MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.42.smt2 |    0.118s | 20.772MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1__impl_%1__lemma_interp_of_entry_contains_mapping_implies_interp_aux_contains_mapping.smt2 |    0.118s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.3.smt2 |    0.118s | 21.408MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.29.smt2 |    0.119s | 20.336MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_fast.3.smt2 |    0.119s | 22.208MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.38.smt2 |    0.119s | 20.616MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.3.smt2 |    0.119s | 20.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__logimpl_v.3.smt2 |    0.119s | 21.26MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__stream__basic.2.smt2 |    0.120s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.61.smt2 |    0.120s | 21.98MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl.10.smt2 |    0.120s | 20.608MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.31.smt2 |    0.121s | 21.42MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec_e__math__bits_e.5.smt2 |    0.121s | 22.372MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.26.smt2 |    0.121s | 22.792MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic__page_free_list_extendlib_alloc_generic.page_free_list_extend._07.smt2 |    0.121s | 22.1MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1__impl_%1__lemma_no_mapping_in_interp_of_entry_implies_no_mapping_in_interp.smt2 |    0.121s | 20.644MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.23.smt2 |    0.121s | 20.784MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__cast.4.smt2 |    0.122s | 21.396MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__logimpl_v.10.smt2 |    0.122s | 21.24MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.23.smt2 |    0.122s | 21.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.19.smt2 |    0.123s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.15.smt2 |    0.123s | 21.472MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_refinement.1.smt2 |    0.123s | 21.06MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.14.smt2 |    0.123s | 20.216MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.6.smt2 |    0.123s | 21.444MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.16.smt2 |    0.124s | 20.04MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__addr_interface.11.smt2 |    0.124s | 21.756MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__cast.7.smt2 |    0.124s | 21.336MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.7.smt2 |    0.124s | 20.008MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.23.smt2 |    0.125s | 20.116MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.18.smt2 |    0.125s | 21.256MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.17.smt2 |    0.125s | 21.996MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__ptram__ptram_u.smt2 |    0.125s | 21.396MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.13.smt2 |    0.125s | 21.392MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_alloc.3.smt2 |    0.125s | 20.896MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.impl_%2.next_entry_base._01.smt2 |    0.125s | 20.26MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/anvil/splinterdb-smt-marshalling__UniformSizedSeq_v.5.smt2 |    0.125s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.26.smt2 |    0.126s | 21.388MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__pgtable__memmap_p.3.smt2 |    0.126s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_is_distributive_sub_other_way._01.smt2 |    0.126s | 19.94MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.10.smt2 |    0.126s | 21.664MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__snp_u.16.smt2 |    0.127s | 22.036MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__idt__def.3.smt2 |    0.127s | 22.332MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__def_s.2.smt2 |    0.127s | 21.456MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__cast.5.smt2 |    0.127s | 21.312MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__align_s.5.smt2 |    0.128s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/lock__spincell_e.6.smt2 |    0.128s | 21.7MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.13.smt2 |    0.128s | 22.12MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__indexinglib_impl_u.indexing.lemma_entry_base_from_index._05.smt2 |    0.128s | 19.928MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.aligned_transitive._02.smt2 |    0.128s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__logimpl_v.9.smt2 |    0.129s | 21.552MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.17.smt2 |    0.129s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_t.7.smt2 |    0.130s | 22.408MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec.1.smt2 |    0.130s | 21.524MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_listlib_linked_list.impl_%2.prepend_contiguous_blocks._09.smt2 |    0.130s | 21.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__math__integer.8.smt2 |    0.131s | 20.596MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.4.smt2 |    0.131s | 21.136MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment__segments_page_find_and_allocate.3.smt2 |    0.131s | 22.2MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.47.smt2 |    0.131s | 20.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.35.smt2 |    0.131s | 22.32MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.7.smt2 |    0.131s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/ironkv-smt-verus_extra__seq_lib_vlib_verus_extra.seq_lib_v.lemma_seq_fold_left_sum_le._01.smt2 |    0.131s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.42.smt2 |    0.131s | 20.616MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/define.43.smt2 |    0.132s | 20.272MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/trusted_hacl__stub.7.smt2 |    0.132s | 22.16MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__linkedlist.6.smt2 |    0.132s | 22.752MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.31.smt2 |    0.132s | 20.9MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.11.smt2 |    0.132s | 22.012MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.5.smt2 |    0.133s | 20.388MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.x86_arch_inv._01.smt2 |    0.133s | 20.632MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.20.smt2 |    0.134s | 21.236MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/va_range.2.smt2 |    0.134s | 20.128MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/splinterdb/marshalling__KVPairFormat_v.1.smt2 |    0.134s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-init.1.smt2 |    0.134s | 21.684MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.18.smt2 |    0.134s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.23.smt2 |    0.135s | 21.036MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.22.smt2 |    0.135s | 20.252MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.6.smt2 |    0.135s | 21.82MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.3.smt2 |    0.135s | 22.148MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.10.smt2 |    0.135s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.impl_%3.lemma_entry_sizes_aligned._02.smt2 |    0.135s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic__page_free_list_extendlib_alloc_generic.page_free_list_extend._09.smt2 |    0.135s | 22.18MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec_e__math__bits_e.8.smt2 |    0.136s | 22.088MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.25.smt2 |    0.136s | 21.392MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/registers__msr_t.11.smt2 |    0.136s | 21.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_listlib_linked_list.impl_%2.prepend_contiguous_blocks._06.smt2 |    0.136s | 22.14MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.12.smt2 |    0.136s | 20.656MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.16.smt2 |    0.136s | 22.028MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/util__page_ptr_util_u.8.smt2 |    0.137s | 20.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__exe.1.smt2 |    0.137s | 21.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.5.smt2 |    0.137s | 21.52MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.32.smt2 |    0.137s | 20.312MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.42.smt2 |    0.137s | 22.488MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.48.smt2 |    0.138s | 22.312MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizeslib_bin_sizes.mod8._01.smt2 |    0.138s | 20.456MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.32.smt2 |    0.138s | 21.524MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__schedule_idle_cpu.smt2 |    0.139s | 21.672MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/pagetable__pagetable_spec_impl.10.smt2 |    0.139s | 21.104MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.58.smt2 |    0.139s | 22.324MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.4.smt2 |    0.139s | 22.468MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__inv_v.18.smt2 |    0.139s | 20.876MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.12.smt2 |    0.139s | 22.4MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__syscall_send_pages.smt2 |    0.140s | 22.172MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.4.smt2 |    0.140s | 21.772MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.9.smt2 |    0.140s | 21.776MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.22.smt2 |    0.140s | 21.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.23.smt2 |    0.140s | 20.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype_test.1.smt2 |    0.141s | 21.788MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.15.smt2 |    0.141s | 22.396MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_commit.2.smt2 |    0.141s | 20.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.1.smt2 |    0.142s | 21.952MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.220.smt2 |    0.142s | 22.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__addr_interface.13.smt2 |    0.142s | 21.86MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__snp_u.8.smt2 |    0.142s | 22.088MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.26.smt2 |    0.142s | 21.996MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1lib_impl_u.l1.impl_%1.lemma_ranges_disjoint_interp_aux_interp_of_entry._01.smt2 |    0.142s | 20.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.15.smt2 |    0.142s | 20.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.17.smt2 |    0.142s | 20.612MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.11.smt2 |    0.142s | 21.532MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout__align_downlib_layout.align_down._02.smt2 |    0.142s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.57.smt2 |    0.143s | 22.052MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.7.smt2 |    0.143s | 23.144MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.5.smt2 |    0.143s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__layout_v.26.smt2 |    0.143s | 20.772MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_u.11.smt2 |    0.143s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__syscall_new_proc.smt2 |    0.144s | 22.208MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.16.smt2 |    0.144s | 22.488MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.44.smt2 |    0.144s | 22.528MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.45.smt2 |    0.144s | 22.012MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype_test.5.smt2 |    0.144s | 21.916MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__multilogimpl_v.5.smt2 |    0.144s | 21.568MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__inv_v.1.smt2 |    0.144s | 20.604MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.8.smt2 |    0.145s | 21.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.impl_%2.entry_base._01.smt2 |    0.145s | 20.404MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.30.smt2 |    0.145s | 22.328MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__multilogimpl_v.12.smt2 |    0.145s | 21.568MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.37.smt2 |    0.146s | 22.328MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.36.smt2 |    0.147s | 22.428MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_listlib_linked_list.impl_%2.prepend_contiguous_blocks._08.smt2 |    0.147s | 22.368MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.1.smt2 |    0.147s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/util__page_ptr_util_u.14.smt2 |    0.148s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__raw_ptr_s.3.smt2 |    0.148s | 21.996MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_segment.1.smt2 |    0.148s | 22.296MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-init.12.smt2 |    0.148s | 22.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.13.smt2 |    0.149s | 21.924MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.23.smt2 |    0.149s | 21.168MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.10.smt2 |    0.149s | 21.208MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_alloc.6.smt2 |    0.149s | 20.632MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/pagetable__pagetable_spec_impl.11.smt2 |    0.150s | 21.172MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__create_and_map_pages.1.smt2 |    0.150s | 21.988MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.22.smt2 |    0.150s | 22.904MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.22.smt2 |    0.150s | 22.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-free.3.smt2 |    0.150s | 22.728MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.27.smt2 |    0.151s | 21.292MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__addr_s__def_s.8.smt2 |    0.151s | 21.512MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/registers__msr_t.2.smt2 |    0.151s | 21.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.5.smt2 |    0.151s | 21.944MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.51.smt2 |    0.151s | 21.676MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.overflow_bounds._02.smt2 |    0.151s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__inv_v.17.smt2 |    0.151s | 21.004MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.4.smt2 |    0.152s | 20.836MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.176.smt2 |    0.152s | 22.8MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.30.smt2 |    0.152s | 22.32MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.56.smt2 |    0.152s | 23.004MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.impl_%2.next_entry_base._02.smt2 |    0.152s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.5.smt2 |    0.152s | 22.652MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_mul_one_to_one._01.smt2 |    0.152s | 20.22MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.140.smt2 |    0.153s | 22.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.42.smt2 |    0.153s | 22.012MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.41.smt2 |    0.153s | 21.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/registers__msr_t.7.smt2 |    0.153s | 21.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.9.smt2 |    0.153s | 21.924MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-pagelib_page.page_init._01.smt2 |    0.153s | 22.828MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.14.smt2 |    0.154s | 23.0MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec_e__size_e.smt2 |    0.154s | 21.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.16.smt2 |    0.154s | 22.76MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.66.smt2 |    0.154s | 22.084MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.10.smt2 |    0.154s | 22.156MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.48.smt2 |    0.155s | 22.024MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.122.smt2 |    0.155s | 22.66MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.20.smt2 |    0.155s | 21.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.32.smt2 |    0.155s | 22.256MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__locked.1.smt2 |    0.155s | 22.42MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__addr_interface.10.smt2 |    0.155s | 21.712MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.29.smt2 |    0.155s | 21.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.8.smt2 |    0.156s | 20.876MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/primitives_e__vec.2.smt2 |    0.156s | 21.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.60.smt2 |    0.156s | 22.044MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_u.1.smt2 |    0.156s | 19.968MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.12.smt2 |    0.156s | 21.172MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.138.smt2 |    0.157s | 22.728MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.34.smt2 |    0.157s | 21.94MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__start_v.2.smt2 |    0.157s | 20.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__linkedlist.11.smt2 |    0.158s | 22.876MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__cast.2.smt2 |    0.158s | 21.376MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.108.smt2 |    0.158s | 22.584MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.9.smt2 |    0.158s | 22.288MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.6.smt2 |    0.158s | 22.02MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.8.smt2 |    0.158s | 21.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.39.smt2 |    0.158s | 22.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.5.smt2 |    0.158s | 21.112MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__os_refinement.10.smt2 |    0.158s | 21.396MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_fundamental_div_mod_converse_helper_2._01.smt2 |    0.158s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.56.smt2 |    0.158s | 21.784MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.7.smt2 |    0.158s | 21.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20230314-Jaroslav-Bendik-Certora/52759_b3ecd2335fd16ec2eee2_9_UFDTNIA.smt2 |    0.158s | 23.648MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/allocator__page_allocator_spec_impl.10.smt2 |    0.159s | 21.08MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/pagetable__pagetable_spec_impl.5.smt2 |    0.159s | 21.128MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/lock__spin_perm_s.3.smt2 |    0.159s | 22.092MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.14.smt2 |    0.159s | 22.232MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.15.smt2 |    0.159s | 22.224MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec.4.smt2 |    0.159s | 21.692MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_refinement.5.smt2 |    0.159s | 21.196MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.35.smt2 |    0.159s | 21.288MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.21.smt2 |    0.160s | 22.068MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic__page_free_list_extendlib_alloc_generic.page_free_list_extend._03.smt2 |    0.160s | 22.252MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.3.smt2 |    0.160s | 21.952MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.71.smt2 |    0.160s | 21.744MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-root.5.smt2 |    0.160s | 21.824MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.97.smt2 |    0.161s | 22.5MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.18.smt2 |    0.161s | 24.452MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__raw_ptr_s.1.smt2 |    0.161s | 22.0MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.40.smt2 |    0.161s | 22.492MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.25.smt2 |    0.161s | 21.708MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l0.19.smt2 |    0.161s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1__impl_%1__lemma_resolve_refines.smt2 |    0.161s | 20.66MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.20.smt2 |    0.162s | 21.74MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__init__init_s.smt2 |    0.162s | 22.78MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.11.smt2 |    0.162s | 22.688MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.41.smt2 |    0.162s | 22.216MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.19.smt2 |    0.162s | 21.92MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.18.smt2 |    0.162s | 21.512MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.2.smt2 |    0.162s | 22.264MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.51.smt2 |    0.162s | 21.08MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.53.smt2 |    0.162s | 22.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.60.smt2 |    0.162s | 21.812MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.30.smt2 |    0.162s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.21.smt2 |    0.163s | 21.692MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.65.smt2 |    0.163s | 22.02MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__idt__def.4.smt2 |    0.164s | 23.996MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.73.smt2 |    0.164s | 22.332MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__snp_u.2.smt2 |    0.164s | 22.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-init.13.smt2 |    0.164s | 22.824MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.40.smt2 |    0.164s | 21.616MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.22.smt2 |    0.165s | 21.42MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.26.smt2 |    0.165s | 22.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.1.smt2 |    0.165s | 22.716MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec.3.smt2 |    0.165s | 21.376MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.50.smt2 |    0.165s | 20.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.13.smt2 |    0.165s | 20.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.10.smt2 |    0.166s | 22.228MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/primitives_e__vec.1.smt2 |    0.166s | 21.952MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec_e__math__bits_e.1.smt2 |    0.166s | 22.056MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.7.smt2 |    0.166s | 22.436MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layoutlib_layout.align_up._02.smt2 |    0.166s | 20.992MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.28.smt2 |    0.166s | 21.76MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbufferlib_spec.cyclicbuffer.log_entry_alive_value_wrap_around._01.smt2 |    0.166s | 20.592MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.1.smt2 |    0.166s | 21.772MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.15.smt2 |    0.166s | 22.044MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.14.smt2 |    0.167s | 21.728MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/memory_manager__spec_impl.2.smt2 |    0.167s | 21.132MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.49.smt2 |    0.167s | 22.072MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.3.smt2 |    0.167s | 22.248MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_t.8.smt2 |    0.167s | 22.44MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_fast.4.smt2 |    0.167s | 22.072MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__os_refinement.1.smt2 |    0.167s | 21.264MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.16.smt2 |    0.167s | 22.744MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.42.smt2 |    0.167s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.11.smt2 |    0.168s | 22.48MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/pagetable__pagetable_spec_impl.6.smt2 |    0.169s | 21.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.193.smt2 |    0.169s | 22.888MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.130.smt2 |    0.169s | 22.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.13.smt2 |    0.169s | 22.144MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__addr_interface.2.smt2 |    0.169s | 21.924MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_refinement.3.smt2 |    0.169s | 21.276MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.15.smt2 |    0.169s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__inv_v.9.smt2 |    0.169s | 20.764MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.37.smt2 |    0.170s | 20.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.199.smt2 |    0.171s | 22.9MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.46.smt2 |    0.171s | 22.472MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.31.smt2 |    0.172s | 22.524MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.106.smt2 |    0.172s | 22.596MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_s.2.smt2 |    0.172s | 21.424MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.lemma_aligned_iff_eq_mul_div._02.smt2 |    0.172s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment__segment_span_allocate.1.smt2 |    0.172s | 22.108MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.39.smt2 |    0.172s | 22.0MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.18.smt2 |    0.172s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.42.smt2 |    0.173s | 22.484MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.15.smt2 |    0.173s | 22.816MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.102.smt2 |    0.173s | 22.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-constants.3.smt2 |    0.173s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.27.smt2 |    0.173s | 22.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page.8.smt2 |    0.173s | 22.572MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.78.smt2 |    0.173s | 21.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.209.smt2 |    0.174s | 22.936MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.221.smt2 |    0.174s | 23.156MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.17.smt2 |    0.174s | 20.416MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.28.smt2 |    0.174s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-free.6.smt2 |    0.174s | 22.688MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.20.smt2 |    0.175s | 22.328MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.5.smt2 |    0.175s | 22.172MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-init.10.smt2 |    0.175s | 21.928MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-mathmain_math.lemma_small_mod._01.smt2 |    0.175s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.20.smt2 |    0.175s | 22.74MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.95.smt2 |    0.176s | 22.556MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/memory_manager__spec_impl.12.smt2 |    0.177s | 21.624MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.10.smt2 |    0.177s | 22.224MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.237.smt2 |    0.177s | 23.212MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.33.smt2 |    0.177s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.16.smt2 |    0.177s | 22.004MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__indexinglib_impl_u.indexing.lemma_index_from_base_and_addr._01.smt2 |    0.177s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.28.smt2 |    0.177s | 21.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-math.20.smt2 |    0.177s | 20.044MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout__two_mul_with_bit1.smt2 |    0.177s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.16.smt2 |    0.177s | 21.524MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.7.smt2 |    0.177s | 21.956MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__idt__dummy.5.smt2 |    0.178s | 24.328MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.325.smt2 |    0.178s | 23.5MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/pagetable__pagetable_spec_impl.7.smt2 |    0.179s | 21.048MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.12.smt2 |    0.179s | 21.692MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.3.smt2 |    0.179s | 21.74MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/primitives_e__seq.2.smt2 |    0.179s | 21.12MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.27.smt2 |    0.179s | 22.484MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.13.smt2 |    0.179s | 20.304MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__indexinglib_impl_u.indexing.lemma_entry_base_from_index_support._02.smt2 |    0.179s | 19.812MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.mod_less_eq._01.smt2 |    0.179s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.26.smt2 |    0.180s | 21.872MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.39.smt2 |    0.180s | 22.368MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.86.smt2 |    0.180s | 22.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__cast.6.smt2 |    0.181s | 21.372MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__mshyper__param_e.1.smt2 |    0.181s | 23.404MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.12.smt2 |    0.181s | 22.768MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpuid.11.smt2 |    0.181s | 22.876MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.20.smt2 |    0.181s | 22.48MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-config.21.smt2 |    0.181s | 20.46MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.10.smt2 |    0.181s | 20.408MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.79.smt2 |    0.181s | 21.988MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_t.6.smt2 |    0.182s | 22.412MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.151.smt2 |    0.182s | 22.828MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.9.smt2 |    0.182s | 22.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__linkedlist.3.smt2 |    0.182s | 22.652MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.11.smt2 |    0.182s | 22.928MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl.1.smt2 |    0.182s | 20.2MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.2.smt2 |    0.183s | 21.792MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.28.smt2 |    0.183s | 22.928MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.94.smt2 |    0.183s | 21.968MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-queues.3.smt2 |    0.183s | 22.24MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.14.smt2 |    0.183s | 22.008MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.7.smt2 |    0.184s | 22.892MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.12.smt2 |    0.184s | 23.34MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.49.smt2 |    0.184s | 22.376MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.4.smt2 |    0.184s | 22.772MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_t.15.smt2 |    0.184s | 20.192MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.41.smt2 |    0.184s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.5.smt2 |    0.184s | 21.42MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.196.smt2 |    0.185s | 22.832MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.26.smt2 |    0.185s | 22.34MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__mem__mem_p.11.smt2 |    0.185s | 23.104MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.6.smt2 |    0.186s | 23.12MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__ptram__ptram_p.6.smt2 |    0.186s | 22.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__addr_interface.16.smt2 |    0.186s | 21.732MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.1.smt2 |    0.186s | 24.864MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec_e__math__bits_e.3.smt2 |    0.186s | 22.084MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.26.smt2 |    0.186s | 22.02MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-extralib_extra.mult_leq_mono_both._01.smt2 |    0.186s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-root.smt2 |    0.186s | 22.036MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.225.smt2 |    0.187s | 23.12MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__x64__x64_p.2.smt2 |    0.187s | 23.108MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_listlib_linked_list.impl_%2.prepend_contiguous_blocks._05.smt2 |    0.187s | 21.952MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic__page_free_list_extendlib_alloc_generic.page_free_list_extend._05.smt2 |    0.187s | 22.14MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment__segment_alloclib_segment.segment_alloc._02.smt2 |    0.187s | 22.42MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.231.smt2 |    0.188s | 22.992MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__trackedcore__snpmulticore.1.smt2 |    0.188s | 24.068MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__snp_s.smt2 |    0.188s | 23.652MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.50.smt2 |    0.188s | 22.42MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic__page_free_list_extendlib_alloc_generic.page_free_list_extend._04.smt2 |    0.188s | 22.2MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.23.smt2 |    0.188s | 22.204MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.impl_%2.index_for_vaddr._01.smt2 |    0.188s | 20.216MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-bin_sizes.35.smt2 |    0.188s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.175.smt2 |    0.189s | 22.9MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.17.smt2 |    0.189s | 22.232MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/registers__msr_t.3.smt2 |    0.189s | 21.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__linkedlist.13.smt2 |    0.189s | 22.748MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.184.smt2 |    0.189s | 22.828MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.69.smt2 |    0.189s | 22.532MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.16.smt2 |    0.189s | 21.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.13.smt2 |    0.189s | 22.092MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__mshyper__param_e.5.smt2 |    0.190s | 23.472MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.51.smt2 |    0.190s | 22.444MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.72.smt2 |    0.190s | 22.552MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.6.smt2 |    0.190s | 21.976MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.202.smt2 |    0.190s | 22.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.27.smt2 |    0.190s | 20.892MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__inv_v.2.smt2 |    0.190s | 20.572MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-root.smt2 |    0.190s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.38.smt2 |    0.191s | 22.536MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.33.smt2 |    0.191s | 21.644MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic__page_free_list_extendlib_alloc_generic.page_free_list_extend._06.smt2 |    0.191s | 22.144MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.32.smt2 |    0.191s | 20.712MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment.5.smt2 |    0.191s | 23.368MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.19.smt2 |    0.191s | 21.676MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__mem_util.2.smt2 |    0.192s | 22.276MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.24.smt2 |    0.192s | 21.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.149.smt2 |    0.192s | 22.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-queues__page_queue_push.smt2 |    0.192s | 22.596MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.12.smt2 |    0.192s | 20.504MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.18.smt2 |    0.192s | 20.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.11.smt2 |    0.192s | 21.852MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.5.smt2 |    0.193s | 21.988MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__mem__mem_p.13.smt2 |    0.193s | 23.136MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.40.smt2 |    0.193s | 21.988MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__pgtable__entry_p.3.smt2 |    0.193s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-definitions_ulib_definitions_u.impl_%3.lemma_entry_sizes_increase._01.smt2 |    0.193s | 20.552MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.63.smt2 |    0.194s | 22.164MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.83.smt2 |    0.194s | 21.868MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__layout_v.31.smt2 |    0.194s | 20.544MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.30.smt2 |    0.194s | 21.584MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.31.smt2 |    0.194s | 23.108MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.4.smt2 |    0.195s | 22.752MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.98.smt2 |    0.195s | 22.464MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__addr_s__page.6.smt2 |    0.195s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.26.smt2 |    0.195s | 22.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__mem__mem_p.16.smt2 |    0.195s | 23.276MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.119.smt2 |    0.195s | 22.556MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.4.smt2 |    0.195s | 20.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.32.smt2 |    0.195s | 21.616MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.165.smt2 |    0.196s | 22.776MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.342.smt2 |    0.196s | 23.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.2.smt2 |    0.196s | 20.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.56.smt2 |    0.197s | 22.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.307.smt2 |    0.197s | 23.376MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.1.smt2 |    0.197s | 22.928MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-pmemlog-logimpl_v.33.smt2 |    0.197s | 20.624MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layoutlib_layout.calculate_slice_page_ptr_from_block._01.smt2 |    0.197s | 20.796MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.19.smt2 |    0.197s | 22.316MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic.9.smt2 |    0.197s | 22.356MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.6.smt2 |    0.197s | 20.852MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-spec_t__hardware.21.smt2 |    0.197s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__syscall_send_endpoint.smt2 |    0.198s | 22.184MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/vcell__vcell.smt2 |    0.198s | 20.7MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.6.smt2 |    0.198s | 22.768MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.389.smt2 |    0.198s | 23.716MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.19.smt2 |    0.198s | 20.808MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout__block_ptr_aligned_to_word.smt2 |    0.198s | 20.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__inv_v.16.smt2 |    0.199s | 20.848MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__inv_v.15.smt2 |    0.199s | 20.724MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.7.smt2 |    0.200s | 22.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.6.smt2 |    0.200s | 22.076MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.12.smt2 |    0.200s | 22.968MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpuid.2.smt2 |    0.200s | 22.876MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-commit_mask.4.smt2 |    0.200s | 20.952MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layout.26.smt2 |    0.200s | 20.908MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.64.smt2 |    0.200s | 21.724MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.32.smt2 |    0.200s | 21.232MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.40.smt2 |    0.200s | 22.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.68.smt2 |    0.200s | 21.836MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.9.smt2 |    0.201s | 24.432MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.10.smt2 |    0.201s | 22.02MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-layoutlib_layout.calculate_page_block_at._02.smt2 |    0.201s | 20.816MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.11.smt2 |    0.202s | 22.852MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.85.smt2 |    0.202s | 22.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.413.smt2 |    0.202s | 24.02MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.198.smt2 |    0.202s | 22.916MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.6.smt2 |    0.202s | 22.736MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.286.smt2 |    0.203s | 23.268MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.13.smt2 |    0.203s | 23.044MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__inv_v.10.smt2 |    0.203s | 20.648MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.417.smt2 |    0.204s | 23.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.418.smt2 |    0.204s | 23.824MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.346.smt2 |    0.204s | 23.696MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.206.smt2 |    0.204s | 23.0MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/lock__spincell_e.1.smt2 |    0.204s | 21.956MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__mem__mem_p.4.smt2 |    0.205s | 23.176MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__range_interface.7.smt2 |    0.205s | 22.112MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l1.41.smt2 |    0.205s | 20.78MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-init.11.smt2 |    0.205s | 22.48MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.281.smt2 |    0.206s | 23.428MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.15.smt2 |    0.206s | 23.056MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.183.smt2 |    0.206s | 22.896MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.51.smt2 |    0.206s | 22.408MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.168.smt2 |    0.207s | 22.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.91.smt2 |    0.207s | 22.564MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.19.smt2 |    0.207s | 22.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.18.smt2 |    0.207s | 22.32MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.12.smt2 |    0.208s | 24.256MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.201.smt2 |    0.208s | 23.084MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.216.smt2 |    0.209s | 23.012MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.162.smt2 |    0.209s | 22.808MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.67.smt2 |    0.209s | 21.86MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment__segment_page_clear.smt2 |    0.209s | 22.612MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.1.smt2 |    0.209s | 21.708MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__logimpl_v.12.smt2 |    0.210s | 21.176MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.32.smt2 |    0.210s | 22.892MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-alloc_generic.5.smt2 |    0.210s | 22.396MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.19.smt2 |    0.210s | 22.06MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/lock__spincell_e.5.smt2 |    0.211s | 22.316MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__params.8.smt2 |    0.211s | 23.952MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.39.smt2 |    0.211s | 22.568MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.36.smt2 |    0.211s | 22.496MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.99.smt2 |    0.211s | 22.468MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-log__logimpl_v.4.smt2 |    0.211s | 21.184MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__create_and_share_pages.3.smt2 |    0.212s | 22.496MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.213.smt2 |    0.212s | 22.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.341.smt2 |    0.212s | 23.428MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__def_s.smt2 |    0.212s | 23.832MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__setup_v.6.smt2 |    0.212s | 21.128MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.39.smt2 |    0.213s | 21.992MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.21.smt2 |    0.213s | 23.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_e.7.smt2 |    0.213s | 24.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.32.smt2 |    0.213s | 22.504MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.9.smt2 |    0.213s | 22.1MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.350.smt2 |    0.213s | 23.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.364.smt2 |    0.214s | 23.808MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__def.34.smt2 |    0.214s | 22.568MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.27.smt2 |    0.215s | 22.008MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.45.smt2 |    0.216s | 22.284MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.329.smt2 |    0.216s | 23.5MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.415.smt2 |    0.217s | 24.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.403.smt2 |    0.217s | 23.804MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.392.smt2 |    0.217s | 23.744MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.265.smt2 |    0.218s | 23.228MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.261.smt2 |    0.219s | 23.248MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.115.smt2 |    0.219s | 22.664MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-queues__page_queue_push_back.smt2 |    0.219s | 22.468MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__ptram__ptram_s.smt2 |    0.220s | 21.336MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_listlib_linked_list.impl_%2.prepend_contiguous_blocks._03.smt2 |    0.220s | 21.88MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/pagetable__pagetable_spec_impl.1.smt2 |    0.221s | 21.152MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__monitor_params.smt2 |    0.221s | 22.604MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.12.smt2 |    0.221s | 24.212MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__idt__dummy.2.smt2 |    0.221s | 24.296MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.282.smt2 |    0.221s | 23.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__snp_u.15.smt2 |    0.221s | 22.148MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.13.smt2 |    0.221s | 24.588MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.55.smt2 |    0.221s | 23.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.297.smt2 |    0.222s | 23.38MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.388.smt2 |    0.222s | 23.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.25.smt2 |    0.222s | 24.056MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.81.smt2 |    0.223s | 22.592MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.226.smt2 |    0.223s | 23.224MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__init__mshv_fmt.1.smt2 |    0.223s | 24.736MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.45.smt2 |    0.223s | 21.704MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.13.smt2 |    0.224s | 23.192MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__multilogimpl_v.1.smt2 |    0.224s | 21.248MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.45.smt2 |    0.224s | 22.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.33.smt2 |    0.225s | 22.204MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__slice_print.3.smt2 |    0.225s | 23.956MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.23.smt2 |    0.225s | 24.1MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec_e__math__align_e.1.smt2 |    0.225s | 21.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.6.smt2 |    0.226s | 24.184MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.16.smt2 |    0.226s | 24.532MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.3.smt2 |    0.226s | 22.68MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.370.smt2 |    0.227s | 23.656MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.240.smt2 |    0.227s | 23.044MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.2.smt2 |    0.228s | 24.332MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.7.smt2 |    0.228s | 24.644MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.19.smt2 |    0.228s | 22.1MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/page-table-smt-impl_u__l2_impl__PT.28.smt2 |    0.228s | 21.696MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__gdt.38.smt2 |    0.229s | 22.136MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.380.smt2 |    0.229s | 23.816MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.88.smt2 |    0.229s | 21.748MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__params.23.smt2 |    0.230s | 25.792MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.3.smt2 |    0.230s | 21.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.7.smt2 |    0.231s | 23.976MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.10.smt2 |    0.231s | 24.264MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.21.smt2 |    0.231s | 22.764MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.19.smt2 |    0.231s | 23.492MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.186.smt2 |    0.231s | 22.82MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__replica.4.smt2 |    0.231s | 21.98MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.283.smt2 |    0.232s | 23.424MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.24.smt2 |    0.232s | 22.38MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_utillib_os_mem_util.preserves_mem_chunk_good_except._01.smt2 |    0.232s | 21.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-spec__cyclicbuffer__CyclicBuffer.22.smt2 |    0.233s | 21.54MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/verified-storage-smt-verified-storage-smt-storage-node-multilog__multilogimpl_v.9.smt2 |    0.233s | 21.556MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.5.smt2 |    0.234s | 24.152MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.366.smt2 |    0.234s | 23.82MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.24.smt2 |    0.234s | 21.828MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.47.smt2 |    0.234s | 22.904MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.308.smt2 |    0.235s | 23.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.9.smt2 |    0.235s | 22.872MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.7.smt2 |    0.235s | 22.78MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.309.smt2 |    0.235s | 23.304MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/process_manager__spec_impl.13.smt2 |    0.236s | 21.752MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.8.smt2 |    0.236s | 21.424MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-os_mem_util.16.smt2 |    0.237s | 22.124MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.152.smt2 |    0.238s | 22.712MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.2.smt2 |    0.238s | 23.944MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.393.smt2 |    0.238s | 23.836MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.18.smt2 |    0.238s | 22.772MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.208.smt2 |    0.238s | 23.04MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.423.smt2 |    0.238s | 23.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.8.smt2 |    0.238s | 21.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.8.smt2 |    0.239s | 24.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__vram__vram_p.1.smt2 |    0.239s | 22.668MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.368.smt2 |    0.240s | 23.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpuid.16.smt2 |    0.240s | 24.468MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.2.smt2 |    0.240s | 24.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page_organization__PageOrg.35.smt2 |    0.240s | 21.78MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.8.smt2 |    0.241s | 24.568MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/noderep-smt-exec__log.14.smt2 |    0.241s | 22.096MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.26.smt2 |    0.242s | 24.176MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__params.12.smt2 |    0.243s | 25.832MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpuid.13.smt2 |    0.244s | 22.92MiB| unsat | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.18.smt2 |    0.244s | 23.312MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.381.smt2 |    0.244s | 23.828MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.235.smt2 |    0.245s | 23.172MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.408.smt2 |    0.245s | 23.864MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.398.smt2 |    0.245s | 23.912MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.44.smt2 |    0.245s | 22.464MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-types.11.smt2 |    0.245s | 22.392MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.11.smt2 |    0.245s | 22.872MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-linked_list.21.smt2 |    0.245s | 22.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.395.smt2 |    0.246s | 23.728MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__linkedlist.10.smt2 |    0.246s | 22.984MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_e.5.smt2 |    0.246s | 24.5MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.20.smt2 |    0.246s | 24.332MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.394.smt2 |    0.247s | 23.732MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/ptr__snp__rmp__rmp_e.3.smt2 |    0.248s | 24.584MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/allocator__buddy.15.smt2 |    0.248s | 22.816MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.148.smt2 |    0.248s | 22.8MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/addr_e__addr_interface.3.smt2 |    0.249s | 21.736MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpuid.14.smt2 |    0.250s | 24.432MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.328.smt2 |    0.250s | 23.448MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment__segment_span_free_coalesce_before.smt2 |    0.250s | 22.292MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.19.smt2 |    0.251s | 24.544MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.178.smt2 |    0.251s | 22.816MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.390.smt2 |    0.251s | 23.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/atmosphere/kernel__create_and_map_pages.6.smt2 |    0.252s | 22.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.391.smt2 |    0.252s | 23.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.26.smt2 |    0.252s | 24.544MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/arch__ptram__ptram_p.10.smt2 |    0.252s | 22.86MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.233.smt2 |    0.253s | 23.136MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.22.smt2 |    0.253s | 24.648MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.9.smt2 |    0.254s | 22.904MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.30.smt2 |    0.255s | 26.716MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-page.16.smt2 |    0.255s | 22.604MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype_test.8.smt2 |    0.256s | 21.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_e.15.smt2 |    0.257s | 24.516MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.324.smt2 |    0.258s | 23.38MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.37.smt2 |    0.261s | 26.512MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.58.smt2 |    0.261s | 26.684MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.52.smt2 |    0.261s | 23.032MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.51.smt2 |    0.261s | 22.896MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.222.smt2 |    0.262s | 23.144MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.4.smt2 |    0.262s | 26.372MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__idt__dummy.3.smt2 |    0.263s | 24.352MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__pcr.8.smt2 |    0.264s | 27.124MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.29.smt2 |    0.266s | 24.596MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.23.smt2 |    0.266s | 24.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.38.smt2 |    0.267s | 26.676MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.3.smt2 |    0.267s | 24.428MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.25.smt2 |    0.268s | 27.38MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.1.smt2 |    0.268s | 26.652MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.348.smt2 |    0.269s | 23.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.25.smt2 |    0.269s | 24.632MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-tokens__Mim.54.smt2 |    0.269s | 22.964MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.31.smt2 |    0.271s | 26.512MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.22.smt2 |    0.272s | 26.776MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.371.smt2 |    0.273s | 23.724MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.77.smt2 |    0.274s | 22.572MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__init__mshv_alloc.3.smt2 |    0.274s | 25.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.338.smt2 |    0.274s | 23.632MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.112.smt2 |    0.275s | 27.948MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.109.smt2 |    0.276s | 22.44MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/pgtable_e__pte.11.smt2 |    0.278s | 24.648MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.126.smt2 |    0.278s | 27.804MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.274.smt2 |    0.280s | 23.376MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.239.smt2 |    0.280s | 23.12MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.14.smt2 |    0.282s | 26.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.321.smt2 |    0.285s | 23.444MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__params.16.smt2 |    0.287s | 25.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.34.smt2 |    0.287s | 26.732MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.40.smt2 |    0.287s | 26.664MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.27.smt2 |    0.288s | 27.384MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.12.smt2 |    0.289s | 27.668MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.69.smt2 |    0.290s | 27.676MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.13.smt2 |    0.291s | 26.52MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.17.smt2 |    0.291s | 26.684MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/vbox__vbox.3.smt2 |    0.292s | 27.112MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.155.smt2 |    0.292s | 22.808MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.1.smt2 |    0.292s | 26.848MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__init__init_e.2.smt2 |    0.293s | 26.148MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.66.smt2 |    0.294s | 27.572MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.6.smt2 |    0.294s | 27.616MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__pcr.2.smt2 |    0.294s | 27.004MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.124.smt2 |    0.294s | 22.576MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.362.smt2 |    0.294s | 23.828MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/vbox__vbox.2.smt2 |    0.294s | 27.08MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.44.smt2 |    0.294s | 26.68MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.172.smt2 |    0.295s | 22.848MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.414.smt2 |    0.295s | 24.024MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/systems/mimalloc-smt-segment__segment_slice_split.smt2 |    0.297s | 22.732MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.372.smt2 |    0.298s | 23.844MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/linkedlist.14.smt2 |    0.298s | 23.016MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security.11.smt2 |    0.299s | 23.42MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.91.smt2 |    0.301s | 27.668MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.1.smt2 |    0.301s | 26.516MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/vbox__vbox.7.smt2 |    0.301s | 27.284MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.306.smt2 |    0.301s | 23.344MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.44.smt2 |    0.302s | 26.824MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.11.smt2 |    0.302s | 27.18MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.363.smt2 |    0.303s | 23.716MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.144.smt2 |    0.304s | 22.672MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.20.smt2 |    0.305s | 27.136MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.10.smt2 |    0.305s | 27.156MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.412.smt2 |    0.305s | 23.996MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.32.smt2 |    0.306s | 26.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__pcr.5.smt2 |    0.307s | 27.084MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.26.smt2 |    0.307s | 27.46MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.14.smt2 |    0.309s | 27.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.20.smt2 |    0.309s | 27.464MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.11.smt2 |    0.309s | 26.56MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.9.smt2 |    0.309s | 27.612MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.27.smt2 |    0.310s | 27.696MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.16.smt2 |    0.310s | 27.672MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper.19.smt2 |    0.311s | 24.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.256.smt2 |    0.311s | 23.296MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.37.smt2 |    0.312s | 26.804MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.18.smt2 |    0.312s | 27.62MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.4.smt2 |    0.314s | 27.58MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/tspec__security__sectype.336.smt2 |    0.315s | 23.6MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.20.smt2 |    0.317s | 26.68MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.38.smt2 |    0.317s | 27.712MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.15.smt2 |    0.319s | 27.556MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/debug__ghcb_print.28.smt2 |    0.319s | 24.132MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.10.smt2 |    0.320s | 26.452MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper__hypercall.2.smt2 |    0.322s | 26.936MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.12.smt2 |    0.323s | 26.416MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.6.smt2 |    0.324s | 27.196MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.24.smt2 |    0.325s | 27.532MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.96.smt2 |    0.325s | 27.944MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__params.14.smt2 |    0.326s | 25.768MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.27.smt2 |    0.327s | 27.296MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.28.smt2 |    0.327s | 27.06MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.49.smt2 |    0.327s | 26.5MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.2.smt2 |    0.328s | 27.548MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.127.smt2 |    0.329s | 27.92MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.22.smt2 |    0.330s | 27.412MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.22.smt2 |    0.331s | 27.408MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.38.smt2 |    0.331s | 27.212MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.5.smt2 |    0.331s | 27.612MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.50.smt2 |    0.332s | 27.264MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.8.smt2 |    0.332s | 27.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.117.smt2 |    0.334s | 27.924MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.18.smt2 |    0.334s | 27.26MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper__wakeup.1.smt2 |    0.334s | 27.6MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.24.smt2 |    0.335s | 27.74MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.102.smt2 |    0.335s | 27.96MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.45.smt2 |    0.336s | 27.308MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.88.smt2 |    0.336s | 27.944MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.17.smt2 |    0.337s | 27.148MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.10.smt2 |    0.337s | 27.696MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.31.smt2 |    0.338s | 27.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.138.smt2 |    0.338s | 27.804MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.11.smt2 |    0.340s | 26.484MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.7.smt2 |    0.340s | 26.432MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper__wakeup.7.smt2 |    0.341s | 27.592MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.41.smt2 |    0.341s | 27.784MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.8.smt2 |    0.341s | 26.528MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.7.smt2 |    0.342s | 27.224MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.28.smt2 |    0.342s | 26.468MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.36.smt2 |    0.342s | 26.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.19.smt2 |    0.343s | 27.556MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.26.smt2 |    0.345s | 27.696MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.25.smt2 |    0.345s | 27.74MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.98.smt2 |    0.347s | 27.808MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.25.smt2 |    0.347s | 27.076MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.89.smt2 |    0.350s | 27.692MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.37.smt2 |    0.352s | 27.332MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.83.smt2 |    0.352s | 27.944MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.134.smt2 |    0.352s | 27.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.64.smt2 |    0.352s | 26.68MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.85.smt2 |    0.354s | 27.856MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.107.smt2 |    0.355s | 27.836MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.28.smt2 |    0.355s | 27.184MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.4.smt2 |    0.355s | 27.004MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.6.smt2 |    0.356s | 27.188MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.30.smt2 |    0.357s | 27.492MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.14.smt2 |    0.359s | 27.604MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.94.smt2 |    0.361s | 27.976MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.32.smt2 |    0.362s | 27.68MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.104.smt2 |    0.362s | 27.792MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.10.smt2 |    0.363s | 27.8MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.70.smt2 |    0.365s | 27.872MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.17.smt2 |    0.366s | 27.4MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/vbox__vbox.6.smt2 |    0.371s | 27.388MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.10.smt2 |    0.371s | 27.292MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.21.smt2 |    0.372s | 27.2MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.2.smt2 |    0.374s | 27.2MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.50.smt2 |    0.375s | 26.624MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.49.smt2 |    0.375s | 27.168MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.67.smt2 |    0.375s | 27.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/mshyper__wakeup.5.smt2 |    0.380s | 27.632MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.34.smt2 |    0.380s | 27.692MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.81.smt2 |    0.381s | 27.74MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.140.smt2 |    0.382s | 28.024MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.93.smt2 |    0.389s | 27.884MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.68.smt2 |    0.390s | 27.628MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.71.smt2 |    0.392s | 27.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.13.smt2 |    0.392s | 27.244MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.121.smt2 |    0.393s | 27.908MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.44.smt2 |    0.393s | 27.636MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.63.smt2 |    0.393s | 27.584MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.17.smt2 |    0.396s | 27.54MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.110.smt2 |    0.396s | 27.736MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.42.smt2 |    0.397s | 27.276MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.73.smt2 |    0.398s | 27.768MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.13.smt2 |    0.398s | 27.7MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.5.smt2 |    0.400s | 26.552MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.13.smt2 |    0.403s | 26.876MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.43.smt2 |    0.410s | 26.836MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl.15.smt2 |    0.412s | 27.456MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.103.smt2 |    0.413s | 27.916MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.48.smt2 |    0.413s | 27.544MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/boot__linux.35.smt2 |    0.415s | 26.696MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_impl__internal.2.smt2 |    0.422s | 27.008MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__cpu__vmsa.18.smt2 |    0.425s | 26.54MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/snp__ghcb__proto_page.16.smt2 |    0.437s | 27.704MiB| unknown | 0 |  |  |
|non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.9.smt2 |    0.464s | 27.684MiB| unknown | 0 |  |  |