detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_10.smt2 (content) fatal ok 0.163s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_1.smt2 (content) fatal ok 0.159s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_0.smt2 (content) fatal ok 0.162s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_9.smt2 (content) fatal ok 0.136s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_8.smt2 (content) fatal ok 0.130s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_7.smt2 (content) fatal ok 0.156s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_6.smt2 (content) fatal ok 0.160s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_5.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_4.smt2 (content) fatal ok 0.165s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_3.smt2 (content) fatal ok 0.113s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_2.smt2 (content) fatal ok 0.168s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_13.smt2 (content) fatal ok 0.119s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_12.smt2 (content) fatal ok 0.163s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_11.smt2 (content) fatal ok 0.159s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_10.smt2 (content) fatal ok 0.164s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_1.smt2 (content) fatal ok 0.162s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_0.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_9.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_8.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_7.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_6.smt2 (content) fatal ok 0.163s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_5.smt2 (content) fatal ok 0.161s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_4.smt2 (content) fatal ok 0.131s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_3.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_2.smt2 (content) fatal ok 0.084s