# .

* SAT 52
* UNSAT 71
* TIMEOUT 53
* 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_ALIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-QF_ALIA.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_ALIA.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/QF_ALIA/cvc/read2.smt2                       |    0.028s | 20.408MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00002_001.cvc.smt2 |    0.031s | 20.156MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00012_001.cvc.smt2 |    0.037s | 20.628MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_cb19c7.smt2                |    0.040s | 20.172MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00009_001.cvc.smt2 |    0.042s | 20.372MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00011_001.cvc.smt2 |    0.044s | 20.66MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/cvc/pp-dmem-a.smt2                   |    0.053s | 22.064MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/cvc/pp-dmem2.smt2                    |    0.053s | 21.896MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_46582a.smt2                |    0.060s | 22.04MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00004_001.cvc.smt2 |    0.070s | 20.336MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_d421cb.smt2                |    0.072s | 20.804MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_ffa5fa.smt2                |    0.072s | 19.824MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00008_001.cvc.smt2 |    0.077s | 20.38MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_174f4d.smt2                |    0.079s | 20.36MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/cvc/pp-bloaddata-a.smt2              |    0.080s | 21.948MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00003_001.cvc.smt2 |    0.083s | 20.612MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00013_001.cvc.smt2 |    0.084s | 20.368MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00010_001.cvc.smt2 |    0.086s | 20.612MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00015_001.cvc.smt2 |    0.087s | 20.36MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00014_001.cvc.smt2 |    0.088s | 20.364MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00013_001.cvc.smt2 |    0.088s | 20.34MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_5b181b.smt2                |    0.089s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00002_001.cvc.smt2 |    0.089s | 20.148MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00014_001.cvc.smt2 |    0.090s | 20.624MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00008_001.cvc.smt2 |    0.092s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00007_001.cvc.smt2 |    0.093s | 20.368MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00007_001.cvc.smt2 |    0.094s | 20.232MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00003_001.cvc.smt2 |    0.096s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_7fd2c4.smt2                |    0.097s | 20.14MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-safe-10.smt2 |    0.098s | 21.144MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.6.smt2             |    0.099s | 20.84MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00004_001.cvc.smt2 |    0.100s | 20.156MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00001_001.cvc.smt2 |    0.100s | 20.14MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.5.smt2        |    0.101s | 21.132MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-safe-5.smt2 |    0.103s | 20.876MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00009_001.cvc.smt2 |    0.103s | 20.468MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00005_001.cvc.smt2 |    0.103s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-invalid-20.smt2 |    0.107s | 24.08MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_ed9849.smt2                |    0.111s | 20.616MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_3031c9.smt2                |    0.111s | 22.552MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_13f61c.smt2                |    0.111s | 20.848MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.7.smt2        |    0.111s | 21.64MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00010_001.cvc.smt2 |    0.112s | 20.416MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_22b1f2.smt2                |    0.113s | 22.088MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00015_001.cvc.smt2 |    0.113s | 20.904MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00001_001.cvc.smt2 |    0.113s | 20.164MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/misc/stack-th2-6.smt2 |    0.115s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.5.smt2             |    0.115s | 20.932MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_408ff0.smt2                |    0.117s | 21.16MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_fdec13.smt2                |    0.117s | 20.668MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00006_001.cvc.smt2 |    0.117s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/misc/stack-invalid-6.smt2 |    0.118s | 20.336MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_f5059f.smt2                |    0.118s | 22.172MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00005_001.cvc.smt2 |    0.118s | 20.336MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00012_001.cvc.smt2 |    0.118s | 20.428MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_np_sf_ai_00011_001.cvc.smt2 |    0.121s | 20.368MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/misc/queue-th2-6.smt2 |    0.122s | 19.916MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-safe-15.smt2 |    0.123s | 21.908MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/misc/stack-th1-6.smt2 |    0.124s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/ios/ios_t1_ios_bia_np_sf_ai_00006_001.cvc.smt2 |    0.124s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/misc/queue-th1-6.smt2 |    0.127s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-invalid-5.smt2 |    0.128s | 20.672MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-invalid-10.smt2 |    0.132s | 21.64MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/piVC/piVC_509c40.smt2                |    0.141s | 22.136MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug-5.smt2 |    0.145s | 20.968MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-mutex-5.smt2 |    0.145s | 21.144MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.6.smt2        |    0.147s | 21.896MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/cvc/pp-bloaddata.smt2                |    0.153s | 21.948MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-invalid-15.smt2 |    0.171s | 23.192MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.8.smt2        |    0.176s | 22.048MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug2-10.smt2 |    0.184s | 22.652MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.10.smt2       |    0.219s | 23.292MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.7.smt2             |    0.225s | 21.176MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug-10.smt2 |    0.226s | 22.7MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/pointer/pointer-safe-20.smt2 |    0.227s | 22.928MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.11.smt2       |    0.266s | 24.076MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.9.smt2        |    0.291s | 22.62MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug-15.smt2 |    0.358s | 24.956MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.12.smt2       |    0.359s | 23.924MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.13.smt2       |    0.420s | 24.748MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.8.smt2             |    0.446s | 21.948MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.14.smt2       |    0.520s | 25.228MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.15.smt2       |    0.627s | 26.0MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_stateful-1.i_1.smt2 |    0.756s | 31.628MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_stateful-1.i_2.smt2 |    0.757s | 31.624MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_stateful-1.i_3.smt2 |    0.777s | 31.648MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.15.smt2            |    0.795s | 25.824MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_stateful-1.i_4.smt2 |    0.813s | 31.62MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.9.smt2             |    0.826s | 22.412MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.16.smt2            |    0.876s | 26.256MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.17.smt2       |    0.949s | 27.864MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_lazy.i_7.smt2 |    0.957s | 34.992MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_lazy.i_3.smt2 |    0.988s | 34.864MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_lazy.i_6.smt2 |    0.997s | 34.956MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.18.smt2       |    1.135s | 30.748MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.18.smt2            |    1.153s | 28.036MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug2-15.smt2 |    1.580s | 26.624MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.10.smt2            |    1.599s | 23.024MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.20.smt2            |    1.603s | 29.8MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug2-20.smt2 |    1.615s | 29.796MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.11.smt2            |    1.721s | 23.64MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-mutex-10.smt2 |    1.800s | 23.18MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.19.smt2            |    2.103s | 28.56MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.16.smt2       |    2.117s | 28.552MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_szymanski.i_7.smt2 |    2.610s | 46.892MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_szymanski.i_6.smt2 |    2.749s | 46.788MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.17.smt2            |    3.323s | 29.028MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_szymanski.i_5.smt2 |    3.677s | 60.26MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.22.smt2            |    3.908s | 32.176MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.21.smt2            |    4.707s | 33.544MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_read_write_lock-1.i_0.smt2 |    4.767s | 45.84MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.12.smt2            |    5.521s | 25.516MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.13.smt2            |    6.136s | 25.392MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.20.smt2       |    8.935s | 36.724MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_szymanski.i_1.smt2 |    9.518s | 66.612MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_szymanski.i_2.smt2 |    9.648s | 66.38MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.14.smt2            |   10.392s | 27.028MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-bug-20.smt2 |   10.976s | 33.908MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-3.i_7.smt2 |   11.999s | 352.0MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-mutex-15.smt2 |   12.932s | 27.096MiB| unsat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.21.smt2       |   16.194s | 42.536MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.19.smt2       |   17.228s | 40.584MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/AllInterval-011.c_AllErrorsAtOnce_Iteration2_0.smt2 |   18.867s | 25.724MiB| sat | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.24.smt2            |   20.014s | 37.184MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.25.smt2            |   20.014s | 37.868MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.23.smt2       |   20.017s | 43.9MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.26.smt2       |   20.025s | 54.46MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.29.smt2       |   20.026s | 46.732MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/CostasArray-15.c_AllErrorsAtOnce_Iteration2_0.smt2 |   20.049s | 29.044MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.29.smt2            |   20.053s | 38.78MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_sync.i_3.smt2 |   20.054s | 58.376MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_11.smt2 |   20.060s | 104.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.27.smt2            |   20.068s | 40.284MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.26.smt2            |   20.070s | 37.188MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_3.smt2 |   20.083s | 108.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_10.smt2 |   20.083s | 126.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_5.smt2 |   20.084s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_queue-2.i_0.smt2 |   20.084s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_6.smt2 |   20.085s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.23.smt2            |   20.087s | 36.44MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_fib-2.i_0.smt2 |   20.090s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_read_write_lock-2.i_0.smt2 |   20.090s | 61.192MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.22.smt2       |   20.093s | 77.4MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.30.smt2            |   20.093s | 39.988MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.base.28.smt2            |   20.093s | 38.52MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_time_var_mutex.i_0.smt2 |   20.094s | 75.672MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.27.smt2       |   20.096s | 43.716MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_szymanski.i_0.smt2 |   20.100s | 62.012MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/array_benchmarks/qlock/qlock-mutex-20.smt2 |   20.103s | 32.38MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_queue-1.i_0.smt2 |   20.105s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.28.smt2       |   20.105s | 54.88MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-3.i_6.smt2 |   20.106s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_sync.i_1.smt2 |   20.106s | 58.164MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/AllInterval-016.c_AllErrorsAtOnce_Iteration2_0.smt2 |   20.108s | 26.992MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.24.smt2       |   20.108s | 40.188MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_peterson.i_0.smt2 |   20.109s | 73.18MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_8.smt2 |   20.109s | 126.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_dekker.i_0.smt2 |   20.109s | 70.456MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_fib_longer-2.i_0.smt2 |   20.110s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/AllInterval-015.c_AllErrorsAtOnce_Iteration2_0.smt2 |   20.110s | 26.02MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_1.smt2 |   20.110s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_7.smt2 |   20.111s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/AllInterval-019.c_AllErrorsAtOnce_Iteration2_0.smt2 |   20.114s | 28.72MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_lamport.i_0.smt2 |   20.114s | 67.624MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_sync.i_2.smt2 |   20.114s | 56.804MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.25.smt2       |   20.114s | 47.572MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_sync.i_0.smt2 |   20.115s | 60.232MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_sync.i_4.smt2 |   20.117s | 59.4MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_sync.i_6.smt2 |   20.117s | 59.228MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_fib_longer-1.i_0.smt2 |   20.120s | 149.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/qlock2/qlock.induction.30.smt2       |   20.120s | 77.884MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/cs_fib-1.i_0.smt2 |   20.125s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_0.smt2 |   20.125s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_2.smt2 |   20.126s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_9.smt2 |   20.126s | 101.0MiB| timeout | 0 |  |  |
|non-incremental/QF_ALIA/20230321-UltimateAutomizerSvcomp2023/tree-4.i_4.smt2 |   20.129s | 125.0MiB| timeout | 0 |  |  |
