# .

* SAT 14
* UNSAT 0
* TIMEOUT 30
* 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.905s | 241.0MiB| sat | 0 |  |  |
|scrambled118793.smt2                                         |    4.125s | 241.0MiB| sat | 0 |  |  |
|scrambled125888.smt2                                         |    6.147s | 332.0MiB| sat | 0 |  |  |
|scrambled95803.smt2                                          |   13.131s | 564.0MiB| sat | 0 |  |  |
|scrambled131241.smt2                                         |   18.301s | 1188.0MiB| sat | 0 |  |  |
|scrambled44911.smt2                                          |   19.097s | 863.0MiB| sat | 0 |  |  |
|scrambled20101.smt2                                          |   39.492s | 519.0MiB| sat | 0 |  |  |
|scrambled25238.smt2                                          |  112.911s | 1636.0MiB| sat | 0 |  |  |
|scrambled32836.smt2                                          |  158.006s | 880.0MiB| sat | 0 |  |  |
|scrambled7741.smt2                                           |  178.012s | 1742.0MiB| sat | 0 |  |  |
|scrambled128128.smt2                                         |  224.783s | 1618.0MiB| sat | 0 |  |  |
|scrambled72668.smt2                                          |  335.338s | 1838.0MiB| sat | 0 |  |  |
|scrambled128732.smt2                                         | 1041.701s | 2226.0MiB| sat | 0 |  |  |
|scrambled119331.smt2                                         | 1167.524s | 2540.0MiB| sat | 0 |  |  |
|scrambled59713.smt2                                          | 1200.040s | 44.862GiB| timeout | 0 |  |  |
|scrambled1417.smt2                                           | 1200.042s | 3920.0MiB| timeout | 0 |  |  |
|scrambled61922.smt2                                          | 1200.045s | 11.479GiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          | 1200.046s | 2149.0MiB| timeout | 0 |  |  |
|scrambled128874.smt2                                         | 1200.047s | 1795.0MiB| timeout | 0 |  |  |
|scrambled102166.smt2                                         | 1200.050s | 14.645GiB| timeout | 0 |  |  |
|scrambled3854.smt2                                           | 1200.050s | 44.762GiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          | 1200.052s | 2571.0MiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          | 1200.052s | 10.407GiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          | 1200.053s | 10.476GiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          | 1200.053s | 45.432GiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          | 1200.054s | 44.163GiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         | 1200.058s | 14.418GiB| timeout | 0 |  |  |
|scrambled4198.smt2                                           | 1200.059s | 24.124GiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          | 1200.062s | 55.415GiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          | 1200.067s | 50.125GiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          | 1200.070s | 48.755GiB| timeout | 0 |  |  |
|scrambled19335.smt2                                          | 1200.077s | 16.349GiB| timeout | 0 |  |  |
|scrambled111627.smt2                                         | 1200.077s | 16.197GiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          | 1200.084s | 19.431GiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          | 1200.087s | 21.513GiB| timeout | 0 |  |  |
|scrambled51053.smt2                                          | 1200.093s | 4835.0MiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          | 1200.094s | 11.419GiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          | 1200.094s | 23.097GiB| timeout | 0 |  |  |
|scrambled107826.smt2                                         | 1200.094s | 14.012GiB| timeout | 0 |  |  |
|scrambled27843.smt2                                          | 1200.102s | 9349.0MiB| timeout | 0 |  |  |
|scrambled4299.smt2                                           | 1200.104s | 11.352GiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         | 1200.134s | 48.398GiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         | 1200.142s | 14.648GiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          | 1200.321s | 12.197GiB| timeout | 0 |  |  |