# .

* SAT 1
* UNSAT 1
* TIMEOUT 42
* 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_LIA-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_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled107826.smt2                                         |   77.284s | 848.0MiB| sat | 0 |  |  |
|scrambled61922.smt2                                          |  317.494s | 395.0MiB| unsat | 0 |  |  |
|scrambled3854.smt2                                           | 1200.015s | 78.828MiB| timeout | 0 |  |  |
|scrambled1417.smt2                                           | 1200.018s | 78.084MiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         | 1200.032s | 45.736MiB| timeout | 0 |  |  |
|scrambled59713.smt2                                          | 1200.035s | 43.428MiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          | 1200.039s | 76.264MiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          | 1200.039s | 78.548MiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          | 1200.042s | 78.312MiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          | 1200.042s | 78.14MiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          | 1200.044s | 76.98MiB| timeout | 0 |  |  |
|scrambled118793.smt2                                         | 1200.049s | 101.0MiB| timeout | 0 |  |  |
|scrambled32836.smt2                                          | 1200.056s | 260.0MiB| timeout | 0 |  |  |
|scrambled125827.smt2                                         | 1200.057s | 104.0MiB| timeout | 0 |  |  |
|scrambled20101.smt2                                          | 1200.063s | 173.0MiB| timeout | 0 |  |  |
|scrambled125888.smt2                                         | 1200.064s | 146.0MiB| timeout | 0 |  |  |
|scrambled128128.smt2                                         | 1200.071s | 528.0MiB| timeout | 0 |  |  |
|scrambled95803.smt2                                          | 1200.082s | 221.0MiB| timeout | 0 |  |  |
|scrambled128874.smt2                                         | 1200.086s | 405.0MiB| timeout | 0 |  |  |
|scrambled44911.smt2                                          | 1200.089s | 371.0MiB| timeout | 0 |  |  |
|scrambled72668.smt2                                          | 1200.094s | 386.0MiB| timeout | 0 |  |  |
|scrambled119331.smt2                                         | 1200.094s | 515.0MiB| timeout | 0 |  |  |
|scrambled128732.smt2                                         | 1200.099s | 439.0MiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          | 1200.100s | 339.0MiB| timeout | 0 |  |  |
|scrambled131241.smt2                                         | 1200.107s | 491.0MiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          | 1200.117s | 511.0MiB| timeout | 0 |  |  |
|scrambled7741.smt2                                           | 1200.126s | 550.0MiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         | 1200.139s | 1097.0MiB| timeout | 0 |  |  |
|scrambled27843.smt2                                          | 1200.139s | 973.0MiB| timeout | 0 |  |  |
|scrambled25238.smt2                                          | 1200.139s | 629.0MiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         | 1200.193s | 2075.0MiB| timeout | 0 |  |  |
|scrambled51053.smt2                                          | 1200.196s | 2227.0MiB| timeout | 0 |  |  |
|scrambled19335.smt2                                          | 1200.206s | 1396.0MiB| timeout | 0 |  |  |
|scrambled4299.smt2                                           | 1200.210s | 2079.0MiB| timeout | 0 |  |  |
|scrambled111627.smt2                                         | 1200.217s | 1481.0MiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          | 1200.221s | 1591.0MiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          | 1200.225s | 2030.0MiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          | 1200.237s | 1911.0MiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          | 1200.270s | 2064.0MiB| timeout | 0 |  |  |
|scrambled4198.smt2                                           | 1200.297s | 2970.0MiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          | 1200.309s | 2986.0MiB| timeout | 0 |  |  |
|scrambled102166.smt2                                         | 1200.316s | 2830.0MiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          | 1200.317s | 2855.0MiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          | 1200.340s | 3043.0MiB| timeout | 0 |  |  |