detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_22.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_21.smt2 (content) fatal ok 0.176s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_20.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 (content) fatal ok 0.114s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_19.smt2 (content) fatal ok 0.115s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_18.smt2 (content) fatal ok 0.118s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_17.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_16.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 (content) fatal ok 0.114s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/implicitunsignedconversion_true-unreach-call_true-termination.c_0.smt2 (content) fatal ok 0.118s
dolmen /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.122s
dolmen /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.119s
dolmen /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.159s
dolmen /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.120s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_9.smt2 (content) fatal ok 0.115s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_8.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_7.smt2 (content) fatal ok 0.163s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_6.smt2 (content) fatal ok 0.161s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_5.smt2 (content) fatal ok 0.119s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_4.smt2 (content) fatal ok 0.160s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_3.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_2.smt2 (content) fatal ok 0.119s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_13.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_12.smt2 (content) fatal ok 0.116s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_11.smt2 (content) fatal ok 0.126s