detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_90.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_9.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_89.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_88.smt2 (content) fatal ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_87.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_86.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_85.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_84.smt2 (content) fatal ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_83.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_82.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_81.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_80.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_8.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_79.smt2 (content) fatal ok 0.206s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_78.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_77.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_76.smt2 (content) fatal ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_75.smt2 (content) fatal ok 0.287s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_74.smt2 (content) fatal ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_73.smt2 (content) fatal ok 0.208s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_72.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_71.smt2 (content) fatal ok 0.153s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_70.smt2 (content) fatal ok 0.285s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_7.smt2 (content) fatal ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_69.smt2 (content) fatal ok 0.146s