Commit 9c0c8088 authored by wenzelm's avatar wenzelm
Browse files

re-adjusted timeout after some years of performance tuning: default to 600 instead of 3600;

parent 0b521abc0487
chapter AFP
session "AVL-Trees" (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories
AVL
AVL2
......
chapter AFP
session "Abstract-Hoare-Logics" (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories
"While/HoareTotal"
"Proc/PHoareTotal"
......
chapter AFP
session "Abstract-Rewriting" (AFP) = HOL +
options [timeout = 200]
options [timeout = 600]
theories [document = false]
"../Transitive-Closure/Transitive_Closure_Impl"
"../Regular-Sets/Regexp_Method"
......
chapter AFP
session BDD (AFP) = Simpl +
options [timeout = 3600, document_graph]
options [timeout = 600, document_graph]
theories
EvalProof
NormalizeTotalProof
......
chapter AFP
session BinarySearchTree (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories
BinaryTree
BinaryTree_Map
......
chapter AFP
session "Binomial-Heaps" (AFP) = "HOL-Library" +
options [timeout = 300]
options [timeout = 600]
theories
BinomialHeap
SkewBinomialHeap
......
chapter AFP
session "Binomial-Queues" (AFP) = HOL +
options [timeout = 300]
options [timeout = 600]
theories
PQ_Implementation
files
......
chapter AFP
session Bondy (AFP) = HOL +
options [timeout = 400]
options [timeout = 600]
theories
Bondy
chapter AFP
session BytecodeLogicJmlTypes (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories
Sound
Cachera
......
chapter AFP
session CCS (AFP) = "HOL-Nominal" +
options [timeout = 3600]
options [timeout = 600]
theories
Weak_Cong_Pres
files
......
chapter AFP
session Category (AFP) = "HOL-Library" +
options [timeout = 3600]
options [timeout = 600]
theories
Cat
SetCat
......
chapter AFP
session Category2 (AFP) = "HOL-Library" +
options [timeout = 3600]
options [timeout = 600]
theories [document = false]
"~~/src/HOL/ZF/MainZF"
theories
......
chapter AFP
session Cauchy (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories [show_question_marks = false]
CauchysMeanTheorem
CauchySchwarz
......
chapter AFP
session Circus (AFP) = HOLCF +
options [timeout = 3600, document_graph]
options [timeout = 600, document_graph]
theories [document = false]
"~~/src/HOL/Library/Sublist"
theories
......
......@@ -6,7 +6,7 @@ chapter AFP
*)
session ClockSynchInst (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories
ICAInstance
LynchInstance
......
chapter AFP
session CofGroups (AFP) = "HOL-Library" +
options [timeout = 3600]
options [timeout = 600]
theories
CofGroups
files
......
chapter AFP
session Coinductive (AFP) = "HOL-Library" +
options [timeout = 200, document_graph]
options [timeout = 600, document_graph]
theories
Coinductive
Lazy_TLList
......
chapter AFP
session "Compiling-Exceptions-Correctly" (AFP) = HOL +
options [timeout = 3600]
options [timeout = 600]
theories
Exceptions
files
......
chapter AFP
session Completeness (AFP) = "HOL-Library" +
options [timeout = 3600]
options [timeout = 600]
theories
Base
(* NOTES omitted permutations and try to reuse library stuff *)
......
chapter AFP
session Containers (AFP) = "Datatype_Order_Generator" +
options [timeout = 3600]
options [timeout = 600]
theories
Auxiliary
Card_Datatype
......@@ -17,7 +17,7 @@ session Containers (AFP) = "Datatype_Order_Generator" +
"document/root.bib"
session "Containers-Benchmarks" (AFP) = Containers +
options [timeout = 3600]
options [timeout = 600]
theories
"ITP-2013/Benchmark_Bool"
"ITP-2013/Benchmark_LC"
......
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