LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/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 0x23d58
movq %rdi, %rbx
movq 0x20(%rdi), %rax
movq 0x8(%rax), %rax
movl 0x8(%rax), %esi
callq 0x23d78
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 0x23d1f
movq %rbx, %rdi
movl $0x1, %esi
callq 0x23e8a
movq %rbx, %rdi
callq 0x22f62
testb %al, %al
je 0x23d39
movq %rbx, %rdi
callq 0x23052
testb %al, %al
je 0x23d39
popq %rbx
retq
leaq 0x8a2f(%rip), %rdi      # 0x2c76f
leaq 0x8a30(%rip), %rsi      # 0x2c777
leaq 0x93e4(%rip), %rcx      # 0x2d132
movl $0x161, %edx            # imm = 0x161
callq 0x51c0
leaq 0x93c5(%rip), %rdi      # 0x2d124
leaq 0x8a11(%rip), %rsi      # 0x2c777
leaq 0x93c5(%rip), %rcx      # 0x2d132
movl $0x155, %edx            # imm = 0x155
callq 0x51c0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 %rbx
movl %esi, %eax
movq %rdi, %rbx
leal (%rax,%rax), %edx
movl 0x38(%rdi), %ecx
cmpl %ecx, %edx
jbe 0x23d8c
movl %eax, %esi
jmp 0x23e01
movl %eax, %edx
movl %edx, %esi
leal (%rsi,%rsi), %edx
cmpl %ecx, %edx
jbe 0x23d8e
movl %eax, %ecx
movq 0x20(%rbx), %rdi
movq 0x40(%rbx), %rdx
movl (%rdx,%rcx,4), %r8d
movq (%rdi,%r8,8), %r9
movq (%r9), %r10
movl %esi, %r8d
movl (%rdx,%r8,4), %r11d
movq (%rdi,%r11,8), %r11
movq (%r11), %r11
movss 0xc(%r10), %xmm0
movaps 0x72e9(%rip), %xmm2     # 0x2b0b0
andps %xmm2, %xmm0
movss 0xc(%r11), %xmm1
andps %xmm2, %xmm1
ucomiss %xmm1, %xmm0
ja 0x23e4b
ucomiss %xmm0, %xmm1
ja 0x23e6a
movl %esi, 0x8(%r9)
movl (%rdx,%r8,4), %r9d
movq (%rdi,%r9,8), %rdi
movl %eax, 0x8(%rdi)
movl (%rdx,%rcx,4), %eax
movl (%rdx,%r8,4), %edi
movl %edi, (%rdx,%rcx,4)
movl %eax, (%rdx,%r8,4)
movl 0x38(%rbx), %ecx
cmpl %ecx, %esi
je 0x23e19
movl %ecx, %eax
movq 0x40(%rbx), %rcx
movl (%rcx,%rax,4), %edx
movq %rbx, %rdi
callq 0x23974
movl 0x38(%rbx), %ecx
decl %ecx
movl %ecx, 0x38(%rbx)
movq %rbx, %rdi
callq 0x23052
testb %al, %al
je 0x23e2c
popq %rbx
retq
leaq 0x9667(%rip), %rdi      # 0x2d49a
leaq 0x893d(%rip), %rsi      # 0x2c777
leaq 0x943c(%rip), %rcx      # 0x2d27d
movl $0xf3, %edx
callq 0x51c0
leaq 0x958e(%rip), %rdi      # 0x2d3e0
leaq 0x891e(%rip), %rsi      # 0x2c777
leaq 0x941d(%rip), %rcx      # 0x2d27d
movl $0xe5, %edx
callq 0x51c0
leaq 0x95cc(%rip), %rdi      # 0x2d43d
leaq 0x88ff(%rip), %rsi      # 0x2c777
leaq 0x93fe(%rip), %rcx      # 0x2d27d
movl $0xe6, %edx
callq 0x51c0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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
testl %esi, %esi
je 0x23f65
movaps 0x7216(%rip), %xmm0     # 0x2b0b0
movl 0x18(%rdi), %edx
cmpl %esi, %edx
jb 0x23f65
leal (%rsi,%rsi), %r8d
movl %esi, %eax
cmpl %edx, %r8d
ja 0x23ede
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 0x23ee0
movl %esi, %ecx
cmpl %edx, %r8d
jae 0x23f1f
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 0x23f1d
movl %ecx, %edx
movl %edx, %ecx
cmpl %esi, %ecx
je 0x23f84
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
testl %ecx, %ecx
jne 0x23e9a
leaq 0x953a(%rip), %rdi      # 0x2d4a6
leaq 0x8804(%rip), %rsi      # 0x2c777
leaq 0x9550(%rip), %rcx      # 0x2d4ca
movl $0xbb, %edx
callq 0x51c0
popq %rax
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x24bfd
testl %eax, %eax
je 0x24bf4
movss 0x6429(%rip), %xmm0     # 0x2b008
ucomiss 0x38(%rbx), %xmm0
je 0x24bf4
callq 0x5250
cvtsd2ss %xmm0, %xmm0
ucomiss 0x38(%rbx), %xmm0
jae 0x24c01
movq %rbx, %rdi
popq %rbx
jmp 0x24c7e
testl %eax, %eax
je 0x24c0a
movq %rbx, %rdi
popq %rbx
jmp 0x24c0e
xorl %eax, %eax
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x23cb6
cmpb $0x0, 0x16(%r14)
je 0x24c5e
movb $0x0, 0x16(%r14)
movss 0x154(%rbx), %xmm0
addss 0x63bd(%rip), %xmm0     # 0x2b008
movss %xmm0, 0x154(%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x8453(%rip), %rdi      # 0x2d0b8
leaq 0x7d1d(%rip), %rsi      # 0x2c989
leaq 0x8c19(%rip), %rcx      # 0x2d88c
movl $0x413, %edx            # imm = 0x413
callq 0x51c0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x23cb6
cmpb $0x0, 0x16(%r14)
je 0x24cce
movb $0x0, 0x16(%r14)
movss 0x150(%rbx), %xmm0
addss 0x634d(%rip), %xmm0     # 0x2b008
movss %xmm0, 0x150(%rbx)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x83e3(%rip), %rdi      # 0x2d0b8
leaq 0x7cad(%rip), %rsi      # 0x2c989
leaq 0x8c03(%rip), %rcx      # 0x2d8e6
movl $0x405, %edx            # imm = 0x405
callq 0x51c0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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)
movq $0x0, 0x10(%rdi)
movq 0xb0(%r14), %rax
subq 0xa8(%r14), %rax
sarq $0x3, %rax
testl %esi, %esi
movl $0x1, %esi
cmovneq %rax, %rsi
callq 0xbe32
movq 0xb0(%r14), %rax
subq 0xa8(%r14), %rax
shrq $0x3, %rax
testl %eax, %eax
je 0x2539a
movl %eax, %r12d
xorl %r13d, %r13d
movq %rsp, %r15
movq 0xa8(%r14), %rax
movq (%rax,%r13,8), %rdx
movss 0x8(%rdx), %xmm0
ucomiss 0x8(%r14), %xmm0
jne 0x25392
movq 0x8(%rsp), %rsi
testb %bl, %bl
jne 0x25370
cmpq %rsi, (%rsp)
jne 0x25392
addq $0x18, %rdx
cmpq 0x10(%rsp), %rsi
je 0x2538a
movl (%rdx), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rsp)
jmp 0x25392
movq %r15, %rdi
callq 0xa316
incq %r13
cmpq %r13, %r12
jne 0x2534a
movq (%rsp), %rdi
movq 0x8(%rsp), %rbx
cmpq %rbx, %rdi
je 0x253c7
subq %rdi, %rbx
shrq $0x2, %rbx
cmpl $0x1, %ebx
je 0x253d3
testl %ebx, %ebx
je 0x253ed
callq 0x5200
xorl %edx, %edx
divl %ebx
movq (%rsp), %rdi
jmp 0x253d5
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
testq %rdi, %rdi
jne 0x253d8
jmp 0x253dd
xorl %edx, %edx
movl (%rdi,%rdx,4), %ebx
callq 0x5260
movl %ebx, %eax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x6227(%rip), %rdi      # 0x2b61b
leaq 0x6228(%rip), %rsi      # 0x2b623
leaq 0x6234(%rip), %rcx      # 0x2b636
movl $0x3a, %edx
callq 0x51c0
jmp 0x2540e
movq %rax, %rbx
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x2541f
callq 0x5260
movq %rbx, %rdi
callq 0x5410
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x18(%rdi), %r15
testq %r15, %r15
je 0x25497
movq 0x18(%r15), %r14
movq 0xb0(%r14), %r12
subq 0xa8(%r14), %r12
shrq $0x3, %r12
testl %r12d, %r12d
jle 0x25489
andl $0x7fffffff, %r12d      # imm = 0x7FFFFFFF
xorl %r13d, %r13d
movq 0xa8(%r14), %rax
movq (%rax,%r13,8), %rdi
testq %rdi, %rdi
je 0x25478
movq (%rdi), %rax
callq *0x8(%rax)
incq %r13
cmpq %r13, %r12
jne 0x25462
movq 0x18(%r15), %r14
testq %r14, %r14
je 0x25492
movq (%r14), %rax
movq %r14, %rdi
callq *0x8(%rax)
movq (%r15), %r15
jmp 0x25438
addq $0x8, %rbx
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x24d0c
// File: /workspace/github_cpp_makefile_star2_O3/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 %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %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 0x25509
movq (%rdi), %rax
movq %r14, %rsi
callq *0x20(%rax)
movq 0x98(%rbx), %rax
movss 0x10(%rax), %xmm1
movss %xmm1, 0x1c(%rbx)
jmp 0x25650
xorps %xmm0, %xmm0
cmpl %ebp, %eax
jbe 0x25650
leaq 0x18(%rsp), %r15
xorl %edi, %edi
movq %r15, %rsi
callq 0x5190
xorps %xmm0, %xmm0
cvtsi2ssq (%r15), %xmm0
movss %xmm0, 0x14(%rsp)
xorps %xmm0, %xmm0
cvtsi2ssq 0x8(%r15), %xmm0
movss %xmm0, 0x4(%rsp)
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
movq %r15, %rsi
callq 0x5190
xorps %xmm0, %xmm0
cvtsi2ssq (%r15), %xmm0
movss %xmm0, 0x10(%rsp)
xorps %xmm0, %xmm0
cvtsi2ssq 0x8(%r15), %xmm0
addss 0x4(%rsp), %xmm0
movss %xmm0, 0x8(%rsp)
movl 0x44(%rbx), %r13d
testq %r13, %r13
je 0x255af
movq 0x28(%rbx), %r15
movl 0x34(%rbx), %r12d
subl %ebp, %r12d
xorps %xmm1, %xmm1
movq %r13, %rbp
movss %xmm1, 0x4(%rsp)
movq %r15, %rdi
movq %r14, %rsi
movl %r12d, %edx
callq 0x1dacf
movss 0x4(%rsp), %xmm1
addss %xmm0, %xmm1
decq %rbp
jne 0x2558a
jmp 0x255b2
xorps %xmm1, %xmm1
xorps %xmm0, %xmm0
cvtsi2ss %r13, %xmm0
divss %xmm0, %xmm1
movss %xmm1, 0x4(%rsp)
leaq 0x18(%rsp), %r14
xorl %edi, %edi
movq %r14, %rsi
callq 0x5190
xorps %xmm0, %xmm0
cvtsi2ssq (%r14), %xmm0
movss %xmm0, 0xc(%rsp)
xorps %xmm0, %xmm0
cvtsi2ssq 0x8(%r14), %xmm0
subss 0x8(%rsp), %xmm0
movss %xmm0, 0x8(%rsp)
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
movq %r14, %rsi
callq 0x5190
xorps %xmm0, %xmm0
cvtsi2ssq (%r14), %xmm0
xorps %xmm1, %xmm1
cvtsi2ssq 0x8(%r14), %xmm1
addss 0x8(%rsp), %xmm1
mulss 0x59e2(%rip), %xmm1     # 0x2b004
movss 0x14(%rsp), %xmm2
addss 0x10(%rsp), %xmm2
movss 0xc(%rsp), %xmm3
subss %xmm2, %xmm3
addss %xmm0, %xmm3
addss 0x18(%rbx), %xmm3
addss %xmm1, %xmm3
movss 0x4(%rsp), %xmm0
movss %xmm3, 0x18(%rbx)
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x257df
movl 0x8c(%rbx), %eax
addl %eax, %eax
movq (%r14), %rcx
movq -0x18(%rcx), %rcx
cltq
movq %rax, 0x10(%r14,%rcx)
leaq 0x678d(%rip), %rsi      # 0x2bf62
movq %r14, %rdi
xorl %edx, %edx
callq 0x52e0
leaq 0x8377(%rip), %rsi      # 0x2db5d
movl $0x7, %edx
movq %r14, %rdi
callq 0x52e0
leaq 0x18(%rbx), %rdi
movq %r14, %rsi
callq 0x1887e
leaq 0x69fa(%rip), %rsi      # 0x2c200
movl $0x7, %edx
movq %r14, %rdi
callq 0x52e0
movl 0x8c(%rbx), %esi
movq %r14, %rdi
callq 0x51d0
movq %rax, %r14
leaq 0x833a(%rip), %rsi      # 0x2db65
movl $0x5, %edx
movq %rax, %rdi
callq 0x52e0
movq 0x98(%rbx), %rsi
subq 0x90(%rbx), %rsi
sarq $0x4, %rsi
movq %r14, %rdi
callq 0x51d0
movq %rax, %r14
leaq 0x830f(%rip), %rsi      # 0x2db6b
movl $0x7, %edx
movq %rax, %rdi
callq 0x52e0
movq 0xb0(%rbx), %rsi
subq 0xa8(%rbx), %rsi
sarq $0x3, %rsi
movq %r14, %rdi
callq 0x51d0
movq %rax, %r14
leaq 0x82e6(%rip), %rsi      # 0x2db73
movl $0x7, %edx
movq %rax, %rdi
callq 0x52e0
cvtss2sd 0x8(%rbx), %xmm0
movq %r14, %rdi
callq 0x53b0
movq %rax, %r14
leaq 0x82ca(%rip), %rsi      # 0x2db7b
movl $0x7, %edx
movq %rax, %rdi
callq 0x52e0
xorps %xmm0, %xmm0
cvtss2sd 0xc(%rbx), %xmm0
movq %r14, %rdi
callq 0x53b0
leaq 0x73c4(%rip), %rsi      # 0x2cc99
movl $0x1, %edx
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x52e0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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
cmpl $0x0, 0x48(%rdi)
je 0x2605d
movl %ecx, %ebx
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %r15
xorl %r13d, %r13d
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %r12
movss %xmm0, 0x8(%rsp)
movq 0x8(%r15), %rsi
movq %r12, %rdi
movq %r14, %rdx
movl %ebp, %ecx
callq 0xcea2
movq %r15, %rdi
movq %r12, %rsi
movl %ebx, %edx
callq 0x254ac
movaps %xmm0, %xmm1
cmpb $0x0, 0x6c(%rsp)
movss 0x8(%rsp), %xmm0
jne 0x2603d
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x2603d
movss %xmm1, 0xc(%rsp)
callq 0x5340
movss 0xc(%rsp), %xmm1
movss 0x8(%rsp), %xmm0
addss %xmm1, %xmm0
incl %r13d
movl 0x48(%r15), %eax
cmpl %eax, %r13d
jb 0x25fe8
movl %eax, %eax
xorps %xmm1, %xmm1
cvtsi2ss %rax, %xmm1
divss %xmm1, %xmm0
jmp 0x26065
movss 0x4fb7(%rip), %xmm0     # 0x2b01c
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
cmpb $0x0, 0x6c(%rsp)
jne 0x26090
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x26090
callq 0x5340
movq %rbx, %rdi
callq 0x5410
// File: /workspace/github_cpp_makefile_star2_O3/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 0x2610f
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 0x5e5d(%rip), %rsi      # 0x2bf62
movq %r14, %rdi
xorl %edx, %edx
callq 0x52e0
leaq 0x7af3(%rip), %rsi      # 0x2dc09
movl $0x8, %edx
movq %r14, %rdi
callq 0x52e0
movl 0x18(%rbx), %esi
movq %r14, %rdi
callq 0x5400
movq %rax, %r14
leaq 0x7a3b(%rip), %rsi      # 0x2db73
movl $0x7, %edx
movq %rax, %rdi
callq 0x52e0
cvtss2sd 0x8(%rbx), %xmm0
movq %r14, %rdi
callq 0x53b0
movq %rax, %r14
leaq 0x7a1f(%rip), %rsi      # 0x2db7b
movl $0x7, %edx
movq %rax, %rdi
callq 0x52e0
xorps %xmm0, %xmm0
cvtss2sd 0xc(%rbx), %xmm0
movq %r14, %rdi
callq 0x53b0
leaq 0x6b19(%rip), %rsi      # 0x2cc99
movl $0x1, %edx
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x52e0
// File: /workspace/github_cpp_makefile_star2_O3/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 0x264b0
cmpb $0x0, 0x89(%rdi)
jne 0x264ae
movl $0x7f7fffff, 0x8(%rdi)  # imm = 0x7F7FFFFF
movq 0xa8(%rdi), %rax
movq 0xb0(%rdi), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
testl %ecx, %ecx
je 0x264cf
movl %ecx, %ecx
movss 0x4b8f(%rip), %xmm0     # 0x2b014
xorl %edx, %edx
movq (%rax,%rdx,8), %rsi
movss 0x8(%rsi), %xmm1
ucomiss %xmm1, %xmm0
jbe 0x2649d
movss %xmm1, 0x8(%rdi)
movaps %xmm1, %xmm0
incq %rdx
cmpq %rdx, %rcx
jne 0x26487
ucomiss 0x4b68(%rip), %xmm0     # 0x2b014
jae 0x264cf
popq %rax
retq
leaq 0x7827(%rip), %rdi      # 0x2dcde
leaq 0x64cb(%rip), %rsi      # 0x2c989
leaq 0x7823(%rip), %rcx      # 0x2dce8
movl $0x9c, %edx
callq 0x51c0
leaq 0x7860(%rip), %rdi      # 0x2dd36
leaq 0x64ac(%rip), %rsi      # 0x2c989
leaq 0x7804(%rip), %rcx      # 0x2dce8
movl $0xa5, %edx
callq 0x51c0
// File: /workspace/github_cpp_makefile_star2_O3/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:
movl $0x0, 0x8(%rdi)
movq 0x28(%rdi), %rax
movq 0x30(%rdi), %rdx
subq %rax, %rdx
movabsq $0xffffffff0, %rcx      # imm = 0xFFFFFFFF0
xorps %xmm1, %xmm1
andq %rdx, %rcx
je 0x26535
xorl %edx, %edx
movq 0x8(%rax,%rdx), %rsi
movss 0x8(%rsi), %xmm2
mulss (%rax,%rdx), %xmm2
addss %xmm2, %xmm1
movss %xmm1, 0x8(%rdi)
addq $0x10, %rdx
cmpq %rdx, %rcx
jne 0x26514
mulss %xmm0, %xmm1
addss 0x1c(%rdi), %xmm1
movss %xmm1, 0x8(%rdi)
retq
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/online_rtdp.h
// Function: Online::Policy::RTDP::finite_horizon_lrtdp_t<state_t>::operator()(state_t const&) const
virtual Problem::action_t operator()(const T &s) const {
        // initialize
        ++policy_t<T>::decisions_;
        clear_table();
        node_t<T> root(s, 0);
        data_t *root_dptr = table_.get_data_ptr(root);

        // perform trials
        for( unsigned trial = 0; (trial < max_trials_) && !labeled(root_dptr); ++trial ) {
            lrtdp_trial(root, root_dptr);
        }
#ifdef DEBUG
        std::cout << "finite_horizon_lrtdp_t: root-value=" << root_dptr->value_
                  << ", labeled=" << (root_dptr->labeled_ ? "true" : "false")
                  << std::endl;
#endif
        return best_action(root, random_ties_);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x78, %rsp
movq %rsi, %r14
movq %rdi, %rbx
incl 0x20(%rdi)
callq 0x27a50
xorl %eax, %eax
movq %rsp, %r15
movq %rax, 0x44(%r15)
xorps %xmm0, %xmm0
movups %xmm0, 0x34(%r15)
movups %xmm0, 0x24(%r15)
movups %xmm0, 0x14(%r15)
movups %xmm0, 0x4(%r15)
movb $0x1, 0x5c(%r15)
movq %rax, 0x60(%r15)
movq %r15, %rdi
movq %r14, %rsi
callq 0xc30a
movl $0x0, 0x70(%r15)
leaq 0x40(%rbx), %rdi
movq %r15, %rsi
callq 0x27a84
cmpl $0x0, 0x34(%rbx)
je 0x27597
movq %rax, %r14
testq %rax, %rax
je 0x275cb
xorl %ebp, %ebp
movq %rsp, %r15
cmpb $0x0, 0x4(%r14)
jne 0x27597
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x27ac2
incl %ebp
cmpl 0x34(%rbx), %ebp
jb 0x2757b
movzbl 0x39(%rbx), %edx
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x27ef0
movl %eax, %ebx
cmpb $0x0, 0x5c(%rsp)
jne 0x275be
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x275be
callq 0x5340
movl %ebx, %eax
addq $0x78, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x68ee(%rip), %rdi      # 0x2dec0
leaq 0x68f1(%rip), %rsi      # 0x2deca
leaq 0x6902(%rip), %rcx      # 0x2dee2
movl $0x13d, %edx            # imm = 0x13D
callq 0x51c0
jmp 0x275ec
movq %rax, %rbx
cmpb $0x0, 0x5c(%rsp)
jne 0x27605
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x27605
callq 0x5340
movq %rbx, %rdi
callq 0x5410
nop
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/online_rtdp.h
// Function: Online::Policy::RTDP::finite_horizon_lrtdp_t<state_t>::print_other_stats(std::ostream&, int) const
virtual void print_other_stats(std::ostream &os, int indent) const {
        os << std::setw(indent) << ""
           << "other-stats: name=" << name()
           << " decisions=" << policy_t<T>::decisions_
           << " #expansions=" << total_number_expansions_
           << std::endl;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %rax
movq -0x18(%rax), %rax
movslq %edx, %rcx
movq %rcx, 0x10(%rsi,%rax)
leaq 0x4901(%rip), %rsi      # 0x2bf62
movq %r14, %rdi
xorl %edx, %edx
callq 0x52e0
leaq 0x3f8a(%rip), %rsi      # 0x2b5fc
movl $0x12, %edx
movq %r14, %rdi
callq 0x52e0
movq (%rbx), %rax
movq %rsp, %r15
movq %r15, %rdi
movq %rbx, %rsi
callq *0x18(%rax)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %r14, %rdi
callq 0x52e0
movq %rax, %r14
leaq 0x3f68(%rip), %rsi      # 0x2b60f
movl $0xb, %edx
movq %rax, %rdi
callq 0x52e0
movl 0x20(%rbx), %esi
movq %r14, %rdi
callq 0x51d0
movq %rax, %r14
leaq 0x677f(%rip), %rsi      # 0x2de48
movl $0xd, %edx
movq %rax, %rdi
callq 0x52e0
movl 0x80(%rbx), %esi
movq %r14, %rdi
callq 0x51d0
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
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x27721
callq 0x5260
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x27741
callq 0x5260
movq %rbx, %rdi
callq 0x5410
nop
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/online_rtdp.h
// Function: Online::Policy::RTDP::finite_horizon_lrtdp_t<state_t>::best_q_value(Online::Policy::RTDP::node_t<state_t> const&) const
std::pair<std::pair<float, Problem::action_t>, bool> best_q_value(const node_t<T> &node) const {
        bool all_labeled = false;
        Problem::action_t best_action = Problem::noop;
        float best_value = std::numeric_limits<float>::max();
        int nactions = problem_.number_actions(node.state());
        for( Problem::action_t a = 0; a < nactions; ++a ) {
            if( problem_.applicable(node.state(), a) ) {
                std::pair<float, bool> p = q_value(node, a);
                if( (best_action == Problem::noop) || (p.first < best_value) ) {
                    all_labeled = p.second;
                    best_value = p.first;
                    best_action = a;
                }
            }
        }
        assert(best_action != Problem::noop);
        return std::make_pair(std::make_pair(best_value, best_action), all_labeled);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq 0x8(%rdi), %rdi
movq (%rdi), %rax
callq *0x10(%rax)
testl %eax, %eax
jle 0x28758
movl %eax, %ebp
movl $0xffffffff, %r15d      # imm = 0xFFFFFFFF
movss 0x2945(%rip), %xmm0     # 0x2b014
movss %xmm0, 0x4(%rsp)
xorl %r13d, %r13d
xorl %r12d, %r12d
movq 0x8(%r14), %rdi
movq (%rdi), %rax
movq %rbx, %rsi
movl %r13d, %edx
callq *0x30(%rax)
testb %al, %al
je 0x28724
movq %r14, %rdi
movq %rbx, %rsi
movl %r13d, %edx
callq 0x28c9e
movd %eax, %xmm0
cmpl $-0x1, %r15d
je 0x28712
movss 0x4(%rsp), %xmm1
ucomiss %xmm0, %xmm1
jbe 0x28724
shrq $0x20, %rax
andb $0x1, %al
movl %r13d, %r15d
movss %xmm0, 0x4(%rsp)
movl %eax, %r12d
incl %r13d
cmpl %r13d, %ebp
jne 0x286db
cmpl $-0x1, %r15d
je 0x28758
movd 0x4(%rsp), %xmm0
movd %xmm0, %eax
shlq $0x20, %r15
orq %rax, %r15
movq %r15, %rax
movl %r12d, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x3ab3(%rip), %rdi      # 0x2c212
leaq 0x5764(%rip), %rsi      # 0x2deca
leaq 0x57dd(%rip), %rcx      # 0x2df4a
movl $0x11d, %edx            # imm = 0x11D
callq 0x51c0
nop
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/online_rtdp.h
// Function: Online::Policy::RTDP::finite_horizon_lrtdp_t<state_t>::try_label(Online::Policy::RTDP::node_t<state_t> const&, Online::Policy::RTDP::data_t*) const
bool try_label(const node_t<T> &node, data_t *dptr) const {
        bool labeled = true;
        if( dead_end(node) ) {
            dptr->value_ = problem_.dead_end_value();
        } else if( terminal(node) ) {
            dptr->value_ = 0;
        } else {
            std::pair<std::pair<float, Problem::action_t>, bool> p = best_q_value(node);
            if( (p.first.first == dptr->value_) && p.second ) {
                labeled = true;
            } else {
                dptr->value_ = p.first.first;
                labeled = p.second;
            }
        }
        dptr->labeled_ = labeled;
        return labeled;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq 0x8(%rdi), %rdi
movq (%rdi), %rax
callq *0x28(%rax)
testb %al, %al
je 0x28813
movq 0x8(%r15), %rax
movss 0xc(%rax), %xmm0
movss %xmm0, (%rbx)
jmp 0x28834
movl 0x70(%r14), %eax
cmpl 0x30(%r15), %eax
jae 0x2882e
movq 0x8(%r15), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x20(%rax)
testb %al, %al
je 0x28841
movl $0x0, (%rbx)
movb $0x1, %cl
movb %cl, 0x4(%rbx)
movl %ecx, %eax
popq %rbx
popq %r14
popq %r15
retq
movq %r15, %rdi
movq %r14, %rsi
callq 0x2869c
movd %eax, %xmm0
movss (%rbx), %xmm1
ucomiss %xmm1, %xmm0
setne %cl
movl %edx, %esi
notb %sil
orb %cl, %sil
movb $0x1, %cl
testb $0x1, %sil
je 0x28836
ucomiss %xmm0, %xmm1
setne %cl
andb %dl, %cl
movl %eax, (%rbx)
jmp 0x28836
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/online_rtdp.h
// Function: Online::Policy::RTDP::finite_horizon_lrtdp_t<state_t>::value(Online::Policy::RTDP::node_t<state_t> const&) const
std::pair<float, bool> value(const node_t<T> &node) const {
        const data_t *dptr = table_.data_ptr(node);
        if( dptr != 0 ) {
            return std::make_pair(dptr->value_, dptr->labeled_);
        } else {
            float hvalue = 0; // default value for terminal node
            if( dead_end(node) ) {
                hvalue = problem_.dead_end_value();
            } else if( !terminal(node) ) {
                hvalue = heuristic_ == 0 ? 0 : heuristic_->value(node.state());
                policy_t<T>::heuristic_time_ = heuristic_ == 0 ? 0 : heuristic_->eval_time();
            }
            return std::make_pair(hvalue, false);
        }
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
addq $0x48, %rdi
callq 0x28174
testq %rax, %rax
je 0x28ecf
movq 0x80(%rax), %rax
testq %rax, %rax
je 0x28ecf
movl (%rax), %ecx
movzbl 0x4(%rax), %eax
shlq $0x20, %rax
orq %rcx, %rax
jmp 0x28f3e
movq 0x8(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x28(%rax)
testb %al, %al
je 0x28eeb
movq 0x8(%rbx), %rax
movd 0xc(%rax), %xmm0
jmp 0x28f3a
movl 0x70(%r14), %eax
pxor %xmm0, %xmm0
cmpl 0x30(%rbx), %eax
jae 0x28f3a
movq 0x8(%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x20(%rax)
pxor %xmm0, %xmm0
testb %al, %al
jne 0x28f3a
movq 0x28(%rbx), %rdi
xorps %xmm1, %xmm1
testq %rdi, %rdi
je 0x28f35
movq (%rdi), %rax
movq %r14, %rsi
callq *0x20(%rax)
movq 0x28(%rbx), %rax
testq %rax, %rax
je 0x28f32
movss 0x10(%rax), %xmm1
jmp 0x28f35
xorps %xmm1, %xmm1
movss %xmm1, 0x1c(%rbx)
movd %xmm0, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/../engine/problem.h
// Function: Problem::problem_t<state_t>::policy_size_aux(Problem::hash_t<state_t> const&, state_t const&, std::set<state_t, std::less<state_t>, std::allocator<state_t>>&) const
size_t policy_size_aux(const hash_t<T> &hash, const T &s, std::set<T> &marked_states) const {
        std::vector<std::pair<T, float> > outcomes;
        size_t size = 0;
        if( !terminal(s) && (marked_states.find(s) == marked_states.end()) ) {
            marked_states.insert(s);
            std::pair<action_t, float> p = hash.best_q_value(s);
            next(s, p.first, outcomes);
            unsigned osize = outcomes.size();
            for( unsigned i = 0; i < osize; ++i )
                size += policy_size_aux(hash, outcomes[i].first, marked_states);
            ++size;
        }
        return size;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %r15
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
movq (%rdi), %rax
movq %rdx, %rsi
callq *0x20(%rax)
testb %al, %al
jne 0x29a69
movq %rbx, %rdi
movq %r12, %rsi
callq 0x29b26
leaq 0x8(%rbx), %rcx
cmpq %rcx, %rax
je 0x29a86
xorl %r12d, %r12d
movq %rsp, %rdi
callq 0xd12e
movq %r12, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbx, %rdi
movq %r12, %rsi
callq 0x29c46
movq %r14, %rdi
movq %r12, %rsi
callq 0xf8b0
movq (%r15), %r8
movq %rsp, %rcx
movq %r15, %rdi
movq %r12, %rsi
movl %eax, %edx
callq *0x60(%r8)
movq 0x8(%rsp), %rcx
subq (%rsp), %rcx
sarq $0x3, %rcx
movabsq $-0x1111111111111111, %rax # imm = 0xEEEEEEEEEEEEEEEF
imulq %rcx, %rax
testl %eax, %eax
je 0x29b01
movl %eax, %eax
imulq $0x78, %rax, %r13
xorl %ebp, %ebp
xorl %r12d, %r12d
movq (%rsp), %rdx
addq %rbp, %rdx
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rcx
callq 0x29a1e
addq %rax, %r12
addq $0x78, %rbp
cmpq %rbp, %r13
jne 0x29ad8
incq %r12
jmp 0x29a6c
movl $0x1, %r12d
jmp 0x29a6c
jmp 0x29b12
jmp 0x29b12
jmp 0x29b12
movq %rax, %rbx
movq %rsp, %rdi
callq 0xd12e
movq %rbx, %rdi
callq 0x5410
nop
// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/ctp3/./ctp3.h
// Function: state_t::operator<(state_t const&) const
bool operator<(const state_t &s) const {
        return (current_ < s.current_) ||
               ((current_ == s.current_) && (info_ < s.info_)) ||
               ((current_ == s.current_) && (info_ == s.info_) &&
                (memcmp(visited_, s.visited_, words_for_nodes_ * sizeof(unsigned)) < 0));
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movl (%rdi), %eax
movl (%rsi), %ecx
movb $0x1, %bpl
cmpl %ecx, %eax
jl 0x29bf3
movq %rsi, %rbx
movq %rdi, %r14
jne 0x29bb7
leaq 0x4(%r14), %rdi
leaq 0x4(%rbx), %rsi
callq 0x29bfa
testb %al, %al
jne 0x29bf3
movl (%r14), %eax
movl (%rbx), %ecx
cmpl %ecx, %eax
jne 0x29bf1
leaq 0x4(%r14), %rdi
leaq 0x4(%rbx), %rsi
callq 0xb938
testb %al, %al
je 0x29bf1
addq $0x4c, %r14
addq $0x4c, %rbx
movslq 0x136ad(%rip), %rdx     # 0x3d288
shlq $0x2, %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5130
movl %eax, %ebp
shrl $0x1f, %ebp
jmp 0x29bf3
xorl %ebp, %ebp
movl %ebp, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/xukmin[P]rase/sensor-placers.cc
// Function: RandomizedSensorPlacer::GeneratePositions(std::vector<Position, std::allocator<Position>>*)
void RandomizedSensorPlacer::GeneratePositions(std::vector<Position>* positions) {
  assert(positions != NULL);
  positions->clear();

  // Put the base station at the origin.
  positions->push_back(Position(0.0, 0.0));

  for (int i = 1; i < num_sensors_; i++) {
    positions->push_back(Position(DoubleRand(region_.min_x, region_.max_x),
                                  DoubleRand(region_.min_y, region_.max_y)));
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
testq %rsi, %rsi
je 0x4078
movq %rsi, %rbx
movq %rdi, %r14
movq (%rsi), %rax
movq 0x8(%rsi), %rsi
cmpq %rax, %rsi
je 0x3fd8
movq %rax, 0x8(%rbx)
movq %rax, %rsi
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
cmpq 0x10(%rbx), %rsi
je 0x3fef
movups %xmm0, (%rsi)
addq $0x10, 0x8(%rbx)
jmp 0x3ffa
movq %rsp, %rdx
movq %rbx, %rdi
callq 0x4208
cmpl $0x2, 0x8(%r14)
jl 0x406d
movl $0x1, %ebp
movq %rsp, %r15
movsd 0x10(%r14), %xmm0
movsd 0x20(%r14), %xmm1
callq 0x822c
movsd %xmm0, 0x10(%rsp)
movsd 0x18(%r14), %xmm0
movsd 0x28(%r14), %xmm1
callq 0x822c
movsd 0x10(%rsp), %xmm1
movsd %xmm1, (%rsp)
movsd %xmm0, 0x8(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x405a
movups (%rsp), %xmm0
movups %xmm0, (%rsi)
addq $0x10, 0x8(%rbx)
jmp 0x4065
movq %rbx, %rdi
movq %r15, %rdx
callq 0x4208
incl %ebp
cmpl 0x8(%r14), %ebp
jl 0x4009
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5041(%rip), %rdi      # 0x90c0
leaq 0x504c(%rip), %rsi      # 0x90d2
leaq 0x5057(%rip), %rcx      # 0x90e4
movl $0x16, %edx
callq 0x30e0
nop
// File: /workspace/github_cpp_makefile_star2_O3/xukmin[P]rase/sensor-placers.cc
// Function: RegularSensorPlacer::GeneratePositions(std::vector<Position, std::allocator<Position>>*)
void RegularSensorPlacer::GeneratePositions(std::vector<Position>* positions) {
  assert(positions != NULL);
  positions->clear();

  double gap_x = (region_.max_x - region_.min_x) / num_cols_;
  double gap_y = (region_.max_y - region_.min_y) / num_rows_;

  for (int i = 0; i < num_cols_; i++) {
    for (int j = 0; j < num_rows_; j++) {
      positions->push_back(Position(region_.min_x + i * gap_x,
                                    region_.min_y + j * gap_y));
    }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x30, %rsp
testq %rsi, %rsi
je 0x4188
movq %rsi, %rbx
movq %rdi, %r14
movq (%rsi), %rax
cmpq %rax, 0x8(%rsi)
je 0x40c0
movq %rax, 0x8(%rbx)
movq 0x8(%r14), %rax
testl %eax, %eax
jle 0x417b
movupd 0x20(%r14), %xmm3
movupd 0x10(%r14), %xmm0
subpd %xmm0, %xmm3
movq %rax, %xmm0
cvtdq2pd %xmm0, %xmm1
divpd %xmm1, %xmm3
pshufd $0x55, %xmm0, %xmm0     # xmm0 = xmm0[1,1,1,1]
movd %xmm0, %ecx
xorl %ebp, %ebp
movq %rsp, %r15
movapd %xmm3, 0x10(%rsp)
testl %ecx, %ecx
jle 0x4175
xorps %xmm4, %xmm4
cvtsi2sd %ebp, %xmm4
xorl %r12d, %r12d
movapd %xmm4, 0x20(%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %r12d, %xmm0
movupd 0x10(%r14), %xmm1
movapd %xmm4, %xmm2
unpcklpd %xmm0, %xmm2            # xmm2 = xmm2[0],xmm0[0]
mulpd %xmm3, %xmm2
addpd %xmm1, %xmm2
movapd %xmm2, (%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x414e
movapd (%rsp), %xmm0
movupd %xmm0, (%rsi)
addq $0x10, 0x8(%rbx)
jmp 0x4165
movq %rbx, %rdi
movq %r15, %rdx
callq 0x4208
movapd 0x20(%rsp), %xmm4
movapd 0x10(%rsp), %xmm3
incl %r12d
movl 0xc(%r14), %ecx
cmpl %ecx, %r12d
jl 0x4111
movl 0x8(%r14), %eax
incl %ebp
cmpl %eax, %ebp
jl 0x40fd
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x4f31(%rip), %rdi      # 0x90c0
leaq 0x4f3c(%rip), %rsi      # 0x90d2
leaq 0x4f97(%rip), %rcx      # 0x9134
movl $0x23, %edx
callq 0x30e0
// File: /workspace/github_cpp_makefile_star2_O3/xukmin[P]rase/sensor-placers.cc
// Function: GeneratePositionsThatCanBeConnected(double, SensorPlacer*, std::vector<Position, std::allocator<Position>>*)
void GeneratePositionsThatCanBeConnected(double communication_range,
                                         SensorPlacer* placer,
                                         std::vector<Position>* positions) {
  double min_communication_range;
  int retries = 10;
  while (retries-- > 0) {
    placer->GeneratePositions(positions);
    if (communication_range >= CalculateMinimumCommunicationRange(*positions)) {
      return;
    }
  }
  fprintf(stderr, "Failed to generate sensors with given communication range!\n");
  exit(1);
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movsd %xmm0, 0x8(%rsp)
movl $0xfffffff5, %ebp       # imm = 0xFFFFFFF5
incl %ebp
je 0x41ed
movq (%r14), %rax
movq %r14, %rdi
movq %rbx, %rsi
callq *0x10(%rax)
movq %rbx, %rdi
callq 0x516a
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jb 0x41c0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
callq 0x32d1
// File: /workspace/github_cpp_makefile_star2_O3/xukmin[P]rase/sensor-network.cc
// Function: SensorNetwork::FindSensorsWithinRange(Position const&, double, std::vector<int, std::allocator<int>>*) const
bool SensorNetwork::FindSensorsWithinRange(const Position& position,
                                           double range,
                                           std::vector<int>* neighbors) const {
  assert(neighbors != NULL);
  neighbors->clear();

  std::vector<int> candidates;
  FindNeighborCandidates(position, range, &candidates);

  for (int i = 0; i < candidates.size(); i++) {
    int c = candidates[i];
    if (Distance(position, sensors_[c].position()) <= range) {
      neighbors->push_back(c);
    }
  }

  return !neighbors->empty();
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movsd %xmm0, 0x8(%rsp)
testq %rdx, %rdx
je 0x4778
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq (%rdx), %rax
cmpq %rax, 0x8(%rdx)
je 0x46ae
movq %rax, 0x8(%rbx)
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rdx
movaps %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
movq %r15, %rdi
movq %r14, %rsi
movsd 0x8(%rsp), %xmm0
callq 0x446e
movq 0x10(%rsp), %rdi
cmpq %rdi, 0x18(%rsp)
je 0x474b
xorl %r13d, %r13d
leaq 0x4(%rsp), %r12
movslq (%rdi,%r13,4), %rax
movl %eax, 0x4(%rsp)
leaq (%rax,%rax,8), %rsi
shlq $0x3, %rsi
addq (%r15), %rsi
movq %r14, %rdi
callq 0x666b
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jb 0x4732
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x4727
movl 0x4(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x4732
movq %rbx, %rdi
movq %r12, %rdx
callq 0x5d64
incq %r13
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
subq %rdi, %rax
sarq $0x2, %rax
cmpq %r13, %rax
ja 0x46e6
movq (%rbx), %r14
movq 0x8(%rbx), %rbx
testq %rdi, %rdi
je 0x4764
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x3170
cmpq %rbx, %r14
setne %al
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x4b5d(%rip), %rdi      # 0x92dc
leaq 0x4ae5(%rip), %rsi      # 0x926b
leaq 0x4b61(%rip), %rcx      # 0x92ee
movl $0x57, %edx
callq 0x30e0
jmp 0x4799
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x47b3
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x3170
movq %rbx, %rdi
callq 0x3270
nop
// File: /workspace/github_cpp_makefile_star2_O3/xukmin[P]rase/sensor-network.cc
// Function: SensorNetwork::FindSensorsWithinRange(int, double, std::vector<int, std::allocator<int>>*) const
bool SensorNetwork::FindSensorsWithinRange(int sensor,
                                           double range,
                                           std::vector<int>* neighbors) const {
  assert(neighbors != NULL);
  neighbors->clear();

  std::vector<int> candidates;
  FindNeighborCandidates(sensors_[sensor].position(), range, &candidates);

  for (int i = 0; i < candidates.size(); i++) {
    int c = candidates[i];
    if (distances_[sensor][c] <= range) {
      neighbors->push_back(c);
    }
  }

  return !neighbors->empty();
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movsd %xmm0, 0x8(%rsp)
testq %rdx, %rdx
je 0x48bc
movq %rdx, %rbx
movq %rdi, %r14
movq (%rdx), %rax
cmpq %rax, 0x8(%rdx)
je 0x47eb
movq %rax, 0x8(%rbx)
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rdx
movaps %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
movslq %esi, %r15
leaq (%r15,%r15,8), %rsi
shlq $0x3, %rsi
addq (%r14), %rsi
movq %r14, %rdi
movsd 0x8(%rsp), %xmm0
callq 0x446e
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
cmpq %rdi, %rax
je 0x488f
xorl %r12d, %r12d
leaq (%r15,%r15,2), %r13
leaq 0x4(%rsp), %r15
movslq (%rdi,%r12,4), %rcx
movl %ecx, 0x4(%rsp)
movq 0x78(%r14), %rdx
movq (%rdx,%r13,8), %rdx
movsd 0x8(%rsp), %xmm0
ucomisd (%rdx,%rcx,8), %xmm0
jb 0x487d
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x4868
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x487d
movq %rbx, %rdi
movq %r15, %rdx
callq 0x5d64
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
incq %r12
movq %rax, %rcx
subq %rdi, %rcx
sarq $0x2, %rcx
cmpq %r12, %rcx
ja 0x4835
movq (%rbx), %r14
movq 0x8(%rbx), %rbx
testq %rdi, %rdi
je 0x48a8
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x3170
cmpq %rbx, %r14
setne %al
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x4a19(%rip), %rdi      # 0x92dc
leaq 0x49a1(%rip), %rsi      # 0x926b
leaq 0x4a7c(%rip), %rcx      # 0x934d
movl $0x6a, %edx
callq 0x30e0
jmp 0x48dd
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x48f7
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x3170
movq %rbx, %rdi
callq 0x3270
nop
// File: /workspace/github_cpp_makefile_star2_O3/xukmin[P]rase/sensor-network.cc
// Function: SensorNetwork::CreateChannels(double)
void SensorNetwork::CreateChannels(double communication_range) {
  RemoveChannels();

  communication_range_ = communication_range;
  for (int i = 0; i < sensors_.size(); i++) {
    Sensor& sensor = sensors_[i];
    const Position& p = sensor.position();

    std::vector<int> neighbors;
    FindSensorsWithinRange(i, communication_range, &neighbors);
    for (int j = 0; j < neighbors.size(); j++) {
      if (neighbors[j] != i) {
        sensor.AddNeighbor(neighbors[j]);
      }
    }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movsd %xmm0, 0x30(%rsp)
movq %rdi, %rbx
callq 0x4414
movsd 0x30(%rsp), %xmm0
movsd %xmm0, 0x90(%rbx)
movq (%rbx), %r13
cmpq %r13, 0x8(%rbx)
je 0x49f0
xorl %r14d, %r14d
leaq 0x10(%rsp), %r15
leaq 0xc(%rsp), %r12
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq %rbx, %rdi
movl %r14d, %esi
movsd 0x30(%rsp), %xmm0
movq %r15, %rdx
callq 0x47bc
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
cmpq %rdi, %rax
je 0x49b6
leaq (%r14,%r14,8), %rcx
leaq 0x10(%r13,%rcx,8), %r13
xorl %ebp, %ebp
movl (%rdi,%rbp,4), %ecx
cmpq %rcx, %r14
je 0x49a4
movl %ecx, 0xc(%rsp)
movq %r13, %rdi
movq %r12, %rsi
callq 0x5860
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rax
incq %rbp
movq %rax, %rcx
subq %rdi, %rcx
sarq $0x2, %rcx
cmpq %rbp, %rcx
ja 0x4983
testq %rdi, %rdi
je 0x49c8
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x3170
incq %r14
movq (%rbx), %r13
movq 0x8(%rbx), %rax
subq %r13, %rax
sarq $0x3, %rax
movabsq $-0x71c71c71c71c71c7, %rcx # imm = 0x8E38E38E38E38E39
imulq %rcx, %rax
cmpq %r14, %rax
ja 0x4944
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4a01
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x4a1b
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x3170
movq %rbx, %rdi
callq 0x3270
nop