Build and single-thread tests: clang : 3.4 : export CC=clang-3.4 ; ./configure; make cleanall; time make 2>&1 > /dev/null ; time tbse --repeat 10000 --random_systems 2>&1 > /dev/null 27.15user 6.85system 0:06.31elapsed 538%CPU (0avgtext+0avgdata 369384maxresident)k 0inputs+127808outputs (0major+1376115minor)pagefaults 0swaps 224.30user 0.24system 3:48.38elapsed 98%CPU (0avgtext+0avgdata 24256maxresident)k 0inputs+80064outputs (0major+21156minor)pagefaults 0swaps 3.5 : export CC=clang-3.5 ; ./configure; make cleanall; time make 2>&1 > /dev/null ; time tbse --repeat 10000 --random_systems 2>&1 > /dev/null 28.62user 6.58system 0:06.25elapsed 563%CPU (0avgtext+0avgdata 364188maxresident)k 22888inputs+127904outputs (159major+1493733minor)pagefaults 0swaps 222.54user 0.33system 3:46.82elapsed 98%CPU (0avgtext+0avgdata 24336maxresident)k 0inputs+80048outputs (0major+21238minor)pagefaults 0swaps 3.6 : export CC=clang-3.6 ; ./configure; make cleanall; time make 2>&1 > /dev/null ; time tbse --repeat 10000 --random_systems 2>&1 > /dev/null 28.51user 6.71system 0:06.23elapsed 565%CPU (0avgtext+0avgdata 361468maxresident)k 0inputs+127904outputs (0major+1517053minor)pagefaults 0swaps 225.66user 0.34system 3:49.93elapsed 98%CPU (0avgtext+0avgdata 24164maxresident)k 0inputs+80048outputs (0major+20997minor)pagefaults 0swaps 3.7.1 : export CC=~/src/clang+llvm-3.7.1-x86_64-linux-gnu-ubuntu-14.04/bin/clang-3.7 ; ./configure; make cleanall; time make 2>&1 > /dev/null ; time tbse --repeat 10000 --random_systems 2>&1 > /dev/null 53.28user 6.16system 0:06.89elapsed 862%CPU (0avgtext+0avgdata 373492maxresident)k 0inputs+124624outputs (0major+1843409minor)pagefaults 0swaps 221.52user 1.57system 3:46.34elapsed 98%CPU (0avgtext+0avgdata 24212maxresident)k 0inputs+80056outputs (0major+20900minor)pagefaults 0swaps gcc : 4.9.3 : export CC=gcc ; ./configure; make cleanall; time make 2>&1 > /dev/null ; time tbse --repeat 10000 --random_systems 2>&1 > /dev/null 46.50user 3.74system 0:12.95elapsed 388%CPU (0avgtext+0avgdata 1042192maxresident)k 93576inputs+376512outputs (56major+2517502minor)pagefaults 0swaps 233.27user 0.21system 3:58.46elapsed 97%CPU (0avgtext+0avgdata 24312maxresident)k 160inputs+80128outputs (2major+20803minor)pagefaults 0swaps