detailed results (331 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_59.smt2 (content) fatal ok 0.119s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_58.smt2 (content) fatal ok 0.086s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_55.smt2 (content) fatal ok 0.077s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_5.smt2 (content) fatal ok 0.077s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_49.smt2 (content) fatal ok 0.073s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_48.smt2 (content) fatal ok 0.085s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_46.smt2 (content) fatal ok 0.091s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_45.smt2 (content) fatal ok 0.112s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_44.smt2 (content) fatal ok 0.167s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_43.smt2 (content) fatal ok 0.081s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_42.smt2 (content) fatal ok 0.122s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_41.smt2 (content) fatal ok 0.119s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_40.smt2 (content) fatal ok 0.077s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_4.smt2 (content) fatal ok 0.082s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_39.smt2 (content) fatal ok 0.075s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_38.smt2 (content) fatal ok 0.116s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_37.smt2 (content) fatal ok 0.083s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_36.smt2 (content) fatal ok 0.077s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_35.smt2 (content) fatal ok 0.075s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_34.smt2 (content) fatal ok 0.085s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_33.smt2 (content) fatal ok 0.124s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_32.smt2 (content) fatal ok 0.082s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_31.smt2 (content) fatal ok 0.075s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_30.smt2 (content) fatal ok 0.118s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_3.smt2 (content) fatal ok 0.121s