# .

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

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_RDL-timeout20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti ref: main
Z3 version: 4.12.1 (prebuilt)
Z3 options: "-T:1200 -v:0"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_RDL
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled23753.smt2                                          |  517.100s | 107.0MiB| unsat | 0 |  |  |
|scrambled55916.smt2                                          | 1200.021s | 137.0MiB| timeout | 0 |  |  |
|scrambled73226.smt2                                          | 1200.023s | 139.0MiB| timeout | 0 |  |  |
|scrambled43798.smt2                                          | 1200.029s | 122.0MiB| timeout | 0 |  |  |
|scrambled111948.smt2                                         | 1200.032s | 147.0MiB| timeout | 0 |  |  |
|scrambled103636.smt2                                         | 1200.033s | 130.0MiB| timeout | 0 |  |  |
|scrambled118796.smt2                                         | 1200.034s | 124.0MiB| timeout | 0 |  |  |
|scrambled12077.smt2                                          | 1200.034s | 160.0MiB| timeout | 0 |  |  |
|scrambled95269.smt2                                          | 1200.035s | 154.0MiB| timeout | 0 |  |  |
|scrambled5175.smt2                                           | 1200.035s | 136.0MiB| timeout | 0 |  |  |
|scrambled7069.smt2                                           | 1200.036s | 149.0MiB| timeout | 0 |  |  |
|scrambled69775.smt2                                          | 1200.036s | 151.0MiB| timeout | 0 |  |  |
|scrambled103130.smt2                                         | 1200.052s | 151.0MiB| timeout | 0 |  |  |
|scrambled120626.smt2                                         | 1200.071s | 623.0MiB| timeout | 0 |  |  |
|scrambled116502.smt2                                         | 1200.073s | 630.0MiB| timeout | 0 |  |  |
|scrambled43005.smt2                                          | 1200.075s | 636.0MiB| timeout | 0 |  |  |
|scrambled106386.smt2                                         | 1200.075s | 633.0MiB| timeout | 0 |  |  |
|scrambled57711.smt2                                          | 1200.079s | 629.0MiB| timeout | 0 |  |  |
|scrambled114492.smt2                                         | 1200.080s | 614.0MiB| timeout | 0 |  |  |
|scrambled36692.smt2                                          | 1200.080s | 619.0MiB| timeout | 0 |  |  |
|scrambled64619.smt2                                          | 1200.081s | 619.0MiB| timeout | 0 |  |  |
|scrambled36439.smt2                                          | 1200.082s | 617.0MiB| timeout | 0 |  |  |
|scrambled68857.smt2                                          | 1200.084s | 634.0MiB| timeout | 0 |  |  |
|scrambled19322.smt2                                          | 1200.084s | 661.0MiB| timeout | 0 |  |  |