Console Output

22:57:47 + make --no-print-directory -C benchmark jenkins arch=x64
22:57:47 rm -f compile.csv basic.csv ctxswitch.csv mutex.csv schedint.csv
22:57:47 building compile.csv
22:58:09 building ctxswitch.csv
22:58:21 building mutex.csv
22:58:28 building schedint.csv
22:59:15 cat compile.csv
22:59:15 array,attributes,empty,expression,io,monitor,operators,typeof
22:59:15 0.44,0.53,0.43,0.46,10.05,5.77,0.44,0.43
22:59:15 cat compile.diff.csv
22:59:15 array,attributes,empty,expression,io,monitor,operators,typeof
22:59:15 0.123,0.116,0.126,0.129,0.034,0.023,0.123,0.127
22:59:15 cat ctxswitch.csv
22:59:15 generator,coroutine,thread
22:59:15 3.52828,44.4727,215.05
22:59:15 cat ctxswitch.diff.csv
22:59:15 generator,coroutine,thread
22:59:15 1.751,1.433,2.798
22:59:15 cat mutex.csv
22:59:15 1-monitor,2-monitor
22:59:15 40.6562,66.7563
22:59:15 cat mutex.diff.csv
22:59:15 1-monitor,2-monitor
22:59:15 1.011,0.942
22:59:15 cat schedint.csv
22:59:15 schedint-1,schedint-2,schedext-1,schedext-2
22:59:15 618.632,674.778,602.821,668.124
22:59:15 cat schedint.diff.csv
22:59:15 schedint-1,schedint-2,schedext-1,schedext-2
22:59:15 1.898,1.650,1.884,1.697