root
file
detailed [50..74]
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.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