# .

* SAT 0
* UNSAT 0
* TIMEOUT 24
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_RDL-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1200
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_RDL
OpenSMT commit message: Updated MacOS CircleCI resource class

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled43798.smt2                                          | 1200.014s | 21.28MiB| timeout | 0 |  |  |
|scrambled7069.smt2                                           | 1200.015s | 22.692MiB| timeout | 0 |  |  |
|scrambled95269.smt2                                          | 1200.015s | 22.852MiB| timeout | 0 |  |  |
|scrambled118796.smt2                                         | 1200.015s | 22.776MiB| timeout | 0 |  |  |
|scrambled69775.smt2                                          | 1200.016s | 22.232MiB| timeout | 0 |  |  |
|scrambled5175.smt2                                           | 1200.016s | 22.148MiB| timeout | 0 |  |  |
|scrambled111948.smt2                                         | 1200.017s | 22.964MiB| timeout | 0 |  |  |
|scrambled23753.smt2                                          | 1200.017s | 22.608MiB| timeout | 0 |  |  |
|scrambled73226.smt2                                          | 1200.017s | 23.208MiB| timeout | 0 |  |  |
|scrambled55916.smt2                                          | 1200.017s | 21.78MiB| timeout | 0 |  |  |
|scrambled12077.smt2                                          | 1200.018s | 22.676MiB| timeout | 0 |  |  |
|scrambled116502.smt2                                         | 1200.022s | 100.0MiB| timeout | 0 |  |  |
|scrambled57711.smt2                                          | 1200.022s | 101.0MiB| timeout | 0 |  |  |
|scrambled114492.smt2                                         | 1200.022s | 102.0MiB| timeout | 0 |  |  |
|scrambled36692.smt2                                          | 1200.022s | 102.0MiB| timeout | 0 |  |  |
|scrambled106386.smt2                                         | 1200.023s | 100.0MiB| timeout | 0 |  |  |
|scrambled19322.smt2                                          | 1200.023s | 101.0MiB| timeout | 0 |  |  |
|scrambled36439.smt2                                          | 1200.025s | 102.0MiB| timeout | 0 |  |  |
|scrambled103636.smt2                                         | 1200.029s | 22.512MiB| timeout | 0 |  |  |
|scrambled103130.smt2                                         | 1200.029s | 22.64MiB| timeout | 0 |  |  |
|scrambled43005.smt2                                          | 1200.030s | 101.0MiB| timeout | 0 |  |  |
|scrambled68857.smt2                                          | 1200.035s | 101.0MiB| timeout | 0 |  |  |
|scrambled120626.smt2                                         | 1200.040s | 102.0MiB| timeout | 0 |  |  |
|scrambled64619.smt2                                          | 1200.040s | 101.0MiB| timeout | 0 |  |  |