![]() |
Frequently Asked Questions (FAQ) |
![]() |
AProVE Help System → | Frequently Asked Questions (FAQ) |
A: If AProVE crashes because of not enough memory, you should start AProVE with the -XmxNm option which allows java and therefore AProVE to use N megabytes of memory. For example,
java -Xmx512m -jar AProVE.jarstarts AProVE with a memory limit of 512 megabytes. Without this option the default limit is used which is quite low.
A: Because it is the best automatic termination prover in the world in 2004 (http://www.lri.fr/%7Emarche/wst2004-competition/rules.html) .
A: We sincerely hope so. Right now, we are training 110 students in the term rewriting lecture. See question 5.
A: Although our department owns an RAIC (redundant array of inexpensive coffee machines), there is no explicit statistics available. We apologize for the inconvenience. Anyway, "a mug per LOC" is probably a realistic approximation.
A: All work, no play, makes jack a dull boy.