Project

General

Profile

Bug #10826

Klever uploads witnesses very slow

Added by Pavel Andrianov 20 days ago. Updated 5 days ago.

Status:
New
Priority:
High
Category:
Results processing
Target version:
Start date:
04/28/2021
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

Right now verification takes about 20 minutes and then Klever uploads 400 witnesses about 4 hours. Previous version of Klever uploaded them about an hour, but it is also not very fast.

#1

Updated by Pavel Andrianov 20 days ago

  • Target version set to 3.2
#2

Updated by Evgeny Novikov 20 days ago

  • Assignee set to Evgeny Novikov
  • Category set to Results processing

Usually we do not deal with such amount of large witnesses, so, delays are not vital. For your example this is not the case and some optimizations are definitely necessary.

#3

Updated by Evgeny Novikov 5 days ago

  • Target version deleted (3.2)

Though, the issue is rather unpleasant, but now it is not so urgent.

#4

Updated by Evgeny Novikov 5 days ago

  • Target version set to 3.3

Also available in: Atom PDF