for a in test_urcu_gc; do
echo "./${a} $*" | tee -a runall.detail.log
/usr/bin/time --append --output runall.detail.log ./${a} $*
for a in test_urcu_gc; do
echo "./${a} $*" | tee -a runall.detail.log
/usr/bin/time --append --output runall.detail.log ./${a} $*