detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_7.smt2 (content) fatal ok 0.277s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_6.smt2 (content) fatal ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_5.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_4.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_3.smt2 (content) fatal ok 0.215s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_2.smt2 (content) fatal ok 0.299s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_18.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_17.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_16.smt2 (content) fatal ok 0.205s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_15.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_14.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_13.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_12.smt2 (content) fatal ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_11.smt2 (content) fatal ok 0.214s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_10.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_1.smt2 (content) fatal ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem15_label00_false-unreach-call.c_0.smt2 (content) fatal ok 0.210s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_98.smt2 (content) fatal ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_97.smt2 (content) fatal ok 0.291s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_96.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_95.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_94.smt2 (content) fatal ok 0.376s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_93.smt2 (content) fatal ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_92.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_91.smt2 (content) fatal ok 0.154s