detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_14.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_13.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_12.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_11.smt2 (content) fatal ok 0.152s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_10.smt2 (content) fatal ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_1.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/Problem10_label59_true-unreach-call.c_0.smt2 (content) fatal ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_41.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_39.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_38.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_37.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_117.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_116.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_115.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_114.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c_113.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_41.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_40.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_39.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_38.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_36.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_161.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_160.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_159.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/FP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c_158.smt2 (content) fatal ok 0.220s