Add new benchmark

fc-solve/benchmarks/shlomif-core-i3-desktop-machine.txt

@@ -756,3 +756,37 @@ Reached Board No. 28000 at 1461353883.483869 (total_num_iters=8169412)
 Reached Board No. 32000 at 1461353884.560910 (total_num_iters=9944628)
 Finished at 1461353884.570737 (total_num_iters=11052198)
 </DUMP>
+
+---------------------------------------------------------
+
+ARGS="--worker-step 16 -l ct" bash scripts/time-threads-num.bash 4 4 x Several Times
+commit 4ccea37e8e17a2ddb7bd3b7b226d2902bfe258b5
+(commit Date: Sun Apr 24 18:50:26 2016 +0300)
+With Profile Guided Optimisation (PGO).
+../source/Tatzer -l ci7b --prefix="/home/shlomif/apps/fcs" --without-trim
+(With -flto and -fwhole-program).
+sudo_renice.
+-O3
+4.6.0-desktop-0.rc4.1.mga6
+gcc-4.9.3 (built from source).
+lib64google-perftools-devel-2.4-2.mga6
+With strip.
+
+8.30717611312866s
+
+    Highlight: converting to gperf, bug fixes and elimination of
+    --without-depth-field.
+
+<DUMP>
+Started at 1461515297.254000
+Reached Board No. 4000 at 1461515298.310883 (total_num_iters=345620)
+Reached Board No. 8000 at 1461515299.332590 (total_num_iters=1043556)
+Reached Board No. 12000 at 1461515300.350817 (total_num_iters=3080592)
+Unsolved Board No. 11982 at 1461515300.617558
+Reached Board No. 16000 at 1461515301.453205 (total_num_iters=4796015)
+Reached Board No. 20000 at 1461515302.494231 (total_num_iters=5512324)
+Reached Board No. 24000 at 1461515303.499609 (total_num_iters=7205479)
+Reached Board No. 28000 at 1461515304.485828 (total_num_iters=8617739)
+Reached Board No. 32000 at 1461515305.552252 (total_num_iters=10656144)
+Finished at 1461515305.561176 (total_num_iters=11052198)
+</DUMP>