# . * SAT 1 * UNSAT 3 * TIMEOUT 41 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
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.
# 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 | | |