// File: Kei18[P]pibt/./src/solver/iecbs.cpp
// Function: iECBS::logStr[abi:cxx11]()
std::string iECBS::logStr() {
  std::string str;
  str += "[solver] type:iECBS\n";
  str += "[solver] w:" + std::to_string(w) + "\n";
  str += "[solver] highway:" + highwayFile + "\n";
  str += "[solver] ID:" + std::to_string(ID) + "\n";
  str += Solver::logStr();
  return str;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x160, %rsp            # imm = 0x160
movq %rdi, -0x150(%rbp)
movq %rdi, %rax
movq %rax, -0x160(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x158(%rbp)
movb $0x0, -0x11(%rbp)
callq 0x86b0
movq -0x150(%rbp), %rdi
leaq 0x3560b(%rip), %rsi     # 0xb5cc1
callq 0x84c0
jmp 0x806bd
movq -0x158(%rbp), %rax
movss 0xa8(%rax), %xmm0
leaq -0x88(%rbp), %rdi
callq 0x555e0
jmp 0x806da
leaq 0x352a2(%rip), %rsi     # 0xb5983
leaq -0x68(%rbp), %rdi
leaq -0x88(%rbp), %rdx
callq 0xdf00
jmp 0x806f3
leaq 0x32ebd(%rip), %rdx     # 0xb35b7
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xdeb0
jmp 0x80709
movq -0x150(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x8640
jmp 0x8071b
leaq -0x48(%rbp), %rdi
callq 0x8330
leaq -0x68(%rbp), %rdi
callq 0x8330
leaq -0x88(%rbp), %rdi
callq 0x8330
movq -0x158(%rbp), %rdx
addq $0xf0, %rdx
leaq 0x35588(%rip), %rsi     # 0xb5cd6
leaq -0xc8(%rbp), %rdi
callq 0xe070
jmp 0x8075c
leaq 0x32e54(%rip), %rdx     # 0xb35b7
leaq -0xa8(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0xdeb0
jmp 0x80778
movq -0x150(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x8640
jmp 0x8078d
leaq -0xa8(%rbp), %rdi
callq 0x8330
leaq -0xc8(%rbp), %rdi
callq 0x8330
movq -0x158(%rbp), %rax
movzbl 0x68(%rax), %esi
andl $0x1, %esi
leaq -0x128(%rbp), %rdi
callq 0xdf50
jmp 0x807c1
leaq 0x3507e(%rip), %rsi     # 0xb5846
leaq -0x108(%rbp), %rdi
leaq -0x128(%rbp), %rdx
callq 0xdf00
jmp 0x807dd
leaq 0x32dd3(%rip), %rdx     # 0xb35b7
leaq -0xe8(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0xdeb0
jmp 0x807f9
movq -0x150(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
callq 0x8640
jmp 0x8080e
leaq -0xe8(%rbp), %rdi
callq 0x8330
leaq -0x108(%rbp), %rdi
callq 0x8330
leaq -0x128(%rbp), %rdi
callq 0x8330
movq -0x158(%rbp), %rsi
leaq -0x148(%rbp), %rdi
callq 0x9da50
jmp 0x80847
movq -0x150(%rbp), %rdi
leaq -0x148(%rbp), %rsi
callq 0x8640
jmp 0x8085c
leaq -0x148(%rbp), %rdi
callq 0x8330
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0x80982
jmp 0x80976
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x80992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x808c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x808bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x8330
leaq -0x68(%rbp), %rdi
callq 0x8330
leaq -0x88(%rbp), %rdi
callq 0x8330
jmp 0x80992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x808fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x8330
leaq -0xc8(%rbp), %rdi
callq 0x8330
jmp 0x80992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x8094e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x80942
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0xe8(%rbp), %rdi
callq 0x8330
leaq -0x108(%rbp), %rdi
callq 0x8330
leaq -0x128(%rbp), %rdi
callq 0x8330
jmp 0x80992
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x148(%rbp), %rdi
callq 0x8330
jmp 0x80992
movq -0x150(%rbp), %rdi
callq 0x8330
movq -0x160(%rbp), %rax
addq $0x160, %rsp            # imm = 0x160
popq %rbp
retq
movq -0x150(%rbp), %rdi
callq 0x8330
movq -0x20(%rbp), %rdi
callq 0x8880
nopw (%rax,%rax)