Console Output

23:35:59 + make --no-print-directory -C benchmark jenkins arch=x86
23:35:59 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
23:35:59 building compile.csv
23:36:38 building ctxswitch.csv
23:37:00 building mutex.csv
23:37:12 building schedint.csv
23:38:48 cat compile.csv
23:38:48 array,attributes,empty,expression,io,monitor,operators,typeof
23:38:48 1.56,1.03,0.69,1.01,16.86,10.58,0.69,0.75
23:38:48 cat compile.diff.csv
23:38:48 array,attributes,empty,expression,io,monitor,operators,typeof
23:38:48 0.415,0.212,0.186,0.260,0.053,0.040,0.177,0.202
23:38:48 cat ctxswitch.csv
23:38:48 generator,coroutine,thread
23:38:48 5.69372,45.7647,607.057
23:38:48 cat ctxswitch.diff.csv
23:38:48 generator,coroutine,thread
23:38:48 1.785,1.382,5.381
23:38:48 cat mutex.csv
23:38:48 1-monitor,2-monitor
23:38:48 75.2423,118.089
23:38:48 cat mutex.diff.csv
23:38:48 1-monitor,2-monitor
23:38:48 1.385,1.342
23:38:48 cat schedint.csv
23:38:48 schedint-1,schedint-2,schedext-1,schedext-2
23:38:48 1467.77,1613.09,1466.31,1557.1
23:38:48 cat schedint.diff.csv
23:38:48 schedint-1,schedint-2,schedext-1,schedext-2
23:38:48 3.463,3.029,3.548,3.073