detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_10.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 (content) fatal ok 0.206s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_25.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_24.smt2 (content) fatal ok 0.279s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_23.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_22.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_21.smt2 (content) fatal ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_20.smt2 (content) fatal ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 (content) fatal ok 0.212s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_19.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 (content) fatal ok 0.287s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 (content) fatal ok 0.216s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/implicitunsignedconversion_true-unreach-call_true-termination.c_0.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_3.smt2 (content) fatal ok 0.288s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_2.smt2 (content) fatal ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_1.smt2 (content) fatal ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_0.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_9.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_8.smt2 (content) fatal ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_7.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_6.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_5.smt2 (content) fatal ok 0.210s