detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float8_smt-query.0.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float6_smt-query.0.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float5_smt-query.0.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float4_smt-query.0.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float3_smt-query.0.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float21_smt-query.0.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float19_smt-query.0.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float12_smt-query.0.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-to-double1_smt-query.0.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-no-simp4_smt-query.0.smt2 (content) ok ok 0.114s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-no-simp2_smt-query.0.smt2 (content) ok ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-flags-simp1_smt-query.0.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/float-div1_smt-query.0.smt2 (content) ok ok 0.095s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter2_smt-query.0.smt2 (content) ok ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter2_set_smt-query.0.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter2_reinit_smt-query.0.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/filter1_smt-query.0.smt2 (content) ok ok 0.096s
dolmen /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.104s
dolmen /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.135s
dolmen /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.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/fabs_smt-query.0.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/cos_polynomial_smt-query.0.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20190307-CPAchecker_kInduction-SoSy_Lab/arctan_Pade_smt-query.0.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/kratos_systemC_swmc/toy.c.kratos.bv64.ind_k100.smt2 (content) ok ok 19.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BV/kratos_systemC_swmc/toy.c.kratos.bv64.bmc_k100.smt2 (content) ok ok 3s