perf result

 Performance counter stats for './zipperposition.native -calculus delayed Problems/RNG/RNG007-5.p -progress -steps 2000':

      32205,421073 task-clock                #    0,994 CPUs utilized          
             6 278 context-switches          #    0,195 K/sec                  
                26 cpu-migrations            #    0,001 K/sec                  
            17 681 page-faults               #    0,549 K/sec                  
   114 089 153 802 cycles                    #    3,543 GHz                    
    51 700 780 017 stalled-cycles-frontend   #   45,32% frontend cycles idle   
   <not supported> stalled-cycles-backend  
   150 913 459 037 instructions              #    1,32  insns per cycle        
                                             #    0,34  stalled cycles per insn
    30 380 381 569 branches                  #  943,331 M/sec                  
     1 016 553 307 branch-misses             #    3,35% of all branches        

      32,401303618 seconds time elapsed

perf stat ./zipperposition.native -calculus delayed Problems/RNG/RNG007-5.p    32,06s user 0,07s system 99% cpu 32,406 total