# . * SAT 8 * UNSAT 0 * TIMEOUT 36 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_NRA-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_NRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled78428.smt2 | 6.977s | 690.0MiB| sat | 0 | | | |scrambled70990.smt2 | 11.121s | 1631.0MiB| sat | 0 | | | |scrambled14368.smt2 | 18.547s | 431.0MiB| sat | 0 | | | |scrambled32701.smt2 | 20.837s | 686.0MiB| sat | 0 | | | |scrambled54263.smt2 | 41.538s | 1481.0MiB| sat | 0 | | | |scrambled94768.smt2 | 62.114s | 817.0MiB| sat | 0 | | | |scrambled21647.smt2 | 156.070s | 2224.0MiB| sat | 0 | | | |scrambled65757.smt2 | 263.765s | 941.0MiB| sat | 0 | | | |scrambled41575.smt2 | 1200.093s | 129.0GiB| timeout | 0 | | | |scrambled82241.smt2 | 1200.101s | 1555.0MiB| timeout | 0 | | | |scrambled36539.smt2 | 1200.107s | 1094.0MiB| timeout | 0 | | | |scrambled124828.smt2 | 1200.114s | 10.896GiB| timeout | 0 | | | |scrambled114923.smt2 | 1200.115s | 49.11GiB| timeout | 0 | | | |scrambled58292.smt2 | 1200.130s | 4527.0MiB| timeout | 0 | | | |scrambled112083.smt2 | 1200.134s | 680.0MiB| timeout | 0 | | | |scrambled42946.smt2 | 1200.135s | 2612.0MiB| timeout | 0 | | | |scrambled118224.smt2 | 1200.136s | 11.087GiB| timeout | 0 | | | |scrambled117944.smt2 | 1200.140s | 1084.0MiB| timeout | 0 | | | |scrambled85895.smt2 | 1200.144s | 2786.0MiB| timeout | 0 | | | |scrambled91241.smt2 | 1200.146s | 117.0GiB| timeout | 0 | | | |scrambled22492.smt2 | 1200.152s | 36.805GiB| timeout | 0 | | | |scrambled74869.smt2 | 1200.154s | 913.0MiB| timeout | 0 | | | |scrambled14016.smt2 | 1200.155s | 5812.0MiB| timeout | 0 | | | |scrambled6476.smt2 | 1200.157s | 131.0GiB| timeout | 0 | | | |scrambled28630.smt2 | 1200.163s | 482.0MiB| timeout | 0 | | | |scrambled32269.smt2 | 1200.180s | 1044.0MiB| timeout | 0 | | | |scrambled73220.smt2 | 1200.181s | 1858.0MiB| timeout | 0 | | | |scrambled7586.smt2 | 1200.229s | 624.0MiB| timeout | 0 | | | |scrambled121780.smt2 | 1200.242s | 141.0GiB| timeout | 0 | | | |scrambled94319.smt2 | 1200.257s | 765.0MiB| timeout | 0 | | | |scrambled14880.smt2 | 1200.271s | 1124.0MiB| timeout | 0 | | | |scrambled99534.smt2 | 1200.276s | 780.0MiB| timeout | 0 | | | |scrambled5797.smt2 | 1200.400s | 65.639GiB| timeout | 0 | | | |scrambled80728.smt2 | 1200.412s | 1157.0MiB| timeout | 0 | | | |scrambled27426.smt2 | 1200.418s | 117.0GiB| timeout | 0 | | | |scrambled34121.smt2 | 1200.433s | 727.0MiB| timeout | 0 | | | |scrambled112144.smt2 | 1200.483s | 795.0MiB| timeout | 0 | | | |scrambled18831.smt2 | 1200.506s | 3497.0MiB| timeout | 0 | | | |scrambled7923.smt2 | 1200.506s | 524.0MiB| timeout | 0 | | | |scrambled117334.smt2 | 1200.521s | 8183.0MiB| timeout | 0 | | | |scrambled61896.smt2 | 1200.532s | 119.0GiB| timeout | 0 | | | |scrambled29556.smt2 | 1200.584s | 827.0MiB| timeout | 0 | | | |scrambled60239.smt2 | 1200.585s | 129.0GiB| timeout | 0 | | | |scrambled100912.smt2 | 1200.781s | 1577.0MiB| timeout | 0 | | |