# . * SAT 37 * UNSAT 101 * TIMEOUT 55 * UNKNOWN 0 * 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: 4a90d3105054796562079406e125b9480ac3472b
Z3 branch: master
Z3 options: "-T:20 model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/UFBV.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-10.smt2 | 0.025s | 20.104MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-2.smt2 | 0.037s | 20.38MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/402_ph7.smt2 | 0.047s | 22.388MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-2.smt2 | 0.059s | 19.948MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-1.smt2 | 0.071s | 20.368MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy0.smt2 | 0.077s | 23.524MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-6.smt2 | 0.078s | 20.84MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-2.smt2 | 0.080s | 20.068MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-8.smt2 | 0.080s | 20.336MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/940_sqlite3.smt2 | 0.090s | 21.644MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-5.smt2 | 0.098s | 19.844MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-2.smt2 | 0.098s | 19.56MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-5.smt2 | 0.100s | 19.88MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-6.smt2 | 0.101s | 19.652MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-6.smt2 | 0.102s | 19.84MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-8.smt2 | 0.102s | 20.104MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-6.smt2 | 0.102s | 19.704MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-9.smt2 | 0.102s | 19.852MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-7.smt2 | 0.103s | 19.82MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-2.smt2 | 0.104s | 19.604MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-3.smt2 | 0.104s | 20.236MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-2.smt2 | 0.104s | 20.42MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-10.smt2 | 0.105s | 19.76MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-8.smt2 | 0.105s | 19.896MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-1.smt2 | 0.105s | 19.9MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-7.smt2 | 0.105s | 19.756MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-6.smt2 | 0.105s | 19.952MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-5.smt2 | 0.105s | 19.78MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-1.smt2 | 0.106s | 19.584MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-3.smt2 | 0.107s | 19.772MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-3.smt2 | 0.107s | 21.02MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-9.smt2 | 0.108s | 19.84MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-10.smt2 | 0.108s | 19.9MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-4.smt2 | 0.108s | 19.892MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-5.smt2 | 0.108s | 19.808MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-1.smt2 | 0.108s | 20.224MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-9.smt2 | 0.108s | 19.9MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-7.smt2 | 0.108s | 19.892MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-10.smt2 | 0.109s | 20.108MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-6.smt2 | 0.109s | 19.888MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-9.smt2 | 0.109s | 19.748MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-2.smt2 | 0.110s | 21.32MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-1.smt2 | 0.110s | 19.572MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2/ph7/570_ph7.smt2 | 0.113s | 22.152MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-1.smt2 | 0.113s | 21.132MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-3.smt2 | 0.114s | 19.592MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-8.smt2 | 0.115s | 19.852MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-3.smt2 | 0.117s | 19.604MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-4.smt2 | 0.117s | 20.656MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-1.smt2 | 0.118s | 21.116MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-5.smt2 | 0.119s | 20.368MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2/gcc/231_gcc.smt2 | 0.121s | 21.348MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-3.smt2 | 0.121s | 19.848MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-1.smt2 | 0.123s | 20.676MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-4.smt2 | 0.128s | 20.04MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-4.smt2 | 0.131s | 20.124MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-5.smt2 | 0.134s | 20.084MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-8.smt2 | 0.135s | 20.384MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-1.smt2 | 0.135s | 21.58MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/409_ph7.smt2 | 0.139s | 21.132MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/248_gcc.smt2 | 0.140s | 22.44MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-10.smt2 | 0.140s | 20.372MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-4.smt2 | 0.141s | 20.328MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy3.smt2 | 0.146s | 23.532MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/533_ph7.smt2 | 0.146s | 21.768MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-1.smt2 | 0.146s | 19.6MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/776_sqlite3.smt2 | 0.151s | 22.048MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-7.smt2 | 0.152s | 20.368MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/473_ph7.smt2 | 0.155s | 22.416MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-4.smt2 | 0.155s | 21.324MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/847_sqlite3.smt2 | 0.159s | 21.272MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap1-fixpoint-10.smt2 | 0.162s | 19.888MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-seq-fixpoint-4.smt2 | 0.162s | 19.816MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/AR-fixpoint-9.smt2 | 0.163s | 20.548MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-1.smt2 | 0.163s | 19.72MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-1.smt2 | 0.163s | 21.636MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-7.smt2 | 0.163s | 19.856MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-8.smt2 | 0.164s | 20.088MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-swap2-fixpoint-7.smt2 | 0.164s | 19.86MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-2.smt2 | 0.164s | 19.6MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-synabs-fixpoint-3.smt2 | 0.164s | 20.012MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-dyn-partition-fixpoint-9.smt2 | 0.164s | 20.352MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/931_sqlite3.smt2 | 0.167s | 21.136MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/408_ph7.smt2 | 0.168s | 20.864MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/701_ph7.smt2 | 0.168s | 23.768MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/547_ph7.smt2 | 0.168s | 20.892MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/652_ph7.smt2 | 0.172s | 21.4MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-3-fixpoint-1.smt2 | 0.174s | 23.208MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-2.smt2 | 0.175s | 22.296MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-3.smt2 | 0.178s | 22.16MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/951_sqlite3.smt2 | 0.183s | 24.212MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-1.smt2 | 0.183s | 23.668MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-5.smt2 | 0.187s | 22.536MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-3.smt2 | 0.207s | 23.824MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/131_gcc.smt2 | 0.212s | 24.272MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-1.smt2 | 0.219s | 22.84MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2/gzip/258_gzip.smt2 | 0.236s | 23.232MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-6.smt2 | 0.237s | 22.484MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-7.smt2 | 0.252s | 23.196MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-2.smt2 | 0.265s | 25.248MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy2.smt2 | 0.322s | 30.964MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-2.smt2 | 0.351s | 26.14MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-8.smt2 | 0.360s | 24.744MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-9.smt2 | 0.364s | 25.204MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-3.smt2 | 0.438s | 30.584MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/itc-b13-fixpoint-10.smt2 | 0.440s | 25.776MiB| sat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard4.smt2 | 0.460s | 51.396MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-4.smt2 | 0.465s | 25.196MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-3-fixpoint-2.smt2 | 0.465s | 30.092MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-2.smt2 | 0.483s | 29.76MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy1.smt2 | 0.575s | 39.792MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/678_ph7.smt2 | 0.614s | 28.936MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard0.smt2 | 0.624s | 47.392MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/152_gcc.smt2 | 0.636s | 65.176MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-2.smt2 | 0.642s | 32.152MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy4.smt2 | 0.654s | 48.268MiB| sat | 0 | | | |non-incremental/UFBV/20210301-Alive2/sqlite3/977_sqlite3.smt2 | 0.686s | 22.664MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/492_ph7.smt2 | 0.689s | 64.896MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-4.smt2 | 0.830s | 37.328MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-3.smt2 | 0.865s | 40.772MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-3-fixpoint-3.smt2 | 0.897s | 40.968MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/496_ph7.smt2 | 1.324s | 57.276MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/pi-bus-fixpoint-3.smt2 | 1.435s | 43.748MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-5.smt2 | 1.447s | 46.88MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium1.smt2 | 1.464s | 70.452MiB| sat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium5.smt2 | 1.474s | 53.156MiB| sat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-3.smt2 | 1.535s | 43.876MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/504_ph7.smt2 | 2.106s | 100.0MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2/oggenc/345_oggenc.smt2 | 2.305s | 89.812MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-4.smt2 | 2.390s | 59.444MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/212_gcc.smt2 | 2.566s | 179.0MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/887_sqlite3.smt2 | 2.825s | 168.0MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-6.smt2 | 2.862s | 70.948MiB| unsat | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/379_oggenc.smt2 | 2.878s | 169.0MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/ethernet-fixpoint-4.smt2 | 3.138s | 60.308MiB| unsat | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/usb-phy-fixpoint-5.smt2 | 3.787s | 71.948MiB| unsat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium2.smt2 | 4.696s | 55.948MiB| sat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard1.smt2 | 7.017s | 147.0MiB| sat | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard3.smt2 | 20.027s | 84.632MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/613_ph7.smt2 | 20.027s | 86.772MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium0.smt2 | 20.038s | 245.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/easy5.smt2 | 20.041s | 245.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-9.smt2 | 20.052s | 296.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_unsat/easy.smt2 | 20.054s | 137.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_unsat/hard.smt2 | 20.058s | 182.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_unsat/medium.smt2 | 20.064s | 243.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/668_ph7.smt2 | 20.084s | 42.552MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-2.smt2 | 20.085s | 31.484MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-10.smt2 | 20.104s | 93.956MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/388_oggenc.smt2 | 20.115s | 66.088MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-8.smt2 | 20.115s | 98.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-10.smt2 | 20.118s | 99.196MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-5.smt2 | 20.125s | 168.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-5.smt2 | 20.125s | 146.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-6.smt2 | 20.127s | 118.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-4.smt2 | 20.129s | 172.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-6.smt2 | 20.131s | 177.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium3.smt2 | 20.132s | 241.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-3.smt2 | 20.135s | 163.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-4.smt2 | 20.139s | 167.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-7.smt2 | 20.143s | 154.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-7.smt2 | 20.146s | 192.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-7.smt2 | 20.149s | 305.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-10.smt2 | 20.149s | 206.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/442_ph7.smt2 | 20.160s | 64.192MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-9.smt2 | 20.161s | 235.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-pipeline-fixpoint-9.smt2 | 20.162s | 109.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-8.smt2 | 20.178s | 547.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/medium4.smt2 | 20.179s | 129.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210330-PEak/uf_sat/hard2.smt2 | 20.182s | 126.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/small-equiv-fixpoint-8.smt2 | 20.187s | 166.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-5.smt2 | 20.191s | 593.0MiB| timeout | 0 | | | |non-incremental/UFBV/wintersteiger/fmsd13/fixpoint/sdlx-fixpoint-6.smt2 | 20.192s | 562.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2/gcc/108_gcc.smt2 | 20.208s | 1173.0MiB| timeout | 0 | | | |non-incremental/UFBV/20230314-Jaroslav-Bendik-Certora/52759_b3ecd2335fd16ec2eee2_9_UFBV.smt2 | 20.228s | 619.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/405_ph7.smt2 | 20.248s | 637.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/445_ph7.smt2 | 20.509s | 2057.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/643_ph7.smt2 | 20.642s | 2733.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/385_oggenc.smt2 | 20.785s | 4393.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/731_ph7.smt2 | 20.805s | 4475.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/935_sqlite3.smt2 | 20.809s | 4863.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/144_gcc.smt2 | 20.873s | 5263.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/808_sqlite3.smt2 | 20.894s | 5248.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/oggenc/369_oggenc.smt2 | 20.961s | 8224.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/491_ph7.smt2 | 21.010s | 8781.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/646_ph7.smt2 | 21.018s | 5737.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/566_ph7.smt2 | 21.043s | 8353.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/971_sqlite3.smt2 | 21.161s | 7857.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/gcc/095_gcc.smt2 | 21.193s | 7612.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/655_ph7.smt2 | 21.209s | 8392.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/617_ph7.smt2 | 21.215s | 8781.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/sqlite3/783_sqlite3.smt2 | 21.282s | 8611.0MiB| timeout | 0 | | | |non-incremental/UFBV/20210301-Alive2-partial-undef/ph7/562_ph7.smt2 | 21.300s | 8781.0MiB| timeout | 0 | | |