detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float8_smt-query.0.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float6_smt-query.0.smt2 (content) ok ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float5_smt-query.0.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float4_smt-query.0.smt2 (content) ok ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float3_smt-query.0.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float21_smt-query.0.smt2 (content) ok ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float19_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float12_smt-query.0.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-to-double1_smt-query.0.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-no-simp4_smt-query.0.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-no-simp2_smt-query.0.smt2 (content) ok ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-flags-simp1_smt-query.0.smt2 (content) ok ok 0.242s
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_BV/kratos_systemC_swmc/toy.c.kratos.bv64.ind_k100.smt2 (content) ok ok 19s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BV/kratos_systemC_swmc/toy.c.kratos.bv64.bmc_k100.smt2 (content) ok ok 2.8s