-------- Original Message -------- Subject: Benchmarks for PPL 0.5 -> 0.61 Date: Fri, 27 Aug 2004 15:11:58 -0400 (EDT) From: Goran Frehse gfrehse@andrew.cmu.edu To: Roberto Bagnara bagnara@cs.unipr.it References: 402A51EB.60609@andrew.cmu.edu 402AA44B.2010702@cs.unipr.it 402A77E8.2000907@andrew.cmu.edu 41249897.9060800@cs.unipr.it
Dear Roberto,
I just tried the new PPL with some examples. Here are some numbers taken from a reachability analysis of a hybrid automaton: (PPL 0.5 -> PPL 0.61)
- Remapping and Intersection of 1249 3--6-dimensional polyhedra: 1.26s -> 0.85s - Remapping and Intersection of 1341 2--4-dimensional polyhedra: 1.64s -> 1.45s - Reachability analysis in 3-dimensional space (roughly 10000 intersections and projections in 6--3 dimensions): 57.31s -> 55.87s
I'm very happy with these results, so congratulations!
Best wishes, Goran