detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_true-unreach-call.i_5.smt2 (content) fatal ok 0.151s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_true-unreach-call.i_4.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_true-unreach-call.i_3.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_true-unreach-call.i_2.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_true-unreach-call.i_1.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_true-unreach-call.i_0.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_AllErrorsAtOnce_Iteration2_TraceCheck_0.smt2 (content) fatal ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_9.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_8.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_7.smt2 (content) fatal ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_6.smt2 (content) fatal ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_5.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_4.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_3.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_2.smt2 (content) fatal ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_10.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_1.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Float_div_bad_false-unreach-call.i_0.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Double_div_true-unreach-call.i_AllErrorsAtOnce_Iteration2_TraceCheck_0.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20190429-UltimateAutomizerSvcomp2019/Double_div_bad_false-unreach-call.i_AllErrorsAtOnce_Iteration2_TraceCheck_0.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/2019-Gudemann/refPred1.smt2 (content) fatal ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/sqrt_biNewton_pseudoconstant_true-unreach-call.c_4.smt2 (content) fatal ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/sqrt_Newton_pseudoconstant_true-unreach-call.c_4.smt2 (content) fatal ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/sqrt_Newton_pseudoconstant_true-unreach-call.c_188.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/QF_BVFPLRA/20170501-Heizmann-UltimateAutomizer/sqrt_Householder_interval_true-unreach-call.c_4.smt2 (content) fatal ok 0.101s