detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/square_2_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/square_1_false-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_poly_true-unreach-call_true-termination.c_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_biNewton_pseudoconstant_true-unreach-call.c_4.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_biNewton_pseudoconstant_true-unreach-call.c_2.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_biNewton_pseudoconstant_true-unreach-call.c_1.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_biNewton_pseudoconstant_true-unreach-call.c_0.smt2 (content) fatal ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Newton_pseudoconstant_true-unreach-call.c_2.smt2 (content) fatal ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Newton_pseudoconstant_true-unreach-call.c_0.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_interval_true-unreach-call.c_5.smt2 (content) fatal ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_interval_true-unreach-call.c_4.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_interval_true-unreach-call.c_3.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_interval_true-unreach-call.c_2.smt2 (content) fatal ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_interval_true-unreach-call.c_1.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_interval_true-unreach-call.c_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.109s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c_2.smt2 (content) fatal ok 0.193s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c_1.smt2 (content) fatal ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c_5.smt2 (content) fatal ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c_0.smt2 (content) fatal ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_8_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/sine_8_true-unreach-call_true-termination.i_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_7_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/sine_6_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/sine_5_true-unreach-call_true-termination.i_AllErrorsAtOnce_Iteration1_TraceCheck_0.smt2 (content) fatal ok 0.191s