detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_2.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_19.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_18.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_17.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_16.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_14.smt2 (content) fatal ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_13.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_11.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_10.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_5_1.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_4_6.smt2 (content) fatal ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_4_5.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_4_4.smt2 (content) fatal ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_4_3.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_4_2.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/LRA/scholl-smt08/model/model_4_1.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_9.smt2 (content) fatal ok 0.211s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_8.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_7.smt2 (content) fatal ok 0.292s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_6.smt2 (content) fatal ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_5.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_4.smt2 (content) fatal ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_3.smt2 (content) fatal ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_2.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/LIA/20190429-UltimateAutomizerSvcomp2019/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i_11.smt2 (content) fatal ok 0.221s