Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more uniform timeout: discretization for 300 (5min);
  2. more realistic timeout: 20min CPU time;
Changeset 9445:6ab2cc180aae by wenzelm:
more uniform timeout: discretization for 300 (5min);
The file was modified thys/AODV/ROOT (diff)
The file was modified thys/Automatic_Refinement/ROOT (diff)
The file was modified thys/Buffons_Needle/ROOT (diff)
The file was modified thys/Category3/ROOT (diff)
The file was modified thys/Dict_Construction/ROOT (diff)
The file was modified thys/Error_Function/ROOT (diff)
The file was modified thys/Hidden_Markov_Models/ROOT (diff)
The file was modified thys/LLL_Factorization/ROOT (diff)
Changeset 9444:4e22cdd29c6f by wenzelm:
more realistic timeout: 20min CPU time;
The file was modified thys/MSO_Regex_Equivalence/ROOT (diff)