detailed results (331 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_9.smt2 (content) fatal ok 0.078s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_89.smt2 (content) fatal ok 0.080s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_88.smt2 (content) fatal ok 0.078s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_87.smt2 (content) fatal ok 0.117s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_86.smt2 (content) fatal ok 0.112s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_85.smt2 (content) fatal ok 0.085s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_84.smt2 (content) fatal ok 0.085s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_83.smt2 (content) fatal ok 0.081s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_82.smt2 (content) fatal ok 0.085s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_81.smt2 (content) fatal ok 0.077s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_80.smt2 (content) fatal ok 0.084s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_8.smt2 (content) fatal ok 0.084s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_79.smt2 (content) fatal ok 0.072s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_78.smt2 (content) fatal ok 0.080s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_77.smt2 (content) fatal ok 0.075s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_76.smt2 (content) fatal ok 0.083s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_75.smt2 (content) fatal ok 0.075s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_74.smt2 (content) fatal ok 0.074s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_73.smt2 (content) fatal ok 0.163s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_72.smt2 (content) fatal ok 0.081s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_71.smt2 (content) fatal ok 0.090s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_70.smt2 (content) fatal ok 0.088s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_7.smt2 (content) fatal ok 0.087s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_69.smt2 (content) fatal ok 0.085s
dolmen /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_6.smt2 (content) fatal ok 0.120s