# .

* SAT 4
* UNSAT 3
* TIMEOUT 31
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_LRA-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=8 --ariparti-time-limit=1200"
AriParti solver backend: z3
AriParti inputs: inputs/smt_comp_2025_parallel/QF_LRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled88927.smt2                                          |  180.811s | 232.0MiB| unsat | 0 |  |  |
|scrambled44527.smt2                                          |  382.246s | 10.622GiB| sat | 0 |  |  |
|scrambled109307.smt2                                         |  430.817s | 4952.0MiB| sat | 0 |  |  |
|scrambled102680.smt2                                         |  533.612s | 9100.0MiB| sat | 0 |  |  |
|scrambled71015.smt2                                          |  536.154s | 1155.0MiB| unsat | 0 |  |  |
|scrambled122587.smt2                                         |  632.925s | 396.0MiB| unsat | 0 |  |  |
|scrambled47581.smt2                                          |  724.137s | 2623.0MiB| sat | 0 |  |  |
|scrambled92964.smt2                                          | 1200.107s | 328.0MiB| timeout | 0 |  |  |
|scrambled77308.smt2                                          | 1200.111s | 3061.0MiB| timeout | 0 |  |  |
|scrambled124681.smt2                                         | 1200.116s | 241.0MiB| timeout | 0 |  |  |
|scrambled101086.smt2                                         | 1200.120s | 468.0MiB| timeout | 0 |  |  |
|scrambled104811.smt2                                         | 1200.123s | 4660.0MiB| timeout | 0 |  |  |
|scrambled65517.smt2                                          | 1200.127s | 1022.0MiB| timeout | 0 |  |  |
|scrambled46192.smt2                                          | 1200.144s | 506.0MiB| timeout | 0 |  |  |
|scrambled49820.smt2                                          | 1200.146s | 498.0MiB| timeout | 0 |  |  |
|scrambled37260.smt2                                          | 1200.163s | 4180.0MiB| timeout | 0 |  |  |
|scrambled76532.smt2                                          | 1200.166s | 448.0MiB| timeout | 0 |  |  |
|scrambled35077.smt2                                          | 1200.167s | 450.0MiB| timeout | 0 |  |  |
|scrambled124455.smt2                                         | 1200.169s | 2733.0MiB| timeout | 0 |  |  |
|scrambled117897.smt2                                         | 1200.177s | 4530.0MiB| timeout | 0 |  |  |
|scrambled115671.smt2                                         | 1200.184s | 505.0MiB| timeout | 0 |  |  |
|scrambled76525.smt2                                          | 1200.192s | 2160.0MiB| timeout | 0 |  |  |
|scrambled17583.smt2                                          | 1200.193s | 2385.0MiB| timeout | 0 |  |  |
|scrambled103576.smt2                                         | 1200.197s | 305.0MiB| timeout | 0 |  |  |
|scrambled95284.smt2                                          | 1200.212s | 3234.0MiB| timeout | 0 |  |  |
|scrambled31085.smt2                                          | 1200.223s | 420.0MiB| timeout | 0 |  |  |
|scrambled55845.smt2                                          | 1200.246s | 1100.0MiB| timeout | 0 |  |  |
|scrambled59368.smt2                                          | 1200.247s | 2638.0MiB| timeout | 0 |  |  |
|scrambled98986.smt2                                          | 1200.262s | 12.421GiB| timeout | 0 |  |  |
|scrambled101728.smt2                                         | 1200.316s | 9380.0MiB| timeout | 0 |  |  |
|scrambled77008.smt2                                          | 1200.323s | 7938.0MiB| timeout | 0 |  |  |
|scrambled102621.smt2                                         | 1200.386s | 12.921GiB| timeout | 0 |  |  |
|scrambled13169.smt2                                          | 1200.438s | 10.813GiB| timeout | 0 |  |  |
|scrambled55850.smt2                                          | 1200.440s | 11.167GiB| timeout | 0 |  |  |
|scrambled25695.smt2                                          | 1200.443s | 12.813GiB| timeout | 0 |  |  |
|scrambled13209.smt2                                          | 1200.465s | 17.493GiB| timeout | 0 |  |  |
|scrambled8163.smt2                                           | 1200.492s | 11.026GiB| timeout | 0 |  |  |
|scrambled111949.smt2                                         | 1200.552s | 13.546GiB| timeout | 0 |  |  |
