// File: /workspace/github_cpp_makefile_star2_O3/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 0x8818
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %edx, %ebp
movq %rdi, %rbx
callq 0xac39
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)
movl 0x384(%rbx), %eax
testl %eax, %eax
je 0x8864
movl %eax, %r14d
shrl $0x1f, %r14d
incl %r14d
jmp 0x8879
movl $0xffffffff, 0x384(%rbx) # imm = 0xFFFFFFFF
movl $0x2, %r14d
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
movzbl %bpl, %ecx
movl %ecx, 0x4(%rsp)
leaq 0xa5ed(%rip), %r15      # 0x12e75
leaq 0xc369(%rip), %r12      # 0x14bf8
leaq 0xcc88(%rip), %r13      # 0x1551e
leaq 0xc01e(%rip), %rbp      # 0x148bb
testl %eax, %eax
js 0x88bb
movq 0x10(%rbx), %rdi
movq 0x18(%rbx), %rdx
leaq 0xcc32(%rip), %rsi      # 0x154e2
movl 0x4(%rsp), %ecx
xorl %eax, %eax
callq 0x1140
movsd 0x340(%rbx), %xmm0
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
callq 0x10b6f
movl 0x390(%rbx), %eax
testl %eax, %eax
je 0x88f5
movsd 0x378(%rbx), %xmm0
movl %eax, %eax
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
jmp 0x88f9
xorpd %xmm0, %xmm0
movq %rbx, %rdi
movq %r12, %rsi
movl $0x1, %edx
callq 0x10b6f
movl 0x2c(%rbx), %eax
subl 0x3e8(%rbx), %eax
jb 0x8b4a
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x10b6f
movl 0x2c(%rbx), %eax
testl %eax, %eax
je 0x895a
movl 0x44c(%rbx), %ecx
xorps %xmm0, %xmm0
cvtsi2sd %rcx, %xmm0
movl %eax, %eax
xorps %xmm1, %xmm1
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
mulsd 0xa798(%rip), %xmm0     # 0x130f0
jmp 0x895e
xorpd %xmm0, %xmm0
movq %rbx, %rdi
movq %rbp, %rsi
movl $0x1, %edx
callq 0x10b6f
movl 0x428(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xcba2(%rip), %rsi      # 0x15528
xorl %edx, %edx
callq 0x10b6f
movl 0x41c(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xb174(%rip), %rsi      # 0x13b19
xorl %edx, %edx
callq 0x10b6f
movl 0x42c(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xc0fc(%rip), %rsi      # 0x14ac0
xorl %edx, %edx
callq 0x10b6f
movl 0x3a8(%rbx), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xcb4e(%rip), %rsi      # 0x15531
xorl %edx, %edx
callq 0x10b6f
movl 0x488(%rbx), %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
imulq %rcx, %rax
shrq $0x2d, %rax
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
divsd 0xa6ec(%rip), %xmm0     # 0x130f8
movq %rbx, %rdi
leaq 0xcb21(%rip), %rsi      # 0x15537
movl $0x1, %edx
callq 0x10b6f
movsd 0x328(%rbx), %xmm1
unpcklps 0xa6a1(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0xa6a9(%rip), %xmm1     # 0x130e0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
mulsd 0xa6b5(%rip), %xmm0     # 0x13100
movq %rbx, %rdi
leaq 0xcaea(%rip), %rsi      # 0x1553f
movl $0x1, %edx
callq 0x10b6f
cmpl $0x0, 0x384(%rbx)
js 0x8a78
movq 0x10(%rbx), %rsi
movl $0xa, %edi
callq 0x10f0
jmp 0x8ae4
movq %r15, %rbp
movb $0x1, %r15b
xorl %r12d, %r12d
movq 0x360(%rbx,%r12,8), %r13
movq %r13, %rdi
callq 0x1090
testq %rax, %rax
jle 0x8ab2
addq %rax, %r13
cmpb $0x20, -0x1(%r13)
jne 0x8ab2
decq %r13
movb $0x0, (%r13)
cmpq 0x360(%rbx,%r12,8), %r13
ja 0x8a99
movl $0x1, %r12d
testb $0x1, %r15b
movl $0x0, %r15d
jne 0x8a81
movq %rbx, %rdi
callq 0x8b69
movq %rbp, %r15
leaq 0xc122(%rip), %r12      # 0x14bf8
leaq 0xca41(%rip), %r13      # 0x1551e
leaq 0xbdd7(%rip), %rbp      # 0x148bb
movl $0x0, 0x374(%rbx)
movl 0x384(%rbx), %eax
incl %eax
movl %eax, 0x384(%rbx)
decl %r14d
jne 0x889d
movslq %eax, %rcx
imulq $0x2e8ba2e9, %rcx, %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 0x8b33
movq %rbx, %rdi
callq 0x8b69
movq 0x10(%rbx), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1170
leaq 0xc997(%rip), %rdi      # 0x154e8
leaq 0xa724(%rip), %rsi      # 0x1327c
leaq 0xc9a2(%rip), %rcx      # 0x15501
movl $0xd10, %edx            # imm = 0xD10
callq 0x10b0