# .

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

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: smts-qflia-o8-only-20260403g
Runner: rise-runner-2
SMTS repo: usi-verification-and-security/SMTS
SMTS commit: 33750b9094495eb1b86c1d7b796a0340ccf03822
SMTS branch: master
SMTS options: "-o 8"
SMTS timeout: 30
SMTS inputs: inputs/QF_LIA/n6468-problem_2__034.smt2
SMTS commit message: Reduced number of building cores in CircleCI

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|n6468-problem_2__034.smt2                                    |   30.025s | 37.848MiB| timeout | 0 |  |  |