detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13.ec.smt2 (content) ok ok 0.490s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e7_4732.ec.smt2 (content) ok ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e2_138.ec.smt2 (content) ok ok 0.511s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e1_6030.ec.smt2 (content) ok ok 0.467s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618.ec.smt2 (content) ok ok 0.478s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e1_4640_e7_128.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12.ec.smt2 (content) ok ok 0.518s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e2_1483.ec.smt2 (content) ok ok 0.170s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e1_5887.ec.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450.ec.smt2 (content) ok ok 0.203s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_1117_e7_4950.ec.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11.ec.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e7_3861_e7_2180.ec.smt2 (content) ok ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_402.ec.smt2 (content) ok ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_2785_e7_1466.ec.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_998.ec.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_3587_e7_872.ec.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10.ec.smt2 (content) ok ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1.ec.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/email_spec9_productSimulator.cil_smt-query.0.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/email_spec9_product35.cil_smt-query.1.smt2 (content) ok ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/email_spec9_product34.cil_smt-query.1.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/email_spec9_product33.cil_smt-query.1.smt2 (content) ok ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/email_spec9_product32.cil_smt-query.1.smt2 (content) ok ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFBVLIA/20190307-CPAchecker_kInduction-SoSy_Lab/email_spec9_product31.cil_smt-query.1.smt2 (content) ok ok 0.132s