// File: /workspace/github_cpp_makefile_star2_O2/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 0x7c30
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %edx, %ebp
movq %rdi, %rbx
callq 0x9e4b
movl 0x384(%rbx), %eax
testl %eax, %eax
je 0x7c50
movl %eax, %r13d
shrl $0x1f, %r13d
incl %r13d
jmp 0x7c5e
orl $-0x1, 0x384(%rbx)
pushq $0x2
popq %r13
pushq $-0x1
popq %rax
movzbl %bpl, %ebp
pushq $0x1
popq %r12
leaq 0xb8a8(%rip), %r14      # 0x13515
leaq 0xb8a9(%rip), %r15      # 0x1351d
subl $0x1, %r13d
jb 0x7e40
testl %eax, %eax
js 0x7c9a
movq 0x10(%rbx), %rdi
movq 0x18(%rbx), %rdx
leaq 0xb82f(%rip), %rsi      # 0x134c0
movl %ebp, %ecx
xorl %eax, %eax
callq 0x1140
movsd 0x340(%rbx), %xmm0
movq %rbx, %rdi
leaq 0x91c9(%rip), %rsi      # 0x10e75
movl %r12d, %edx
callq 0xf14d
movl 0x390(%rbx), %eax
testl %eax, %eax
je 0x7cd3
movsd 0x378(%rbx), %xmm0
movl %eax, %eax
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
jmp 0x7cd7
xorpd %xmm0, %xmm0
movq %rbx, %rdi
leaq 0xaf0f(%rip), %rsi      # 0x12bf0
movl %r12d, %edx
callq 0xf14d
movl 0x2c(%rbx), %eax
subl 0x3e8(%rbx), %eax
jb 0x7e6a
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xb7f5(%rip), %rsi      # 0x134fc
xorl %edx, %edx
callq 0xf14d
movl 0x2c(%rbx), %eax
testl %eax, %eax
je 0x7d35
movl 0x44c(%rbx), %ecx
cvtsi2sd %rcx, %xmm0
movl %eax, %eax
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
mulsd 0x93bd(%rip), %xmm0     # 0x110f0
jmp 0x7d39
xorpd %xmm0, %xmm0
movq %rbx, %rdi
leaq 0xab70(%rip), %rsi      # 0x128b3
movl %r12d, %edx
callq 0xf14d
movl 0x428(%rbx), %eax
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xb7a6(%rip), %rsi      # 0x13506
xorl %edx, %edx
callq 0xf14d
movl 0x41c(%rbx), %eax
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0x9d95(%rip), %rsi      # 0x11b11
xorl %edx, %edx
callq 0xf14d
movl 0x42c(%rbx), %eax
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xad20(%rip), %rsi      # 0x12ab8
xorl %edx, %edx
callq 0xf14d
movl 0x3a8(%rbx), %eax
cvtsi2sd %rax, %xmm0
movq %rbx, %rdi
leaq 0xb75b(%rip), %rsi      # 0x1350f
xorl %edx, %edx
callq 0xf14d
movl 0x488(%rbx), %eax
xorl %edx, %edx
movl $0x2710, %ecx           # imm = 0x2710
divl %ecx
cvtsi2sd %eax, %xmm0
divsd 0x9322(%rip), %xmm0     # 0x110f8
movq %rbx, %rdi
movq %r14, %rsi
movl %r12d, %edx
callq 0xf14d
movsd 0x328(%rbx), %xmm1
unpcklps 0x92dd(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x92e5(%rip), %xmm1     # 0x110e0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
mulsd 0x92f1(%rip), %xmm0     # 0x11100
movq %rbx, %rdi
movq %r15, %rsi
movl %r12d, %edx
callq 0xf14d
xorpd %xmm0, %xmm0
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xf14d
movl 0x384(%rbx), %eax
incl %eax
movl %eax, 0x384(%rbx)
jmp 0x7c74
pushq $0x16
popq %rcx
cltd
idivl %ecx
cmpl $0x15, %edx
jne 0x7e53
movq %rbx, %rdi
callq 0x7e89
movq 0x10(%rbx), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1170
leaq 0xb655(%rip), %rdi      # 0x134c6
leaq 0x93fc(%rip), %rsi      # 0x11274
leaq 0xb660(%rip), %rcx      # 0x134df
movl $0xd10, %edx            # imm = 0xD10
callq 0x10b0