# .

* SAT 5
* UNSAT 0
* TIMEOUT 30
* UNKNOWN 0

* UNSET 9

* ERROR 9

# Meta data

<pre>
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_NRA-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_NRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled14368.smt2                                          |   18.187s | 39.456MiB| sat | 0 |  |  |
|scrambled54263.smt2                                          |   56.860s | 195.0MiB| sat | 0 |  |  |
|scrambled65757.smt2                                          |  215.610s | 66.964MiB| sat | 0 |  |  |
|scrambled21647.smt2                                          |  249.095s | 314.0MiB| sat | 0 |  |  |
|scrambled41575.smt2                                          |  513.987s | 62.538GiB| unset | 139 |  |  |
|scrambled61896.smt2                                          |  528.519s | 62.434GiB| unset | 139 |  |  |
|scrambled70990.smt2                                          |  531.189s | 64.53GiB| unset | 139 |  |  |
|scrambled91241.smt2                                          |  531.583s | 62.657GiB| unset | 139 |  |  |
|scrambled27426.smt2                                          |  539.211s | 62.554GiB| unset | 139 |  |  |
|scrambled60239.smt2                                          |  541.019s | 62.85GiB| unset | 139 |  |  |
|scrambled78428.smt2                                          |  544.046s | 65.1GiB| unset | 139 |  |  |
|scrambled121780.smt2                                         |  569.573s | 65.569GiB| unset | 139 |  |  |
|scrambled32701.smt2                                          |  569.941s | 104.0MiB| sat | 0 |  |  |
|scrambled6476.smt2                                           |  579.352s | 65.862GiB| unset | 139 |  |  |
|scrambled112144.smt2                                         | 1200.020s | 84.316MiB| timeout | 0 |  |  |
|scrambled14880.smt2                                          | 1200.022s | 53.308MiB| timeout | 0 |  |  |
|scrambled7586.smt2                                           | 1200.023s | 53.268MiB| timeout | 0 |  |  |
|scrambled18831.smt2                                          | 1200.026s | 82.052MiB| timeout | 0 |  |  |
|scrambled100912.smt2                                         | 1200.027s | 94.264MiB| timeout | 0 |  |  |
|scrambled73220.smt2                                          | 1200.027s | 90.828MiB| timeout | 0 |  |  |
|scrambled34121.smt2                                          | 1200.028s | 162.0MiB| timeout | 0 |  |  |
|scrambled99534.smt2                                          | 1200.028s | 102.0MiB| timeout | 0 |  |  |
|scrambled80728.smt2                                          | 1200.030s | 193.0MiB| timeout | 0 |  |  |
|scrambled58292.smt2                                          | 1200.035s | 270.0MiB| timeout | 0 |  |  |
|scrambled94319.smt2                                          | 1200.035s | 117.0MiB| timeout | 0 |  |  |
|scrambled117944.smt2                                         | 1200.035s | 164.0MiB| timeout | 0 |  |  |
|scrambled112083.smt2                                         | 1200.036s | 120.0MiB| timeout | 0 |  |  |
|scrambled117334.smt2                                         | 1200.036s | 190.0MiB| timeout | 0 |  |  |
|scrambled28630.smt2                                          | 1200.036s | 41.096MiB| timeout | 0 |  |  |
|scrambled7923.smt2                                           | 1200.038s | 66.648MiB| timeout | 0 |  |  |
|scrambled74869.smt2                                          | 1200.042s | 55.972MiB| timeout | 0 |  |  |
|scrambled36539.smt2                                          | 1200.045s | 104.0MiB| timeout | 0 |  |  |
|scrambled32269.smt2                                          | 1200.045s | 183.0MiB| timeout | 0 |  |  |
|scrambled42946.smt2                                          | 1200.047s | 69.336MiB| timeout | 0 |  |  |
|scrambled82241.smt2                                          | 1200.050s | 99.0MiB| timeout | 0 |  |  |
|scrambled94768.smt2                                          | 1200.052s | 120.0MiB| timeout | 0 |  |  |
|scrambled22492.smt2                                          | 1200.063s | 9491.0MiB| timeout | 0 |  |  |
|scrambled85895.smt2                                          | 1200.069s | 1435.0MiB| timeout | 0 |  |  |
|scrambled14016.smt2                                          | 1200.078s | 503.0MiB| timeout | 0 |  |  |
|scrambled118224.smt2                                         | 1200.081s | 749.0MiB| timeout | 0 |  |  |
|scrambled29556.smt2                                          | 1200.091s | 824.0MiB| timeout | 0 |  |  |
|scrambled124828.smt2                                         | 1200.116s | 1093.0MiB| timeout | 0 |  |  |
|scrambled5797.smt2                                           | 1200.149s | 1471.0MiB| timeout | 0 |  |  |
|scrambled114923.smt2                                         | 1201.595s | 17.382GiB| timeout | 0 |  |  |