detailed results (330073 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german43.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german42.smt2 (content) ok ok 0.096s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german41.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german40.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german4.smt2 (content) ok ok 0.130s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german39.smt2 (content) ok ok 0.140s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german38.smt2 (content) ok ok 0.088s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german37.smt2 (content) ok ok 0.083s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german36.smt2 (content) ok ok 0.176s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german35.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german34.smt2 (content) ok ok 0.086s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german33.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german32.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german31.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german30.smt2 (content) ok ok 0.091s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german3.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german29.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german28.smt2 (content) ok ok 0.133s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german27.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german26.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german25.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german24.smt2 (content) ok ok 0.126s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german23.smt2 (content) ok ok 0.090s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german22.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/german/german21.smt2 (content) ok ok 0.098s