Java 5 vs Java 6 runtime

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

I just ran the default solver of the sat4j 1.6_01 release on my computer 
using the latest beta of Java 6: the running time is
reduced significantly (around 10%).

The test is for the 100 VLIW-1.0 benchmarks.

Java 1.5.0_06
899.08user 12.19system 13:48.19elapsed 110%CPU (0avgtext+0avgdata 
0maxresident)k
0inputs+0outputs (100major+1770562minor)pagefaults 0swaps

Java 1.6.0 beta 2
800.02user 13.42system 14:56.42elapsed 90%CPU (0avgtext+0avgdata 
0maxresident)k
0inputs+0outputs (100major+1789900minor)pagefaults 0swaps

I am looking forward the final release of Java 6 :-=)

   Daniel