detailed results (2090 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1301863.smt2 (content) warn ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1301634.smt2 (content) warn ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1300983.smt2 (content) warn ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1299362.smt2 (content) warn ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1298125.smt2 (content) warn ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1296725.smt2 (content) warn ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/sledgehammer/Fundamental_Theorem_Algebra/smtlib.1295086.smt2 (content) warn ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/simplex.smt2 (content) warn ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/frd-seek.smt2 (content) warn ok 1s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/fastclose.smt2 (content) warn ok 0.802s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/cat.smt2 (content) warn ok 0.441s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/simplify2/small_suite/addhi.smt2 (content) warn ok 0.397s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/misc/arr1.smt2 (content) warn ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/boogie/Switch_Switch.M_System.String_notnull.smt2 (content) warn ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/boogie/Switch_Switch.M2_System.String_notnull_System.String_notnull.smt2 (content) warn ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/boogie/Switch_Switch.FooString_System.String_notnull.smt2 (content) warn ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/UFLIA/boogie/Switch_Switch..ctor.smt2 (content) warn ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.lt1.smt2 (content) warn ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.lt0.smt2 (content) warn ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.leq1.smt2 (content) warn ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.leq0.smt2 (content) warn ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.isZero1.smt2 (content) warn ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.isZero0.smt2 (content) warn ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.isSubnormal1.smt2 (content) warn ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sub_fp.isSubnormal0.smt2 (content) warn ok 0.041s