// File: 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
movq %rsp, %rbp
subq $0x50, %rsp
movb %dl, %al
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movb %al, -0xd(%rbp)
movq -0x8(%rbp), %rax
movl 0x20(%rax), %eax
cmpl -0xc(%rbp), %eax
jge 0x79e5
jmp 0x7c95
movq -0x8(%rbp), %rdi
callq 0xb2f0
movq -0x8(%rbp), %rax
cmpl $0x0, 0x384(%rax)
jne 0x7a09
movq -0x8(%rbp), %rax
movl $0xffffffff, 0x384(%rax) # imm = 0xFFFFFFFF
movq -0x8(%rbp), %rax
movl 0x384(%rax), %edx
movl $0x1, %eax
movl $0x2, %ecx
cmpl $0x0, %edx
cmovll %ecx, %eax
movl %eax, -0x14(%rbp)
cmpl $0x0, -0x14(%rbp)
je 0x7c68
movq -0x8(%rbp), %rax
cmpl $0x0, 0x384(%rax)
jl 0x7a5f
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdx
movsbl -0xd(%rbp), %ecx
leaq 0x17c88(%rip), %rsi     # 0x1f6e0
movb $0x0, %al
callq 0x1130
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movsd 0x340(%rax), %xmm0
leaq 0x15438(%rip), %rsi     # 0x1ceae
movl $0x1, %edx
callq 0x1ab40
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rdi
callq 0x1ab90
movq -0x20(%rbp), %rdi
leaq 0x17365(%rip), %rsi     # 0x1ee01
movl $0x1, %edx
callq 0x1ab40
movq -0x8(%rbp), %rax
movl 0x3e8(%rax), %eax
movq -0x8(%rbp), %rcx
cmpl 0x2c(%rcx), %eax
ja 0x7abb
jmp 0x7ada
leaq 0x17c24(%rip), %rdi     # 0x1f6e6
leaq 0x157db(%rip), %rsi     # 0x1d2a4
movl $0xd10, %edx            # imm = 0xD10
leaq 0x17c2a(%rip), %rcx     # 0x1f6ff
callq 0x10b0
movq -0x8(%rbp), %rdi
movl 0x2c(%rdi), %eax
movl 0x3e8(%rdi), %ecx
subl %ecx, %eax
cvtsi2sd %rax, %xmm0
leaq 0x17c27(%rip), %rsi     # 0x1f71c
xorl %edx, %edx
callq 0x1ab40
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
cmpl $0x0, 0x2c(%rax)
je 0x7b30
movq -0x8(%rbp), %rax
movl 0x44c(%rax), %ecx
cvtsi2sd %rcx, %xmm0
movl 0x2c(%rax), %eax
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x30(%rbp)
jmp 0x7b3a
xorps %xmm0, %xmm0
movsd %xmm0, -0x30(%rbp)
jmp 0x7b3a
movq -0x28(%rbp), %rdi
movsd -0x30(%rbp), %xmm0
movsd 0x155a5(%rip), %xmm1    # 0x1d0f0
mulsd %xmm1, %xmm0
leaq 0x16de2(%rip), %rsi     # 0x1e938
movl $0x1, %edx
callq 0x1ab40
movq -0x8(%rbp), %rdi
movl 0x428(%rdi), %eax
cvtsi2sd %rax, %xmm0
leaq 0x17bb0(%rip), %rsi     # 0x1f726
xorl %edx, %edx
movl %edx, -0x44(%rbp)
callq 0x1ab40
movl -0x44(%rbp), %edx
movq -0x8(%rbp), %rdi
movl 0x41c(%rdi), %eax
cvtsi2sd %rax, %xmm0
leaq 0x15fa8(%rip), %rsi     # 0x1db41
callq 0x1ab40
movl -0x44(%rbp), %edx
movq -0x8(%rbp), %rdi
movl 0x42c(%rdi), %eax
cvtsi2sd %rax, %xmm0
leaq 0x172e5(%rip), %rsi     # 0x1ee9c
callq 0x1ab40
movl -0x44(%rbp), %edx
movq -0x8(%rbp), %rdi
movl 0x3a8(%rdi), %eax
cvtsi2sd %rax, %xmm0
leaq 0x17b5a(%rip), %rsi     # 0x1f72f
callq 0x1ab40
movq -0x8(%rbp), %rdi
movq %rdi, -0x40(%rbp)
callq 0x19b70
movq -0x40(%rbp), %rdi
movl %eax, %eax
cvtsi2sd %rax, %xmm0
movsd 0x154ee(%rip), %xmm1    # 0x1d0e8
divsd %xmm1, %xmm0
leaq 0x17b30(%rip), %rsi     # 0x1f735
movl $0x1, %edx
callq 0x1ab40
movq -0x8(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x8(%rbp), %rdi
callq 0x1abe0
movq -0x38(%rbp), %rdi
leaq 0x17b12(%rip), %rsi     # 0x1f73d
movl $0x1, %edx
callq 0x1ab40
movq -0x8(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
xorl %edx, %edx
xorps %xmm0, %xmm0
callq 0x1ab40
movq -0x8(%rbp), %rax
movl 0x384(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x384(%rax)
movl -0x14(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x7a26
movq -0x8(%rbp), %rax
movl 0x384(%rax), %eax
movl $0x16, %ecx
cltd
idivl %ecx
cmpl $0x15, %edx
jne 0x7c88
movq -0x8(%rbp), %rdi
callq 0x7ca0
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x1160
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax,%rax)