detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_4_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_3_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.197s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_2_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_2_false-unreach-call_true-termination.i_0.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_1_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_8_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_7_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_6_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_5_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_4_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_3_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_2_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_2_1_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_8_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_7_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_6_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_5_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_4_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_3_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_2_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/newton_1_1_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/inv_Newton_false-unreach-call.c_0.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0960a_true-unreach-call.c_0.smt2 (content) fatal ok 0.146s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0931_true-unreach-call.c_0.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0930_true-unreach-call.c_1.smt2 (content) fatal ok 0.140s