$ ./llil2grt big1.txt big2.txt big3.txt >out.txt
llil2grt start
get_properties      CPU time : 3.67015 secs
emplace set sort    CPU time : 1.19724 secs
write stdout        CPU time : 1.52074 secs
total               CPU time : 6.3882 secs
total        wall clock time : 6 secs

>llil2grt.exe big1.txt big2.txt big3.txt >out.txt
llil2grt start
get_properties      CPU time : 5.577 secs
emplace set sort    CPU time : 1.675 secs
write stdout        CPU time : 2.484 secs
total               CPU time : 9.736 secs
total        wall clock time : 10 secs