show full table

problem	dolmen	dolmen.time
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.gt.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isInfinite.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isNaN.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isNegative.smt2	warn	0.02
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isNormal.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isPositive.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isSubnormal.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.isZero.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.leq.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.mul_fp.lt.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_=.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_distinct.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.geq.smt2	warn	0.01
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.gt.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isInfinite.smt2	ok	0.01
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isNaN.smt2	ok	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isNegative.smt2	ok	0.01
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isNormal.smt2	ok	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isPositive.smt2	ok	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isSubnormal.smt2	ok	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.isZero.smt2	ok	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.leq.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.neg_fp.lt.smt2	warn	0.01
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.rem_=0.smt2	warn	0.05
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.rem_distinct0.smt2	warn	0.05

full results