# .

* SAT 0
* UNSAT 1
* TIMEOUT 185
* UNKNOWN 0

* ERRORS 22 (segfault:14, unreachable:8)

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/UFBVLIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-UFBVLIA.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/UFBVLIA.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-181.smt2    |    0.283s | 29.044MiB| unsat | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-155.smt2    |    1.849s | 84.008MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-115.smt2    |    1.887s | 89.4MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-099.smt2    |    1.944s | 79.904MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-122.smt2    |    2.186s | 62.248MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-071.smt2    |    2.441s | 54.912MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-052.smt2    |    2.940s | 54.18MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-147.smt2    |    3.175s | 99.0MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-120.smt2    |    4.142s | 84.4MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-136.smt2    |    4.774s | 91.212MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-125.smt2    |    5.548s | 64.28MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-036.smt2    |    5.886s | 53.204MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-174.smt2    |    5.971s | 102.0MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-138.smt2    |    6.078s | 91.864MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-095.smt2    |    7.516s | 63.304MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-113.smt2    |    7.865s | 97.024MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-143.smt2    |    8.276s | 93.244MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-111.smt2    |    8.721s | 128.0MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-066.smt2    |   13.478s | 59.108MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-154.smt2    |   14.923s | 90.036MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-169.smt2    |   16.100s | 98.0MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-156.smt2    |   17.870s | 99.348MiB| segfault | 139 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-114.smt2    |   18.072s | 85.592MiB| unreachable | 114 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-100.smt2    |   20.026s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-121.smt2    |   20.028s | 81.68MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-141.smt2    |   20.029s | 89.504MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-029.smt2    |   20.030s | 133.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-025.smt2    |   20.033s | 142.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-205.smt2    |   20.034s | 226.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-189.smt2    |   20.036s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-108.smt2    |   20.038s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-076.smt2    |   20.039s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-191.smt2    |   20.040s | 50.46MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-092.smt2    |   20.041s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-116.smt2    |   20.042s | 151.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-202.smt2    |   20.044s | 135.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-200.smt2    |   20.044s | 147.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-088.smt2    |   20.045s | 243.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-104.smt2    |   20.047s | 79.42MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-193.smt2    |   20.048s | 135.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-164.smt2    |   20.049s | 88.084MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-096.smt2    |   20.052s | 237.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-184.smt2    |   20.053s | 125.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-160.smt2    |   20.054s | 253.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-063.smt2    |   20.054s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-005.smt2    |   20.054s | 49.82MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-097.smt2    |   20.056s | 158.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-085.smt2    |   20.063s | 61.38MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-016.smt2    |   20.069s | 221.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-197.smt2    |   20.072s | 51.792MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-098.smt2    |   20.072s | 62.372MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-199.smt2    |   20.072s | 49.192MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-045.smt2    |   20.074s | 58.236MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-077.smt2    |   20.074s | 58.512MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-023.smt2    |   20.075s | 50.624MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-082.smt2    |   20.077s | 63.376MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-124.smt2    |   20.077s | 81.228MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-003.smt2    |   20.077s | 52.428MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-145.smt2    |   20.080s | 93.472MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-007.smt2    |   20.080s | 49.728MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-034.smt2    |   20.081s | 52.868MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-102.smt2    |   20.081s | 159.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-163.smt2    |   20.082s | 103.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-026.smt2    |   20.084s | 135.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-167.smt2    |   20.085s | 90.308MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-062.smt2    |   20.085s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-148.smt2    |   20.085s | 158.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-117.smt2    |   20.087s | 80.18MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-060.smt2    |   20.088s | 58.04MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-186.smt2    |   20.089s | 46.952MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-094.smt2    |   20.089s | 149.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-031.smt2    |   20.092s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-149.smt2    |   20.093s | 150.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-106.smt2    |   20.094s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-008.smt2    |   20.095s | 52.304MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-162.smt2    |   20.096s | 99.9MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-013.smt2    |   20.099s | 49.904MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-187.smt2    |   20.100s | 48.216MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-083.smt2    |   20.101s | 156.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-183.smt2    |   20.102s | 145.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-068.smt2    |   20.103s | 149.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-198.smt2    |   20.103s | 48.98MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-093.smt2    |   20.103s | 60.112MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-081.smt2    |   20.106s | 80.316MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-171.smt2    |   20.107s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-127.smt2    |   20.108s | 81.464MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-110.smt2    |   20.109s | 79.756MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-086.smt2    |   20.110s | 154.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-084.smt2    |   20.110s | 158.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-035.smt2    |   20.110s | 145.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-057.smt2    |   20.110s | 53.816MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-091.smt2    |   20.111s | 154.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-157.smt2    |   20.111s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-204.smt2    |   20.113s | 133.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-150.smt2    |   20.114s | 94.24MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-178.smt2    |   20.114s | 131.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-059.smt2    |   20.118s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-022.smt2    |   20.118s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-134.smt2    |   20.119s | 95.344MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-194.smt2    |   20.119s | 47.836MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-009.smt2    |   20.119s | 50.128MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-069.smt2    |   20.119s | 61.884MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-130.smt2    |   20.121s | 87.912MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-179.smt2    |   20.122s | 135.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-201.smt2    |   20.124s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-170.smt2    |   20.124s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-158.smt2    |   20.124s | 94.108MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-087.smt2    |   20.124s | 62.264MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-078.smt2    |   20.125s | 225.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-030.smt2    |   20.126s | 145.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-151.smt2    |   20.126s | 262.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-014.smt2    |   20.126s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-073.smt2    |   20.127s | 63.58MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-132.smt2    |   20.127s | 89.888MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-072.smt2    |   20.127s | 59.108MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-112.smt2    |   20.128s | 80.796MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-176.smt2    |   20.129s | 132.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-140.smt2    |   20.129s | 81.96MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-109.smt2    |   20.130s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-041.smt2    |   20.130s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-021.smt2    |   20.130s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-101.smt2    |   20.131s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-159.smt2    |   20.131s | 256.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-139.smt2    |   20.133s | 90.68MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-040.smt2    |   20.134s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-192.smt2    |   20.134s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-056.smt2    |   20.134s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-166.smt2    |   20.136s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-055.smt2    |   20.136s | 95.592MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-024.smt2    |   20.141s | 52.06MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-015.smt2    |   20.142s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-042.smt2    |   20.143s | 52.3MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-131.smt2    |   20.144s | 139.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-090.smt2    |   20.144s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-089.smt2    |   20.145s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-012.smt2    |   20.146s | 147.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-129.smt2    |   20.146s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-079.smt2    |   20.146s | 151.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-070.smt2    |   20.147s | 152.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-000.smt2    |   20.148s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-080.smt2    |   20.148s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-123.smt2    |   20.149s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-002.smt2    |   20.150s | 208.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-190.smt2    |   20.153s | 206.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-103.smt2    |   20.156s | 85.42MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-172.smt2    |   20.156s | 270.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-185.smt2    |   20.157s | 51.276MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-207.smt2    |   20.159s | 211.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-020.smt2    |   20.161s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-049.smt2    |   20.169s | 55.048MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-195.smt2    |   20.174s | 51.576MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-133.smt2    |   20.175s | 85.236MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-019.smt2    |   20.175s | 50.888MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-039.smt2    |   20.179s | 126.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-196.smt2    |   20.179s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-032.smt2    |   20.179s | 57.724MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-010.smt2    |   20.180s | 49.816MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-061.smt2    |   20.181s | 59.944MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-001.smt2    |   20.182s | 229.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-064.smt2    |   20.183s | 59.944MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-105.smt2    |   20.184s | 81.788MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-044.smt2    |   20.184s | 58.136MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-118.smt2    |   20.187s | 84.52MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-054.smt2    |   20.188s | 58.768MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-075.smt2    |   20.189s | 61.064MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-051.smt2    |   20.189s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-144.smt2    |   20.190s | 89.228MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-182.smt2    |   20.190s | 83.164MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-142.smt2    |   20.190s | 82.04MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-107.smt2    |   20.191s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-146.smt2    |   20.191s | 93.592MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-027.smt2    |   20.192s | 134.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-047.smt2    |   20.192s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-128.smt2    |   20.195s | 94.664MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-046.smt2    |   20.195s | 240.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-119.smt2    |   20.196s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-168.smt2    |   20.196s | 150.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-050.smt2    |   20.197s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-011.smt2    |   20.199s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-126.smt2    |   20.199s | 81.336MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-137.smt2    |   20.202s | 84.752MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-177.smt2    |   20.203s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-028.smt2    |   20.204s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-074.smt2    |   20.204s | 147.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-135.smt2    |   20.206s | 86.412MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-053.smt2    |   20.206s | 125.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-048.smt2    |   20.207s | 145.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-043.smt2    |   20.208s | 135.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-033.smt2    |   20.209s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-173.smt2    |   20.210s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-153.smt2    |   20.212s | 95.88MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-180.smt2    |   20.212s | 245.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-152.smt2    |   20.212s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-165.smt2    |   20.213s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-203.smt2    |   20.213s | 208.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-058.smt2    |   20.214s | 152.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-161.smt2    |   20.214s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-065.smt2    |   20.214s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-004.smt2    |   20.215s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-017.smt2    |   20.218s | 134.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-175.smt2    |   20.220s | 131.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-037.smt2    |   20.220s | 127.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-018.smt2    |   20.221s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-038.smt2    |   20.226s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-188.smt2    |   20.227s | 217.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-067.smt2    |   20.233s | 160.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-206.smt2    |   20.248s | 393.0MiB| timeout | 0 |  |  |
|non-incremental/UFBVLIA/20210106-Schett/uso/ebso-006.smt2    |   20.649s | 4473.0MiB| timeout | 0 |  |  |
