detailed results (2090 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Hoare/smtlib.791327.smt2 (content) warn ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Hoare/smtlib.1046517.smt2 (content) warn ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Hoare/smtlib.1041000.smt2 (content) warn ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.928305.smt2 (content) warn ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1309699.smt2 (content) warn ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1308198.smt2 (content) warn ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1308017.smt2 (content) warn ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1307419.smt2 (content) warn ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1305854.smt2 (content) warn ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1304445.smt2 (content) warn ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1304333.smt2 (content) warn ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1304032.smt2 (content) warn ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1303405.smt2 (content) warn ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1301930.smt2 (content) warn ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1301863.smt2 (content) warn ok 0.067s