Help for this page
$ ./llil2grt big1.txt big2.txt big3.txt >out.txt llil2grt start ... write stdout CPU time : 2.484 secs total CPU time : 9.736 secs total wall clock time : 10 secs
$ ./llil2grt long1.txt long2.txt long3.txt >out.txt llil2grt start ... $ diff out.txt out_j.txt $