Translation of "Benchmark problem" in German
The
reverse
approach
was
successful
in
automated
theorem
proving:
in
1985,
Christoph
Walther
could
solve
a
then
benchmark
problem
by
translating
it
into
order-sorted
logic,
thereby
boiling
it
down
an
order
of
magnitude,
as
many
unary
predicates
turned
into
sorts.
Der
umgekehrte
Ansatz
war
erfolgreich
in
einem
automatisierten
Theorembeweis:
1985
konnte
Christoph
Walther
ein
Benchmark-Problem
lösen,
indem
er
es
in
ordnunssortierter
Logik
formulierte
und
dadurch
den
Aufwand
um
Größenordnungen
reduzierte,
da
viele
einstelligen
Prädikate
zu
Sortierungen
wurden.
WikiMatrix v1
The
results
obtained
with
the
proposed
time
step
estimate
for
a
benchmark
problem
of
a
highly
distorted
mesh
are
illustrated
in
the
figure
below.
Die
Ergebnisse
des
vorgeschlagenen
Zeitschrittschätzers
für
ein
Benchmark-Problem
eines
sehr
stark
verzerrten
Netzes
sind
in
der
folgenden
Abbildung
dargestellt.
ParaCrawl v7.1