% Verifying each other's results
The final bottleneck we like to note concerns the verifying of each other's
% Verifying each other's results
The final bottleneck we like to note concerns the verifying of each other's
difficult to fully double-check their work. This touches upon the previous
point, for when a counterexample is giving it is trivial to see the result is
correct. However when a member of the group passes a requirement it will take
more time to verify this is the correct verdict. In the end we are confident of
our results, but this may be a bottleneck which can be addressed in the initial
difficult to fully double-check their work. This touches upon the previous
point, for when a counterexample is giving it is trivial to see the result is
correct. However when a member of the group passes a requirement it will take
more time to verify this is the correct verdict. In the end we are confident of
our results, but this may be a bottleneck which can be addressed in the initial