# . * SAT 1 * UNSAT 1 * TIMEOUT 42 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: Z3-threads-8-smtcomp2025-QF_LIA-timeout20min
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: d41610a46ca6d0169bdc562311fed3fd69e2b769
Z3 branch: d41610a46ca6d0169bdc562311fed3fd69e2b769
Z3 options: "-T:60 -v:0 smt.threads=8"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_LIA
Z3 commit message: reinstate FL check for new batch with epochs, before merge, this is a temp branch
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled61922.smt2 | 6.575s | 384.0MiB| unsat | 0 | | | |scrambled107826.smt2 | 50.934s | 1126.0MiB| sat | 0 | | | |scrambled3854.smt2 | 60.011s | 42.824MiB| timeout | 0 | | | |scrambled79766.smt2 | 60.013s | 42.836MiB| timeout | 0 | | | |scrambled59713.smt2 | 60.021s | 42.492MiB| timeout | 0 | | | |scrambled45952.smt2 | 60.021s | 42.1MiB| timeout | 0 | | | |scrambled65181.smt2 | 60.029s | 43.076MiB| timeout | 0 | | | |scrambled79867.smt2 | 60.032s | 42.816MiB| timeout | 0 | | | |scrambled103783.smt2 | 60.036s | 43.316MiB| timeout | 0 | | | |scrambled1417.smt2 | 60.041s | 263.0MiB| timeout | 0 | | | |scrambled39514.smt2 | 60.045s | 42.556MiB| timeout | 0 | | | |scrambled27843.smt2 | 60.081s | 642.0MiB| timeout | 0 | | | |scrambled118793.smt2 | 60.111s | 789.0MiB| timeout | 0 | | | |scrambled51053.smt2 | 60.118s | 530.0MiB| timeout | 0 | | | |scrambled107115.smt2 | 60.122s | 601.0MiB| timeout | 0 | | | |scrambled125827.smt2 | 60.128s | 860.0MiB| timeout | 0 | | | |scrambled19335.smt2 | 60.130s | 1118.0MiB| timeout | 0 | | | |scrambled43577.smt2 | 60.146s | 1112.0MiB| timeout | 0 | | | |scrambled108840.smt2 | 60.155s | 1237.0MiB| timeout | 0 | | | |scrambled79760.smt2 | 60.163s | 1207.0MiB| timeout | 0 | | | |scrambled111627.smt2 | 60.167s | 1160.0MiB| timeout | 0 | | | |scrambled75189.smt2 | 60.174s | 1036.0MiB| timeout | 0 | | | |scrambled68944.smt2 | 60.182s | 1144.0MiB| timeout | 0 | | | |scrambled20101.smt2 | 60.193s | 1290.0MiB| timeout | 0 | | | |scrambled4299.smt2 | 60.197s | 1251.0MiB| timeout | 0 | | | |scrambled125888.smt2 | 60.213s | 1271.0MiB| timeout | 0 | | | |scrambled102166.smt2 | 60.224s | 1942.0MiB| timeout | 0 | | | |scrambled55680.smt2 | 60.244s | 2137.0MiB| timeout | 0 | | | |scrambled95803.smt2 | 60.248s | 1558.0MiB| timeout | 0 | | | |scrambled94658.smt2 | 60.268s | 2288.0MiB| timeout | 0 | | | |scrambled4198.smt2 | 60.277s | 2286.0MiB| timeout | 0 | | | |scrambled55777.smt2 | 60.287s | 2271.0MiB| timeout | 0 | | | |scrambled12042.smt2 | 60.309s | 2264.0MiB| timeout | 0 | | | |scrambled131241.smt2 | 60.317s | 2831.0MiB| timeout | 0 | | | |scrambled32836.smt2 | 60.329s | 1809.0MiB| timeout | 0 | | | |scrambled128732.smt2 | 60.347s | 2347.0MiB| timeout | 0 | | | |scrambled72668.smt2 | 60.370s | 2698.0MiB| timeout | 0 | | | |scrambled7741.smt2 | 60.384s | 2432.0MiB| timeout | 0 | | | |scrambled128128.smt2 | 60.388s | 2559.0MiB| timeout | 0 | | | |scrambled44911.smt2 | 60.403s | 2297.0MiB| timeout | 0 | | | |scrambled128874.smt2 | 60.444s | 2417.0MiB| timeout | 0 | | | |scrambled25238.smt2 | 60.479s | 3245.0MiB| timeout | 0 | | | |scrambled119331.smt2 | 60.504s | 3177.0MiB| timeout | 0 | | | |scrambled40621.smt2 | 60.597s | 3567.0MiB| timeout | 0 | | |