detailed results (2090 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isNaN.smt2 (content) warn ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isInfinite.smt2 (content) warn ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.gt.smt2 (content) warn ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.geq.smt2 (content) warn ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_distinct.smt2 (content) warn ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_=.smt2 (content) warn ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.abs_fp.lt.smt2 (content) warn ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.abs_fp.leq.smt2 (content) warn ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.abs_fp.gt.smt2 (content) warn ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.abs_fp.geq.smt2 (content) warn ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.abs_distinct.smt2 (content) warn ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.abs_=.smt2 (content) warn ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibfe2816.smt2 (content) warn ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibfc99e2.smt2 (content) warn ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibf3ad77.smt2 (content) warn ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibf37c88.smt2 (content) warn ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibdff996.smt2 (content) warn ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibdba7a4.smt2 (content) warn ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibd85203.smt2 (content) warn ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibce35b2.smt2 (content) warn ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlibb47bdc.smt2 (content) warn ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib8e6000.smt2 (content) warn ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib7a3a8e.smt2 (content) warn ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib5966a0.smt2 (content) warn ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/why/smtlib14c92b.smt2 (content) warn ok 0.081s