# .

* SAT 1
* UNSAT 0
* TIMEOUT 0
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: smts-qflia-no-pt-nt-20260403h
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: 30
SMTS inputs: inputs/QF_LIA/n3465-RC-14.smt2
SMTS commit message: Reduced number of building cores in CircleCI

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|n3465-RC-14.smt2                                             |    0.157s | 27.1MiB| sat | 0 |  |  |