# .

* SAT 2
* UNSAT 0
* TIMEOUT 0
* UNKNOWN 255

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/NIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-NIA.tar.zst-downlo
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 459629c662eb7abf25a010b7383431a9f729d234
Z3 branch: master
Z3 options: "-T:20 -v:2 -st tactic.default_tactic="(then simplify propagate-values solve-eqs simplify sls-smt)" model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/NIA.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_16.smt2 |    0.022s | 19.984MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_9.smt2 |    0.022s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_77.smt2 |    0.022s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_87.smt2 |    0.022s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_1.smt2 |    0.022s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_2.smt2 |    0.023s | 19.912MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_11.smt2 |    0.023s | 20.164MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_86.smt2 |    0.023s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_19.smt2 |    0.024s | 19.8MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_94.smt2 |    0.024s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_43.smt2 |    0.024s | 19.532MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_10.smt2 |    0.024s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de62.c_AllErrorsAtOnce_Iteration8_0.smt2 |    0.024s | 19.656MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_4.smt2 |    0.025s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_1.smt2 |    0.025s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_7.smt2 |    0.026s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_14.smt2 |    0.027s | 19.68MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_0.smt2 |    0.032s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/ARI118=1.smt2                       |    0.032s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_16.smt2 |    0.033s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_4-2.c_0.smt2 |    0.033s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/NUM885=1.smt2                       |    0.033s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/NUM878=1.smt2                       |    0.033s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de51.c_AllErrorsAtOnce_Iteration8_0.smt2 |    0.033s | 19.692MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/NUM879=1.smt2                       |    0.034s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de61.c_AllErrorsAtOnce_Iteration6_0.smt2 |    0.034s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_8.smt2 |    0.035s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/NIA/20240413-AutomizerLoopAcceleration/gsv2008.c.i.v+lhb-reducer.c_AllErrorsAtOnce_Iteration2_0.smt2 |    0.038s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/NIA/20240413-AutomizerLoopAcceleration/gsv2008.c.i.p+cfa-reducer.c_AllErrorsAtOnce_Iteration2_0.smt2 |    0.038s | 20.148MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_7.smt2 |    0.046s | 19.82MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_59.smt2 |    0.046s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_5.smt2 |    0.047s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_80.smt2 |    0.049s | 20.324MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/NUM880=1.smt2                       |    0.049s | 19.62MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/NUM881=1.smt2                       |    0.050s | 19.592MiB| sat | 0 |  |  |
|non-incremental/NIA/tptp/NUM886=1.smt2                       |    0.050s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/NUM882=1.smt2                       |    0.050s | 19.608MiB| sat | 0 |  |  |
|non-incremental/NIA/psyco/182.smt2                           |    0.051s | 20.376MiB| unknown | 0 |  |  |
|non-incremental/NIA/tptp/ARI123=1.smt2                       |    0.052s | 19.776MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_8.smt2 |    0.056s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/psyco/059.smt2                           |    0.058s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_62.smt2 |    0.059s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_0.smt2 |    0.065s | 19.92MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_2.smt2 |    0.067s | 19.532MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_4.smt2 |    0.067s | 20.204MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_85.smt2 |    0.068s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_20.smt2 |    0.068s | 19.716MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_76.smt2 |    0.070s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_7.smt2 |    0.071s | 19.572MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_91.smt2 |    0.073s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_66.smt2 |    0.073s | 19.808MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_27.smt2 |    0.073s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_4.smt2 |    0.074s | 19.696MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_28.smt2 |    0.074s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_6.smt2 |    0.074s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_23.smt2 |    0.075s | 19.716MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_8.smt2 |    0.075s | 20.068MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_8.smt2 |    0.075s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_13.smt2 |    0.075s | 19.776MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_10.smt2 |    0.075s | 19.988MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_37.smt2 |    0.075s | 19.66MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_15.smt2 |    0.076s | 19.684MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_60.smt2 |    0.076s | 19.66MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_4.smt2 |    0.076s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_26.smt2 |    0.077s | 19.704MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_32.smt2 |    0.077s | 19.724MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_1.smt2 |    0.077s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_10.smt2 |    0.078s | 19.796MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_12.smt2 |    0.078s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_5.smt2 |    0.078s | 19.976MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c_1.smt2 |    0.078s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_13.smt2 |    0.078s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_18.smt2 |    0.078s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_16.smt2 |    0.078s | 19.716MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_83.smt2 |    0.079s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_21.smt2 |    0.079s | 19.74MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_0.smt2 |    0.079s | 19.656MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_9.smt2 |    0.079s | 19.696MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_7.smt2 |    0.079s | 19.668MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_69.smt2 |    0.079s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_6.smt2 |    0.079s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_45.smt2 |    0.079s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_3.smt2 |    0.079s | 19.712MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_6.smt2 |    0.080s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_78.smt2 |    0.080s | 19.704MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_11.smt2 |    0.080s | 19.656MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_22.smt2 |    0.080s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_14.smt2 |    0.080s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_1.smt2 |    0.080s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_55.smt2 |    0.081s | 19.704MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_4.smt2 |    0.081s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_4.smt2 |    0.081s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_1.smt2 |    0.081s | 19.772MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_3.smt2 |    0.081s | 19.828MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_6-1.c_2.smt2 |    0.081s | 20.052MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_79.smt2 |    0.082s | 20.324MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_70.smt2 |    0.082s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_0.smt2 |    0.082s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_33.smt2 |    0.082s | 19.732MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_11.smt2 |    0.082s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_0.smt2 |    0.082s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/NIA/psyco/183.smt2                           |    0.082s | 20.188MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_25.smt2 |    0.083s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_68.smt2 |    0.084s | 19.572MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_1.smt2 |    0.084s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_1.smt2 |    0.084s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_3.smt2 |    0.084s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_2.smt2 |    0.084s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_1.smt2 |    0.084s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_17.smt2 |    0.085s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_2.smt2 |    0.085s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/sum02_false-unreach-call_true-no-overflow.c_1.smt2 |    0.086s | 19.812MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_0.smt2 |    0.086s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_63.smt2 |    0.087s | 19.732MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_21.smt2 |    0.087s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_6-1.c_0.smt2 |    0.087s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 |    0.088s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 |    0.088s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_12.smt2 |    0.088s | 19.896MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/ps4-ll.c_1.smt2 |    0.088s | 19.896MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_3.smt2 |    0.090s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_81.smt2 |    0.090s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_72.smt2 |    0.090s | 19.788MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_13.smt2 |    0.090s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_5.smt2 |    0.090s | 19.944MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_5.smt2 |    0.091s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_61.smt2 |    0.091s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 |    0.091s | 19.7MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_8.smt2 |    0.091s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_3.smt2 |    0.091s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_2.smt2 |    0.091s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_8.smt2 |    0.092s | 19.828MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 |    0.092s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_9.smt2 |    0.092s | 19.996MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 |    0.092s | 19.736MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_46.smt2 |    0.093s | 19.688MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_9.smt2 |    0.093s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_95.smt2 |    0.093s | 19.732MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_89.smt2 |    0.093s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 |    0.094s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_2.smt2 |    0.094s | 20.06MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_3.smt2 |    0.094s | 20.316MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_38.smt2 |    0.095s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_71.smt2 |    0.095s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_3.smt2 |    0.096s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_42.smt2 |    0.096s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/psyco/184.smt2                           |    0.096s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_14.smt2 |    0.097s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_40.smt2 |    0.097s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 |    0.097s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_11.smt2 |    0.097s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_6.smt2 |    0.098s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_74.smt2 |    0.099s | 19.768MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_30.smt2 |    0.100s | 19.676MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_9.smt2 |    0.100s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/NIA/psyco/060.smt2                           |    0.101s | 19.948MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_2.smt2 |    0.102s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 |    0.109s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_65.smt2 |    0.109s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 |    0.109s | 19.62MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_2.smt2 |    0.110s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_24.smt2 |    0.110s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_19.smt2 |    0.110s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 |    0.110s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_7.smt2 |    0.110s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 |    0.113s | 19.656MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_7.smt2 |    0.113s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 |    0.113s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_18.smt2 |    0.113s | 19.528MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_1.smt2 |    0.113s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_6.smt2 |    0.113s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/sum02_false-unreach-call_true-no-overflow.c_0.smt2 |    0.113s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_49.smt2 |    0.114s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_31.smt2 |    0.114s | 19.652MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_3.smt2 |    0.115s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_58.smt2 |    0.115s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_64.smt2 |    0.115s | 19.68MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_0.smt2 |    0.115s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/implicitunsignedconversion_true-unreach-call_true-termination.c_0.smt2 |    0.115s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_0.smt2 |    0.115s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_10.smt2 |    0.115s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_10.smt2 |    0.115s | 19.736MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 |    0.115s | 19.536MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 |    0.115s | 19.82MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_15.smt2 |    0.116s | 19.652MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_23.smt2 |    0.116s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_88.smt2 |    0.116s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_36.smt2 |    0.116s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_82.smt2 |    0.117s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_22.smt2 |    0.117s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_5.smt2 |    0.117s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 |    0.117s | 19.576MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_97.smt2 |    0.117s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_9.smt2 |    0.117s | 19.616MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_2_true-unreach-call_true-no-overflow.i_0.smt2 |    0.117s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_7.smt2 |    0.118s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 |    0.118s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_11.smt2 |    0.118s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_90.smt2 |    0.118s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_6.smt2 |    0.118s | 19.712MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_15.smt2 |    0.118s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_11.smt2 |    0.118s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_13.smt2 |    0.118s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_2.smt2 |    0.118s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_9.smt2 |    0.118s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_5.smt2 |    0.118s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_6.smt2 |    0.118s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_3.smt2 |    0.119s | 19.76MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_67.smt2 |    0.119s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_93.smt2 |    0.119s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_84.smt2 |    0.119s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_44.smt2 |    0.119s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_48.smt2 |    0.119s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_25.smt2 |    0.119s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_1.smt2 |    0.119s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_35.smt2 |    0.119s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_73.smt2 |    0.119s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_34.smt2 |    0.119s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_24.smt2 |    0.119s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_0.smt2 |    0.119s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_14.smt2 |    0.119s | 19.688MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_5.smt2 |    0.120s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_96.smt2 |    0.120s | 19.64MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 |    0.120s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_3.smt2 |    0.120s | 19.66MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_6.smt2 |    0.120s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_8.smt2 |    0.120s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_1.smt2 |    0.120s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_2.smt2 |    0.120s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_12.smt2 |    0.120s | 19.608MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_10.smt2 |    0.120s | 19.528MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_75.smt2 |    0.120s | 19.916MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gauss_sum.i_0.smt2 |    0.120s | 19.66MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_12.smt2 |    0.120s | 19.76MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_12.smt2 |    0.121s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_41.smt2 |    0.121s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_0.smt2 |    0.121s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_10.smt2 |    0.121s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_92.smt2 |    0.122s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_20.smt2 |    0.122s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_0.smt2 |    0.122s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_1.smt2 |    0.122s | 19.724MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_7.smt2 |    0.122s | 19.54MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_29.smt2 |    0.122s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_39.smt2 |    0.122s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_0.smt2 |    0.122s | 20.056MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_12.smt2 |    0.122s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_8.smt2 |    0.122s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_98.smt2 |    0.123s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_13.smt2 |    0.123s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_15.smt2 |    0.123s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_17.smt2 |    0.123s | 19.652MiB| unknown | 0 |  |  |
|non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de41.c_AllErrorsAtOnce_Iteration5_0.smt2 |    0.123s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 |    0.124s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_0.smt2 |    0.124s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_4.smt2 |    0.124s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_2.smt2 |    0.124s | 19.84MiB| unknown | 0 |  |  |
