# .

* SAT 11
* UNSAT 0
* TIMEOUT 33
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS-threads-8-smtcomp2025-QF_LIA-timeout20min
Runner: rise-runner-2
SMTS repo: usi-verification-and-security/SMTS
SMTS commit: 33750b9094495eb1b86c1d7b796a0340ccf03822
SMTS branch: master
SMTS options: "-o 8 -p -l"
SMTS timeout: 1200
SMTS inputs: inputs/smt_comp_2025_parallel/QF_LIA
SMTS commit message: Reduced number of building cores in CircleCI

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled125827.smt2                                         |    1.795s | 238.0MiB| sat | 0 |  |  |
|scrambled118793.smt2                                         |    4.320s | 241.0MiB| sat | 0 |  |  |
|scrambled125888.smt2                                         |    6.145s | 332.0MiB| sat | 0 |  |  |
|scrambled131241.smt2                                         |   23.057s | 1311.0MiB| sat | 0 |  |  |
|scrambled20101.smt2                                          |   34.598s | 526.0MiB| sat | 0 |  |  |
|scrambled72668.smt2                                          |   70.500s | 1148.0MiB| sat | 0 |  |  |
|scrambled25238.smt2                                          |   88.117s | 1631.0MiB| sat | 0 |  |  |
|scrambled44911.smt2                                          |  105.145s | 1203.0MiB| sat | 0 |  |  |
|scrambled32836.smt2                                          |  114.601s | 809.0MiB| sat | 0 |  |  |
|scrambled128732.smt2                                         |  121.076s | 1218.0MiB| sat | 0 |  |  |
|scrambled128128.smt2                                         | 1004.406s | 2335.0MiB| sat | 0 |  |  |
|scrambled27843.smt2                                          | 1200.029s | 9422.0MiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         | 1200.046s | 14.56GiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          | 1200.046s | 2362.0MiB| timeout | 0 |  |  |
|scrambled4299.smt2                                           | 1200.050s | 11.339GiB| timeout | 0 |  |  |
|scrambled3854.smt2                                           | 1200.052s | 45.094GiB| timeout | 0 |  |  |
|scrambled102166.smt2                                         | 1200.054s | 14.639GiB| timeout | 0 |  |  |
|scrambled4198.smt2                                           | 1200.055s | 24.305GiB| timeout | 0 |  |  |
|scrambled111627.smt2                                         | 1200.056s | 16.252GiB| timeout | 0 |  |  |
|scrambled1417.smt2                                           | 1200.057s | 3754.0MiB| timeout | 0 |  |  |
|scrambled95803.smt2                                          | 1200.060s | 1655.0MiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          | 1200.062s | 50.28GiB| timeout | 0 |  |  |
|scrambled51053.smt2                                          | 1200.063s | 4845.0MiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          | 1200.067s | 10.478GiB| timeout | 0 |  |  |
|scrambled59713.smt2                                          | 1200.067s | 47.732GiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          | 1200.070s | 46.227GiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          | 1200.071s | 10.407GiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          | 1200.076s | 11.341GiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          | 1200.080s | 46.782GiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          | 1200.080s | 19.772GiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          | 1200.080s | 52.636GiB| timeout | 0 |  |  |
|scrambled19335.smt2                                          | 1200.089s | 16.337GiB| timeout | 0 |  |  |
|scrambled61922.smt2                                          | 1200.092s | 11.709GiB| timeout | 0 |  |  |
|scrambled128874.smt2                                         | 1200.092s | 1826.0MiB| timeout | 0 |  |  |
|scrambled7741.smt2                                           | 1200.095s | 2548.0MiB| timeout | 0 |  |  |
|scrambled119331.smt2                                         | 1200.102s | 2499.0MiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         | 1200.107s | 14.413GiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          | 1200.113s | 2540.0MiB| timeout | 0 |  |  |
|scrambled107826.smt2                                         | 1200.122s | 15.095GiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          | 1200.129s | 21.468GiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          | 1200.144s | 49.929GiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          | 1200.156s | 21.494GiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         | 1200.215s | 44.15GiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          | 1200.387s | 12.211GiB| timeout | 0 |  |  |