root
file
detailed [75..99]
prev
next
detailed results (2090 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isPositive1.smt2
(content)
warn
ok
0.049s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isPositive0.smt2
(content)
warn
ok
0.036s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isNormal1.smt2
(content)
warn
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isNormal0.smt2
(content)
warn
ok
0.046s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isNegative1.smt2
(content)
warn
ok
0.013s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isNegative0.smt2
(content)
warn
ok
0.024s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isNaN1.smt2
(content)
warn
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isNaN0.smt2
(content)
warn
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isInfinite1.smt2
(content)
warn
ok
0.018s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.isInfinite0.smt2
(content)
warn
ok
0.018s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.gt1.smt2
(content)
warn
ok
0.028s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.gt0.smt2
(content)
warn
ok
0.020s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.geq1.smt2
(content)
warn
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_fp.geq0.smt2
(content)
warn
ok
0.049s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_distinct1.smt2
(content)
warn
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_distinct0.smt2
(content)
warn
ok
0.051s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_=1.smt2
(content)
warn
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.div_=0.smt2
(content)
warn
ok
0.015s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.lt.smt2
(content)
warn
ok
0.049s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.leq.smt2
(content)
warn
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isZero.smt2
(content)
warn
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isSubnormal.smt2
(content)
warn
ok
0.048s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isPositive.smt2
(content)
warn
ok
0.013s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isNormal.smt2
(content)
warn
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/11_53_RNA_fp.add_fp.isNegative.smt2
(content)
warn
ok
0.047s