Commit 7ec57af9 authored by Dennis Müller's avatar Dennis Müller

runtimes

parent 0b3a3ddf
......@@ -12,7 +12,7 @@ For example, for OEIS, it took a student several months.
Review 2:
We will prepare an extended version with algorithm details, proofs, and run time analyses to be available online.
We will prepare an extended version with algorithm details, proofs, and run time analyses to be available online. (Runtime for intra-library in MitM: <1s, inter-library to PVS: <3s, intra-library in PVS: <3s with additional ~50s for amalgamating the views, all excluding preprocessing on a standard laptop)
Review 3:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment