# .

* SAT 13
* UNSAT 0
* TIMEOUT 31
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS_threads-4-smtcomp2025-QF_LIA-timeout_20min
Runner: rise-runner-2
SMTS repo: usi-verification-and-security/SMTS
SMTS commit: 33750b9094495eb1b86c1d7b796a0340ccf03822
SMTS branch: master
SMTS options: "-o 4 -p -l"
SMTS timeout: 1260
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 | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled125888.smt2                                         |    7.677s | 182.0MiB| sat | 0 |  |  |
|scrambled131241.smt2                                         |   29.336s | 669.0MiB| sat | 0 |  |  |
|scrambled118793.smt2                                         |   30.220s | 202.0MiB| sat | 0 |  |  |
|scrambled125827.smt2                                         |   43.916s | 250.0MiB| sat | 0 |  |  |
|scrambled20101.smt2                                          |   55.660s | 276.0MiB| sat | 0 |  |  |
|scrambled25238.smt2                                          |   58.155s | 737.0MiB| sat | 0 |  |  |
|scrambled44911.smt2                                          |  130.736s | 601.0MiB| sat | 0 |  |  |
|scrambled95803.smt2                                          |  169.389s | 469.0MiB| sat | 0 |  |  |
|scrambled128128.smt2                                         |  230.339s | 855.0MiB| sat | 0 |  |  |
|scrambled72668.smt2                                          |  268.102s | 786.0MiB| sat | 0 |  |  |
|scrambled7741.smt2                                           |  444.990s | 1099.0MiB| sat | 0 |  |  |
|scrambled32836.smt2                                          |  633.902s | 755.0MiB| sat | 0 |  |  |
|scrambled128874.smt2                                         |  968.021s | 856.0MiB| sat | 0 |  |  |
|scrambled102166.smt2                                         | 1260.033s | 7333.0MiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          | 1260.038s | 5734.0MiB| timeout | 0 |  |  |
|scrambled59713.smt2                                          | 1260.043s | 27.377GiB| timeout | 0 |  |  |
|scrambled128732.smt2                                         | 1260.047s | 1266.0MiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          | 1260.047s | 1286.0MiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         | 1260.047s | 7344.0MiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          | 1260.049s | 22.051GiB| timeout | 0 |  |  |
|scrambled61922.smt2                                          | 1260.051s | 5882.0MiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          | 1260.053s | 25.397GiB| timeout | 0 |  |  |
|scrambled27843.smt2                                          | 1260.058s | 4728.0MiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         | 1260.060s | 24.448GiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          | 1260.065s | 25.116GiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          | 1260.068s | 5263.0MiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          | 1260.089s | 6375.0MiB| timeout | 0 |  |  |
|scrambled1417.smt2                                           | 1260.090s | 2217.0MiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          | 1260.099s | 1383.0MiB| timeout | 0 |  |  |
|scrambled4198.smt2                                           | 1260.099s | 15.08GiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         | 1260.109s | 8202.0MiB| timeout | 0 |  |  |
|scrambled4299.smt2                                           | 1260.114s | 5706.0MiB| timeout | 0 |  |  |
|scrambled51053.smt2                                          | 1260.115s | 2459.0MiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          | 1260.123s | 5245.0MiB| timeout | 0 |  |  |
|scrambled111627.smt2                                         | 1260.126s | 8220.0MiB| timeout | 0 |  |  |
|scrambled107826.smt2                                         | 1260.133s | 7996.0MiB| timeout | 0 |  |  |
|scrambled119331.smt2                                         | 1260.133s | 1358.0MiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          | 1260.135s | 24.923GiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          | 1260.139s | 26.07GiB| timeout | 0 |  |  |
|scrambled3854.smt2                                           | 1260.140s | 24.644GiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          | 1260.150s | 11.57GiB| timeout | 0 |  |  |
|scrambled19335.smt2                                          | 1260.155s | 8184.0MiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          | 1260.156s | 10.748GiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          | 1260.259s | 12.541GiB| timeout | 0 |  |  |