Perform An Apples-to-Apples Comparison of the C++ SAT and the JAVA ILP imeplementations

1. How do they measure time
2. When do they measure time
3. Are there any extra steps the JAVA implementation are taking?

CPU Time

Java Ref: http://nadeausoftware.com/articles/2008/03/java_tip_how_get_cpu_and_user_time_benchmarking#UsingaSuninternalclasstogetJVMCPUtime