CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2001-11-09 17:45:49
Modified files:
interfaces/Prolog/SICStus: clpq.pl
Log message:
Now a vertex is inserted before any lines or rays.
This avoids a bug when inserting generators into the empty polyhedron.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…
For those who care about performance, here is the total
time (in seconds) spent by China+PPL to analyze the entire
benchmark suite. Each result is prefixed by a date.
Those interested can thus see what was the cost of
the extra-checks we have added and how we recovered
with smarter memory allocation strategies. To get
sense of what follows you need to keep an eye on the
CVS history, of course.
2001-10-23 3026.66
2001-10-24 2965.83
2001-10-29 3028.75
2001-10-29 2621.58
2001-10-30 2833.64
2001-10-31 2688.87
2001-11-01 2892.96
2001-11-01 2650
2001-11-02 2629.1
2001-11-04 2533.4
2001-11-04 2514.51
2001-11-04 2390.36
2001-11-05 2416.02
2001-11-08 2459.47
2001-11-09 2364.58
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
