Console Output

23:02:11 + make --no-print-directory -C benchmark jenkins arch=x64
23:02:11 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
23:02:11 building compile.csv
23:02:33 building ctxswitch.csv
23:02:45 building mutex.csv
23:02:55 building schedint.csv
23:03:42 cat compile.csv
23:03:42 array,attributes,empty,expression,io,monitor,operators,typeof
23:03:42 0.45,0.55,0.46,0.50,10.36,6.18,0.47,0.46
23:03:42 cat compile.diff.csv
23:03:42 array,attributes,empty,expression,io,monitor,operators,typeof
23:03:42 0.126,0.120,0.135,0.140,0.035,0.024,0.132,0.136
23:03:42 cat ctxswitch.csv
23:03:42 generator,coroutine,thread
23:03:42 3.36736,36.6957,216.617
23:03:42 cat ctxswitch.diff.csv
23:03:42 generator,coroutine,thread
23:03:42 1.671,1.182,2.819
23:03:42 cat mutex.csv
23:03:42 1-monitor,2-monitor
23:03:42 44.26,72.6705
23:03:42 cat mutex.diff.csv
23:03:42 1-monitor,2-monitor
23:03:42 1.101,1.026
23:03:42 cat schedint.csv
23:03:42 schedint-1,schedint-2,schedext-1,schedext-2
23:03:42 617.865,684.649,607.575,678.235
23:03:42 cat schedint.diff.csv
23:03:42 schedint-1,schedint-2,schedext-1,schedext-2
23:03:42 1.895,1.674,1.899,1.723