# . * SAT 0 * UNSAT 1 * TIMEOUT 185 * UNKNOWN 0 * ERRORS 22 (segfault:14, unreachable:8) # Meta data 
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
# 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 | | |