# .

* SAT 10
* UNSAT 0
* TIMEOUT 29
* UNKNOWN 0

* UNSET 5

* ERROR 0

# Meta data

<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-64-smtcomp2025-QF_LIA-timeout_20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--engine=ariparti --ariparti-dir=. --ariparti-entry=bin/AriParti.py --ariparti-partitioner=bin/partitioner --ariparti-solver=bin/ariparti-solver --ariparti-max-running-tasks=64 --ariparti-time-limit=1200"
AriParti solver backend: z3
AriParti 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 | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled61922.smt2                                          |    7.714s | 4294.0MiB| unset | 0 |  |  |
|scrambled125827.smt2                                         |   27.049s | 6560.0MiB| sat | 0 |  |  |
|scrambled107826.smt2                                         |   28.638s | 9629.0MiB| unset | 0 |  |  |
|scrambled128128.smt2                                         |   31.068s | 16.002GiB| unset | 0 |  |  |
|scrambled118793.smt2                                         |   33.082s | 6070.0MiB| sat | 0 |  |  |
|scrambled4299.smt2                                           |   34.722s | 22.709GiB| unset | 0 |  |  |
|scrambled4198.smt2                                           |   62.633s | 53.11GiB| unset | 0 |  |  |
|scrambled95803.smt2                                          |   69.295s | 12.977GiB| sat | 0 |  |  |
|scrambled20101.smt2                                          |   73.161s | 8767.0MiB| sat | 0 |  |  |
|scrambled44911.smt2                                          |   91.458s | 17.784GiB| sat | 0 |  |  |
|scrambled125888.smt2                                         |  123.908s | 8905.0MiB| sat | 0 |  |  |
|scrambled25238.smt2                                          |  149.528s | 27.384GiB| sat | 0 |  |  |
|scrambled72668.smt2                                          |  172.361s | 20.59GiB| sat | 0 |  |  |
|scrambled51053.smt2                                          |  293.247s | 24.535GiB| sat | 0 |  |  |
|scrambled128732.smt2                                         | 1035.436s | 26.832GiB| sat | 0 |  |  |
|scrambled1417.smt2                                           | 1200.300s | 3768.0MiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          | 1200.580s | 24.368GiB| timeout | 0 |  |  |
|scrambled131241.smt2                                         | 1200.690s | 37.812GiB| timeout | 0 |  |  |
|scrambled7741.smt2                                           | 1200.732s | 40.815GiB| timeout | 0 |  |  |
|scrambled32836.smt2                                          | 1200.735s | 19.356GiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          | 1200.755s | 99.085GiB| timeout | 0 |  |  |
|scrambled119331.smt2                                         | 1200.863s | 44.91GiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         | 1200.914s | 38.755GiB| timeout | 0 |  |  |
|scrambled128874.smt2                                         | 1200.985s | 27.291GiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          | 1201.256s | 43.036GiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          | 1201.258s | 62.403GiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          | 1201.286s | 50.567GiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          | 1201.351s | 100.0GiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          | 1201.378s | 70.595GiB| timeout | 0 |  |  |
|scrambled102166.smt2                                         | 1201.390s | 92.879GiB| timeout | 0 |  |  |
|scrambled111627.smt2                                         | 1201.479s | 50.605GiB| timeout | 0 |  |  |
|scrambled59713.smt2                                          | 1201.527s | 99.0GiB| timeout | 0 |  |  |
|scrambled27843.smt2                                          | 1201.590s | 31.446GiB| timeout | 0 |  |  |
|scrambled3854.smt2                                           | 1201.652s | 103.0GiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         | 1201.669s | 111.0GiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          | 1201.707s | 107.0GiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          | 1201.815s | 52.937GiB| timeout | 0 |  |  |
|scrambled19335.smt2                                          | 1201.840s | 41.492GiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         | 1201.953s | 64.935GiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          | 1202.037s | 108.0GiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          | 1202.292s | 106.0GiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          | 1203.274s | 116.0GiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          | 1203.621s | 120.0GiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          | 1203.783s | 133.0GiB| timeout | 0 |  |  |
