# . * SAT 8 * UNSAT 47 * TIMEOUT 0 * UNKNOWN 138 * ERRORS 0 # Meta data 
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/UFBV.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-UFBV.tar.zst-downl
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/UFBV.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

Signed-off-by: Nikolaj Bjorner
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-1.smt2 | 0.021s | 19.9MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-1.smt2 | 0.023s | 19.708MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-10.smt2 | 0.026s | 20.392MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-9.smt2 | 0.026s | 19.864MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-3.smt2 | 0.026s | 19.788MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-8.smt2 | 0.028s | 20.648MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/442_ph7.smt2 | 0.034s | 20.408MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-2.smt2 | 0.041s | 20.588MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_unsat/easy.smt2 | 0.054s | 21.384MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy0.smt2 | 0.054s | 21.532MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/533_ph7.smt2 | 0.054s | 19.848MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/369_oggenc.smt2 | 0.059s | 20.092MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/971_sqlite3.smt2 | 0.061s | 20.072MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2/gzip/258_gzip.smt2 | 0.067s | 20.1MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/951_sqlite3.smt2 | 0.069s | 19.932MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-4.smt2 | 0.071s | 19.828MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/409_ph7.smt2 | 0.075s | 19.852MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-7.smt2 | 0.076s | 20.42MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard1.smt2 | 0.079s | 22.44MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-5.smt2 | 0.079s | 19.876MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_unsat/medium.smt2 | 0.080s | 21.372MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_unsat/hard.smt2 | 0.080s | 21.376MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-3.smt2 | 0.081s | 20.076MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-1.smt2 | 0.081s | 20.124MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-2.smt2 | 0.082s | 19.976MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/402_ph7.smt2 | 0.083s | 20.1MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-8.smt2 | 0.083s | 20.152MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-10.smt2 | 0.084s | 19.848MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/408_ph7.smt2 | 0.085s | 19.852MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-2.smt2 | 0.085s | 20.124MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-3.smt2 | 0.089s | 19.896MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/445_ph7.smt2 | 0.091s | 20.272MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-7.smt2 | 0.091s | 19.856MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/776_sqlite3.smt2 | 0.092s | 20.584MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-5.smt2 | 0.093s | 19.784MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/385_oggenc.smt2 | 0.094s | 20.468MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/847_sqlite3.smt2 | 0.095s | 20.216MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-7.smt2 | 0.097s | 20.256MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-4.smt2 | 0.097s | 20.364MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-1.smt2 | 0.098s | 19.584MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-7.smt2 | 0.098s | 19.908MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-5.smt2 | 0.098s | 19.808MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-1.smt2 | 0.099s | 19.504MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-2.smt2 | 0.099s | 20.36MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/668_ph7.smt2 | 0.100s | 20.368MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/379_oggenc.smt2 | 0.100s | 20.332MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-4.smt2 | 0.101s | 19.596MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-7.smt2 | 0.101s | 19.884MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-8.smt2 | 0.102s | 19.72MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-2.smt2 | 0.102s | 19.664MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-2.smt2 | 0.102s | 19.524MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-2.smt2 | 0.102s | 19.536MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-1.smt2 | 0.102s | 19.728MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/492_ph7.smt2 | 0.103s | 19.86MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/652_ph7.smt2 | 0.103s | 19.74MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-5.smt2 | 0.103s | 19.7MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-7.smt2 | 0.103s | 19.852MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-3.smt2 | 0.103s | 20.376MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy4.smt2 | 0.104s | 24.096MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-9.smt2 | 0.104s | 19.864MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-2.smt2 | 0.105s | 19.572MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-1.smt2 | 0.105s | 19.608MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/566_ph7.smt2 | 0.106s | 19.768MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-2.smt2 | 0.106s | 19.588MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-9.smt2 | 0.106s | 19.836MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-8.smt2 | 0.106s | 19.884MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-6.smt2 | 0.106s | 20.26MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-3.smt2 | 0.106s | 19.56MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-10.smt2 | 0.106s | 19.876MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-3.smt2 | 0.106s | 19.636MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-9.smt2 | 0.106s | 19.856MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-9.smt2 | 0.106s | 19.9MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-1.smt2 | 0.106s | 19.704MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy5.smt2 | 0.107s | 22.7MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-8.smt2 | 0.107s | 19.856MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-6.smt2 | 0.107s | 19.764MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-6.smt2 | 0.107s | 19.768MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-1.smt2 | 0.107s | 19.852MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-4.smt2 | 0.107s | 19.84MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-10.smt2 | 0.107s | 19.868MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-4.smt2 | 0.107s | 19.652MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-1.smt2 | 0.107s | 23.544MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/678_ph7.smt2 | 0.108s | 20.12MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/562_ph7.smt2 | 0.108s | 19.94MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/643_ph7.smt2 | 0.108s | 19.956MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-3.smt2 | 0.108s | 20.108MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-5.smt2 | 0.111s | 20.136MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-1.smt2 | 0.111s | 21.116MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-4.smt2 | 0.112s | 20.268MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium0.smt2 | 0.113s | 22.66MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/701_ph7.smt2 | 0.113s | 19.848MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-1.smt2 | 0.113s | 20.36MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-8.smt2 | 0.114s | 21.436MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-6.smt2 | 0.116s | 20.2MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/887_sqlite3.smt2 | 0.117s | 20.08MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-5.smt2 | 0.118s | 20.584MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard0.smt2 | 0.120s | 22.632MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/613_ph7.smt2 | 0.121s | 20.416MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2/gcc/108_gcc.smt2 | 0.122s | 20.86MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-8.smt2 | 0.125s | 20.368MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium1.smt2 | 0.126s | 22.68MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-9.smt2 | 0.126s | 20.548MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/131_gcc.smt2 | 0.129s | 20.324MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-7.smt2 | 0.130s | 21.056MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-10.smt2 | 0.130s | 20.8MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/095_gcc.smt2 | 0.133s | 20.644MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/808_sqlite3.smt2 | 0.136s | 20.092MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-3.smt2 | 0.138s | 20.104MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/935_sqlite3.smt2 | 0.139s | 20.024MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-6.smt2 | 0.142s | 19.856MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/388_oggenc.smt2 | 0.144s | 20.66MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-3.smt2 | 0.145s | 21.428MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-4.smt2 | 0.148s | 20.108MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-2.smt2 | 0.149s | 21.712MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-4.smt2 | 0.150s | 20.064MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-6.smt2 | 0.150s | 20.98MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-6.smt2 | 0.150s | 20.096MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/496_ph7.smt2 | 0.151s | 19.96MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/731_ph7.smt2 | 0.153s | 20.356MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/547_ph7.smt2 | 0.153s | 19.916MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2/ph7/570_ph7.smt2 | 0.156s | 19.652MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-10.smt2 | 0.156s | 20.328MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-5.smt2 | 0.156s | 19.632MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-5.smt2 | 0.157s | 20.364MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-3-fixpoint-1.smt2 | 0.158s | 22.28MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-6.smt2 | 0.158s | 19.852MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-9.smt2 | 0.158s | 21.736MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-8.smt2 | 0.158s | 19.848MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2/gcc/231_gcc.smt2 | 0.159s | 19.892MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/473_ph7.smt2 | 0.159s | 20.1MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/646_ph7.smt2 | 0.159s | 20.12MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/491_ph7.smt2 | 0.159s | 19.852MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/152_gcc.smt2 | 0.159s | 19.916MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-9.smt2 | 0.159s | 20.64MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-10.smt2 | 0.159s | 19.904MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/655_ph7.smt2 | 0.160s | 20.076MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/504_ph7.smt2 | 0.160s | 19.88MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/212_gcc.smt2 | 0.160s | 20.216MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/783_sqlite3.smt2 | 0.161s | 19.856MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/940_sqlite3.smt2 | 0.161s | 20.116MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-10.smt2 | 0.161s | 22.34MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-7.smt2 | 0.161s | 19.588MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/931_sqlite3.smt2 | 0.162s | 20.136MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy2.smt2 | 0.163s | 21.564MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium4.smt2 | 0.163s | 21.384MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/248_gcc.smt2 | 0.164s | 20.332MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/617_ph7.smt2 | 0.165s | 20.116MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2/sqlite3/977_sqlite3.smt2 | 0.169s | 20.148MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/405_ph7.smt2 | 0.174s | 20.256MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium5.smt2 | 0.175s | 21.76MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-4.smt2 | 0.175s | 22.264MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-1.smt2 | 0.175s | 21.132MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2/oggenc/345_oggenc.smt2 | 0.176s | 20.616MiB| unknown | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/144_gcc.smt2 | 0.177s | 20.628MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy1.smt2 | 0.180s | 21.428MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy3.smt2 | 0.184s | 21.428MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium2.smt2 | 0.185s | 21.616MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard2.smt2 | 0.187s | 21.612MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard3.smt2 | 0.189s | 21.42MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-5.smt2 | 0.201s | 23.072MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium3.smt2 | 0.215s | 22.368MiB| unknown | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard4.smt2 | 0.222s | 27.452MiB| unknown | 0 | | | |non-incremental/UFBV/20230314-Jaroslav-Bendik-Certora/52759_b3ecd2335fd16ec2eee2_9_UFBV.smt2 | 0.236s | 22.296MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-1.smt2 | 0.249s | 25.768MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-3.smt2 | 0.251s | 23.264MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-7.smt2 | 0.288s | 25.62MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-6.smt2 | 0.306s | 24.32MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-2.smt2 | 0.314s | 31.336MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-9.smt2 | 0.324s | 28.96MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-8.smt2 | 0.342s | 27.32MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-2.smt2 | 0.360s | 28.356MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-10.smt2 | 0.379s | 31.424MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-4.smt2 | 0.385s | 25.256MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-5.smt2 | 0.469s | 28.316MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-3-fixpoint-2.smt2 | 0.522s | 36.436MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-3.smt2 | 0.527s | 36.072MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-2.smt2 | 0.644s | 39.72MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-3.smt2 | 0.664s | 41.804MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-2.smt2 | 0.701s | 46.036MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-6.smt2 | 0.739s | 30.784MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-4.smt2 | 0.816s | 47.264MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-3-fixpoint-3.smt2 | 0.900s | 53.016MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-7.smt2 | 1.041s | 35.476MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-5.smt2 | 1.117s | 59.172MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-4.smt2 | 1.134s | 60.696MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-8.smt2 | 1.251s | 38.788MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-3.smt2 | 1.412s | 59.732MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-3.smt2 | 1.443s | 72.244MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-9.smt2 | 1.543s | 43.02MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-6.smt2 | 1.626s | 74.712MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-5.smt2 | 1.701s | 82.296MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-10.smt2 | 1.914s | 49.072MiB| unknown | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-4.smt2 | 2.315s | 86.352MiB| unknown | 0 | | |