Console Output

22:56:47 + make --no-print-directory -C benchmark jenkins arch=x64
22:56:47 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
22:56:47 building compile.csv
22:57:09 building ctxswitch.csv
22:57:19 building mutex.csv
22:57:29 building schedint.csv
22:58:16 cat compile.csv
22:58:16 array,attributes,empty,expression,io,monitor,operators,typeof
22:58:16 0.45,0.55,0.44,0.48,9.48,5.99,0.46,0.45
22:58:16 cat compile.diff.csv
22:58:16 array,attributes,empty,expression,io,monitor,operators,typeof
22:58:16 0.126,0.120,0.129,0.134,0.032,0.023,0.129,0.133
22:58:16 cat ctxswitch.csv
22:58:16 generator,coroutine,thread
22:58:16 3.79393,35.2387,205.401
22:58:16 cat ctxswitch.diff.csv
22:58:16 generator,coroutine,thread
22:58:16 1.883,1.135,2.673
22:58:16 cat mutex.csv
22:58:16 1-monitor,2-monitor
22:58:16 42.6488,67.0999
22:58:16 cat mutex.diff.csv
22:58:16 1-monitor,2-monitor
22:58:16 1.061,0.947
22:58:16 cat schedint.csv
22:58:16 schedint-1,schedint-2,schedext-1,schedext-2
22:58:16 591.248,664.544,583.487,655.484
22:58:16 cat schedint.diff.csv
22:58:16 schedint-1,schedint-2,schedext-1,schedext-2
22:58:16 1.814,1.625,1.824,1.665