Console Output

22:58:32 + make --no-print-directory -C benchmark jenkins arch=x64
22:58:32 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
22:58:32 building compile.csv
22:58:54 building ctxswitch.csv
22:59:04 building mutex.csv
22:59:12 building schedint.csv
22:59:59 cat compile.csv
22:59:59 array,attributes,empty,expression,io,monitor,operators,typeof
22:59:59 0.42,0.53,0.41,0.45,9.91,5.65,0.43,0.41
22:59:59 cat compile.diff.csv
22:59:59 array,attributes,empty,expression,io,monitor,operators,typeof
22:59:59 0.118,0.116,0.120,0.126,0.034,0.022,0.121,0.121
22:59:59 cat ctxswitch.csv
22:59:59 generator,coroutine,thread
22:59:59 3.66379,44.4341,214.847
22:59:59 cat ctxswitch.diff.csv
22:59:59 generator,coroutine,thread
22:59:59 1.818,1.431,2.796
22:59:59 cat mutex.csv
22:59:59 1-monitor,2-monitor
22:59:59 43.8995,66.6894
22:59:59 cat mutex.diff.csv
22:59:59 1-monitor,2-monitor
22:59:59 1.092,0.941
22:59:59 cat schedint.csv
22:59:59 schedint-1,schedint-2,schedext-1,schedext-2
22:59:59 605.278,674.579,612.403,665.376
22:59:59 cat schedint.diff.csv
22:59:59 schedint-1,schedint-2,schedext-1,schedext-2
22:59:59 1.857,1.649,1.914,1.690