# .

* SAT 0
* UNSAT 1
* TIMEOUT 23
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_RDL-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_RDL
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled23753.smt2                                          |  900.374s | 1008.0MiB| unsat | 0 |  |  |
|scrambled12077.smt2                                          | 1200.088s | 1276.0MiB| timeout | 0 |  |  |
|scrambled36439.smt2                                          | 1200.103s | 5545.0MiB| timeout | 0 |  |  |
|scrambled103636.smt2                                         | 1200.107s | 1211.0MiB| timeout | 0 |  |  |
|scrambled69775.smt2                                          | 1200.107s | 1297.0MiB| timeout | 0 |  |  |
|scrambled64619.smt2                                          | 1200.113s | 5483.0MiB| timeout | 0 |  |  |
|scrambled118796.smt2                                         | 1200.120s | 1265.0MiB| timeout | 0 |  |  |
|scrambled95269.smt2                                          | 1200.145s | 1232.0MiB| timeout | 0 |  |  |
|scrambled116502.smt2                                         | 1200.152s | 5613.0MiB| timeout | 0 |  |  |
|scrambled7069.smt2                                           | 1200.156s | 1330.0MiB| timeout | 0 |  |  |
|scrambled114492.smt2                                         | 1200.169s | 6087.0MiB| timeout | 0 |  |  |
|scrambled103130.smt2                                         | 1200.173s | 1272.0MiB| timeout | 0 |  |  |
|scrambled111948.smt2                                         | 1200.189s | 1235.0MiB| timeout | 0 |  |  |
|scrambled43005.smt2                                          | 1200.198s | 5677.0MiB| timeout | 0 |  |  |
|scrambled55916.smt2                                          | 1200.203s | 1181.0MiB| timeout | 0 |  |  |
|scrambled73226.smt2                                          | 1200.204s | 1240.0MiB| timeout | 0 |  |  |
|scrambled120626.smt2                                         | 1200.217s | 5634.0MiB| timeout | 0 |  |  |
|scrambled106386.smt2                                         | 1200.244s | 5679.0MiB| timeout | 0 |  |  |
|scrambled68857.smt2                                          | 1200.244s | 5622.0MiB| timeout | 0 |  |  |
|scrambled36692.smt2                                          | 1200.253s | 5488.0MiB| timeout | 0 |  |  |
|scrambled57711.smt2                                          | 1200.352s | 6417.0MiB| timeout | 0 |  |  |
|scrambled5175.smt2                                           | 1200.381s | 1316.0MiB| timeout | 0 |  |  |
|scrambled19322.smt2                                          | 1200.388s | 6333.0MiB| timeout | 0 |  |  |
|scrambled43798.smt2                                          | 1200.417s | 1235.0MiB| timeout | 0 |  |  |