detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-div1_smt-query.0.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter2_smt-query.0.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter2_set_smt-query.0.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter2_reinit_smt-query.0.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter1_smt-query.0.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter1.c.v+nlh-reducer_smt-query.0.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter1.c.v+lhb-reducer_smt-query.0.smt2 (content) ok ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter1.c.p+cfa-reducer_smt-query.0.smt2 (content) ok ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/fabs_smt-query.0.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/cos_polynomial_smt-query.0.smt2 (content) ok ok 0.268s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/arctan_Pade_smt-query.0.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_3_true-unreach-call.c.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_2_true-unreach-call.c.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/water_pid_true-unreach-call.c.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_8_true-unreach-call.i.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_7_true-unreach-call.i.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_6_true-unreach-call.i.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_5_true-unreach-call.i.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_4_true-unreach-call.i.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_3_false-unreach-call.i.smt2 (content) fatal ok 0.261s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_2_false-unreach-call.i.smt2 (content) fatal ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_1_false-unreach-call.i.smt2 (content) fatal ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_poly_true-unreach-call.c.smt2 (content) fatal ok 0.250s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_biNewton_pseudoconstant_true-unreach-call.c.smt2 (content) fatal ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_Newton_pseudoconstant_true-unreach-call.c.smt2 (content) fatal ok 0.235s