# .

* SAT 0
* UNSAT 0
* TIMEOUT 44
* 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-test
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:1 -v:0"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled118793.smt2                                         |    1.014s | 60.072MiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          |    1.015s | 43.08MiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          |    1.015s | 42.26MiB| timeout | 0 |  |  |
|scrambled95803.smt2                                          |    1.017s | 97.944MiB| timeout | 0 |  |  |
|scrambled59713.smt2                                          |    1.018s | 42.788MiB| timeout | 0 |  |  |
|scrambled125888.smt2                                         |    1.020s | 68.196MiB| timeout | 0 |  |  |
|scrambled125827.smt2                                         |    1.020s | 62.224MiB| timeout | 0 |  |  |
|scrambled119331.smt2                                         |    1.020s | 123.0MiB| timeout | 0 |  |  |
|scrambled51053.smt2                                          |    1.022s | 140.0MiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          |    1.022s | 235.0MiB| timeout | 0 |  |  |
|scrambled111627.smt2                                         |    1.023s | 235.0MiB| timeout | 0 |  |  |
|scrambled27843.smt2                                          |    1.023s | 240.0MiB| timeout | 0 |  |  |
|scrambled128128.smt2                                         |    1.024s | 129.0MiB| timeout | 0 |  |  |
|scrambled107826.smt2                                         |    1.025s | 234.0MiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          |    1.028s | 119.0MiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         |    1.028s | 232.0MiB| timeout | 0 |  |  |
|scrambled1417.smt2                                           |    1.031s | 25.472MiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          |    1.032s | 42.832MiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          |    1.032s | 232.0MiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         |    1.032s | 43.072MiB| timeout | 0 |  |  |
|scrambled3854.smt2                                           |    1.033s | 43.808MiB| timeout | 0 |  |  |
|scrambled20101.smt2                                          |    1.035s | 71.836MiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         |    1.038s | 126.0MiB| timeout | 0 |  |  |
|scrambled72668.smt2                                          |    1.038s | 111.0MiB| timeout | 0 |  |  |
|scrambled61922.smt2                                          |    1.039s | 127.0MiB| timeout | 0 |  |  |
|scrambled128732.smt2                                         |    1.039s | 109.0MiB| timeout | 0 |  |  |
|scrambled44911.smt2                                          |    1.039s | 105.0MiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          |    1.039s | 118.0MiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          |    1.040s | 42.816MiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          |    1.040s | 43.332MiB| timeout | 0 |  |  |
|scrambled131241.smt2                                         |    1.040s | 124.0MiB| timeout | 0 |  |  |
|scrambled25238.smt2                                          |    1.041s | 125.0MiB| timeout | 0 |  |  |
|scrambled7741.smt2                                           |    1.042s | 136.0MiB| timeout | 0 |  |  |
|scrambled19335.smt2                                          |    1.043s | 235.0MiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          |    1.043s | 230.0MiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          |    1.043s | 236.0MiB| timeout | 0 |  |  |
|scrambled32836.smt2                                          |    1.045s | 97.404MiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          |    1.045s | 235.0MiB| timeout | 0 |  |  |
|scrambled4299.smt2                                           |    1.046s | 236.0MiB| timeout | 0 |  |  |
|scrambled4198.smt2                                           |    1.046s | 233.0MiB| timeout | 0 |  |  |
|scrambled102166.smt2                                         |    1.047s | 232.0MiB| timeout | 0 |  |  |
|scrambled128874.smt2                                         |    1.047s | 110.0MiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          |    1.048s | 233.0MiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          |    1.052s | 237.0MiB| timeout | 0 |  |  |