# .

* SAT 2
* UNSAT 14
* TIMEOUT 29
* UNKNOWN 0

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: Z3-threads-4-smtcomp2025-QF_IDL-timeout20min
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: 65bf2b8c88eee83f2e823a59c201443e76a87ad8
Z3 branch: smt_parallel_comp_2026
Z3 options: "-T:1200 -v:0 smt.threads=4"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_IDL
Z3 commit message: add linux Docker version of z3 binary from github actions

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled89071.smt2                                          |  121.036s | 361.0MiB| unsat | 0 |  |  |
|scrambled96514.smt2                                          |  139.562s | 276.0MiB| unsat | 0 |  |  |
|scrambled78606.smt2                                          |  145.277s | 376.0MiB| unsat | 0 |  |  |
|scrambled117178.smt2                                         |  162.817s | 212.0MiB| sat | 0 |  |  |
|scrambled78432.smt2                                          |  164.463s | 385.0MiB| unsat | 0 |  |  |
|scrambled54073.smt2                                          |  228.489s | 390.0MiB| unsat | 0 |  |  |
|scrambled128361.smt2                                         |  250.653s | 468.0MiB| unsat | 0 |  |  |
|scrambled9927.smt2                                           |  320.384s | 408.0MiB| unsat | 0 |  |  |
|scrambled79181.smt2                                          |  424.891s | 20.344MiB| unsat | 0 |  |  |
|scrambled62536.smt2                                          |  432.918s | 305.0MiB| unsat | 0 |  |  |
|scrambled98799.smt2                                          |  560.637s | 443.0MiB| unsat | 0 |  |  |
|scrambled4441.smt2                                           |  565.905s | 520.0MiB| unsat | 0 |  |  |
|scrambled90733.smt2                                          |  711.665s | 512.0MiB| unsat | 0 |  |  |
|scrambled6373.smt2                                           |  851.857s | 243.0MiB| unsat | 0 |  |  |
|scrambled75206.smt2                                          |  942.274s | 1496.0MiB| sat | 0 |  |  |
|scrambled82743.smt2                                          | 1183.478s | 556.0MiB| unsat | 0 |  |  |
|scrambled41312.smt2                                          | 1200.046s | 314.0MiB| timeout | 0 |  |  |
|scrambled122413.smt2                                         | 1200.061s | 307.0MiB| timeout | 0 |  |  |
|scrambled21544.smt2                                          | 1200.065s | 327.0MiB| timeout | 0 |  |  |
|scrambled96733.smt2                                          | 1200.071s | 367.0MiB| timeout | 0 |  |  |
|scrambled109208.smt2                                         | 1200.082s | 613.0MiB| timeout | 0 |  |  |
|scrambled122058.smt2                                         | 1200.083s | 433.0MiB| timeout | 0 |  |  |
|scrambled100416.smt2                                         | 1200.083s | 371.0MiB| timeout | 0 |  |  |
|scrambled27577.smt2                                          | 1200.087s | 408.0MiB| timeout | 0 |  |  |
|scrambled1447.smt2                                           | 1200.088s | 335.0MiB| timeout | 0 |  |  |
|scrambled14967.smt2                                          | 1200.090s | 331.0MiB| timeout | 0 |  |  |
|scrambled97138.smt2                                          | 1200.096s | 822.0MiB| timeout | 0 |  |  |
|scrambled58720.smt2                                          | 1200.097s | 326.0MiB| timeout | 0 |  |  |
|scrambled103851.smt2                                         | 1200.100s | 845.0MiB| timeout | 0 |  |  |
|scrambled41801.smt2                                          | 1200.101s | 508.0MiB| timeout | 0 |  |  |
|scrambled42287.smt2                                          | 1200.122s | 779.0MiB| timeout | 0 |  |  |
|scrambled15552.smt2                                          | 1200.128s | 541.0MiB| timeout | 0 |  |  |
|scrambled62810.smt2                                          | 1200.135s | 760.0MiB| timeout | 0 |  |  |
|scrambled62859.smt2                                          | 1200.137s | 878.0MiB| timeout | 0 |  |  |
|scrambled15284.smt2                                          | 1200.139s | 843.0MiB| timeout | 0 |  |  |
|scrambled38610.smt2                                          | 1200.143s | 831.0MiB| timeout | 0 |  |  |
|scrambled124624.smt2                                         | 1200.166s | 896.0MiB| timeout | 0 |  |  |
|scrambled92133.smt2                                          | 1200.176s | 1167.0MiB| timeout | 0 |  |  |
|scrambled41773.smt2                                          | 1200.186s | 1327.0MiB| timeout | 0 |  |  |
|scrambled23483.smt2                                          | 1200.193s | 1345.0MiB| timeout | 0 |  |  |
|scrambled119992.smt2                                         | 1200.280s | 1190.0MiB| timeout | 0 |  |  |
|scrambled1379.smt2                                           | 1200.283s | 1190.0MiB| timeout | 0 |  |  |
|scrambled116992.smt2                                         | 1200.385s | 2290.0MiB| timeout | 0 |  |  |
|scrambled35345.smt2                                          | 1200.415s | 2074.0MiB| timeout | 0 |  |  |
|scrambled25140.smt2                                          | 1200.806s | 9069.0MiB| timeout | 0 |  |  |