# . * SAT 3 * UNSAT 0 * TIMEOUT 200 * 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/QF_UFDT.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-QF_UFDT.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/QF_UFDT.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/QF_UFDT/20170428-Barrett/cdt-cade2015/data/afp/coinductive_list/x2015_09_10_17_01_00_473_1716450.smt_in.smt2 | 0.042s | 19.84MiB| sat | 0 | | | |non-incremental/QF_UFDT/20170428-Barrett/cdt-cade2015/data/distro/stream_processor/x2015_09_10_16_45_47_401_987519.smt_in.smt2 | 0.042s | 19.776MiB| sat | 0 | | | |non-incremental/QF_UFDT/20170428-Barrett/cdt-cade2015/data/distro/stream_processor/x2015_09_10_16_45_54_875_1000989.smt_in.smt2 | 0.043s | 19.62MiB| sat | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e23.smt2 | 20.026s | 34.144MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e63.smt2 | 20.030s | 40.352MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e30.smt2 | 20.030s | 30.368MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e32.smt2 | 20.033s | 56.976MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e15.smt2 | 20.035s | 28.828MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e56.smt2 | 20.035s | 74.944MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e87.smt2 | 20.036s | 29.408MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e21.smt2 | 20.038s | 47.956MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e82.smt2 | 20.038s | 106.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k01.smt2 | 20.040s | 96.872MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k96.smt2 | 20.040s | 145.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e03.smt2 | 20.040s | 27.744MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e69.smt2 | 20.042s | 139.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k19.smt2 | 20.043s | 79.312MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e74.smt2 | 20.044s | 46.94MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e14.smt2 | 20.047s | 86.956MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k56.smt2 | 20.047s | 109.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e81.smt2 | 20.050s | 58.88MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k75.smt2 | 20.051s | 145.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e94.smt2 | 20.052s | 101.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k90.smt2 | 20.053s | 146.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e88.smt2 | 20.053s | 101.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e98.smt2 | 20.056s | 93.416MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k54.smt2 | 20.056s | 158.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e43.smt2 | 20.058s | 56.516MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e57.smt2 | 20.060s | 57.864MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k06.smt2 | 20.062s | 159.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e83.smt2 | 20.070s | 23.276MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k79.smt2 | 20.071s | 143.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k77.smt2 | 20.072s | 142.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k43.smt2 | 20.072s | 297.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e85.smt2 | 20.072s | 29.256MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e75.smt2 | 20.072s | 89.128MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e07.smt2 | 20.075s | 45.184MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e22.smt2 | 20.078s | 32.436MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e11.smt2 | 20.079s | 57.612MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k58.smt2 | 20.081s | 90.712MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k10.smt2 | 20.081s | 187.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e92.smt2 | 20.082s | 59.864MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e61.smt2 | 20.084s | 45.988MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k50.smt2 | 20.084s | 137.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e06.smt2 | 20.085s | 29.108MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e73.smt2 | 20.087s | 122.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e55.smt2 | 20.089s | 34.296MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k62.smt2 | 20.089s | 137.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e20.smt2 | 20.091s | 46.264MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k38.smt2 | 20.092s | 135.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k04.smt2 | 20.092s | 155.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e44.smt2 | 20.093s | 72.4MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e51.smt2 | 20.096s | 49.56MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e58.smt2 | 20.097s | 28.548MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k12.smt2 | 20.097s | 144.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k25.smt2 | 20.097s | 132.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k44.smt2 | 20.097s | 158.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e37.smt2 | 20.097s | 162.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k27.smt2 | 20.098s | 161.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e84.smt2 | 20.101s | 29.324MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e04.smt2 | 20.102s | 76.372MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e48.smt2 | 20.103s | 24.168MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e28.smt2 | 20.106s | 57.056MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e95.smt2 | 20.106s | 168.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e49.smt2 | 20.107s | 32.788MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k11.smt2 | 20.107s | 154.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e33.smt2 | 20.107s | 93.964MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k69.smt2 | 20.108s | 165.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e09.smt2 | 20.109s | 23.712MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k61.smt2 | 20.109s | 144.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e46.smt2 | 20.109s | 23.204MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k22.smt2 | 20.110s | 61.184MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k49.smt2 | 20.110s | 89.596MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k64.smt2 | 20.112s | 86.48MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k47.smt2 | 20.112s | 296.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e91.smt2 | 20.114s | 39.392MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k02.smt2 | 20.115s | 99.696MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e35.smt2 | 20.115s | 43.912MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k18.smt2 | 20.117s | 81.96MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k68.smt2 | 20.117s | 139.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e34.smt2 | 20.117s | 35.356MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k91.smt2 | 20.119s | 145.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e60.smt2 | 20.120s | 44.74MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k05.smt2 | 20.120s | 154.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e02.smt2 | 20.121s | 34.064MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e64.smt2 | 20.121s | 42.584MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e10.smt2 | 20.121s | 27.792MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e38.smt2 | 20.123s | 25.696MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k67.smt2 | 20.124s | 134.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e65.smt2 | 20.125s | 44.58MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e54.smt2 | 20.129s | 23.948MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e13.smt2 | 20.129s | 46.912MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e47.smt2 | 20.130s | 23.628MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e39.smt2 | 20.130s | 45.6MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e18.smt2 | 20.132s | 22.972MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k48.smt2 | 20.133s | 300.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k55.smt2 | 20.136s | 154.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k08.smt2 | 20.137s | 159.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k46.smt2 | 20.137s | 309.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e76.smt2 | 20.139s | 47.056MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k84.smt2 | 20.140s | 680.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e97.smt2 | 20.141s | 157.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e80.smt2 | 20.144s | 22.556MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e41.smt2 | 20.146s | 77.716MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k14.smt2 | 20.147s | 76.484MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e86.smt2 | 20.147s | 55.904MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k32.smt2 | 20.147s | 82.236MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e45.smt2 | 20.148s | 56.012MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k82.smt2 | 20.149s | 150.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e53.smt2 | 20.150s | 85.348MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e29.smt2 | 20.151s | 105.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e68.smt2 | 20.153s | 73.188MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k65.smt2 | 20.154s | 154.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k52.smt2 | 20.154s | 141.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k66.smt2 | 20.155s | 108.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e70.smt2 | 20.156s | 34.78MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k40.smt2 | 20.159s | 138.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e31.smt2 | 20.161s | 31.136MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k42.smt2 | 20.162s | 158.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k99.smt2 | 20.163s | 145.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e12.smt2 | 20.164s | 28.252MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k15.smt2 | 20.165s | 125.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k00.smt2 | 20.165s | 102.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k20.smt2 | 20.165s | 99.592MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k63.smt2 | 20.168s | 351.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e79.smt2 | 20.169s | 126.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e89.smt2 | 20.169s | 156.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e67.smt2 | 20.171s | 51.752MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e25.smt2 | 20.172s | 123.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e19.smt2 | 20.172s | 27.392MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e50.smt2 | 20.172s | 30.832MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k72.smt2 | 20.173s | 387.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e00.smt2 | 20.175s | 28.304MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e01.smt2 | 20.176s | 33.904MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k59.smt2 | 20.177s | 131.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e72.smt2 | 20.177s | 468.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e52.smt2 | 20.178s | 59.676MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k09.smt2 | 20.180s | 145.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e08.smt2 | 20.181s | 82.156MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k86.smt2 | 20.181s | 675.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e59.smt2 | 20.182s | 44.348MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k74.smt2 | 20.185s | 145.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e42.smt2 | 20.187s | 25.552MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k16.smt2 | 20.190s | 100.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k07.smt2 | 20.190s | 158.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e99.smt2 | 20.194s | 27.764MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e62.smt2 | 20.196s | 36.388MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e17.smt2 | 20.197s | 161.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k39.smt2 | 20.197s | 280.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k93.smt2 | 20.201s | 696.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k03.smt2 | 20.201s | 136.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k17.smt2 | 20.203s | 190.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k41.smt2 | 20.209s | 142.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k73.smt2 | 20.212s | 83.424MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k51.smt2 | 20.212s | 95.08MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k76.smt2 | 20.212s | 142.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e40.smt2 | 20.215s | 46.756MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e66.smt2 | 20.217s | 51.572MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k21.smt2 | 20.217s | 143.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e78.smt2 | 20.219s | 85.56MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k28.smt2 | 20.221s | 99.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e36.smt2 | 20.222s | 89.328MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e90.smt2 | 20.226s | 106.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e24.smt2 | 20.226s | 102.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e77.smt2 | 20.228s | 72.58MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e93.smt2 | 20.230s | 75.588MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k29.smt2 | 20.232s | 140.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k30.smt2 | 20.233s | 82.46MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k95.smt2 | 20.238s | 340.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k60.smt2 | 20.240s | 96.704MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k92.smt2 | 20.241s | 333.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k33.smt2 | 20.241s | 141.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e27.smt2 | 20.242s | 45.236MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k80.smt2 | 20.245s | 265.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e71.smt2 | 20.246s | 77.508MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k89.smt2 | 20.249s | 1836.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k81.smt2 | 20.249s | 345.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e26.smt2 | 20.256s | 45.364MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k36.smt2 | 20.260s | 92.876MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k83.smt2 | 20.267s | 582.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k31.smt2 | 20.268s | 80.9MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k37.smt2 | 20.270s | 278.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k57.smt2 | 20.277s | 350.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k34.smt2 | 20.283s | 112.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k13.smt2 | 20.283s | 96.136MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k45.smt2 | 20.292s | 704.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k98.smt2 | 20.305s | 690.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e05.smt2 | 20.309s | 90.024MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k24.smt2 | 20.314s | 97.52MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e16.smt2 | 20.316s | 105.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k94.smt2 | 20.316s | 99.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k35.smt2 | 20.320s | 162.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k70.smt2 | 20.320s | 144.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k26.smt2 | 20.331s | 139.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k23.smt2 | 20.337s | 123.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e96.smt2 | 20.347s | 154.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k71.smt2 | 20.378s | 354.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k85.smt2 | 20.392s | 682.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k88.smt2 | 20.463s | 500.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k87.smt2 | 20.482s | 664.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k78.smt2 | 20.579s | 629.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k53.smt2 | 20.595s | 726.0MiB| timeout | 0 | | | |non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k97.smt2 | 20.599s | 705.0MiB| timeout | 0 | | |