LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::check_min() const
bool check_min() const {
        // check heap property in min_array
        for( unsigned index = 1; index <= min_size_; ++index ) {
            if( !check_min_heap_property(index) ) {
                std::cout << "heap property violated at min_array[index=" << index << "]" << std::endl;
                return false;
            }
        }

        // check invariants for xrefs in min_array
        for( unsigned index = 1; index <= min_size_; ++index ) {
            if( !check_min_invariant(index) ) {
                std::cout << "invariant violated for min_array[index=" << index << "]" << std::endl;
                return false;
            }
        }

        // all tests passed, declare it sound
        return true;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %r14
pushq $0x1
popq %rbx
movl 0x38(%r14), %eax
cmpl %eax, %ebx
ja 0x19568
movq %r14, %rdi
movl %ebx, %esi
callq 0x195e4
testb %al, %al
je 0x195a1
incl %ebx
jmp 0x1954e
movq 0x20(%r14), %rcx
movq 0x40(%r14), %rdx
xorl %esi, %esi
incl %esi
cmpl %eax, %esi
ja 0x195d9
movl %esi, %ebx
movl (%rdx,%rbx,4), %edi
movq (%rcx,%rdi,8), %rdi
cmpl 0x8(%rdi), %esi
je 0x19572
movq 0x1ba4b(%rip), %rdi     # 0x34fd8
leaq 0x838d(%rip), %rsi      # 0x21921
callq 0x5290
movq %rax, %rdi
movq %rbx, %rsi
jmp 0x195b9
movq 0x1ba30(%rip), %rdi     # 0x34fd8
leaq 0x8347(%rip), %rsi      # 0x218f6
callq 0x5290
movl %ebx, %esi
movq %rax, %rdi
callq 0x51c0
leaq 0x8694(%rip), %rsi      # 0x21c59
movq %rax, %rdi
callq 0x5290
movq %rax, %rdi
callq 0x5130
xorl %eax, %eax
jmp 0x195db
movb $0x1, %al
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::check_min_heap_property(unsigned int) const
bool check_min_heap_property(unsigned index) const {
        unsigned left = index << 1, right = 1 + left;
        if( (left <= min_size_) &&
            min_cmpfn_(max_array_[min_array_[index]]->element_, max_array_[min_array_[left]]->element_) ) {
            return false;
        }
        if( (right <= min_size_) &&
            min_cmpfn_(max_array_[min_array_[index]]->element_, max_array_[min_array_[right]]->element_) ) {
            return false;
        }
        return true;
    }

// Assembly:
leal (%rsi,%rsi), %ecx
movl 0x38(%rdi), %edx
movl %esi, %eax
cmpl %edx, %ecx
ja 0x1962f
movq 0x20(%rdi), %r8
movq 0x40(%rdi), %r9
movl (%r9,%rax,4), %r10d
movq (%r8,%r10,8), %r10
movq (%r10), %r10
movl %ecx, %r11d
movl (%r9,%r11,4), %r9d
movq (%r8,%r9,8), %r8
movq (%r8), %r8
movss 0xc(%r10), %xmm0
movaps 0x6a42(%rip), %xmm1     # 0x20060
andps %xmm1, %xmm0
movss 0xc(%r8), %xmm2
andps %xmm1, %xmm2
ucomiss %xmm0, %xmm2
ja 0x19674
cmpl %edx, %ecx
jae 0x19677
leal 0x1(,%rsi,2), %ecx
movq 0x20(%rdi), %rdx
movq 0x40(%rdi), %rsi
movl (%rsi,%rax,4), %eax
movq (%rdx,%rax,8), %rax
movq (%rax), %rax
movl %ecx, %ecx
movl (%rsi,%rcx,4), %ecx
movq (%rdx,%rcx,8), %rcx
movq (%rcx), %rcx
movss 0xc(%rax), %xmm0
movaps 0x69fc(%rip), %xmm1     # 0x20060
andps %xmm1, %xmm0
movss 0xc(%rcx), %xmm2
andps %xmm1, %xmm2
ucomiss %xmm0, %xmm2
jbe 0x19677
xorl %eax, %eax
retq
movb $0x1, %al
retq
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::random_setup_selection_strategy()
void random_setup_selection_strategy() {
        setup_expansion_loop_ptr_ = &aot_t::random_setup_expansion_loop;
        prepare_next_expansion_iteration_ptr_ = &aot_t::random_prepare_next_expansion_iteration;
        exist_nodes_to_expand_ptr_ = &aot_t::random_exist_nodes_to_expand;
        select_node_for_expansion_ptr_ = &aot_t::random_select_node_for_expansion;
        clear_internal_state_ptr_ = &aot_t::random_clear_internal_state;
    }

// Assembly:
leaq 0xd9(%rip), %rax        # 0x1975a
movq %rax, 0x168(%rdi)
andq $0x0, 0x170(%rdi)
leaq 0xcb(%rip), %rax        # 0x19762
movq %rax, 0x178(%rdi)
andq $0x0, 0x180(%rdi)
leaq 0x1d7(%rip), %rax       # 0x19884
movq %rax, 0x188(%rdi)
andq $0x0, 0x190(%rdi)
leaq 0x1cd(%rip), %rax       # 0x19890
movq %rax, 0x198(%rdi)
andq $0x0, 0x1a0(%rdi)
leaq 0x1c7(%rip), %rax       # 0x198a0
movq %rax, 0x1a8(%rdi)
andq $0x0, 0x1b0(%rdi)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::delta_setup_selection_strategy()
void delta_setup_selection_strategy() {
        setup_expansion_loop_ptr_ = &aot_t::delta_setup_expansion_loop;
        prepare_next_expansion_iteration_ptr_ = &aot_t::delta_prepare_next_expansion_iteration;
        exist_nodes_to_expand_ptr_ = &aot_t::delta_exist_nodes_to_expand;
        select_node_for_expansion_ptr_ = &aot_t::delta_select_node_for_expansion;
        clear_internal_state_ptr_ = &aot_t::delta_clear_internal_state;
    }

// Assembly:
leaq 0x1b9(%rip), %rax       # 0x198aa
movq %rax, 0x168(%rdi)
andq $0x0, 0x170(%rdi)
leaq 0x1d5(%rip), %rax       # 0x198dc
movq %rax, 0x178(%rdi)
andq $0x0, 0x180(%rdi)
leaq 0x1e1(%rip), %rax       # 0x198fe
movq %rax, 0x188(%rdi)
andq $0x0, 0x190(%rdi)
leaq 0x1db(%rip), %rax       # 0x1990e
movq %rax, 0x198(%rdi)
andq $0x0, 0x1a0(%rdi)
leaq 0x1cb(%rip), %rax       # 0x19914
movq %rax, 0x1a8(%rdi)
andq $0x0, 0x1b0(%rdi)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::insert_into_inside_priority_queue(Online::Policy::AOT::node_t<state_t>*) const
void insert_into_inside_priority_queue(node_t<T> *node) const {
#ifdef USE_BDD_PQ
        std::pair<bool, bool> p = inside_bdd_priority_queue_.push(node);
        node->in_pq_ = p.first;
        if( p.second ) {
            node_t<T> *removed = inside_bdd_priority_queue_.removed_element();
            assert(removed != 0);
            assert(removed->in_pq_);
            removed->in_pq_ = false;
        }
#else
        inside_priority_queue_.push(node);
        node->in_pq_ = true;
#endif
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq %rsp, %r14
movq %rsi, (%r14)
addq $0xa0, %rdi
movq %r14, %rsi
callq 0x19a5a
movq (%r14), %rcx
movl %eax, %edx
andb $0x1, %dl
movb %dl, 0x16(%rcx)
btl $0x8, %eax
jae 0x19989
movq 0xb0(%rbx), %rax
testq %rax, %rax
je 0x19991
cmpb $0x0, 0x16(%rax)
je 0x199b0
movb $0x0, 0x16(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x80d9(%rip), %rdi      # 0x21a71
leaq 0x7faa(%rip), %rsi      # 0x21949
leaq 0x80d8(%rip), %rcx      # 0x21a7e
movl $0x3d0, %edx            # imm = 0x3D0
callq 0x51b0
leaq 0x8134(%rip), %rdi      # 0x21aeb
leaq 0x7f8b(%rip), %rsi      # 0x21949
leaq 0x80b9(%rip), %rcx      # 0x21a7e
movl $0x3d1, %edx            # imm = 0x3D1
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::insert_into_outside_priority_queue(Online::Policy::AOT::node_t<state_t>*) const
void insert_into_outside_priority_queue(node_t<T> *node) const {
#ifdef USE_BDD_PQ
        std::pair<bool, bool> p = outside_bdd_priority_queue_.push(node);
        node->in_pq_ = p.first;
        if( p.second ) {
            node_t<T> *removed = outside_bdd_priority_queue_.removed_element();
            assert(removed != 0);
            assert(removed->in_pq_);
            removed->in_pq_ = false;
        }
#else
        outside_priority_queue_.push(node);
        node->in_pq_ = true;
#endif
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq %rsp, %r14
movq %rsi, (%r14)
addq $0xf8, %rdi
movq %r14, %rsi
callq 0x19a5a
movq (%r14), %rcx
movl %eax, %edx
andb $0x1, %dl
movb %dl, 0x16(%rcx)
btl $0x8, %eax
jae 0x19a13
movq 0x108(%rbx), %rax
testq %rax, %rax
je 0x19a1b
cmpb $0x0, 0x16(%rax)
je 0x19a3a
movb $0x0, 0x16(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x804f(%rip), %rdi      # 0x21a71
leaq 0x7f20(%rip), %rsi      # 0x21949
leaq 0x85ef(%rip), %rcx      # 0x2201f
movl $0x3df, %edx            # imm = 0x3DF
callq 0x51b0
leaq 0x80aa(%rip), %rdi      # 0x21aeb
leaq 0x7f01(%rip), %rsi      # 0x21949
leaq 0x85d0(%rip), %rcx      # 0x2201f
movl $0x3e0, %edx            # imm = 0x3E0
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::push(Online::Policy::AOT::node_t<state_t>*&)
std::pair<bool, bool> push(T &element) {
        if( max_size_ < capacity_ ) {
            container_t *container = allocate_container(element);
            push_max(1 + max_size_, container);
            ++max_size_;
            assert(check());
            return std::make_pair(true, false);
        } else {
            unsigned min = min_array_[1];
            if( max_cmpfn_(max_array_[min]->element_, element) ) {
                min_array_[1] = min_array_[min_size_];
                max_array_[min_array_[1]]->xref_ = 1;
                --min_size_;
                if( min_size_ > 0 ) {
                    heapify_min(1);
                }

                remove_from_max(min);
                assert(pool_ != 0);
                removed_element_ = pool_->element_;

                assert(max_size_ < capacity_);
                push(element);
                return std::make_pair(true, true);
            } else {
                return std::make_pair(false, false);
            }
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movl 0x4(%rdi), %eax
movl 0x18(%rdi), %ecx
xorl %r12d, %r12d
pushq $0x1
popq %rbp
cmpl %eax, %ecx
jb 0x19b24
movq 0x20(%rbx), %rax
movq 0x40(%rbx), %rcx
movl 0x4(%rcx), %r15d
movq (%rax,%r15,8), %rdx
movq (%rdx), %rdx
movq (%r14), %rsi
movss 0xc(%rdx), %xmm0
movaps 0x65c2(%rip), %xmm2     # 0x20060
andps %xmm2, %xmm0
movss 0xc(%rsi), %xmm1
andps %xmm2, %xmm1
ucomiss %xmm1, %xmm0
jbe 0x19b71
movl 0x38(%rbx), %edx
movl (%rcx,%rdx,4), %edx
movl %edx, 0x4(%rcx)
movq (%rax,%rdx,8), %rax
movl $0x1, 0x8(%rax)
decl 0x38(%rbx)
je 0x19ad5
movq %rbx, %rdi
movl %ebp, %esi
callq 0x19c6c
movq %rbx, %rdi
movl %r15d, %esi
callq 0x19d70
movq 0x8(%rbx), %rax
testq %rax, %rax
je 0x19b88
movq (%rax), %rax
movq %rax, 0x10(%rbx)
movl 0x4(%rbx), %eax
movl 0x18(%rbx), %ecx
movb $0x1, %r12b
cmpl %eax, %ecx
jb 0x19a74
leaq 0x815a(%rip), %rdi      # 0x21c66
leaq 0x7c24(%rip), %rsi      # 0x21737
leaq 0x7fe1(%rip), %rcx      # 0x21afb
movl $0x14b, %edx            # imm = 0x14B
callq 0x51b0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x19ba8
movl 0x18(%rbx), %esi
incl %esi
movq %rbx, %rdi
movq %rax, %rdx
callq 0x19be8
incl 0x18(%rbx)
movq %rbx, %rdi
callq 0x1948a
movw $0x1, %cx
testb %al, %al
jne 0x19b73
leaq 0x7bd6(%rip), %rdi      # 0x2172f
leaq 0x7bd7(%rip), %rsi      # 0x21737
leaq 0x7f94(%rip), %rcx      # 0x21afb
movl $0x13b, %edx            # imm = 0x13B
callq 0x51b0
xorl %ecx, %ecx
testb $0x1, %r12b
movl $0x101, %eax            # imm = 0x101
cmovel %ecx, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x80cc(%rip), %rdi      # 0x21c5b
leaq 0x7ba1(%rip), %rsi      # 0x21737
leaq 0x7f5e(%rip), %rcx      # 0x21afb
movl $0x148, %edx            # imm = 0x148
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::allocate_container(Online::Policy::AOT::node_t<state_t>* const&) const
container_t* allocate_container(const T &element) const {
        if( pool_ == 0 ) {
            return new container_t(element);
        } else {
            container_t *p = pool_;
            pool_ = pool_->next_;
            p->element_ = element;
            p->next_ = 0;
            p->xref_ = 0;
            return p;
        }
    }

// Assembly:
pushq %rbx
movq %rsi, %rbx
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x19bce
movq 0x10(%rax), %rcx
movq %rcx, 0x8(%rdi)
movq (%rbx), %rcx
movq %rcx, (%rax)
andq $0x0, 0x10(%rax)
andl $0x0, 0x8(%rax)
jmp 0x19be5
pushq $0x18
popq %rdi
callq 0x52a0
movq (%rbx), %rcx
movq %rcx, (%rax)
andl $0x0, 0x8(%rax)
andq $0x0, 0x10(%rax)
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::push_max(unsigned int, std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::container_t*)
void push_max(unsigned index, container_t *container) {
        unsigned parent = index >> 1;
        while( (index > 1) && max_cmpfn_(max_array_[parent]->element_, container->element_) ) {
            max_array_[index] = max_array_[parent];
            min_array_[max_array_[index]->xref_] = index;
            index = parent;
            parent = parent >> 1;
        }
        max_array_[index] = container;

        if( container->xref_ != 0 ) {
            // container is not new; it is changing location in max_array
            min_array_[container->xref_] = index;
        } else {
            push_min(1 + min_size_, index);
            ++min_size_;
        }
    }

// Assembly:
pushq %rbx
movl %esi, %eax
movq %rdi, %rbx
movq 0x20(%rdi), %rcx
movaps 0x6467(%rip), %xmm0     # 0x20060
movl %eax, %esi
cmpl $0x2, %eax
jb 0x19c43
movl %eax, %edi
shrl %edi
movl %edi, %r8d
movq (%rcx,%r8,8), %r8
movq (%r8), %r9
movq (%rdx), %r10
movss 0xc(%r9), %xmm1
andps %xmm0, %xmm1
movss 0xc(%r10), %xmm2
andps %xmm0, %xmm2
ucomiss %xmm2, %xmm1
jbe 0x19c43
movq %r8, (%rcx,%rsi,8)
movq 0x20(%rbx), %rcx
movq 0x40(%rbx), %r8
movq (%rcx,%rsi,8), %rsi
movl 0x8(%rsi), %esi
movl %eax, (%r8,%rsi,4)
movl %edi, %eax
jmp 0x19bf9
movq %rdx, (%rcx,%rsi,8)
movl 0x8(%rdx), %ecx
testq %rcx, %rcx
je 0x19c58
movq 0x40(%rbx), %rdx
movl %eax, (%rdx,%rcx,4)
jmp 0x19c6a
movl 0x38(%rbx), %esi
incl %esi
movq %rbx, %rdi
movl %eax, %edx
callq 0x19ee8
incl 0x38(%rbx)
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::heapify_min(unsigned int)
void heapify_min(unsigned index) {
        assert((index > 0) && (index <= min_size_));
        unsigned left = index << 1, right = 1 + left, largest = 0;

        if( (left <= min_size_) &&
            min_cmpfn_(max_array_[min_array_[index]]->element_, max_array_[min_array_[left]]->element_) ) {
            largest = left;
        } else {
            largest = index;
        }
        if( (right <= min_size_) &&
            min_cmpfn_(max_array_[min_array_[largest]]->element_, max_array_[min_array_[right]]->element_) ) {
            largest = right;
        }

        if( largest != index ) {
            unsigned tmp = min_array_[largest];
            min_array_[largest] = min_array_[index];
            min_array_[index] = tmp;
            max_array_[min_array_[largest]]->xref_ = largest;
            max_array_[min_array_[index]]->xref_ = index;
            heapify_min(largest);
        }
    }

// Assembly:
pushq %rax
movq 0x20(%rdi), %rax
movq 0x40(%rdi), %rcx
movaps 0x63e4(%rip), %xmm0     # 0x20060
testl %esi, %esi
je 0x19d50
movl 0x38(%rdi), %r9d
cmpl %esi, %r9d
jb 0x19d50
leal (%rsi,%rsi), %r10d
movl %esi, %edx
cmpl %r9d, %r10d
ja 0x19ccf
movl (%rcx,%rdx,4), %r8d
movq (%rax,%r8,8), %r8
movq (%r8), %r8
movl %r10d, %r11d
movl (%rcx,%r11,4), %r11d
movq (%rax,%r11,8), %r11
movq (%r11), %r11
movss 0xc(%r8), %xmm1
andps %xmm0, %xmm1
movss 0xc(%r11), %xmm2
andps %xmm0, %xmm2
ucomiss %xmm1, %xmm2
movl %r10d, %r8d
ja 0x19cd2
movl %esi, %r8d
cmpl %r9d, %r10d
jae 0x19d18
leal 0x1(,%rsi,2), %r9d
movl %r8d, %r10d
movl (%rcx,%r10,4), %r10d
movq (%rax,%r10,8), %r10
movq (%r10), %r10
movl %r9d, %r11d
movl (%rcx,%r11,4), %r11d
movq (%rax,%r11,8), %r11
movq (%r11), %r11
movss 0xc(%r10), %xmm1
andps %xmm0, %xmm1
movss 0xc(%r11), %xmm2
andps %xmm0, %xmm2
ucomiss %xmm1, %xmm2
ja 0x19d15
movl %r8d, %r9d
movl %r9d, %r8d
cmpl %esi, %r8d
je 0x19d4e
movl %r8d, %r9d
movl (%rcx,%r9,4), %r10d
movl (%rcx,%rdx,4), %r11d
movl %r11d, (%rcx,%r9,4)
movl %r10d, (%rcx,%rdx,4)
movl (%rcx,%r9,4), %r9d
movq (%rax,%r9,8), %r9
movl %r8d, 0x8(%r9)
movl (%rcx,%rdx,4), %edx
movq (%rax,%rdx,8), %rdx
movl %esi, 0x8(%rdx)
movl %r8d, %esi
jmp 0x19c7c
popq %rax
retq
leaq 0x7f25(%rip), %rdi      # 0x21c7c
leaq 0x79d9(%rip), %rsi      # 0x21737
leaq 0x7f3b(%rip), %rcx      # 0x21ca0
movl $0xf7, %edx
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::remove_from_max(unsigned int)
void remove_from_max(unsigned index) {
        if( !is_leaf_in_max(index) ) {
            unsigned leaf = max_subtree_leaf(index);
            assert(is_leaf_in_max(leaf));
            assert(!max_cmpfn_(max_array_[index]->element_, max_array_[leaf]->element_));
            assert(!min_cmpfn_(max_array_[index]->element_, max_array_[leaf]->element_));
            assert(max_array_[index]->xref_ == 1);
            max_array_[index]->xref_ = max_array_[leaf]->xref_;
            min_array_[max_array_[index]->xref_] = index;
            index = leaf;
        }

        // link pool of available containers
        max_array_[index]->next_ = pool_;
        pool_ = max_array_[index];

        // remove container from heap
        if( index != max_size_ ) {
            push_max(index, max_array_[max_size_]);
        }
        --max_size_;
        assert(check());
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %r14d
movq %rdi, %rbx
leal (%r14,%r14), %eax
movl 0x18(%rdi), %edi
cmpl %edi, %eax
jbe 0x19d92
movq 0x20(%rbx), %rcx
movl %r14d, %edx
movq (%rcx,%rdx,8), %rsi
jmp 0x19e0b
movq %rbx, %rdi
movl %r14d, %esi
callq 0x19f4e
leal (%rax,%rax), %ecx
cmpl 0x18(%rbx), %ecx
jbe 0x19e6c
movl %r14d, %edx
movq 0x20(%rbx), %rcx
movq (%rcx,%rdx,8), %rdi
movq (%rdi), %r8
movl %eax, %edx
movq (%rcx,%rdx,8), %rsi
movq (%rsi), %r9
movss 0xc(%r8), %xmm0
movaps 0x6293(%rip), %xmm2     # 0x20060
andps %xmm2, %xmm0
movss 0xc(%r9), %xmm1
andps %xmm2, %xmm1
ucomiss %xmm1, %xmm0
ja 0x19e8b
ucomiss %xmm0, %xmm1
ja 0x19eaa
cmpl $0x1, 0x8(%rdi)
jne 0x19ec9
movl 0x8(%rsi), %r8d
movl %r8d, 0x8(%rdi)
movq 0x40(%rbx), %rdi
movl %r14d, (%rdi,%r8,4)
movl 0x18(%rbx), %edi
movl %eax, %r14d
movq 0x8(%rbx), %rax
movq %rax, 0x10(%rsi)
movq (%rcx,%rdx,8), %rax
movq %rax, 0x8(%rbx)
cmpl %edi, %r14d
je 0x19e34
movl %edi, %eax
movq (%rcx,%rax,8), %rdx
movq %rbx, %rdi
movl %r14d, %esi
callq 0x19be8
movl 0x18(%rbx), %edi
decl %edi
movl %edi, 0x18(%rbx)
movq %rbx, %rdi
callq 0x1948a
testb %al, %al
je 0x19e4d
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x78db(%rip), %rdi      # 0x2172f
leaq 0x78dc(%rip), %rsi      # 0x21737
leaq 0x7fb2(%rip), %rcx      # 0x21e14
movl $0xb7, %edx
callq 0x51b0
leaq 0x7f8c(%rip), %rdi      # 0x21dff
leaq 0x78bd(%rip), %rsi      # 0x21737
leaq 0x7f93(%rip), %rcx      # 0x21e14
movl $0xa5, %edx
callq 0x51b0
leaq 0x80e5(%rip), %rdi      # 0x21f77
leaq 0x789e(%rip), %rsi      # 0x21737
leaq 0x7f74(%rip), %rcx      # 0x21e14
movl $0xa6, %edx
callq 0x51b0
leaq 0x810b(%rip), %rdi      # 0x21fbc
leaq 0x787f(%rip), %rsi      # 0x21737
leaq 0x7f55(%rip), %rcx      # 0x21e14
movl $0xa7, %edx
callq 0x51b0
leaq 0x8131(%rip), %rdi      # 0x22001
leaq 0x7860(%rip), %rsi      # 0x21737
leaq 0x7f36(%rip), %rcx      # 0x21e14
movl $0xa8, %edx
callq 0x51b0
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::push_min(unsigned int, unsigned int)
void push_min(unsigned index, unsigned element) {
        unsigned parent = index >> 1;
        while( (index > 1) && min_cmpfn_(max_array_[min_array_[parent]]->element_, max_array_[element]->element_) ) {
            min_array_[index] = min_array_[parent];
            max_array_[min_array_[index]]->xref_ = index;
            index = parent;
            parent = parent >> 1;
        }
        min_array_[index] = element;
        max_array_[element]->xref_ = index;
    }

// Assembly:
pushq %r14
pushq %rbx
movq 0x20(%rdi), %rcx
movq 0x40(%rdi), %rax
movl %edx, %edi
movq (%rcx,%rdi,8), %rdi
movaps 0x6160(%rip), %xmm0     # 0x20060
movl %esi, %r8d
cmpl $0x2, %esi
jb 0x19f42
movl %esi, %r9d
shrl %r9d
movl %r9d, %r10d
movl (%rax,%r10,4), %r10d
movq (%rcx,%r10,8), %r11
movq (%r11), %rbx
movq (%rdi), %r14
movss 0xc(%rbx), %xmm1
andps %xmm0, %xmm1
movss 0xc(%r14), %xmm2
andps %xmm0, %xmm2
ucomiss %xmm1, %xmm2
jbe 0x19f42
movl %r10d, (%rax,%r8,4)
movl %esi, 0x8(%r11)
movl %r9d, %esi
jmp 0x19f00
movl %edx, (%rax,%r8,4)
movl %esi, 0x8(%rdi)
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::clear(Online::Policy::AOT::bdd_priority_queue_t<state_t>&) const
void clear(bdd_priority_queue_t<T> &pq) const {
        while( !pq.empty() ) {
            node_t<T> *node = pq.top();
            pq.pop();
            assert(node->in_pq_);
            node->in_pq_ = false;
        }
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
cmpl $0x0, 0x18(%rbx)
je 0x1a152
movq 0x20(%rbx), %rax
movq 0x8(%rax), %rax
movq (%rax), %r14
movq %rbx, %rdi
callq 0x1a17a
cmpb $0x0, 0x16(%r14)
je 0x1a15a
movb $0x0, 0x16(%r14)
jmp 0x1a12b
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x7f2c(%rip), %rdi      # 0x2208d
leaq 0x77e1(%rip), %rsi      # 0x21949
leaq 0x7f2b(%rip), %rcx      # 0x2209a
movl $0x3bd, %edx            # imm = 0x3BD
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::pop()
void pop() {
        assert(max_size_ > 0);
        remove_from_min(max_array_[1]->xref_);
        max_array_[1]->next_ = pool_;
        pool_ = max_array_[1];
        max_array_[1] = max_array_[max_size_];
        min_array_[max_array_[1]->xref_] = 1;
        --max_size_;

        if( max_size_ > 0 ) {
            heapify_max(1);
        }

        assert(check());
    }

// Assembly:
pushq %rbx
cmpl $0x0, 0x18(%rdi)
je 0x1a1eb
movq %rdi, %rbx
movq 0x20(%rdi), %rax
movq 0x8(%rax), %rax
movl 0x8(%rax), %esi
callq 0x1a22a
movq 0x8(%rbx), %rax
movq 0x20(%rbx), %rcx
movq 0x8(%rcx), %rdx
movq %rax, 0x10(%rdx)
movq 0x8(%rcx), %rax
movq %rax, 0x8(%rbx)
movl 0x18(%rbx), %eax
movq (%rcx,%rax,8), %rax
movq %rax, 0x8(%rcx)
movq 0x20(%rbx), %rax
movq 0x40(%rbx), %rcx
movq 0x8(%rax), %rax
movl 0x8(%rax), %eax
movl $0x1, (%rcx,%rax,4)
decl 0x18(%rbx)
je 0x1a1dd
pushq $0x1
popq %rsi
movq %rbx, %rdi
callq 0x1a37c
movq %rbx, %rdi
callq 0x1948a
testb %al, %al
je 0x1a20a
popq %rbx
retq
leaq 0x7f07(%rip), %rdi      # 0x220f9
leaq 0x753e(%rip), %rsi      # 0x21737
leaq 0x7f07(%rip), %rcx      # 0x22107
movl $0x155, %edx            # imm = 0x155
callq 0x51b0
leaq 0x751e(%rip), %rdi      # 0x2172f
leaq 0x751f(%rip), %rsi      # 0x21737
leaq 0x7ee8(%rip), %rcx      # 0x22107
movl $0x161, %edx            # imm = 0x161
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::remove_from_min(unsigned int)
void remove_from_min(unsigned index) {
        if( !is_leaf_in_min(index) ) {
            unsigned leaf = min_subtree_leaf(index);
            assert(is_leaf_in_min(leaf));
            assert(!max_cmpfn_(max_array_[min_array_[index]]->element_, max_array_[min_array_[leaf]]->element_));
            assert(!min_cmpfn_(max_array_[min_array_[index]]->element_, max_array_[min_array_[leaf]]->element_));
            max_array_[min_array_[index]]->xref_ = leaf;
            max_array_[min_array_[leaf]]->xref_ = index;
            unsigned aux_index = min_array_[index];
            min_array_[index] = min_array_[leaf];
            min_array_[leaf] = aux_index;
            index = leaf;
        }

        if( index != min_size_ ) {
            push_min(index, min_array_[min_size_]);
        }
        --min_size_;
        assert(check_min());
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %r14d
movq %rdi, %rbx
leal (%r14,%r14), %eax
movl 0x38(%rdi), %ecx
cmpl %ecx, %eax
ja 0x1a2cb
movq %rbx, %rdi
movl %r14d, %esi
callq 0x1a476
leal (%rax,%rax), %ecx
cmpl 0x38(%rbx), %ecx
jbe 0x1a31f
movl %r14d, %ecx
movq 0x20(%rbx), %rsi
movq 0x40(%rbx), %rdx
movl (%rdx,%rcx,4), %edi
movq (%rsi,%rdi,8), %r8
movq (%r8), %r9
movl %eax, %edi
movl (%rdx,%rdi,4), %r10d
movq (%rsi,%r10,8), %r10
movq (%r10), %r10
movss 0xc(%r9), %xmm0
movaps 0x5dd7(%rip), %xmm2     # 0x20060
andps %xmm2, %xmm0
movss 0xc(%r10), %xmm1
andps %xmm2, %xmm1
ucomiss %xmm1, %xmm0
ja 0x1a33e
ucomiss %xmm0, %xmm1
ja 0x1a35d
movl %eax, 0x8(%r8)
movl (%rdx,%rdi,4), %r8d
movq (%rsi,%r8,8), %rsi
movl %r14d, 0x8(%rsi)
movl (%rdx,%rcx,4), %esi
movl (%rdx,%rdi,4), %r8d
movl %r8d, (%rdx,%rcx,4)
movl %esi, (%rdx,%rdi,4)
movl 0x38(%rbx), %ecx
movl %eax, %r14d
cmpl %ecx, %r14d
je 0x1a2e7
movl %ecx, %eax
movq 0x40(%rbx), %rcx
movl (%rcx,%rax,4), %edx
movq %rbx, %rdi
movl %r14d, %esi
callq 0x19ee8
movl 0x38(%rbx), %ecx
decl %ecx
movl %ecx, 0x38(%rbx)
movq %rbx, %rdi
callq 0x19544
testb %al, %al
je 0x1a300
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x817d(%rip), %rdi      # 0x22484
leaq 0x7429(%rip), %rsi      # 0x21737
leaq 0x7f52(%rip), %rcx      # 0x22267
movl $0xf3, %edx
callq 0x51b0
leaq 0x7f2c(%rip), %rdi      # 0x22252
leaq 0x740a(%rip), %rsi      # 0x21737
leaq 0x7f33(%rip), %rcx      # 0x22267
movl $0xe4, %edx
callq 0x51b0
leaq 0x8085(%rip), %rdi      # 0x223ca
leaq 0x73eb(%rip), %rsi      # 0x21737
leaq 0x7f14(%rip), %rcx      # 0x22267
movl $0xe5, %edx
callq 0x51b0
leaq 0x80c3(%rip), %rdi      # 0x22427
leaq 0x73cc(%rip), %rsi      # 0x21737
leaq 0x7ef5(%rip), %rcx      # 0x22267
movl $0xe6, %edx
callq 0x51b0
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/bdd_priority_queue.h
// Function: std::bdd_priority_queue<Online::Policy::AOT::node_t<state_t>*, Online::Policy::AOT::min_priority_t<state_t>, Online::Policy::AOT::max_priority_t<state_t>>::heapify_max(unsigned int)
void heapify_max(unsigned index) {
        assert((index > 0) && (index <= max_size_));
        unsigned left = index << 1, right = 1 + left, largest = 0;

        if( (left <= max_size_) && max_cmpfn_(max_array_[index]->element_, max_array_[left]->element_) ) {
            largest = left;
        } else {
            largest = index;
        }
        if( (right <= max_size_) && max_cmpfn_(max_array_[largest]->element_, max_array_[right]->element_) ) {
            largest = right;
        }

        if( largest != index ) {
            container_t *tmp = max_array_[largest];
            max_array_[largest] = max_array_[index];
            max_array_[index] = tmp;
            min_array_[max_array_[largest]->xref_] = largest;
            min_array_[max_array_[index]->xref_] = index;
            heapify_max(largest);
        }
    }

// Assembly:
pushq %rax
movaps 0x5cdc(%rip), %xmm0     # 0x20060
testl %esi, %esi
je 0x1a456
movl 0x18(%rdi), %edx
cmpl %esi, %edx
jb 0x1a456
leal (%rsi,%rsi), %r8d
movl %esi, %eax
cmpl %edx, %r8d
ja 0x1a3d0
movq 0x20(%rdi), %rcx
movq (%rcx,%rax,8), %r9
movq (%r9), %r9
movl %r8d, %r10d
movq (%rcx,%r10,8), %rcx
movq (%rcx), %rcx
movss 0xc(%r9), %xmm1
andps %xmm0, %xmm1
movss 0xc(%rcx), %xmm2
andps %xmm0, %xmm2
ucomiss %xmm2, %xmm1
movl %r8d, %ecx
ja 0x1a3d2
movl %esi, %ecx
cmpl %edx, %r8d
jae 0x1a411
leal 0x1(,%rsi,2), %edx
movl %ecx, %r8d
movq 0x20(%rdi), %r9
movq (%r9,%r8,8), %r8
movq (%r8), %r8
movl %edx, %r10d
movq (%r9,%r10,8), %r9
movq (%r9), %r9
movss 0xc(%r8), %xmm1
andps %xmm0, %xmm1
movss 0xc(%r9), %xmm2
andps %xmm0, %xmm2
ucomiss %xmm2, %xmm1
ja 0x1a40f
movl %ecx, %edx
movl %edx, %ecx
cmpl %esi, %ecx
je 0x1a454
movl %ecx, %edx
movq 0x20(%rdi), %r8
movq (%r8,%rdx,8), %r9
movq (%r8,%rax,8), %r10
movq %r10, (%r8,%rdx,8)
movq 0x20(%rdi), %r8
movq %r9, (%r8,%rax,8)
movq 0x20(%rdi), %r8
movq 0x40(%rdi), %r9
movq (%r8,%rdx,8), %rdx
movl 0x8(%rdx), %edx
movl %ecx, (%r9,%rdx,4)
movq (%r8,%rax,8), %rax
movl 0x8(%rax), %eax
movl %esi, (%r9,%rax,4)
movl %ecx, %esi
jmp 0x1a384
popq %rax
retq
leaq 0x8033(%rip), %rdi      # 0x22490
leaq 0x72d3(%rip), %rsi      # 0x21737
leaq 0x8049(%rip), %rcx      # 0x224b4
movl $0xbb, %edx
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::select_from_priority_queue() const
node_t<T>* select_from_priority_queue() const {
        node_t<T> *node = 0;
        if( empty_inside_priority_queue() && empty_outside_priority_queue() ) {
            node = 0;
        } else if( empty_inside_priority_queue() ) {
            node = select_from_outside();
        } else if( empty_outside_priority_queue() ) {
            node = select_from_inside();
        } else {
            if( (probability_ == 1) || (Random::real() < probability_) )
                node = select_from_inside();
            else
                node = select_from_outside();
        }

#ifdef DEBUG
        std::cout << "pop " << (node == 0 ? "<null>" : "");
        if( node != 0 ) node->print(std::cout, false);
        std::cout << std::endl;
#endif

        return node;
    }

// Assembly:
pushq %rbx
movq %rdi, %rbx
cmpl $0x0, 0xb8(%rdi)
movl 0x110(%rdi), %eax
je 0x1b225
testl %eax, %eax
je 0x1b21c
movss 0x4e01(%rip), %xmm0     # 0x2000c
ucomiss 0x38(%rbx), %xmm0
je 0x1b21c
callq 0xb216
ucomiss 0x38(%rbx), %xmm0
jae 0x1b229
movq %rbx, %rdi
popq %rbx
jmp 0x1b2a6
testl %eax, %eax
je 0x1b232
movq %rbx, %rdi
popq %rbx
jmp 0x1b236
xorl %eax, %eax
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::select_from_outside() const
node_t<T>* select_from_outside() const {
       node_t<T> *node = 0;
#ifdef USE_BDD_PQ
        node = outside_bdd_priority_queue_.top();
        outside_bdd_priority_queue_.pop();
#else
        node = outside_priority_queue_.top();
        outside_priority_queue_.pop();
#endif
        assert(node->in_pq_);
        node->in_pq_ = false;
        ++from_outside_;
        return node;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
addq $0xf8, %rdi
movq 0x118(%rbx), %rax
movq 0x8(%rax), %rax
movq (%rax), %r14
callq 0x1a17a
cmpb $0x0, 0x16(%r14)
je 0x1b286
movb $0x0, 0x16(%r14)
movss 0x154(%rbx), %xmm0
addss 0x4d99(%rip), %xmm0     # 0x2000c
movss %xmm0, 0x154(%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x6e00(%rip), %rdi      # 0x2208d
leaq 0x66b5(%rip), %rsi      # 0x21949
leaq 0x75db(%rip), %rcx      # 0x22876
movl $0x413, %edx            # imm = 0x413
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::select_from_inside() const
node_t<T>* select_from_inside() const {
        node_t<T> *node = 0;
#ifdef USE_BDD_PQ
        node = inside_bdd_priority_queue_.top();
        inside_bdd_priority_queue_.pop();
#else
        node = inside_priority_queue_.top();
        inside_priority_queue_.pop();
#endif
        assert(node->in_pq_);
        node->in_pq_ = false;
        ++from_inside_;
        return node;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
addq $0xa0, %rdi
movq 0xc0(%rbx), %rax
movq 0x8(%rax), %rax
movq (%rax), %r14
callq 0x1a17a
cmpb $0x0, 0x16(%r14)
je 0x1b2f6
movb $0x0, 0x16(%r14)
movss 0x150(%rbx), %xmm0
addss 0x4d29(%rip), %xmm0     # 0x2000c
movss %xmm0, 0x150(%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x6d90(%rip), %rdi      # 0x2208d
leaq 0x6645(%rip), %rsi      # 0x21949
leaq 0x75c5(%rip), %rcx      # 0x228d0
movl $0x405, %edx            # imm = 0x405
callq 0x51b0
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::state_node_t<state_t>::best_action(bool) const
Problem::action_t best_action(bool random_ties) const {
        std::vector<Problem::action_t> actions;
        actions.reserve(random_ties ? children_.size() : 1);
        for( unsigned i = 0, isz = children_.size(); i < isz; ++i ) {
            action_node_t<T> *a_node = children_[i];
            if( (a_node->value_ == value_) && (random_ties || actions.empty()) ) {
                actions.push_back(a_node->action_);
            }
            //std::cout << "  state=" << state_ << ", value=" << a_node->value_ << std::endl;
        }
        return actions.empty() ? Problem::noop : actions[Random::random(actions.size())];
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x20, %rsp
movl %esi, %ebx
movq %rdi, %r14
xorps %xmm0, %xmm0
movq %rsp, %rdi
movaps %xmm0, (%rdi)
andq $0x0, 0x10(%rdi)
movq 0xb0(%r14), %rax
subq 0xa8(%r14), %rax
sarq $0x3, %rax
testl %esi, %esi
pushq $0x1
popq %rsi
cmovneq %rax, %rsi
callq 0xa3aa
movq 0xb0(%r14), %rax
subq 0xa8(%r14), %rax
shrq $0x3, %rax
movl %eax, %r12d
xorl %r13d, %r13d
movq %rsp, %r15
cmpq %r13, %r12
je 0x1b873
movq 0xa8(%r14), %rax
movq (%rax,%r13,8), %rsi
movss 0x8(%rsi), %xmm0
ucomiss 0x8(%r14), %xmm0
jne 0x1b86e
testb %bl, %bl
jne 0x1b862
movq (%rsp), %rax
cmpq 0x8(%rsp), %rax
jne 0x1b86e
addq $0x18, %rsi
movq %r15, %rdi
callq 0x8804
incq %r13
jmp 0x1b837
movq (%rsp), %rax
movq 0x8(%rsp), %rdi
cmpq %rdi, %rax
je 0x1b898
subq %rax, %rdi
shrq $0x2, %rdi
callq 0xb503
movl %eax, %eax
movq (%rsp), %rcx
movl (%rcx,%rax,4), %ebx
jmp 0x1b89b
pushq $-0x1
popq %rbx
movq %rsp, %rdi
callq 0x85dc
movl %ebx, %eax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0x1b8b5
movq %rax, %rbx
movq %rsp, %rdi
callq 0x85dc
movq %rbx, %rdi
callq 0x5410
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::hash_t<state_t>::clear()
void clear() {
        for( const_iterator it = begin(); it != end(); ++it ) {
            state_node_t<T> *s_node = it->second;
            for( int i = 0, isz = s_node->children_.size(); i < isz; ++i ) {
                delete s_node->children_[i];
            }
            delete it->second;
        }
        base_type::clear();
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x18(%rdi), %r14
xorl %r15d, %r15d
movq (%r14), %r14
testq %r14, %r14
je 0x1b938
movq 0x18(%r14), %r12
movq 0xb0(%r12), %r13
subq 0xa8(%r12), %r13
shrq $0x3, %r13
testl %r13d, %r13d
cmovlel %r15d, %r13d
xorl %ebp, %ebp
cmpq %rbp, %r13
je 0x1b927
movq 0xa8(%r12), %rax
movq (%rax,%rbp,8), %rdi
testq %rdi, %rdi
je 0x1b922
movq (%rdi), %rax
callq *0x8(%rax)
incq %rbp
jmp 0x1b906
movq 0x18(%r14), %rdi
testq %rdi, %rdi
je 0x1b8dd
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x1b8dd
addq $0x8, %rbx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1b332
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::evaluate(state_t const&, unsigned int) const
float evaluate(const T &s, unsigned depth) const {
        total_evaluations_ += leaf_nsamples_;
        if( (heuristic_ != 0) && (depth < horizon_) ) {
            float value = heuristic_->value(s);
            policy_t<T>::heuristic_time_ = heuristic_->eval_time();
            return value;
        } else if( depth >= horizon_ ) {
            return 0;
        } else {
            float start_time = Utils::read_time_in_seconds();
            float value = Evaluation::evaluation(*base_policy_, s, leaf_nsamples_, horizon_ - depth);
            policy_t<T>::base_policy_time_ += Utils::read_time_in_seconds() - start_time;
            return value;
        }
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
movl 0x34(%rdi), %eax
movl 0x44(%rdi), %ecx
addl %ecx, 0x164(%rdi)
movq 0x98(%rdi), %rdi
testq %rdi, %rdi
setne %cl
cmpl %edx, %eax
seta %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x1b9f5
movq (%rdi), %rax
movq %r14, %rsi
callq *0x20(%rax)
movq 0x98(%rbx), %rax
movss 0x10(%rax), %xmm1
movss %xmm1, 0x1c(%rbx)
jmp 0x1ba41
cmpl %ebp, %eax
jbe 0x1ba3e
callq 0x62f2
movss %xmm0, 0xc(%rsp)
movq 0x28(%rbx), %rdi
movl 0x44(%rbx), %edx
movl 0x34(%rbx), %ecx
subl %ebp, %ecx
movq %r14, %rsi
xorl %r8d, %r8d
callq 0x1634f
movss %xmm0, 0x8(%rsp)
callq 0x62f2
subss 0xc(%rsp), %xmm0
addss 0x18(%rbx), %xmm0
movss %xmm0, 0x18(%rbx)
movss 0x8(%rsp), %xmm0
jmp 0x1ba41
xorps %xmm0, %xmm0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::state_node_t<state_t>::print(std::ostream&, bool) const
virtual void print(std::ostream &os, bool indent = true) const {
        if( indent ) os << std::setw(2 * depth_) << "";
        os << "[state=" << state_
           << ",depth=" << depth_
           << ",#pa=" << parents_.size()
           << ",#chld=" << children_.size()
           << ",value=" << value_
           << ",delta=" << delta_
           << "]";
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
testl %edx, %edx
je 0x1bbaf
movl 0x8c(%rbx), %eax
addl %eax, %eax
movq (%r14), %rcx
movq -0x18(%rcx), %rcx
cltq
movq %rax, 0x10(%r14,%rcx)
leaq 0x537b(%rip), %rsi      # 0x20f22
movq %r14, %rdi
callq 0x5290
leaq 0x6f91(%rip), %rsi      # 0x22b47
movq %r14, %rdi
callq 0x5290
movq %rax, %r14
leaq 0x18(%rbx), %rdi
movq %rax, %rsi
callq 0x13328
leaq 0x55ec(%rip), %rsi      # 0x211c0
movq %r14, %rdi
callq 0x5290
movl 0x8c(%rbx), %esi
movq %rax, %rdi
callq 0x51c0
leaq 0x6f5e(%rip), %rsi      # 0x22b4f
movq %rax, %rdi
callq 0x5290
movq 0x98(%rbx), %rsi
subq 0x90(%rbx), %rsi
sarq $0x4, %rsi
movq %rax, %rdi
callq 0x51c0
leaq 0x6f3b(%rip), %rsi      # 0x22b55
movq %rax, %rdi
callq 0x5290
movq 0xb0(%rbx), %rsi
subq 0xa8(%rbx), %rsi
sarq $0x3, %rsi
movq %rax, %rdi
callq 0x51c0
leaq 0x6f1a(%rip), %rsi      # 0x22b5d
movq %rax, %rdi
callq 0x5290
movss 0x8(%rbx), %xmm0
movq %rax, %rdi
callq 0x51f0
leaq 0x6f06(%rip), %rsi      # 0x22b65
movq %rax, %rdi
callq 0x5290
movss 0xc(%rbx), %xmm0
movq %rax, %rdi
callq 0x51f0
leaq 0x5fde(%rip), %rsi      # 0x21c59
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x5290
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::evaluate(state_t const&, int, unsigned int) const
float evaluate(const T &state, Problem::action_t action, unsigned depth) const {
        // CHECK: this need to be revised when using heuristics
        float value = 0;
        for( unsigned i = 0; i < delayed_evaluation_nsamples_; ++i ) {
            std::pair<T, bool> sample = problem_.sample(state, action);
            value += evaluate(sample.first, depth);
        }
        return value / delayed_evaluation_nsamples_;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movl %ecx, %ebx
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %r15
xorps %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
xorl %r13d, %r13d
leaq 0x10(%rsp), %r12
movl 0x48(%r15), %eax
cmpl %eax, %r13d
jae 0x1c334
movq 0x8(%r15), %rsi
movq %r12, %rdi
movq %r14, %rdx
movl %ebp, %ecx
callq 0xb318
movq %r15, %rdi
movq %r12, %rsi
movl %ebx, %edx
callq 0x1b9a4
movss 0xc(%rsp), %xmm1
addss %xmm0, %xmm1
movss %xmm1, 0xc(%rsp)
movq %r12, %rdi
callq 0x8e90
incl %r13d
jmp 0x1c2f0
movl %eax, %eax
cvtsi2ss %rax, %xmm1
movss 0xc(%rsp), %xmm0
divss %xmm1, %xmm0
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x8e90
movq %rbx, %rdi
callq 0x5410
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::action_node_t<state_t>::print(std::ostream&, bool) const
virtual void print(std::ostream &os, bool indent = true) const {
        if( indent ) os << std::setw(2 * parent_->depth_) << "";
        os << "[action=" << action_
           << ",value=" << value_
           << ",delta=" << delta_
           << "]";
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
testl %edx, %edx
je 0x1c3d5
movq 0x20(%rbx), %rax
movl 0x8c(%rax), %eax
addl %eax, %eax
movq (%r14), %rcx
movq -0x18(%rcx), %rcx
cltq
movq %rax, 0x10(%r14,%rcx)
leaq 0x4b55(%rip), %rsi      # 0x20f22
movq %r14, %rdi
callq 0x5290
leaq 0x6817(%rip), %rsi      # 0x22bf3
movq %r14, %rdi
callq 0x5290
movl 0x18(%rbx), %esi
movq %rax, %rdi
callq 0x5400
leaq 0x6767(%rip), %rsi      # 0x22b5d
movq %rax, %rdi
callq 0x5290
movss 0x8(%rbx), %xmm0
movq %rax, %rdi
callq 0x51f0
leaq 0x6753(%rip), %rsi      # 0x22b65
movq %rax, %rdi
callq 0x5290
movss 0xc(%rbx), %xmm0
movq %rax, %rdi
callq 0x51f0
leaq 0x582b(%rip), %rsi      # 0x21c59
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x5290
nop
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::propagate(Online::Policy::AOT::state_node_t<state_t>*) const
void propagate(state_node_t<T> *s_node) const {
        std::deque<state_node_t<T>*> queue;
        queue.push_back(s_node);
        s_node->in_queue_ = true;
        while( !queue.empty() ) {
            state_node_t<T> *s_node = queue.front();
            queue.pop_front();
            s_node->in_queue_ = false;
            float old_value = s_node->value_;
            if( !s_node->is_leaf() ) s_node->update_value();
            if( s_node->is_leaf() || (old_value != s_node->value_) ) {
                for( int i = 0, isz = s_node->parents_.size(); i < isz; ++i ) {
                    action_node_t<T> *a_node = s_node->parents_[i].second;
                    float old_value = a_node->value_;
                    a_node->update_value(problem_.discount());
                    assert(a_node->parent_ != 0);
                    if( !a_node->parent_->in_queue_ && (old_value != a_node->value_) ) {
                        queue.push_back(a_node->parent_);
                        a_node->parent_->in_queue_ = true;
                    }
                }
            }
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdi, %rbx
leaq 0x10(%rsp), %r14
movq %rsi, (%r14)
leaq 0x18(%rsp), %r15
movq %r15, %rdi
callq 0x1a90a
movq %r15, %rdi
movq %r14, %rsi
callq 0x1a484
movq 0x10(%rsp), %rax
movb $0x1, 0x15(%rax)
leaq 0x18(%rsp), %r14
movq 0x28(%rsp), %rax
cmpq %rax, 0x48(%rsp)
je 0x1c5f9
movq (%rax), %r15
movq %r14, %rdi
callq 0x1c648
movb $0x0, 0x15(%r15)
movss 0x8(%r15), %xmm0
movb 0x89(%r15), %al
testb %al, %al
jne 0x1c53f
cmpb $0x0, 0x88(%r15)
jne 0x1c53f
movq 0xa8(%r15), %rcx
cmpq 0xb0(%r15), %rcx
je 0x1c53f
movq %r15, %rdi
movss %xmm0, 0xc(%rsp)
callq 0x1c666
movss 0xc(%rsp), %xmm0
movb 0x89(%r15), %al
testb $0x1, %al
jne 0x1c568
cmpb $0x0, 0x88(%r15)
jne 0x1c568
movq 0xa8(%r15), %rax
cmpq 0xb0(%r15), %rax
je 0x1c568
ucomiss 0x8(%r15), %xmm0
je 0x1c4d9
movq 0x98(%r15), %rbp
subq 0x90(%r15), %rbp
shrq $0x4, %rbp
testl %ebp, %ebp
movl $0x0, %eax
cmovlel %eax, %ebp
shlq $0x4, %rbp
xorl %r13d, %r13d
cmpq %r13, %rbp
je 0x1c4d9
movq 0x90(%r15), %rax
movq 0x8(%rax,%r13), %r12
movss 0x8(%r12), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rax
movss 0x8(%rax), %xmm0
movq %r12, %rdi
callq 0x1c70a
movq 0x20(%r12), %rax
testq %rax, %rax
je 0x1c612
cmpb $0x0, 0x15(%rax)
jne 0x1c5f3
movss 0xc(%rsp), %xmm0
ucomiss 0x8(%r12), %xmm0
je 0x1c5f3
addq $0x20, %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x1a484
movq (%r12), %rax
movb $0x1, 0x15(%rax)
addq $0x10, %r13
jmp 0x1c58b
leaq 0x18(%rsp), %rdi
callq 0x1b1c6
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x65e3(%rip), %rdi      # 0x22bfc
leaq 0x5329(%rip), %rsi      # 0x21949
leaq 0x6646(%rip), %rcx      # 0x22c6d
movl $0x2d1, %edx            # imm = 0x2D1
callq 0x51b0
jmp 0x1c633
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x1b1c6
movq %rbx, %rdi
callq 0x5410
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::state_node_t<state_t>::update_value()
void update_value() {
        assert(!is_goal_);
        if( !is_dead_end_ ) {
            value_ = std::numeric_limits<float>::max();
            for( unsigned i = 0, isz = children_.size(); i < isz; ++i ) {
                float child_value = children_[i]->value_;
                if( child_value < value_ ) {
                    value_ = child_value;
                }
            }
            assert(value_ < std::numeric_limits<float>::max());
        }
    }

// Assembly:
pushq %rax
cmpb $0x1, 0x88(%rdi)
je 0x1c6cc
cmpb $0x0, 0x89(%rdi)
jne 0x1c6ca
movl $0x7f7fffff, 0x8(%rdi)  # imm = 0x7F7FFFFF
movq 0xa8(%rdi), %rax
movq 0xb0(%rdi), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
movl %ecx, %ecx
movss 0x3975(%rip), %xmm0     # 0x20014
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x1c6c1
movq (%rax,%rdx,8), %rsi
movss 0x8(%rsi), %xmm1
ucomiss %xmm1, %xmm0
jbe 0x1c6bc
movss %xmm1, 0x8(%rdi)
movaps %xmm1, %xmm0
incq %rdx
jmp 0x1c6a1
ucomiss 0x394c(%rip), %xmm0     # 0x20014
jae 0x1c6eb
popq %rax
retq
leaq 0x65f5(%rip), %rdi      # 0x22cc8
leaq 0x526f(%rip), %rsi      # 0x21949
leaq 0x65f1(%rip), %rcx      # 0x22cd2
movl $0x9c, %edx
callq 0x51b0
leaq 0x662e(%rip), %rdi      # 0x22d20
leaq 0x5250(%rip), %rsi      # 0x21949
leaq 0x65d2(%rip), %rcx      # 0x22cd2
movl $0xa5, %edx
callq 0x51b0
// File: /workspace/github_cpp_makefile_star2_O2/bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::action_node_t<state_t>::update_value(float)
void update_value(float discount) {
        value_ = 0;
        for( unsigned i = 0, isz = children_.size(); i < isz; ++i ) {
            value_ += children_[i].first * children_[i].second->value_;
        }
        value_ = action_cost_ + discount * value_;
    }

// Assembly:
andl $0x0, 0x8(%rdi)
movq 0x28(%rdi), %rax
movq 0x30(%rdi), %rdx
subq %rax, %rdx
movabsq $0xffffffff0, %rcx      # imm = 0xFFFFFFFF0
andq %rdx, %rcx
xorps %xmm1, %xmm1
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x1c74e
movq 0x8(%rax,%rdx), %rsi
movss 0x8(%rsi), %xmm2
mulss (%rax,%rdx), %xmm2
addss %xmm2, %xmm1
movss %xmm1, 0x8(%rdi)
addq $0x10, %rdx
jmp 0x1c72b
mulss %xmm0, %xmm1
addss 0x1c(%rdi), %xmm1
movss %xmm1, 0x8(%rdi)
retq
nop