// File: /workspace/github_cpp_makefile_star2_O1/bonetblai[P]mdp-engine/ctp3/../engine/dispatcher.h
// Function: Dispatcher::dispatcher_t<state_t>::print_stats(std::ostream&, Dispatcher::dispatcher_t<state_t>::solve_result_t const&) const
void dispatcher_t<T>::print_stats(std::ostream &os, const solve_result_t &result) const {
    const Algorithm::algorithm_t<T> &algorithm = *result.algorithm_;
    const Problem::problem_t<T> &problem = algorithm.problem();

    // general stats
    os << Utils::green() << "stats:" << Utils::normal()
       << " type=solve"
       << " name=" << result.name_
       << " seed=" << result.seed_
       << " problem.expansions=" << result.problem_expansions_;

    // stats from hash
    const Problem::hash_t<T> &hash = *result.hash_;
    os << Utils::green() << " hash.value=" << hash.value(result.state_) << Utils::normal()
       << " hash.updates=" << hash.updates();
    if( (result.name_.substr(0, 12) != "simple_astar") && (result.name_.substr(0, 9) != "simple_a*") )
        os << " hash.policy-size=" << problem.policy_size(hash, result.state_);

    // stats fron heuristic
    const Heuristic::heuristic_t<T> *heuristic = algorithm.heuristic();
    os << " heuristic.eval-time=" << (heuristic == 0 ? std::string("na") : std::to_string(heuristic->eval_time()))
       << " heuristic.setup-time=" << (heuristic == 0 ? std::string("na") : std::to_string(heuristic->setup_time()))
       << " heuristic.evaluations=" << (heuristic == 0 ? std::string("na") : std::to_string(heuristic->evaluations()))
       << " heuristic.evaluations=" << (heuristic == 0 ? std::string("na") : std::to_string(heuristic->evaluations()))
       << " heuristic.size=" << (heuristic == 0 ? std::string("na") : std::to_string(heuristic->size()));

    // time stats
    float time_heuristic = heuristic == 0 ? 0 : heuristic->eval_time();
    os << " time.raw=" << result.time_raw_
       << " time.heuristic=" << (heuristic == 0 ? std::string("na") : std::to_string(time_heuristic))
       << " time.algorithm=" << result.time_raw_ - time_heuristic
       << std::endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movb 0x35521(%rip), %al      # 0x3f258
testb %al, %al
leaq 0x26552(%rip), %rbp     # 0x30292
leaq 0x24220(%rip), %r12     # 0x2df67
movq %r12, %rsi
cmovneq %rbp, %rsi
leaq 0x7(%rsi), %rdx
testb %al, %al
movq 0x90(%rbx), %r15
movq 0x8(%r15), %rax
movq %rax, 0xb0(%rsp)
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
cmoveq %rsi, %rdx
movq %rsp, %r13
movq %r13, %rdi
callq 0xe5ba
movq (%r13), %rsi
movq 0x8(%r13), %rdx
movq %r14, %rdi
callq 0x62e0
movq %rax, %r13
leaq 0x26405(%rip), %rsi     # 0x3019e
movl $0x6, %edx
movq %rax, %rdi
callq 0x62e0
movzbl 0x354ab(%rip), %eax     # 0x3f258
leaq 0x23a2e(%rip), %rcx     # 0x2d7e2
testl %eax, %eax
movq %r12, %rsi
cmovneq %rcx, %rsi
leaq 0x38(%rsp), %rcx
movq %rcx, -0x10(%rcx)
leaq (%rsi,%rax,4), %rdx
leaq 0x28(%rsp), %rdi
callq 0xe5ba
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r13, %rdi
callq 0x62e0
movq %rax, %r13
leaq 0x263b5(%rip), %rsi     # 0x301a5
movl $0xb, %edx
movq %rax, %rdi
callq 0x62e0
leaq 0x23809(%rip), %rsi     # 0x2d60d
movl $0x6, %edx
movq %r13, %rdi
callq 0x62e0
movq 0x70(%rbx), %rsi
movq 0x78(%rbx), %rdx
movq %r13, %rdi
callq 0x62e0
movq %rax, %r13
leaq 0x233ee(%rip), %rsi     # 0x2d219
movl $0x6, %edx
movq %rax, %rdi
callq 0x62e0
movl 0x98(%rbx), %esi
movq %r13, %rdi
callq 0x61d0
movq %rax, %r13
leaq 0x26361(%rip), %rsi     # 0x301b1
movl $0x14, %edx
movq %rax, %rdi
callq 0x62e0
movl 0x9c(%rbx), %esi
movq %r13, %rdi
callq 0x61d0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x9e7f
callq 0x6260
movq %r15, 0x20(%rsp)
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x9e97
callq 0x6260
movb 0x353bb(%rip), %al      # 0x3f258
testb %al, %al
cmoveq %r12, %rbp
leaq 0x7(%rbp), %rdx
testb %al, %al
movq 0xa0(%rbx), %r13
movq %rsp, %r15
leaq 0x10(%rsp), %rax
movq %rax, (%r15)
cmoveq %rbp, %rdx
movq %r15, %rdi
movq %rbp, %rsi
callq 0xe5ba
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %r14, %rdi
callq 0x62e0
movq %rax, %rbp
leaq 0x262e3(%rip), %rsi     # 0x301c6
movl $0xc, %edx
movq %rax, %rdi
callq 0x62e0
movq %r13, %rdi
movq %rbx, %rsi
callq 0x13814
cvtss2sd %xmm0, %xmm0
movq %rbp, %rdi
callq 0x63b0
movq %rax, %rbp
movzbl 0x35347(%rip), %eax     # 0x3f258
testl %eax, %eax
leaq 0x238c8(%rip), %rcx     # 0x2d7e2
cmovneq %rcx, %r12
leaq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rcx
movq %rcx, (%rdi)
leaq (%r12,%rax,4), %rdx
movq %r12, %rsi
callq 0xe5ba
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %rbp, %rdi
callq 0x62e0
movq %rax, %r12
leaq 0x26280(%rip), %rsi     # 0x301d3
movl $0xe, %edx
movq %rax, %rdi
callq 0x62e0
movl 0x50(%r13), %esi
movq %r12, %rdi
callq 0x61d0
movq %r13, 0xa8(%rsp)
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x9f88
callq 0x6260
movq %r14, %r13
leaq 0x70(%rbx), %r12
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x9fa2
callq 0x6260
xorl %r14d, %r14d
movq %rsp, %r15
movl $0xc, %ecx
movq %r15, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x62b0
leaq 0x26221(%rip), %rsi     # 0x301e2
movq %r15, %rdi
callq 0x60c0
movl %eax, %ebp
testl %eax, %eax
je 0xa001
leaq 0x28(%rsp), %rdi
movl $0x9, %ecx
movq %r12, %rsi
xorl %edx, %edx
callq 0x62b0
movq 0x20(%rsp), %r15
leaq 0x26200(%rip), %rsi     # 0x301ef
leaq 0x28(%rsp), %rdi
callq 0x60c0
testl %eax, %eax
setne %r14b
jmp 0xa006
movq 0x20(%rsp), %r15
testl %ebp, %ebp
je 0xa01e
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xa01e
callq 0x6260
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0xa031
callq 0x6260
testb %r14b, %r14b
movq %r13, %r14
je 0xa070
leaq 0x261b9(%rip), %rsi     # 0x301f9
movl $0x12, %edx
movq %r14, %rdi
callq 0x62e0
movq 0xb0(%rsp), %rdi
movq 0xa8(%rsp), %rsi
movq %rbx, %rdx
callq 0x2b79a
movq %r14, %rdi
movq %rax, %rsi
callq 0x61d0
movq 0x10(%r15), %r15
leaq 0x26191(%rip), %rsi     # 0x3020c
movl $0x15, %edx
movq %r14, %rdi
callq 0x62e0
testq %r15, %r15
je 0xa0b2
cvtss2sd 0x10(%r15), %xmm0
movq 0x34f2e(%rip), %rsi     # 0x3efc8
leaq 0x23990(%rip), %rcx     # 0x2da31
movq %rsp, %rdi
movl $0x3a, %edx
movb $0x1, %al
callq 0x10062
jmp 0xa0d0
movq %rsp, %rdi
leaq 0x10(%rsp), %rax
movq %rax, (%rdi)
leaq 0x2615e(%rip), %rsi     # 0x30222
leaq 0x26159(%rip), %rdx     # 0x30224
callq 0xe5ba
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0x62e0
movq %rax, %r12
leaq 0x2613a(%rip), %rsi     # 0x30225
movl $0x16, %edx
movq %rax, %rdi
callq 0x62e0
testq %r15, %r15
je 0xa12a
xorps %xmm0, %xmm0
cvtss2sd 0x14(%r15), %xmm0
movq 0x34ebb(%rip), %rsi     # 0x3efc8
leaq 0x2391d(%rip), %rcx     # 0x2da31
leaq 0xb8(%rsp), %rdi
movl $0x3a, %edx
movb $0x1, %al
callq 0x10062
jmp 0xa151
leaq 0xc8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x260e5(%rip), %rsi     # 0x30222
leaq 0x260e0(%rip), %rdx     # 0x30224
leaq 0xb8(%rsp), %rdi
callq 0xe5ba
movq 0xb8(%rsp), %rsi
movq 0xc0(%rsp), %rdx
movq %r12, %rdi
callq 0x62e0
movq %rax, %r12
leaq 0x260c9(%rip), %rsi     # 0x3023c
movl $0x17, %edx
movq %rax, %rdi
callq 0x62e0
leaq 0x98(%rsp), %r13
testq %r15, %r15
je 0xa1d8
movl 0x18(%r15), %ebp
movl $0x1, %eax
cmpl $0xa, %ebp
jb 0xa1ff
movl $0x4, %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
movl %ebp, %edx
cmpl $0x63, %edx
jbe 0xa1f8
cmpl $0x3e7, %edx            # imm = 0x3E7
jbe 0xa1fd
cmpl $0x2710, %edx           # imm = 0x2710
jb 0xa1ff
movl %edx, %esi
imulq %rcx, %rsi
shrq $0x2d, %rsi
addl $0x4, %eax
cmpl $0x1869f, %edx          # imm = 0x1869F
movl %esi, %edx
ja 0xa1a7
addl $-0x3, %eax
jmp 0xa1ff
leaq 0x88(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x26038(%rip), %rsi     # 0x30222
leaq 0x26033(%rip), %rdx     # 0x30224
callq 0xe5ba
jmp 0xa229
addl $-0x2, %eax
jmp 0xa1ff
decl %eax
movl %eax, %esi
leaq 0x88(%rsp), %rdi
movq %r13, (%rdi)
xorl %edx, %edx
callq 0x6300
movq 0x88(%rsp), %rdi
movl 0x90(%rsp), %esi
movl %ebp, %edx
callq 0x10113
movq 0x88(%rsp), %rsi
movq 0x90(%rsp), %rdx
movq %r12, %rdi
callq 0x62e0
movq %rax, %r12
leaq 0x25ff1(%rip), %rsi     # 0x3023c
movl $0x17, %edx
movq %rax, %rdi
callq 0x62e0
testq %r15, %r15
je 0xa2a8
movl 0x18(%r15), %ebp
movl $0x1, %eax
cmpl $0xa, %ebp
jb 0xa2d2
movl $0x4, %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
movl %ebp, %edx
cmpl $0x63, %edx
jbe 0xa2cb
cmpl $0x3e7, %edx            # imm = 0x3E7
jbe 0xa2d0
cmpl $0x2710, %edx           # imm = 0x2710
jb 0xa2d2
movl %edx, %esi
imulq %rcx, %rsi
shrq $0x2d, %rsi
addl $0x4, %eax
cmpl $0x1869f, %edx          # imm = 0x1869F
movl %esi, %edx
ja 0xa277
addl $-0x3, %eax
jmp 0xa2d2
leaq 0x78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x25f6a(%rip), %rsi     # 0x30222
leaq 0x25f65(%rip), %rdx     # 0x30224
leaq 0x68(%rsp), %rdi
callq 0xe5ba
jmp 0xa2f9
addl $-0x2, %eax
jmp 0xa2d2
decl %eax
movl %eax, %esi
leaq 0x78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x68(%rsp), %rdi
xorl %edx, %edx
callq 0x6300
movq 0x68(%rsp), %rdi
movl 0x70(%rsp), %esi
movl %ebp, %edx
callq 0x10113
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq %r12, %rdi
callq 0x62e0
movq %rax, %r12
leaq 0x25f3f(%rip), %rsi     # 0x30254
movl $0x10, %edx
movq %rax, %rdi
callq 0x62e0
movq %r13, %rbp
testq %r15, %r15
je 0xa389
movq (%r15), %rax
movq %r15, %rdi
callq *0x28(%rax)
movq %rax, %r13
movl $0x1, %esi
cmpq $0xa, %rax
jb 0xa3b3
movl $0x4, %esi
movabsq $0x346dc5d63886594b, %rdi # imm = 0x346DC5D63886594B
movq %r13, %rcx
cmpq $0x63, %rcx
jbe 0xa3ac
cmpq $0x3e7, %rcx            # imm = 0x3E7
jbe 0xa3b1
cmpq $0x2710, %rcx           # imm = 0x2710
jb 0xa3b3
movq %rcx, %rax
mulq %rdi
shrq $0xb, %rdx
addl $0x4, %esi
cmpq $0x1869f, %rcx          # imm = 0x1869F
movq %rdx, %rcx
ja 0xa353
addl $-0x3, %esi
jmp 0xa3b3
leaq 0x58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x25e89(%rip), %rsi     # 0x30222
leaq 0x25e84(%rip), %rdx     # 0x30224
leaq 0x48(%rsp), %rdi
callq 0xe5ba
jmp 0xa3db
addl $-0x2, %esi
jmp 0xa3b3
decl %esi
movl %esi, %esi
leaq 0x58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x48(%rsp), %rdi
xorl %edx, %edx
callq 0x6300
movq 0x48(%rsp), %rdi
movl 0x50(%rsp), %esi
movq %r13, %rdx
callq 0x1a96e
movq 0x48(%rsp), %rsi
movq 0x50(%rsp), %rdx
movq %r12, %rdi
callq 0x62e0
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa400
callq 0x6260
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa413
callq 0x6260
movq 0x88(%rsp), %rdi
cmpq %rbp, %rdi
je 0xa425
callq 0x6260
leaq 0xc8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa43b
callq 0x6260
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0xa44e
callq 0x6260
testq %r15, %r15
je 0xa45b
movss 0x10(%r15), %xmm0
jmp 0xa45e
xorps %xmm0, %xmm0
movss %xmm0, 0x20(%rsp)
leaq 0x25dfa(%rip), %rsi     # 0x30265
movl $0xa, %edx
movq %r14, %rdi
callq 0x62e0
xorps %xmm0, %xmm0
cvtss2sd 0xb0(%rbx), %xmm0
movq %r14, %rdi
callq 0x63b0
movq %rax, %r14
leaq 0x25ddb(%rip), %rsi     # 0x30270
movl $0x10, %edx
movq %rax, %rdi
callq 0x62e0
testq %r15, %r15
je 0xa4cf
xorps %xmm0, %xmm0
cvtss2sd 0x20(%rsp), %xmm0
movq 0x34b11(%rip), %rsi     # 0x3efc8
leaq 0x23573(%rip), %rcx     # 0x2da31
movq %rsp, %rdi
movl $0x3a, %edx
movb $0x1, %al
callq 0x10062
jmp 0xa4ed
movq %rsp, %rdi
leaq 0x10(%rsp), %rax
movq %rax, (%rdi)
leaq 0x25d41(%rip), %rsi     # 0x30222
leaq 0x25d3c(%rip), %rdx     # 0x30224
callq 0xe5ba
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0x62e0
movq %rax, %r14
leaq 0x25d79(%rip), %rsi     # 0x30281
movl $0x10, %edx
movq %rax, %rdi
callq 0x62e0
movss 0xb0(%rbx), %xmm0
subss 0x20(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq %r14, %rdi
callq 0x63b0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x6270
movsbl %al, %esi
movq %rbx, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61e0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0xa56c
callq 0x6260
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xa5fc
jmp 0xa5a0
movq %rax, %rbx
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa5b4
callq 0x6260
jmp 0xa5b4
jmp 0xa5c9
jmp 0xa5e3
jmp 0xa5fc
movq %rax, %rbx
jmp 0xa62b
jmp 0xa5fc
jmp 0xa5fc
jmp 0xa5b1
movq %r13, %rbp
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa5cf
callq 0x6260
jmp 0xa5cf
movq %r13, %rbp
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %rbp, %rdi
je 0xa5e6
callq 0x6260
jmp 0xa5e6
movq %rax, %rbx
leaq 0xc8(%rsp), %rax
movq -0x10(%rax), %rdi
jmp 0xa60e
jmp 0xa5fc
jmp 0xa5fc
jmp 0xa601
jmp 0xa5fc
movq %rax, %rbx
jmp 0xa618
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xa618
callq 0x6260
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0xa62b
callq 0x6260
movq %rbx, %rdi
callq 0x6410
nop