// File: /workspace/github_cpp_makefile_star2_O3/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 $0xb8, %rsp
movq %rdx, %rbx
movq %rsi, %r15
movb 0x346eb(%rip), %al      # 0x3d258
testb %al, %al
leaq 0x256a5(%rip), %rbp     # 0x2e21b
leaq 0x233e5(%rip), %r12     # 0x2bf62
movq %r12, %rsi
cmovneq %rbp, %rsi
leaq 0x7(%rsi), %rdx
testb %al, %al
movq 0x90(%rbx), %r14
movq 0x8(%r14), %rax
movq %rax, 0x48(%rsp)
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
cmoveq %rsi, %rdx
leaq 0x8(%rsp), %r13
movq %r13, %rdi
callq 0xd386
movq (%r13), %rsi
movq 0x8(%r13), %rdx
movq %r15, 0x50(%rsp)
movq %r15, %rdi
callq 0x52e0
movq %rax, %r13
leaq 0x25554(%rip), %rsi     # 0x2e127
movl $0x6, %edx
movq %rax, %rdi
callq 0x52e0
movzbl 0x34671(%rip), %eax     # 0x3d258
leaq 0x22bef(%rip), %rcx     # 0x2b7dd
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 0xd386
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r13, %rdi
callq 0x52e0
movq %rax, %r13
leaq 0x25504(%rip), %rsi     # 0x2e12e
movl $0xb, %edx
movq %rax, %rdi
callq 0x52e0
leaq 0x229ca(%rip), %rsi     # 0x2b608
movl $0x6, %edx
movq %r13, %rdi
callq 0x52e0
movq 0x70(%rbx), %rsi
movq 0x78(%rbx), %rdx
movq %r13, %rdi
callq 0x52e0
movq %rax, %r13
leaq 0x225c4(%rip), %rsi     # 0x2b229
movl $0x6, %edx
movq %rax, %rdi
callq 0x52e0
movl 0x98(%rbx), %esi
movq %r13, %rdi
callq 0x51d0
movq %rax, %r13
leaq 0x254b0(%rip), %rsi     # 0x2e13a
movl $0x14, %edx
movq %rax, %rdi
callq 0x52e0
movl 0x9c(%rbx), %esi
movq %r13, %rdi
callq 0x51d0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x8cb9
callq 0x5260
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x8ccd
callq 0x5260
movb 0x34585(%rip), %al      # 0x3d258
testb %al, %al
cmoveq %r12, %rbp
leaq 0x7(%rbp), %rdx
testb %al, %al
movq 0xa0(%rbx), %r13
leaq 0x8(%rsp), %r15
leaq 0x18(%rsp), %rax
movq %rax, (%r15)
cmoveq %rbp, %rdx
movq %r15, %rdi
movq %rbp, %rsi
callq 0xd386
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq 0x50(%rsp), %rdi
callq 0x52e0
movq %rax, %rbp
leaq 0x25432(%rip), %rsi     # 0x2e14f
movl $0xc, %edx
movq %rax, %rdi
callq 0x52e0
movq %r13, %rdi
movq %rbx, %rsi
callq 0x1250c
cvtss2sd %xmm0, %xmm0
movq %rbp, %rdi
callq 0x53b0
movq %rax, %rbp
movzbl 0x3450d(%rip), %eax     # 0x3d258
testl %eax, %eax
leaq 0x22a89(%rip), %rcx     # 0x2b7dd
cmovneq %rcx, %r12
leaq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rcx
movq %rcx, (%rdi)
leaq (%r12,%rax,4), %rdx
movq %r12, %rsi
callq 0xd386
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %rbp, %rdi
callq 0x52e0
movq %rax, %r12
leaq 0x253cf(%rip), %rsi     # 0x2e15c
movl $0xe, %edx
movq %rax, %rdi
callq 0x52e0
movl 0x50(%r13), %esi
movq %r12, %rdi
callq 0x51d0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x8dba
callq 0x5260
leaq 0x70(%rbx), %r12
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x8dd2
callq 0x5260
xorl %ebp, %ebp
leaq 0x8(%rsp), %r15
movl $0xc, %ecx
movq %r15, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x52b0
leaq 0x25379(%rip), %rsi     # 0x2e16b
movq %r15, %rdi
callq 0x50c0
testl %eax, %eax
je 0x8e3e
leaq 0x28(%rsp), %rdi
movl $0x9, %ecx
movq %r12, %rsi
xorl %edx, %edx
callq 0x52b0
leaq 0x2535f(%rip), %rsi     # 0x2e178
leaq 0x28(%rsp), %r15
movq %r15, %rdi
callq 0x50c0
testl %eax, %eax
setne %bpl
movq (%r15), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x8e3e
callq 0x5260
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x8e52
callq 0x5260
testb %bpl, %bpl
je 0x8e8b
leaq 0x25324(%rip), %rsi     # 0x2e182
movl $0x12, %edx
movq 0x50(%rsp), %r15
movq %r15, %rdi
callq 0x52e0
movq 0x48(%rsp), %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x299cc
movq %r15, %rdi
movq %rax, %rsi
callq 0x51d0
movq 0x10(%r14), %r15
leaq 0x252ff(%rip), %rsi     # 0x2e195
movl $0x15, %edx
movq 0x50(%rsp), %r14
movq %r14, %rdi
callq 0x52e0
testq %r15, %r15
je 0x8ed4
cvtss2sd 0x10(%r15), %xmm0
movq 0x3410e(%rip), %rsi     # 0x3cfc8
leaq 0x22b6b(%rip), %rcx     # 0x2ba2c
leaq 0x8(%rsp), %rdi
movl $0x3a, %edx
movb $0x1, %al
callq 0xee0a
jmp 0x8ef4
leaq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
movq %rax, (%rdi)
leaq 0x252c3(%rip), %rsi     # 0x2e1ab
leaq 0x252be(%rip), %rdx     # 0x2e1ad
callq 0xd386
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0x52e0
movq %rax, %r12
leaq 0x2529e(%rip), %rsi     # 0x2e1ae
movl $0x16, %edx
movq %rax, %rdi
callq 0x52e0
testq %r15, %r15
je 0x8f4c
xorps %xmm0, %xmm0
cvtss2sd 0x14(%r15), %xmm0
movq 0x34096(%rip), %rsi     # 0x3cfc8
leaq 0x22af3(%rip), %rcx     # 0x2ba2c
leaq 0x28(%rsp), %rdi
movl $0x3a, %edx
movb $0x1, %al
callq 0xee0a
jmp 0x8f6c
leaq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
movq %rax, (%rdi)
leaq 0x2524b(%rip), %rsi     # 0x2e1ab
leaq 0x25246(%rip), %rdx     # 0x2e1ad
callq 0xd386
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r12, %rdi
callq 0x52e0
movq %rax, %r12
leaq 0x2523d(%rip), %rsi     # 0x2e1c5
movl $0x17, %edx
movq %rax, %rdi
callq 0x52e0
leaq 0xa8(%rsp), %r13
testq %r15, %r15
je 0x8fed
movl 0x18(%r15), %ebp
movl $0x1, %eax
cmpl $0xa, %ebp
jb 0x9014
movl $0x4, %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
movl %ebp, %edx
cmpl $0x63, %edx
jbe 0x900d
cmpl $0x3e7, %edx            # imm = 0x3E7
jbe 0x9012
cmpl $0x2710, %edx           # imm = 0x2710
jb 0x9014
movl %edx, %esi
imulq %rcx, %rsi
shrq $0x2d, %rsi
addl $0x4, %eax
cmpl $0x1869f, %edx          # imm = 0x1869F
movl %esi, %edx
ja 0x8fbc
addl $-0x3, %eax
jmp 0x9014
leaq 0x98(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x251ac(%rip), %rsi     # 0x2e1ab
leaq 0x251a7(%rip), %rdx     # 0x2e1ad
callq 0xd386
jmp 0x903e
addl $-0x2, %eax
jmp 0x9014
decl %eax
movl %eax, %esi
leaq 0x98(%rsp), %rdi
movq %r13, (%rdi)
xorl %edx, %edx
callq 0x5300
movq 0x98(%rsp), %rdi
movl 0xa0(%rsp), %esi
movl %ebp, %edx
callq 0xeebb
movq 0x98(%rsp), %rsi
movq 0xa0(%rsp), %rdx
movq %r12, %rdi
callq 0x52e0
movq %rax, %r12
leaq 0x25165(%rip), %rsi     # 0x2e1c5
movl $0x17, %edx
movq %rax, %rdi
callq 0x52e0
testq %r15, %r15
je 0x90bd
movl 0x18(%r15), %ebp
movl $0x1, %eax
cmpl $0xa, %ebp
jb 0x90ea
movl $0x4, %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
movl %ebp, %edx
cmpl $0x63, %edx
jbe 0x90e3
cmpl $0x3e7, %edx            # imm = 0x3E7
jbe 0x90e8
cmpl $0x2710, %edx           # imm = 0x2710
jb 0x90ea
movl %edx, %esi
imulq %rcx, %rsi
shrq $0x2d, %rsi
addl $0x4, %eax
cmpl $0x1869f, %edx          # imm = 0x1869F
movl %esi, %edx
ja 0x908c
addl $-0x3, %eax
jmp 0x90ea
leaq 0x88(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x250db(%rip), %rsi     # 0x2e1ab
leaq 0x250d6(%rip), %rdx     # 0x2e1ad
leaq 0x78(%rsp), %rdi
callq 0xd386
jmp 0x9117
addl $-0x2, %eax
jmp 0x90ea
decl %eax
movl %eax, %esi
leaq 0x88(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x78(%rsp), %rdi
xorl %edx, %edx
callq 0x5300
movq 0x78(%rsp), %rdi
movl 0x80(%rsp), %esi
movl %ebp, %edx
callq 0xeebb
movq 0x78(%rsp), %rsi
movq 0x80(%rsp), %rdx
movq %r12, %rdi
callq 0x52e0
movq %rax, %r12
leaq 0x250a7(%rip), %rsi     # 0x2e1dd
movl $0x10, %edx
movq %rax, %rdi
callq 0x52e0
movq %r13, %rbp
testq %r15, %r15
je 0x91aa
movq (%r15), %rax
movq %r15, %rdi
callq *0x28(%rax)
movq %rax, %r13
movl $0x1, %esi
cmpq $0xa, %rax
jb 0x91d4
movl $0x4, %esi
movabsq $0x346dc5d63886594b, %rdi # imm = 0x346DC5D63886594B
movq %r13, %rcx
cmpq $0x63, %rcx
jbe 0x91cd
cmpq $0x3e7, %rcx            # imm = 0x3E7
jbe 0x91d2
cmpq $0x2710, %rcx           # imm = 0x2710
jb 0x91d4
movq %rcx, %rax
mulq %rdi
shrq $0xb, %rdx
addl $0x4, %esi
cmpq $0x1869f, %rcx          # imm = 0x1869F
movq %rdx, %rcx
ja 0x9174
addl $-0x3, %esi
jmp 0x91d4
leaq 0x68(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x24ff1(%rip), %rsi     # 0x2e1ab
leaq 0x24fec(%rip), %rdx     # 0x2e1ad
leaq 0x58(%rsp), %rdi
callq 0xd386
jmp 0x91fc
addl $-0x2, %esi
jmp 0x91d4
decl %esi
movl %esi, %esi
leaq 0x68(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x58(%rsp), %rdi
xorl %edx, %edx
callq 0x5300
movq 0x58(%rsp), %rdi
movl 0x60(%rsp), %esi
movq %r13, %rdx
callq 0x190d9
movq 0x58(%rsp), %rsi
movq 0x60(%rsp), %rdx
movq %r12, %rdi
callq 0x52e0
leaq 0x68(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x9221
callq 0x5260
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
testq %r15, %r15
je 0x927e
cmpq %rax, %rdi
je 0x923c
callq 0x5260
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x924e
callq 0x5260
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x9262
callq 0x5260
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x9276
callq 0x5260
movss 0x10(%r15), %xmm0
jmp 0x92c5
cmpq %rax, %rdi
je 0x9288
callq 0x5260
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x929a
callq 0x5260
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x92ae
callq 0x5260
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x92c2
callq 0x5260
xorps %xmm0, %xmm0
movss %xmm0, 0x48(%rsp)
leaq 0x24f1c(%rip), %rsi     # 0x2e1ee
movl $0xa, %edx
movq %r14, %rdi
callq 0x52e0
xorps %xmm0, %xmm0
cvtss2sd 0xb0(%rbx), %xmm0
movq %r14, %rdi
callq 0x53b0
movq %rax, %r14
leaq 0x24efd(%rip), %rsi     # 0x2e1f9
movl $0x10, %edx
movq %rax, %rdi
callq 0x52e0
testq %r15, %r15
je 0x9338
xorps %xmm0, %xmm0
cvtss2sd 0x48(%rsp), %xmm0
movq 0x33caa(%rip), %rsi     # 0x3cfc8
leaq 0x22707(%rip), %rcx     # 0x2ba2c
leaq 0x8(%rsp), %rdi
movl $0x3a, %edx
movb $0x1, %al
callq 0xee0a
jmp 0x9358
leaq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
movq %rax, (%rdi)
leaq 0x24e5f(%rip), %rsi     # 0x2e1ab
leaq 0x24e5a(%rip), %rdx     # 0x2e1ad
callq 0xd386
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0x52e0
movq %rax, %r14
leaq 0x24e96(%rip), %rsi     # 0x2e20a
movl $0x10, %edx
movq %rax, %rdi
callq 0x52e0
movss 0xb0(%rbx), %xmm0
subss 0x48(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movq %r14, %rdi
callq 0x53b0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5270
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51e0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x93d9
callq 0x5260
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x945a
jmp 0x940d
movq %rax, %rbx
leaq 0x68(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x941e
callq 0x5260
jmp 0x941e
jmp 0x9436
jmp 0x945f
jmp 0x945a
movq %rax, %rbx
jmp 0x948a
jmp 0x945a
jmp 0x945a
jmp 0x941b
movq %r13, %rbp
movq %rax, %rbx
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x943c
callq 0x5260
jmp 0x943c
movq %r13, %rbp
movq %rax, %rbx
movq 0x98(%rsp), %rdi
cmpq %rbp, %rdi
je 0x9462
callq 0x5260
jmp 0x9462
jmp 0x945f
jmp 0x945a
jmp 0x945a
jmp 0x945f
jmp 0x945a
movq %rax, %rbx
jmp 0x9476
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x9476
callq 0x5260
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x948a
callq 0x5260
movq %rbx, %rdi
callq 0x5410