# . * SAT 1 * UNSAT 3 * TIMEOUT 40 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: Z3-threads-8-smtcomp2025-QF_NIA-timeout20min
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: 7cf9087ee58f889e15d9040ceb26559e05a252a0
Z3 branch: core_min
Z3 options: "-T:1200 -v:0 smt.threads=8"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_NIA
Z3 commit message: merge
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled30073.smt2 | 1.126s | 221.0MiB| unsat | 0 | | | |scrambled50258.smt2 | 1.712s | 301.0MiB| unsat | 0 | | | |scrambled14845.smt2 | 446.216s | 5439.0MiB| unsat | 0 | | | |scrambled48569.smt2 | 778.945s | 1241.0MiB| sat | 0 | | | |scrambled98111.smt2 | 1200.050s | 251.0MiB| timeout | 0 | | | |scrambled82407.smt2 | 1200.052s | 273.0MiB| timeout | 0 | | | |scrambled29780.smt2 | 1200.053s | 265.0MiB| timeout | 0 | | | |scrambled100714.smt2 | 1200.054s | 242.0MiB| timeout | 0 | | | |scrambled80288.smt2 | 1200.056s | 244.0MiB| timeout | 0 | | | |scrambled58311.smt2 | 1200.056s | 256.0MiB| timeout | 0 | | | |scrambled47700.smt2 | 1200.059s | 343.0MiB| timeout | 0 | | | |scrambled39467.smt2 | 1200.063s | 242.0MiB| timeout | 0 | | | |scrambled87588.smt2 | 1200.064s | 295.0MiB| timeout | 0 | | | |scrambled101716.smt2 | 1200.064s | 320.0MiB| timeout | 0 | | | |scrambled73281.smt2 | 1200.064s | 297.0MiB| timeout | 0 | | | |scrambled8852.smt2 | 1200.065s | 311.0MiB| timeout | 0 | | | |scrambled31575.smt2 | 1200.068s | 248.0MiB| timeout | 0 | | | |scrambled103775.smt2 | 1200.075s | 308.0MiB| timeout | 0 | | | |scrambled9548.smt2 | 1200.076s | 306.0MiB| timeout | 0 | | | |scrambled108406.smt2 | 1200.076s | 392.0MiB| timeout | 0 | | | |scrambled108663.smt2 | 1200.076s | 318.0MiB| timeout | 0 | | | |scrambled28176.smt2 | 1200.078s | 441.0MiB| timeout | 0 | | | |scrambled62032.smt2 | 1200.079s | 302.0MiB| timeout | 0 | | | |scrambled38587.smt2 | 1200.079s | 303.0MiB| timeout | 0 | | | |scrambled82760.smt2 | 1200.082s | 312.0MiB| timeout | 0 | | | |scrambled12959.smt2 | 1200.087s | 308.0MiB| timeout | 0 | | | |scrambled130111.smt2 | 1200.087s | 600.0MiB| timeout | 0 | | | |scrambled119582.smt2 | 1200.088s | 338.0MiB| timeout | 0 | | | |scrambled9883.smt2 | 1200.090s | 310.0MiB| timeout | 0 | | | |scrambled35280.smt2 | 1200.090s | 425.0MiB| timeout | 0 | | | |scrambled79354.smt2 | 1200.091s | 313.0MiB| timeout | 0 | | | |scrambled41135.smt2 | 1200.093s | 395.0MiB| timeout | 0 | | | |scrambled36790.smt2 | 1200.093s | 524.0MiB| timeout | 0 | | | |scrambled96401.smt2 | 1200.101s | 487.0MiB| timeout | 0 | | | |scrambled129467.smt2 | 1200.103s | 432.0MiB| timeout | 0 | | | |scrambled122926.smt2 | 1200.107s | 676.0MiB| timeout | 0 | | | |scrambled31071.smt2 | 1200.107s | 422.0MiB| timeout | 0 | | | |scrambled97386.smt2 | 1200.115s | 541.0MiB| timeout | 0 | | | |scrambled61060.smt2 | 1200.134s | 756.0MiB| timeout | 0 | | | |scrambled91750.smt2 | 1200.141s | 564.0MiB| timeout | 0 | | | |scrambled17293.smt2 | 1200.162s | 808.0MiB| timeout | 0 | | | |scrambled12033.smt2 | 1200.397s | 2711.0MiB| timeout | 0 | | | |scrambled73755.smt2 | 1200.850s | 4872.0MiB| timeout | 0 | | | |scrambled85357.smt2 | 1202.910s | 31.865GiB| timeout | 0 | | |