Console Output

23:00:52 + make --no-print-directory -C benchmark jenkins arch=x64
23:00:52 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
23:00:52 building compile.csv
23:01:10 building ctxswitch.csv
23:01:25 building mutex.csv
23:01:31 building schedint.csv
23:02:18 cat compile.csv
23:02:18 array,attributes,empty,expression,io,monitor,operators,typeof
23:02:18 0.47,0.53,0.50,0.59,9.16,5.53,0.49,0.46
23:02:18 cat compile.diff.csv
23:02:18 array,attributes,empty,expression,io,monitor,operators,typeof
23:02:18 0.132,0.116,0.146,0.165,0.031,0.022,0.138,0.136
23:02:18 cat ctxswitch.csv
23:02:18 generator,coroutine,thread
23:02:18 3.51174,37.6968,181.089
23:02:18 cat ctxswitch.diff.csv
23:02:18 generator,coroutine,thread
23:02:18 1.743,1.214,2.356
23:02:18 cat mutex.csv
23:02:18 1-monitor,2-monitor
23:02:18 41.8029,60.8863
23:02:18 cat mutex.diff.csv
23:02:18 1-monitor,2-monitor
23:02:18 1.040,0.859
23:02:18 cat schedint.csv
23:02:18 schedint-1,schedint-2,schedext-1,schedext-2
23:02:18 545.789,639.204,518.67,588.538
23:02:18 cat schedint.diff.csv
23:02:18 schedint-1,schedint-2,schedext-1,schedext-2
23:02:18 1.674,1.563,1.621,1.495