detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_4.smt2 (content) fatal ok 0.205s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_3.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_2.smt2 (content) fatal ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_13.smt2 (content) fatal ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_12.smt2 (content) fatal ok 0.298s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_11.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_10.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_1.smt2 (content) fatal ok 0.219s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem18_label34_false-unreach-call.c_0.smt2 (content) fatal ok 0.287s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_9.smt2 (content) fatal ok 0.291s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_8.smt2 (content) fatal ok 0.213s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_7.smt2 (content) fatal ok 0.285s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_6.smt2 (content) fatal ok 0.209s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_5.smt2 (content) fatal ok 0.206s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_4.smt2 (content) fatal ok 0.286s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_3.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_2.smt2 (content) fatal ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_13.smt2 (content) fatal ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_12.smt2 (content) fatal ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_11.smt2 (content) fatal ok 0.288s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_10.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_1.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem17_label54_false-unreach-call.c_0.smt2 (content) fatal ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_9.smt2 (content) fatal ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_8.smt2 (content) fatal ok 0.207s