Console Output

23:00:30 + make --no-print-directory -C benchmark jenkins arch=x64
23:00:30 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
23:00:30 building compile.csv
23:00:52 building ctxswitch.csv
23:01:04 building mutex.csv
23:01:12 building schedint.csv
23:01:59 cat compile.csv
23:01:59 array,attributes,empty,expression,io,monitor,operators,typeof
23:01:59 0.44,0.54,0.44,0.46,10.24,6.01,0.45,0.45
23:01:59 cat compile.diff.csv
23:01:59 array,attributes,empty,expression,io,monitor,operators,typeof
23:01:59 0.123,0.118,0.129,0.129,0.035,0.023,0.126,0.133
23:01:59 cat ctxswitch.csv
23:01:59 generator,coroutine,thread
23:01:59 3.75167,44.2413,213.688
23:01:59 cat ctxswitch.diff.csv
23:01:59 generator,coroutine,thread
23:01:59 1.862,1.425,2.780
23:01:59 cat mutex.csv
23:01:59 1-monitor,2-monitor
23:01:59 41.5341,68.6671
23:01:59 cat mutex.diff.csv
23:01:59 1-monitor,2-monitor
23:01:59 1.033,0.969
23:01:59 cat schedint.csv
23:01:59 schedint-1,schedint-2,schedext-1,schedext-2
23:01:59 609.744,680.377,598.204,669.961
23:01:59 cat schedint.diff.csv
23:01:59 schedint-1,schedint-2,schedext-1,schedext-2
23:01:59 1.870,1.663,1.870,1.702