detailed results (9793 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_18.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_17.smt2 (content) fatal ok 0.158s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_16.smt2 (content) fatal ok 0.117s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_15.smt2 (content) fatal ok 0.114s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_14.smt2 (content) fatal ok 0.125s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_13.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_12.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_11.smt2 (content) fatal ok 0.121s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_10.smt2 (content) fatal ok 0.128s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_1.smt2 (content) fatal ok 0.162s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_0.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_98.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_97.smt2 (content) fatal ok 0.120s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_96.smt2 (content) fatal ok 0.116s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_95.smt2 (content) fatal ok 0.165s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_94.smt2 (content) fatal ok 0.116s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_93.smt2 (content) fatal ok 0.157s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_92.smt2 (content) fatal ok 0.165s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_91.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_90.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_9.smt2 (content) fatal ok 0.158s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_89.smt2 (content) fatal ok 0.118s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_88.smt2 (content) fatal ok 0.123s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_87.smt2 (content) fatal ok 0.127s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_86.smt2 (content) fatal ok 0.122s