// File: /workspace/github_cpp_makefile_star2_O1/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: report
static void
report (PS * ps, int replevel, char type)
{
  int rounds;

  if (ps->verbosity < replevel)
    return;

  sflush (ps);

  if (!ps->reports)
    ps->reports = -1;

  for (rounds = (ps->reports < 0) ? 2 : 1; rounds; rounds--)
    {
      if (ps->reports >= 0)
	 fprintf (ps->out, "%s%c ", ps->prefix, type);

      relem (ps, "seconds", 1, ps->seconds);
      relem (ps, "level", 1, avglevel (ps));
      assert (ps->fixed <=  ps->max_var);
      relem (ps, "variables", 0, ps->max_var - ps->fixed);
      relem (ps, "used", 1, PERCENT (ps->vused, ps->max_var));
      relem (ps, "original", 0, ps->noclauses);
      relem (ps, "conflicts", 0, ps->conflicts);
      // relem (ps, "decisions", 0, ps->decisions);
      // relem (ps, "conf/dec", 1, PERCENT(ps->conflicts,ps->decisions));
      // relem (ps, "limit", 0, reduce_limit_on_lclauses (ps));
      relem (ps, "learned", 0, ps->nlclauses);
      // relem (ps, "limit", 1, PERCENT (ps->nlclauses, reduce_limit_on_lclauses (ps)));
      relem (ps, "limit", 0, ps->lreduce);
#ifdef STATS
      relem (ps, "learning", 1, PERCENT (ps->llused, ps->lladded));
#endif
      relem (ps, "agility", 1, dynamic_flips_per_assignment_per_mille (ps) / 10.0);
      // relem (ps, "original", 0, ps->noclauses);
      relem (ps, "MB", 1, mb (ps));
      // relem (ps, "lladded", 0, ps->lladded);
      // relem (ps, "llused", 0, ps->llused);

      relem (ps, 0, 0, 0);

      ps->reports++;
    }

  /* Adapt this to the number of rows in your terminal.
   */
  #define ROWS 25

  if (ps->reports % (ROWS - 3) == (ROWS - 4))
    rheader (ps);

  fflush (ps->out);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
cmpl %esi, 0x20(%rdi)
jge 0x8737
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %edx, %ebp
movq %rdi, %rbx
callq 0xab36
movapd %xmm0, %xmm1
subsd 0x350(%rbx), %xmm1
xorpd %xmm2, %xmm2
maxsd %xmm1, %xmm2
addsd 0x340(%rbx), %xmm2
movsd %xmm2, 0x340(%rbx)
movsd %xmm0, 0x350(%rbx)
cmpl $0x0, 0x384(%rbx)
jne 0x8780
movl $0xffffffff, 0x384(%rbx) # imm = 0xFFFFFFFF
movl 0x384(%rbx), %r14d
shrl $0x1f, %r14d
incl %r14d
movzbl %bpl, %eax
movl %eax, 0x4(%rsp)
leaq 0x9711(%rip), %r15      # 0x11eae
leaq 0xb492(%rip), %r12      # 0x13c36
leaq 0xbdd7(%rip), %r13      # 0x14582
leaq 0xb147(%rip), %rbp      # 0x138f9
cmpl $0x0, 0x384(%rbx)
js 0x87d5
movq 0x10(%rbx), %rdi
movq 0x18(%rbx), %rdx
leaq 0xbd7c(%rip), %rsi      # 0x14546
movl 0x4(%rsp), %ecx
xorl %eax, %eax
callq 0x1130
movsd 0x340(%rbx), %xmm0
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
callq 0x10ae4
movl 0x390(%rbx), %eax
testl %eax, %eax
je 0x880f
movsd 0x378(%rbx), %xmm0
movl %eax, %eax
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
jmp 0x8813
xorpd %xmm0, %xmm0
movq %rbx, %rdi
movq %r12, %rsi
movl $0x1, %edx
callq 0x10ae4
movl 0x2c(%rbx), %eax
subl 0x3e8(%rbx), %eax
jb 0x8a56
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x10ae4
movl 0x2c(%rbx), %eax
testl %eax, %eax
je 0x8874
movl 0x44c(%rbx), %ecx
xorps %xmm0, %xmm0
cvtsi2sd %rcx, %xmm0
movl %eax, %eax
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
mulsd 0x98ae(%rip), %xmm0     # 0x12120
jmp 0x8878
xorpd %xmm0, %xmm0
movq %rbx, %rdi
movq %rbp, %rsi
movl $0x1, %edx
callq 0x10ae4
movl 0x428(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xbcec(%rip), %rsi      # 0x1458c
xorl %edx, %edx
callq 0x10ae4
movl 0x41c(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xa28a(%rip), %rsi      # 0x12b49
xorl %edx, %edx
callq 0x10ae4
movl 0x42c(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xb220(%rip), %rsi      # 0x13afe
xorl %edx, %edx
callq 0x10ae4
movl 0x3a8(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xbc98(%rip), %rsi      # 0x14595
xorl %edx, %edx
callq 0x10ae4
movl 0x488(%rbx), %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
imulq %rcx, %rax
shrq $0x2d, %rax
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
divsd 0x9802(%rip), %xmm0     # 0x12128
movq %rbx, %rdi
leaq 0xbc6b(%rip), %rsi      # 0x1459b
movl $0x1, %edx
callq 0x10ae4
movsd 0x328(%rbx), %xmm1
unpcklps 0x97b7(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x97bf(%rip), %xmm1     # 0x12110
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
mulsd 0x97cb(%rip), %xmm0     # 0x12130
movq %rbx, %rdi
leaq 0xbc34(%rip), %rsi      # 0x145a3
movl $0x1, %edx
callq 0x10ae4
cmpl $0x0, 0x384(%rbx)
js 0x8992
movq 0x10(%rbx), %rsi
movl $0xa, %edi
callq 0x10f0
jmp 0x89f4
movq %r12, %rbp
movq %r15, %r12
xorl %r15d, %r15d
movq 0x360(%rbx,%r15,8), %r13
movq %r13, %rdi
callq 0x1090
testq %rax, %rax
jle 0x89cc
addq %rax, %r13
cmpb $0x20, -0x1(%r13)
jne 0x89cc
decq %r13
movb $0x0, (%r13)
cmpq 0x360(%rbx,%r15,8), %r13
ja 0x89b3
leaq 0x1(%r15), %rax
testq %r15, %r15
movq %rax, %r15
je 0x899b
movq %rbx, %rdi
callq 0x8a75
movq %r12, %r15
movq %rbp, %r12
leaq 0xbb95(%rip), %r13      # 0x14582
leaq 0xaf05(%rip), %rbp      # 0x138f9
movl $0x0, 0x374(%rbx)
incl 0x384(%rbx)
decl %r14d
jne 0x87b2
movslq 0x384(%rbx), %rax
imulq $0x2e8ba2e9, %rax, %rcx # imm = 0x2E8BA2E9
movq %rcx, %rdx
shrq $0x3f, %rdx
sarq $0x22, %rcx
addl %edx, %ecx
leal (%rcx,%rcx,4), %edx
leal (%rcx,%rdx,4), %edx
addl %ecx, %edx
subl %edx, %eax
cmpl $0x15, %eax
jne 0x8a3f
movq %rbx, %rdi
callq 0x8a75
movq 0x10(%rbx), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1160
leaq 0xbaef(%rip), %rdi      # 0x1454c
leaq 0x9848(%rip), %rsi      # 0x122ac
leaq 0xbafa(%rip), %rcx      # 0x14565
movl $0xd10, %edx            # imm = 0xD10
callq 0x10b0