detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0684a_true-unreach-call.c_0.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0661a_true-unreach-call.c_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0550b_true-unreach-call.c_8.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0550b_true-unreach-call.c_4.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0530a_true-unreach-call.c_7.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0530a_true-unreach-call.c_3.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0530a_true-unreach-call.c_1.smt2 (content) fatal ok 0.198s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0520_true-unreach-call.c_6.smt2 (content) fatal ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0490b_true-unreach-call.c_1.smt2 (content) fatal ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0490a_true-unreach-call.c_1.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0330a_true-unreach-call.c_8.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0320_true-unreach-call.c_8.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0310_true-unreach-call.c_2.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0270a_true-unreach-call.c_3.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0260_true-unreach-call.c_2.smt2 (content) fatal ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/digits_while_true-unreach-call.i_AllErrorsAtOnce_Iteration3_TraceCheck_0.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/digits_bad_while_false-unreach-call.i_AllErrorsAtOnce_Iteration3_TraceCheck_0.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/cos_polynomial_true-unreach-call_true-termination.c_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/arctan_Pade_true-unreach-call_true-termination.c_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Rump_double_true-unreach-call_true-termination.c_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Muller_Kahan_true-unreach-call_true-termination.c_4.smt2 (content) fatal ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Muller_Kahan_true-unreach-call_true-termination.c_3.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Muller_Kahan_true-unreach-call_true-termination.c_2.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Muller_Kahan_true-unreach-call_true-termination.c_1.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Muller_Kahan_true-unreach-call_true-termination.c_0.smt2 (content) fatal ok 0.091s