# . * SAT 72 * UNSAT 150 * TIMEOUT 34 * 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-1
Z3 repo: Z3Prover/z3
Z3 commit: 8c989f8840e2c5789cd31aa9465dd2527852d453
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 front-end
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/NIA/tptp/NUM879=1.smt2 | 0.014s | 19.88MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_0.smt2 | 0.017s | 20.192MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/implicitunsignedconversion_true-unreach-call_true-termination.c_0.smt2 | 0.017s | 20.172MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_68.smt2 | 0.018s | 20.472MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_64.smt2 | 0.018s | 20.304MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_13.smt2 | 0.018s | 20.42MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_7.smt2 | 0.018s | 20.308MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_1.smt2 | 0.018s | 20.176MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 | 0.018s | 20.288MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_24.smt2 | 0.018s | 20.376MiB| sat | 0 | | | |non-incremental/NIA/tptp/ARI118=1.smt2 | 0.018s | 20.28MiB| unsat | 0 | | | |non-incremental/NIA/tptp/NUM882=1.smt2 | 0.018s | 19.232MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_19.smt2 | 0.019s | 20.3MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_93.smt2 | 0.019s | 20.3MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_8.smt2 | 0.019s | 20.56MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_63.smt2 | 0.019s | 20.448MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_7.smt2 | 0.019s | 20.452MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_12.smt2 | 0.019s | 20.356MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_77.smt2 | 0.019s | 20.272MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_1.smt2 | 0.019s | 20.424MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_2.smt2 | 0.019s | 20.228MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_10.smt2 | 0.019s | 20.764MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_5.smt2 | 0.019s | 20.572MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/sum02_false-unreach-call_true-no-overflow.c_0.smt2 | 0.019s | 19.756MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_11.smt2 | 0.019s | 20.412MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_10.smt2 | 0.019s | 20.28MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_19.smt2 | 0.020s | 20.452MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_15.smt2 | 0.020s | 20.6MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_0.smt2 | 0.020s | 20.36MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_25.smt2 | 0.020s | 20.464MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_27.smt2 | 0.020s | 20.372MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_80.smt2 | 0.020s | 20.588MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_9.smt2 | 0.020s | 20.436MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_9.smt2 | 0.020s | 20.54MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_81.smt2 | 0.020s | 20.5MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_2.smt2 | 0.020s | 20.34MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_11.smt2 | 0.020s | 20.392MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_38.smt2 | 0.020s | 20.432MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/sum02_false-unreach-call_true-no-overflow.c_1.smt2 | 0.020s | 20.056MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_35.smt2 | 0.020s | 20.492MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_28.smt2 | 0.020s | 20.368MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_42.smt2 | 0.020s | 20.496MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_33.smt2 | 0.020s | 20.524MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_12.smt2 | 0.020s | 20.488MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_78.smt2 | 0.021s | 20.392MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_16.smt2 | 0.021s | 20.568MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_3.smt2 | 0.021s | 20.564MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_21.smt2 | 0.021s | 20.516MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_14.smt2 | 0.021s | 20.48MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_3.smt2 | 0.021s | 20.612MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_20.smt2 | 0.021s | 20.408MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_4.smt2 | 0.021s | 20.616MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_3.smt2 | 0.021s | 20.312MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_85.smt2 | 0.021s | 20.388MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_84.smt2 | 0.021s | 20.38MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_41.smt2 | 0.021s | 20.708MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_40.smt2 | 0.021s | 20.52MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_8.smt2 | 0.021s | 20.512MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_29.smt2 | 0.021s | 20.348MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_39.smt2 | 0.021s | 20.512MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_88.smt2 | 0.021s | 20.3MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_86.smt2 | 0.021s | 20.428MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_43.smt2 | 0.021s | 20.496MiB| unsat | 0 | | | |non-incremental/NIA/psyco/182.smt2 | 0.021s | 20.46MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_11.smt2 | 0.022s | 20.664MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_24.smt2 | 0.022s | 20.472MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_2.smt2 | 0.022s | 20.364MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_65.smt2 | 0.022s | 20.324MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_6.smt2 | 0.022s | 20.744MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_5.smt2 | 0.022s | 20.176MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_12.smt2 | 0.022s | 20.516MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_6.smt2 | 0.022s | 20.448MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_30.smt2 | 0.022s | 20.488MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_0.smt2 | 0.022s | 20.624MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_69.smt2 | 0.022s | 20.364MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_2.smt2 | 0.022s | 20.344MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_37.smt2 | 0.022s | 20.448MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_1.smt2 | 0.022s | 20.444MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_13.smt2 | 0.022s | 20.736MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_0.smt2 | 0.022s | 20.392MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_36.smt2 | 0.022s | 20.552MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_8.smt2 | 0.022s | 20.516MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_4.smt2 | 0.022s | 20.22MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM886=1.smt2 | 0.022s | 19.468MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_67.smt2 | 0.023s | 20.444MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_91.smt2 | 0.023s | 20.492MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_46.smt2 | 0.023s | 20.512MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_66.smt2 | 0.023s | 20.54MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_23.smt2 | 0.023s | 20.496MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_44.smt2 | 0.023s | 20.356MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_5.smt2 | 0.023s | 20.624MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_9.smt2 | 0.023s | 20.372MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_10.smt2 | 0.023s | 20.884MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_34.smt2 | 0.023s | 20.556MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_7.smt2 | 0.024s | 20.496MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_62.smt2 | 0.024s | 20.864MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_94.smt2 | 0.024s | 20.368MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 | 0.024s | 20.116MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_9.smt2 | 0.024s | 20.42MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_21.smt2 | 0.024s | 20.58MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_3.smt2 | 0.025s | 20.304MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 | 0.025s | 20.528MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 | 0.025s | 20.524MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_2.smt2 | 0.025s | 20.588MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_48.smt2 | 0.025s | 20.368MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_60.smt2 | 0.025s | 20.864MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_61.smt2 | 0.025s | 20.708MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_25.smt2 | 0.025s | 20.612MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_59.smt2 | 0.025s | 20.728MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_76.smt2 | 0.025s | 20.996MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_89.smt2 | 0.025s | 20.304MiB| unsat | 0 | | | |non-incremental/NIA/tptp/NUM878=1.smt2 | 0.025s | 20.132MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_92.smt2 | 0.026s | 20.644MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_32.smt2 | 0.026s | 20.408MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_9.smt2 | 0.026s | 20.52MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_87.smt2 | 0.026s | 20.304MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 | 0.027s | 20.008MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_7.smt2 | 0.027s | 20.952MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_4.smt2 | 0.027s | 21.064MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM881=1.smt2 | 0.027s | 18.956MiB| sat | 0 | | | |non-incremental/NIA/tptp/ARI123=1.smt2 | 0.027s | 20.4MiB| unsat | 0 | | | |non-incremental/NIA/psyco/060.smt2 | 0.027s | 20.644MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_1.smt2 | 0.028s | 20.604MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_73.smt2 | 0.029s | 20.548MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_22.smt2 | 0.030s | 20.496MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_1.smt2 | 0.030s | 20.432MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_74.smt2 | 0.030s | 20.444MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_71.smt2 | 0.030s | 21.472MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/ps4-ll.c_1.smt2 | 0.030s | 20.532MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 | 0.031s | 20.052MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_13.smt2 | 0.031s | 20.308MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gauss_sum.i_0.smt2 | 0.031s | 20.576MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM880=1.smt2 | 0.031s | 19.788MiB| sat | 0 | | | |non-incremental/NIA/tptp/NUM885=1.smt2 | 0.031s | 19.54MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_82.smt2 | 0.032s | 21.16MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_22.smt2 | 0.032s | 20.796MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_18.smt2 | 0.032s | 20.296MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 | 0.032s | 20.316MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_2.smt2 | 0.032s | 20.088MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_55.smt2 | 0.033s | 20.516MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_31.smt2 | 0.033s | 20.548MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 | 0.033s | 19.936MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c_1.smt2 | 0.033s | 20.56MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_6.smt2 | 0.033s | 20.296MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_6.smt2 | 0.033s | 20.628MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_75.smt2 | 0.033s | 20.612MiB| sat | 0 | | | |non-incremental/NIA/psyco/183.smt2 | 0.033s | 20.884MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 | 0.034s | 20.552MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_70.smt2 | 0.034s | 21.62MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_26.smt2 | 0.035s | 20.36MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_49.smt2 | 0.035s | 20.548MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_10.smt2 | 0.035s | 20.504MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_5.smt2 | 0.036s | 20.572MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_79.smt2 | 0.036s | 20.448MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_45.smt2 | 0.036s | 20.536MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_58.smt2 | 0.037s | 20.456MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_7.smt2 | 0.037s | 20.636MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 | 0.038s | 20.316MiB| unsat | 0 | | | |non-incremental/NIA/psyco/059.smt2 | 0.038s | 20.368MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_72.smt2 | 0.040s | 21.724MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_95.smt2 | 0.041s | 21.04MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_23.smt2 | 0.042s | 20.644MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_83.smt2 | 0.043s | 21.024MiB| unsat | 0 | | | |non-incremental/NIA/psyco/184.smt2 | 0.045s | 21.276MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 | 0.047s | 20.556MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_2_true-unreach-call_true-no-overflow.i_0.smt2 | 0.053s | 21.156MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_15.smt2 | 0.054s | 21.324MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_90.smt2 | 0.055s | 21.304MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_4.smt2 | 0.060s | 21.124MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_2.smt2 | 0.061s | 20.864MiB| unsat | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de62.c_AllErrorsAtOnce_Iteration8_0.smt2 | 0.066s | 20.692MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_4.smt2 | 0.069s | 20.9MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_97.smt2 | 0.073s | 21.148MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_13.smt2 | 0.081s | 22.06MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_20.smt2 | 0.090s | 21.072MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_7.smt2 | 0.091s | 20.568MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_18.smt2 | 0.104s | 21.512MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/gcd_3_true-unreach-call_true-no-overflow.i_0.smt2 | 0.130s | 21.504MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_6.smt2 | 0.137s | 21.044MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_0.smt2 | 0.139s | 21.092MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_17.smt2 | 0.158s | 21.86MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_12.smt2 | 0.190s | 22.14MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 | 0.204s | 21.328MiB| unsat | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de51.c_AllErrorsAtOnce_Iteration8_0.smt2 | 0.231s | 21.392MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_8.smt2 | 0.239s | 21.652MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_16.smt2 | 0.244s | 22.1MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_8.smt2 | 0.253s | 21.58MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_3.smt2 | 0.315s | 21.812MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_3.smt2 | 0.387s | 21.368MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_6.smt2 | 0.395s | 21.52MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_96.smt2 | 0.414s | 21.96MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_98.smt2 | 0.414s | 21.904MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_6.smt2 | 0.416s | 21.364MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_14.smt2 | 0.522s | 22.308MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_1.smt2 | 0.623s | 21.288MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 | 0.725s | 21.728MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_3.smt2 | 0.760s | 23.916MiB| unknown | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 | 1.326s | 22.104MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_15.smt2 | 2.496s | 25.944MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_2.smt2 | 2.505s | 22.616MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_4-2.c_0.smt2 | 3.128s | 24.54MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_10.smt2 | 3.913s | 23.412MiB| unsat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_3.smt2 | 3.992s | 25.456MiB| sat | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_1.smt2 | 4.232s | 29.552MiB| sat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_5.smt2 | 7.920s | 51.492MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_2.smt2 | 8.017s | 51.704MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_12.smt2 | 8.100s | 51.292MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_3.smt2 | 8.115s | 51.528MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_13.smt2 | 8.187s | 51.412MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_6-1.c_0.smt2 | 8.495s | 23.92MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_16.smt2 | 9.388s | 54.084MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_17.smt2 | 9.526s | 54.072MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_4.smt2 | 9.599s | 55.24MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_8.smt2 | 9.605s | 53.964MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_14.smt2 | 9.620s | 54.288MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_9.smt2 | 9.637s | 54.056MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_7.smt2 | 9.641s | 54.068MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_10.smt2 | 9.660s | 53.988MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_11.smt2 | 9.927s | 54.196MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_15.smt2 | 9.940s | 53.972MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_6.smt2 | 12.319s | 53.236MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_6-1.c_2.smt2 | 17.557s | 25.272MiB| unsat | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/gsv2008.c.i.v+lhb-reducer.c_AllErrorsAtOnce_Iteration2_0.smt2 | 17.954s | 90.044MiB| unsat | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_1.smt2 | 20.005s | 23.808MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 | 20.007s | 34.244MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 | 20.007s | 32.872MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_11.smt2 | 20.007s | 31.164MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_0.smt2 | 20.007s | 33.04MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_5.smt2 | 20.008s | 48.848MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_14.smt2 | 20.008s | 27.436MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_12.smt2 | 20.009s | 80.812MiB| timeout | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de61.c_AllErrorsAtOnce_Iteration6_0.smt2 | 20.009s | 43.76MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_0.smt2 | 20.010s | 37.696MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_1.smt2 | 20.010s | 99.096MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 | 20.011s | 79.768MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_9.smt2 | 20.011s | 105.0MiB| timeout | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/gsv2008.c.i.p+cfa-reducer.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.012s | 108.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_2.smt2 | 20.013s | 26.744MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_8.smt2 | 20.014s | 101.0MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_4.smt2 | 20.014s | 29.264MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_10.smt2 | 20.015s | 121.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/egcd2-ll.c_1.smt2 | 20.015s | 26.868MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_11.smt2 | 20.017s | 113.0MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_7.smt2 | 20.022s | 111.0MiB| timeout | 0 | | | |non-incremental/NIA/20240413-AutomizerLoopAcceleration/in-de41.c_AllErrorsAtOnce_Iteration5_0.smt2 | 20.022s | 67.944MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/byte_add-1.c_0.smt2 | 20.024s | 53.952MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/jain_7-2.c_0.smt2 | 20.025s | 86.7MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 | 20.027s | 71.188MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/dijkstra.c_0.smt2 | 20.028s | 21.48MiB| timeout | 0 | | | |non-incremental/NIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_5.smt2 | 20.030s | 115.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_3.smt2 | 20.138s | 1758.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_0.smt2 | 20.179s | 2243.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_1.smt2 | 20.199s | 2276.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/modulus-1.c_8.smt2 | 20.231s | 2960.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_0.smt2 | 20.317s | 4822.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_1.smt2 | 20.322s | 4962.0MiB| timeout | 0 | | | |non-incremental/NIA/20230321-UltimateAutomizerSvcomp2023/gcd_2.c_2.smt2 | 20.436s | 6901.0MiB| timeout | 0 | | |