# . * SAT 72 * UNSAT 151 * TIMEOUT 33 * UNKNOWN 1 * ERRORS 0 # Meta data 
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: 4a90d3105054796562079406e125b9480ac3472b
Z3 branch: master
Z3 options: "-T:20 model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/NIA.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_6.smt2 | 0.026s | 20.876MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_7.smt2 | 0.026s | 20.804MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_78.smt2 | 0.027s | 21.104MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_67.smt2 | 0.028s | 20.904MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_0.smt2 | 0.028s | 20.904MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_88.smt2 | 0.028s | 20.86MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c_1.smt2 | 0.028s | 21.044MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_45.smt2 | 0.028s | 21.112MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_33.smt2 | 0.029s | 21.552MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_39.smt2 | 0.030s | 21.016MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_27.smt2 | 0.032s | 21.108MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_9.smt2 | 0.034s | 21.288MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_94.smt2 | 0.036s | 21.172MiB| unsat | 0 | | | |non-incremental/NIA/tptp/ARI118=1.smt2 | 0.036s | 20.704MiB| unsat | 0 | | | |non-incremental/NIA/tptp/NUM879=1.smt2 | 0.036s | 20.64MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_86.smt2 | 0.037s | 21.292MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 | 0.037s | 20.884MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM878=1.smt2 | 0.037s | 20.6MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/implicitunsignedconversion_true-unreach-call_true-termination.c_0.smt2 | 0.038s | 20.916MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_1.smt2 | 0.039s | 21.156MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM885=1.smt2 | 0.039s | 20.108MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_55.smt2 | 0.040s | 20.912MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_6.smt2 | 0.041s | 21.172MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_3.smt2 | 0.043s | 20.84MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_19.smt2 | 0.043s | 20.816MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_15.smt2 | 0.043s | 21.136MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_2.smt2 | 0.043s | 20.9MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_22.smt2 | 0.046s | 20.984MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_71.smt2 | 0.047s | 22.22MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_83.smt2 | 0.051s | 21.64MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_9.smt2 | 0.051s | 21.376MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_59.smt2 | 0.053s | 21.16MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_92.smt2 | 0.055s | 21.632MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_8.smt2 | 0.055s | 20.816MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM881=1.smt2 | 0.055s | 19.532MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM882=1.smt2 | 0.055s | 19.636MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_10.smt2 | 0.057s | 21.392MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM880=1.smt2 | 0.058s | 20.4MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM886=1.smt2 | 0.058s | 20.268MiB| sat | 0 | | | |non-incremental/NIA/tptp/ARI123=1.smt2 | 0.060s | 20.876MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_89.smt2 | 0.061s | 21.092MiB| unsat | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de62.c_AllErrorsAtOnce_Iteration8_0.smt2 | 0.066s | 21.064MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_13.smt2 | 0.073s | 21.024MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_41.smt2 | 0.077s | 21.06MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_69.smt2 | 0.078s | 21.228MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_49.smt2 | 0.079s | 20.936MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_9.smt2 | 0.079s | 21.132MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_35.smt2 | 0.079s | 21.084MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_2.smt2 | 0.080s | 21.144MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_93.smt2 | 0.080s | 21.052MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_84.smt2 | 0.080s | 20.868MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_23.smt2 | 0.080s | 21.132MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_79.smt2 | 0.081s | 21.18MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_3.smt2 | 0.081s | 21.204MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_10.smt2 | 0.082s | 20.892MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 | 0.084s | 20.636MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_63.smt2 | 0.084s | 20.892MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 | 0.084s | 20.388MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 | 0.085s | 20.992MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_26.smt2 | 0.085s | 21.128MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_28.smt2 | 0.085s | 21.192MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_4.smt2 | 0.085s | 20.944MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_85.smt2 | 0.086s | 20.88MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_6.smt2 | 0.086s | 21.028MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_73.smt2 | 0.086s | 21.1MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_12.smt2 | 0.087s | 21.012MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_13.smt2 | 0.087s | 20.88MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_2.smt2 | 0.087s | 20.876MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 | 0.088s | 21.272MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_21.smt2 | 0.088s | 21.34MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_1.smt2 | 0.088s | 20.628MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_42.smt2 | 0.088s | 21.088MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_25.smt2 | 0.089s | 21.356MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_1.smt2 | 0.089s | 20.984MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/sum02_false-unreach-call_true-no-overflow.c_0.smt2 | 0.089s | 20.432MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_10.smt2 | 0.089s | 21.1MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 | 0.089s | 20.94MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_16.smt2 | 0.090s | 20.916MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_23.smt2 | 0.090s | 21.132MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gauss_sum.i_0.smt2 | 0.090s | 21.492MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_11.smt2 | 0.091s | 21.144MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_58.smt2 | 0.091s | 20.868MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_77.smt2 | 0.091s | 20.88MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_0.smt2 | 0.092s | 20.62MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_32.smt2 | 0.092s | 21.22MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_5.smt2 | 0.092s | 20.792MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_34.smt2 | 0.093s | 21.064MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_5.smt2 | 0.096s | 20.828MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_7.smt2 | 0.096s | 21.924MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_4.smt2 | 0.096s | 21.436MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_12.smt2 | 0.096s | 21.188MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_0.smt2 | 0.096s | 21.288MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/ps4-ll.c_1.smt2 | 0.096s | 21.168MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_30.smt2 | 0.098s | 20.908MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_0.smt2 | 0.098s | 20.908MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_2.smt2 | 0.099s | 21.168MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 | 0.099s | 20.54MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_75.smt2 | 0.099s | 21.62MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_12.smt2 | 0.099s | 21.152MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_65.smt2 | 0.100s | 20.868MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_24.smt2 | 0.101s | 21.144MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_19.smt2 | 0.101s | 20.88MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_37.smt2 | 0.101s | 21.332MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_70.smt2 | 0.102s | 22.164MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_1.smt2 | 0.102s | 21.308MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_15.smt2 | 0.103s | 22.06MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_44.smt2 | 0.103s | 21.172MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_61.smt2 | 0.103s | 21.272MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_8.smt2 | 0.103s | 20.884MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_90.smt2 | 0.104s | 21.872MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_2.smt2 | 0.104s | 21.72MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 | 0.105s | 20.672MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_25.smt2 | 0.105s | 21.18MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_76.smt2 | 0.105s | 21.636MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_22.smt2 | 0.106s | 21.392MiB| unsat | 0 | | | |non-incremental/NIA/psyco/184.smt2 | 0.107s | 21.92MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_5.smt2 | 0.109s | 21.132MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_3.smt2 | 0.109s | 20.996MiB| sat | 0 | | | |non-incremental/NIA/psyco/182.smt2 | 0.109s | 21.268MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_40.smt2 | 0.110s | 20.952MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_48.smt2 | 0.111s | 21.6MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_9.smt2 | 0.111s | 20.94MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_8.smt2 | 0.111s | 21.124MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_68.smt2 | 0.112s | 21.064MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_24.smt2 | 0.112s | 21.336MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_64.smt2 | 0.113s | 21.156MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_7.smt2 | 0.114s | 21.072MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_4.smt2 | 0.115s | 21.636MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 | 0.115s | 20.62MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_43.smt2 | 0.115s | 21.048MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_20.smt2 | 0.116s | 21.124MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_80.smt2 | 0.117s | 20.94MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_74.smt2 | 0.117s | 21.14MiB| sat | 0 | | | |non-incremental/NIA/psyco/060.smt2 | 0.117s | 21.132MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_82.smt2 | 0.118s | 21.7MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_21.smt2 | 0.119s | 21.088MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_4.smt2 | 0.120s | 21.168MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_66.smt2 | 0.120s | 20.876MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_9.smt2 | 0.120s | 21.012MiB| sat | 0 | | | |non-incremental/NIA/psyco/183.smt2 | 0.120s | 21.848MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_18.smt2 | 0.121s | 20.92MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_2_true-unreach-call_true-no-overflow.i_0.smt2 | 0.121s | 21.872MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_95.smt2 | 0.121s | 21.648MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_2.smt2 | 0.122s | 20.868MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_81.smt2 | 0.123s | 20.904MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_7.smt2 | 0.124s | 21.128MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_60.smt2 | 0.124s | 21.46MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_29.smt2 | 0.124s | 21.096MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_13.smt2 | 0.124s | 21.336MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_7.smt2 | 0.126s | 20.92MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_11.smt2 | 0.127s | 20.916MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_5.smt2 | 0.128s | 21.136MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_31.smt2 | 0.128s | 20.94MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_10.smt2 | 0.131s | 20.88MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_1.smt2 | 0.133s | 21.192MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_3.smt2 | 0.137s | 21.392MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_2.smt2 | 0.137s | 21.056MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_14.smt2 | 0.138s | 21.056MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_36.smt2 | 0.140s | 20.876MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_11.smt2 | 0.141s | 21.124MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_62.smt2 | 0.142s | 21.684MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_13.smt2 | 0.142s | 22.716MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 | 0.144s | 21.356MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_7.smt2 | 0.144s | 21.384MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 | 0.146s | 21.044MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_20.smt2 | 0.153s | 21.464MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_97.smt2 | 0.154s | 21.792MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_0.smt2 | 0.155s | 21.728MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_46.smt2 | 0.156s | 21.276MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_38.smt2 | 0.156s | 20.876MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_87.smt2 | 0.158s | 20.928MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_6.smt2 | 0.159s | 21.136MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/sum02_false-unreach-call_true-no-overflow.c_1.smt2 | 0.160s | 20.636MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_72.smt2 | 0.161s | 22.504MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_91.smt2 | 0.162s | 21.128MiB| sat | 0 | | | |non-incremental/NIA/psyco/059.smt2 | 0.162s | 21.352MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_18.smt2 | 0.164s | 22.188MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_0.smt2 | 0.170s | 21.964MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_4.smt2 | 0.174s | 21.664MiB| sat | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de51.c_AllErrorsAtOnce_Iteration8_0.smt2 | 0.175s | 21.9MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_12.smt2 | 0.191s | 23.136MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 | 0.194s | 22.008MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_6.smt2 | 0.199s | 21.568MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_8.smt2 | 0.251s | 22.152MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_17.smt2 | 0.266s | 22.384MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_8.smt2 | 0.267s | 22.268MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_16.smt2 | 0.269s | 22.58MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_3.smt2 | 0.300s | 22.18MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_6.smt2 | 0.343s | 22.012MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_3.smt2 | 0.368s | 21.944MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_98.smt2 | 0.384s | 22.644MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_96.smt2 | 0.395s | 22.672MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_6.smt2 | 0.434s | 21.832MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_14.smt2 | 0.493s | 22.668MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_1.smt2 | 0.503s | 21.84MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 | 0.704s | 22.336MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_3.smt2 | 0.707s | 24.456MiB| unknown | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 | 1.076s | 22.664MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_15.smt2 | 1.780s | 26.512MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_2.smt2 | 2.002s | 23.328MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_4-2.c_0.smt2 | 2.361s | 25.052MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_10.smt2 | 2.856s | 24.1MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_3.smt2 | 3.057s | 26.324MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_1.smt2 | 3.287s | 30.052MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_3.smt2 | 5.968s | 52.084MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_13.smt2 | 6.088s | 51.892MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_2.smt2 | 6.134s | 52.168MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_12.smt2 | 6.144s | 51.888MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_5.smt2 | 6.156s | 52.24MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_6-1.c_0.smt2 | 6.482s | 24.34MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_10.smt2 | 7.316s | 54.632MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_4.smt2 | 7.364s | 55.828MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_8.smt2 | 7.369s | 54.54MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_16.smt2 | 7.378s | 54.668MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_11.smt2 | 7.404s | 54.696MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_14.smt2 | 7.417s | 54.764MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_7.smt2 | 7.419s | 54.688MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_15.smt2 | 7.451s | 54.836MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_17.smt2 | 7.675s | 54.72MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_9.smt2 | 7.694s | 54.612MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_6.smt2 | 9.684s | 53.796MiB| unsat | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/gsv2008.c.i.v+lhb-reducer.c_AllErrorsAtOnce_Iteration2_0.smt2 | 12.932s | 90.56MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_6-1.c_2.smt2 | 13.645s | 25.904MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_0.smt2 | 19.899s | 57.364MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_9.smt2 | 20.021s | 126.0MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 | 20.029s | 92.368MiB| timeout | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de61.c_AllErrorsAtOnce_Iteration6_0.smt2 | 20.029s | 50.16MiB| timeout | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/gsv2008.c.i.p+cfa-reducer.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.036s | 108.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_1.smt2 | 20.041s | 24.24MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_8.smt2 | 20.049s | 126.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_2.smt2 | 20.071s | 27.788MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 | 20.073s | 73.684MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_11.smt2 | 20.075s | 31.492MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 | 20.077s | 40.456MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_11.smt2 | 20.078s | 124.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_0.smt2 | 20.081s | 22.412MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_5.smt2 | 20.085s | 49.34MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_0.smt2 | 20.091s | 36.068MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 | 20.094s | 35.124MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_1.smt2 | 20.097s | 115.0MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_12.smt2 | 20.098s | 97.724MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_0.smt2 | 20.102s | 53.108MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_0.smt2 | 20.105s | 122.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_1.smt2 | 20.105s | 29.408MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_10.smt2 | 20.111s | 161.0MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_4.smt2 | 20.112s | 32.276MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_5.smt2 | 20.138s | 144.0MiB| timeout | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de41.c_AllErrorsAtOnce_Iteration5_0.smt2 | 20.138s | 92.456MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_14.smt2 | 20.142s | 28.264MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_7.smt2 | 20.155s | 144.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_3.smt2 | 20.272s | 1773.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_0.smt2 | 20.330s | 2244.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_1.smt2 | 20.347s | 2282.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_8.smt2 | 20.459s | 4325.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_1.smt2 | 20.540s | 4963.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_0.smt2 | 20.604s | 4845.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_2.smt2 | 20.858s | 6948.0MiB| timeout | 0 | | |