# .

* SAT 9
* UNSAT 1
* TIMEOUT 0
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: smt-sls
Runner: lev-ripper
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--ariparti-solver=bin/cvc5-base --ariparti-time-limit=30 --ariparti-max-running-tasks=4"
AriParti inputs: inputs/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 | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|10-15.smt2                                                   |    0.060s | 12.888MiB| sat | 0 |  |  |
|10-29.smt2                                                   |    0.064s | 18.792MiB| sat | 0 |  |  |
|10-13.slack.smt2                                             |    0.064s | 16.636MiB| sat | 0 |  |  |
|10-12.slack.smt2                                             |    0.065s | 10.24MiB| sat | 0 |  |  |
|10-28.smt2                                                   |    0.065s | 19.52MiB| sat | 0 |  |  |
|10-30.slack.smt2                                             |    0.068s | 26.976MiB| sat | 0 |  |  |
|06-treeWeight-739-8leaves.smt2                               |    0.211s | 57.32MiB| sat | 0 |  |  |
|07-treeWeight-569-8leaves.smt2                               |    0.303s | 58.244MiB| sat | 0 |  |  |
|02-treeWeight-570-8leaves.smt2                               |    0.500s | 64.088MiB| sat | 0 |  |  |
|064-incremental_scheduling-15092-0.smt2                      |    8.313s | 129.0MiB| unsat | 0 |  |  |