# .

* SAT 3
* UNSAT 1
* TIMEOUT 199
* UNKNOWN 0

* ERRORS 0

# Meta data

<pre>
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: 4a90d3105054796562079406e125b9480ac3472b
Z3 branch: master
Z3 options: "-T:20 model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/QF_UFDT.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp

</pre>


# 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.050s | 19.608MiB| 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.051s | 19.856MiB| 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.052s | 19.884MiB| sat | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e10.smt2     |   17.946s | 34.132MiB| unsat | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e78.smt2     |   20.016s | 33.268MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k75.smt2     |   20.018s | 37.4MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k09.smt2     |   20.019s | 37.908MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e86.smt2     |   20.019s | 29.008MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k11.smt2     |   20.019s | 40.152MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e81.smt2     |   20.020s | 29.236MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k57.smt2     |   20.020s | 87.104MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e99.smt2     |   20.021s | 38.24MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e14.smt2     |   20.023s | 40.252MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e82.smt2     |   20.025s | 37.072MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k59.smt2     |   20.027s | 31.788MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e12.smt2     |   20.027s | 32.884MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e98.smt2     |   20.028s | 33.876MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e30.smt2     |   20.028s | 29.352MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k74.smt2     |   20.028s | 35.308MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k79.smt2     |   20.028s | 33.3MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k24.smt2     |   20.028s | 31.548MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k01.smt2     |   20.029s | 34.784MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e23.smt2     |   20.030s | 33.152MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k32.smt2     |   20.030s | 31.304MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k77.smt2     |   20.031s | 37.756MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k06.smt2     |   20.031s | 45.5MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k10.smt2     |   20.032s | 49.54MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e17.smt2     |   20.033s | 38.452MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k05.smt2     |   20.038s | 43.856MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k69.smt2     |   20.039s | 53.736MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e77.smt2     |   20.041s | 29.364MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e88.smt2     |   20.043s | 35.408MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e02.smt2     |   20.046s | 30.916MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e67.smt2     |   20.047s | 33.74MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e53.smt2     |   20.047s | 34.76MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e32.smt2     |   20.047s | 35.676MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e94.smt2     |   20.048s | 32.264MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e36.smt2     |   20.048s | 30.528MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k43.smt2     |   20.049s | 72.428MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k66.smt2     |   20.049s | 29.516MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e43.smt2     |   20.050s | 29.524MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e55.smt2     |   20.050s | 31.792MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e27.smt2     |   20.050s | 34.828MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e35.smt2     |   20.051s | 37.892MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e56.smt2     |   20.051s | 36.588MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k27.smt2     |   20.052s | 38.796MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e03.smt2     |   20.053s | 33.3MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e13.smt2     |   20.053s | 31.708MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k13.smt2     |   20.053s | 29.82MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e18.smt2     |   20.054s | 33.652MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k20.smt2     |   20.054s | 31.416MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e74.smt2     |   20.054s | 38.388MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k25.smt2     |   20.056s | 33.876MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e34.smt2     |   20.057s | 32.548MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e08.smt2     |   20.057s | 30.24MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k30.smt2     |   20.058s | 30.568MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k90.smt2     |   20.059s | 34.048MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e69.smt2     |   20.059s | 39.736MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k84.smt2     |   20.059s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e49.smt2     |   20.059s | 33.34MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e28.smt2     |   20.060s | 33.76MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e80.smt2     |   20.061s | 37.416MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k51.smt2     |   20.062s | 34.78MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k38.smt2     |   20.062s | 35.332MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k07.smt2     |   20.062s | 45.5MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k50.smt2     |   20.063s | 38.82MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e21.smt2     |   20.063s | 32.388MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k60.smt2     |   20.063s | 34.876MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k49.smt2     |   20.063s | 33.428MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e62.smt2     |   20.064s | 34.528MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k33.smt2     |   20.064s | 38.608MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k21.smt2     |   20.064s | 38.008MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k89.smt2     |   20.065s | 99.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e71.smt2     |   20.065s | 34.388MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k92.smt2     |   20.065s | 73.768MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k12.smt2     |   20.065s | 37.692MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k41.smt2     |   20.068s | 34.596MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k47.smt2     |   20.068s | 77.8MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e95.smt2     |   20.068s | 39.672MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e37.smt2     |   20.069s | 38.324MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e64.smt2     |   20.070s | 37.156MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e57.smt2     |   20.070s | 36.564MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e24.smt2     |   20.070s | 33.576MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k15.smt2     |   20.071s | 34.192MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k61.smt2     |   20.071s | 37.296MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k68.smt2     |   20.072s | 37.444MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k34.smt2     |   20.072s | 34.78MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k14.smt2     |   20.073s | 29.872MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k73.smt2     |   20.074s | 30.856MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e65.smt2     |   20.074s | 37.512MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e84.smt2     |   20.075s | 34.456MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e68.smt2     |   20.077s | 28.752MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k31.smt2     |   20.077s | 30.488MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e16.smt2     |   20.077s | 34.972MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e93.smt2     |   20.077s | 30.324MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k98.smt2     |   20.077s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k86.smt2     |   20.077s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k87.smt2     |   20.078s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k16.smt2     |   20.080s | 32.856MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e11.smt2     |   20.082s | 35.184MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e83.smt2     |   20.082s | 30.604MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e05.smt2     |   20.084s | 39.232MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k97.smt2     |   20.084s | 180.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k91.smt2     |   20.085s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k67.smt2     |   20.085s | 32.124MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k00.smt2     |   20.087s | 36.928MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e70.smt2     |   20.087s | 34.612MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k03.smt2     |   20.088s | 39.4MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k26.smt2     |   20.089s | 34.976MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e97.smt2     |   20.090s | 182.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e41.smt2     |   20.091s | 32.276MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k52.smt2     |   20.091s | 37.612MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e63.smt2     |   20.092s | 36.784MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e75.smt2     |   20.096s | 29.452MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e73.smt2     |   20.096s | 38.132MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e90.smt2     |   20.097s | 38.256MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e52.smt2     |   20.097s | 36.608MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k95.smt2     |   20.098s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k23.smt2     |   20.100s | 33.288MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e31.smt2     |   20.100s | 34.428MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k19.smt2     |   20.101s | 31.58MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k54.smt2     |   20.101s | 185.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k36.smt2     |   20.102s | 32.736MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e22.smt2     |   20.104s | 32.428MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k44.smt2     |   20.104s | 184.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k96.smt2     |   20.105s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e15.smt2     |   20.108s | 31.316MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k83.smt2     |   20.108s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k28.smt2     |   20.109s | 31.988MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e45.smt2     |   20.112s | 37.36MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k80.smt2     |   20.112s | 62.912MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k56.smt2     |   20.112s | 34.488MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e40.smt2     |   20.117s | 34.344MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e91.smt2     |   20.118s | 35.132MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e92.smt2     |   20.119s | 39.644MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e61.smt2     |   20.121s | 34.784MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k08.smt2     |   20.123s | 45.892MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k58.smt2     |   20.124s | 32.7MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k04.smt2     |   20.124s | 43.948MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k02.smt2     |   20.125s | 34.568MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e87.smt2     |   20.125s | 36.04MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k63.smt2     |   20.128s | 87.532MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k40.smt2     |   20.128s | 35.14MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e50.smt2     |   20.130s | 31.624MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k48.smt2     |   20.133s | 76.664MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k42.smt2     |   20.133s | 40.376MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e20.smt2     |   20.134s | 36.728MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k72.smt2     |   20.135s | 97.78MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e00.smt2     |   20.136s | 31.768MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e29.smt2     |   20.137s | 33.656MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e47.smt2     |   20.138s | 32.616MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k62.smt2     |   20.138s | 38.976MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e44.smt2     |   20.139s | 35.32MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k39.smt2     |   20.139s | 72.632MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e76.smt2     |   20.140s | 34.964MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k76.smt2     |   20.140s | 37.668MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e89.smt2     |   20.148s | 37.628MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e54.smt2     |   20.149s | 33.856MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e38.smt2     |   20.152s | 32.016MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e48.smt2     |   20.153s | 32.316MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e51.smt2     |   20.154s | 37.392MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e33.smt2     |   20.155s | 35.876MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e42.smt2     |   20.156s | 31.088MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k22.smt2     |   20.156s | 29.868MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k94.smt2     |   20.157s | 35.516MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k64.smt2     |   20.158s | 33.264MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e85.smt2     |   20.158s | 37.584MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e07.smt2     |   20.159s | 34.488MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e19.smt2     |   20.159s | 31.26MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e66.smt2     |   20.160s | 37.624MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e60.smt2     |   20.160s | 36.368MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k18.smt2     |   20.161s | 30.356MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e46.smt2     |   20.162s | 35.708MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e79.smt2     |   20.162s | 39.992MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e58.smt2     |   20.162s | 33.936MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e09.smt2     |   20.163s | 36.48MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e72.smt2     |   20.164s | 38.772MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e25.smt2     |   20.165s | 34.132MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k46.smt2     |   20.166s | 77.516MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e06.smt2     |   20.167s | 33.588MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k45.smt2     |   20.168s | 186.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e59.smt2     |   20.168s | 37.848MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k53.smt2     |   20.169s | 171.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k88.smt2     |   20.173s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k29.smt2     |   20.174s | 38.616MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e04.smt2     |   20.174s | 32.756MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k17.smt2     |   20.175s | 44.948MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e26.smt2     |   20.178s | 32.428MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e39.smt2     |   20.179s | 35.948MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e01.smt2     |   20.181s | 32.02MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k85.smt2     |   20.181s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k35.smt2     |   20.183s | 42.036MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k65.smt2     |   20.184s | 38.196MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k70.smt2     |   20.184s | 37.636MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_e96.smt2     |   20.188s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k37.smt2     |   20.190s | 70.124MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k71.smt2     |   20.195s | 86.524MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k78.smt2     |   20.204s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k55.smt2     |   20.205s | 187.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k82.smt2     |   20.206s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k93.smt2     |   20.208s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k99.smt2     |   20.209s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/QF_UFDT/20210312-Bouvier/vlsat3_k81.smt2     |   20.216s | 178.0MiB| timeout | 0 |  |  |
