# .

* SAT 1
* UNSAT 3
* TIMEOUT 41
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

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

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled89071.smt2                                          |  220.569s | 737.0MiB| unsat | 0 |  |  |
|scrambled79181.smt2                                          |  428.664s | 484.0MiB| unsat | 0 |  |  |
|scrambled96514.smt2                                          |  524.079s | 531.0MiB| unsat | 0 |  |  |
|scrambled15284.smt2                                          |  683.858s | 1177.0MiB| sat | 0 |  |  |
|scrambled25140.smt2                                          | 1200.064s | 3916.0MiB| timeout | 0 |  |  |
|scrambled14967.smt2                                          | 1200.073s | 2227.0MiB| timeout | 0 |  |  |
|scrambled41801.smt2                                          | 1200.096s | 894.0MiB| timeout | 0 |  |  |
|scrambled58720.smt2                                          | 1200.113s | 1774.0MiB| timeout | 0 |  |  |
|scrambled117178.smt2                                         | 1200.114s | 1233.0MiB| timeout | 0 |  |  |
|scrambled122058.smt2                                         | 1200.120s | 1452.0MiB| timeout | 0 |  |  |
|scrambled23483.smt2                                          | 1200.121s | 2247.0MiB| timeout | 0 |  |  |
|scrambled41773.smt2                                          | 1200.130s | 2280.0MiB| timeout | 0 |  |  |
|scrambled116992.smt2                                         | 1200.137s | 3612.0MiB| timeout | 0 |  |  |
|scrambled128361.smt2                                         | 1200.138s | 1132.0MiB| timeout | 0 |  |  |
|scrambled62536.smt2                                          | 1200.138s | 704.0MiB| timeout | 0 |  |  |
|scrambled35345.smt2                                          | 1200.138s | 3634.0MiB| timeout | 0 |  |  |
|scrambled92133.smt2                                          | 1200.143s | 16.088GiB| timeout | 0 |  |  |
|scrambled41312.smt2                                          | 1200.153s | 430.0MiB| timeout | 0 |  |  |
|scrambled1379.smt2                                           | 1200.153s | 2049.0MiB| timeout | 0 |  |  |
|scrambled1447.smt2                                           | 1200.156s | 2507.0MiB| timeout | 0 |  |  |
|scrambled42287.smt2                                          | 1200.157s | 1510.0MiB| timeout | 0 |  |  |
|scrambled100416.smt2                                         | 1200.167s | 3578.0MiB| timeout | 0 |  |  |
|scrambled62810.smt2                                          | 1200.169s | 1399.0MiB| timeout | 0 |  |  |
|scrambled119992.smt2                                         | 1200.174s | 2081.0MiB| timeout | 0 |  |  |
|scrambled109208.smt2                                         | 1200.179s | 1623.0MiB| timeout | 0 |  |  |
|scrambled78606.smt2                                          | 1200.179s | 925.0MiB| timeout | 0 |  |  |
|scrambled4441.smt2                                           | 1200.193s | 1210.0MiB| timeout | 0 |  |  |
|scrambled98799.smt2                                          | 1200.198s | 1174.0MiB| timeout | 0 |  |  |
|scrambled82743.smt2                                          | 1200.201s | 1227.0MiB| timeout | 0 |  |  |
|scrambled27577.smt2                                          | 1200.221s | 857.0MiB| timeout | 0 |  |  |
|scrambled97138.smt2                                          | 1200.222s | 1749.0MiB| timeout | 0 |  |  |
|scrambled103851.smt2                                         | 1200.222s | 2615.0MiB| timeout | 0 |  |  |
|scrambled96733.smt2                                          | 1200.224s | 732.0MiB| timeout | 0 |  |  |
|scrambled38610.smt2                                          | 1200.227s | 1852.0MiB| timeout | 0 |  |  |
|scrambled6373.smt2                                           | 1200.230s | 490.0MiB| timeout | 0 |  |  |
|scrambled21544.smt2                                          | 1200.230s | 908.0MiB| timeout | 0 |  |  |
|scrambled54073.smt2                                          | 1200.281s | 1056.0MiB| timeout | 0 |  |  |
|scrambled75206.smt2                                          | 1200.281s | 2626.0MiB| timeout | 0 |  |  |
|scrambled78432.smt2                                          | 1200.304s | 1088.0MiB| timeout | 0 |  |  |
|scrambled9927.smt2                                           | 1200.308s | 1094.0MiB| timeout | 0 |  |  |
|scrambled90733.smt2                                          | 1200.317s | 1136.0MiB| timeout | 0 |  |  |
|scrambled15552.smt2                                          | 1200.329s | 1329.0MiB| timeout | 0 |  |  |
|scrambled62859.smt2                                          | 1200.330s | 2699.0MiB| timeout | 0 |  |  |
|scrambled122413.smt2                                         | 1200.330s | 1938.0MiB| timeout | 0 |  |  |
|scrambled124624.smt2                                         | 1200.331s | 11.279GiB| timeout | 0 |  |  |
