OV - - Function _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4

	Function: _ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb	Module: libkripke.so	Source: SweepSolver.cpp:24-87 [...]	Coverage: 0.01%

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Core/DataStore.h: 48 - 54

--------------------------------------------------------------------------------

48:       if(it == m_vars.end()){

49:         throw std::domain_error("Cannot find '" + name + "' in DataStore");

50:       }

51:

52:       // Cast from BaseVar* and check for correctness

53:       T *var_ptr = dynamic_cast<T*>(it->second);

54:       KRIPKE_ASSERT(var_ptr != nullptr, "Error casting '%s'", name.c_str());

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/basic_string.h: 189 - 1067

--------------------------------------------------------------------------------

189: 	: allocator_type(__a), _M_p(__dat) { }

190:

191: 	_GLIBCXX20_CONSTEXPR

192: 	_Alloc_hider(pointer __dat, _Alloc&& __a = _Alloc())

193: 	: allocator_type(std::move(__a)), _M_p(__dat) { }

[...]

213:       { _M_dataplus._M_p = __p; }

214:

215:       _GLIBCXX20_CONSTEXPR

216:       void

217:       _M_length(size_type __length)

218:       { _M_string_length = __length; }

219:

220:       _GLIBCXX20_CONSTEXPR

221:       pointer

222:       _M_data() const

223:       { return _M_dataplus._M_p; }

[...]

250:       { _M_allocated_capacity = __capacity; }

[...]

264: 	if (_M_data() == _M_local_data())

[...]

289:       { _Alloc_traits::deallocate(_M_get_allocator(), _M_data(), __size + 1); }

[...]

417: 	if (__n == 1)

[...]

639: 	_M_construct(__s, __end, forward_iterator_tag());

[...]

792:       { _M_dispose(); }

[...]

1067:       { return _M_string_length; }

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_map.h: 1220 - 1220

--------------------------------------------------------------------------------

1220:       { return _M_t.find(__x); }

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/SweepSolver.cpp: 24 - 87

--------------------------------------------------------------------------------

24: {

[...]

34:   if(block_jacobi){

35:     comm = new BlockJacobiComm(data_store);

36:   }

37:   else {

38:     comm = new SweepComm(data_store);

39:   }

40:

41:   // Add all subdomains in our list

42:   for(size_t i = 0;i < subdomain_list.size();++ i){

43: //    Kripke::Core::Comm default_comm;

44: //    printf("SweepSolver: rank=%d, sdom=%d\n", (int)default_comm.rank(), (int)*subdomain_list[i]);

45:     SdomId sdom_id = subdomain_list[i];

46:     comm->addSubdomain(data_store, sdom_id);

[...]

52:   while(comm->workRemaining()){

53:

54:     std::vector<SdomId> sdom_ready = comm->readySubdomains();

55:     int backlog = sdom_ready.size();

56:

57:     // Run top of list

58:     if(backlog > 0){

59:       SdomId sdom_id = sdom_ready[0];

60:

61:       auto upwind = field_upwind.getView(sdom_id);

62:

63:       // Clear boundary conditions

64:       if(upwind(Dimension{0}) == -1){

65:         Kripke::Kernel::kConst(data_store.getVariable<Field_IPlane>("i_plane"), sdom_id, 0.0);

66:       }

67:       if(upwind(Dimension{1}) == -1){

68:         Kripke::Kernel::kConst(data_store.getVariable<Field_JPlane>("j_plane"), sdom_id, 0.0);

69:       }

70:       if(upwind(Dimension{2}) == -1){

71:         Kripke::Kernel::kConst(data_store.getVariable<Field_KPlane>("k_plane"), sdom_id, 0.0);

72:       }

73:

74:       // Perform subdomain sweep

75:       Kripke::Kernel::sweepSubdomain(data_store, Kripke::SdomId{sdom_id});

76:

77:       // Mark as complete (and do any communication)

78:       comm->markComplete(sdom_id);

79:     }

80:   }

81:

82:   delete comm;

83:

84: //  printf("\nAfter sweep psi:\n");

85: //  data_store.getVariable<Field_Flux>("psi").dump();

86:

87: }

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/shared_ptr_base.h: 152 - 1522

--------------------------------------------------------------------------------

152:       { __gnu_cxx::__atomic_add_dispatch(&_M_use_count, 1); }

[...]

337: 	  if (__atomic_load_n(__both_counts, __ATOMIC_ACQUIRE) == __unique_ref)

[...]

343: 	      _M_weak_count = _M_use_count = 0;

344: 	      _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(&_M_use_count);

345: 	      _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(&_M_weak_count);

346: 	      _M_dispose();

347: 	      _M_destroy();

348: 	      return;

349: 	    }

350: 	  if (__gnu_cxx::__exchange_and_add_dispatch(&_M_use_count, -1) == 1)

351: 	    [[__unlikely__]]

352: 	    {

353: 	      _M_release_last_use_cold();

354: 	      return;

[...]

1068:       ~__shared_count() noexcept

[...]

1075:       : _M_pi(__r._M_pi)

1076:       {

1077: 	if (_M_pi != nullptr)

[...]

1522:       __shared_ptr(const __shared_ptr&) noexcept = default;

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/basic_string.tcc: 221 - 247

--------------------------------------------------------------------------------

221: 	size_type __dnew = static_cast<size_type>(std::distance(__beg, __end));

222:

223: 	if (__dnew > size_type(_S_local_capacity))

224: 	  {

225: 	    _M_data(_M_create(__dnew, size_type(0)));

[...]

247: 	_M_set_length(__dnew);

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Core/Field.h: 121 - 224

--------------------------------------------------------------------------------

121:         size_t chunk_id = m_subdomain_to_chunk[*sdom_id];

122:

123:         ElementPtr ptr = m_chunk_to_data[chunk_id];

124:         size_t sdom_size = m_chunk_to_size[chunk_id];

[...]

221:         size_t chunk_id = Parent::m_subdomain_to_chunk[*sdom_id];

222:

223:         auto ptr = Parent::m_chunk_to_data[chunk_id];

224:         auto layout = m_chunk_to_layout[chunk_id];

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Kernel.h: 41 - 52

--------------------------------------------------------------------------------

41:       int num_elem = field.size(sdom_id);

42:       RAJA::forall<RAJA::loop_exec>(

43:         RAJA::RangeSegment(0, num_elem),

44:         [=](RAJA::Index_type i){

45: 			 	  view1d(i) = value;

[...]

52:       for(Kripke::SdomId sdom_id : field.getWorkList()){

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_vector.h: 367 - 1145

--------------------------------------------------------------------------------

367: 		      _M_impl._M_end_of_storage - _M_impl._M_start);

[...]

386: 	if (__p)

[...]

990:       { return size_type(this->_M_impl._M_finish - this->_M_impl._M_start); }

[...]

1145: 	return *(this->_M_impl._M_start + __n);

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_tree.h: 1006 - 1006

--------------------------------------------------------------------------------

1006:       { return iterator(&this->_M_impl._M_header); }

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/plugins.hpp: 21 - 37

--------------------------------------------------------------------------------

21:   for (auto plugin = PluginRegistry::begin();

22:       plugin != PluginRegistry::end();

23:       ++plugin)

24:   {

25:     (*plugin).get()->preLaunch(p);

[...]

33:   for (auto plugin = PluginRegistry::begin();

34:       plugin != PluginRegistry::end();

35:       ++plugin)

36:   {

37:     (*plugin).get()->postLaunch(p);

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/ext/atomicity.h: 52 - 108

--------------------------------------------------------------------------------

52:     return ::__libc_single_threaded;

[...]

66:   { return __atomic_fetch_add(__mem, __val, __ATOMIC_ACQ_REL); }

67:

68:   inline void

69:   __attribute__((__always_inline__))

70:   __atomic_add(volatile _Atomic_word* __mem, int __val)

71:   { __atomic_fetch_add(__mem, __val, __ATOMIC_ACQ_REL); }

[...]

84:     _Atomic_word __result = *__mem;

85:     *__mem += __val;

[...]

92:   { *__mem += __val; }

[...]

98:     if (__is_single_threaded())

[...]

108:     if (__is_single_threaded())

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/char_traits.h: 368 - 445

--------------------------------------------------------------------------------

368: 	__c1 = __c2;

[...]

439: 	if (__n == 0)

[...]

445: 	return static_cast<char_type*>(__builtin_memcpy(__s1, __s2, __n));

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Timing.h: 91 - 100

--------------------------------------------------------------------------------

91:         timer(timer_obj),

[...]

97:         timer.start(name);

98:     }

99:     inline ~BlockTimer(){

100:       timer.stop(name);

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_iterator.h: 1077 - 1077

--------------------------------------------------------------------------------

1077:       : _M_current(__i) { }

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp: 59 - 59

--------------------------------------------------------------------------------

59:   for (decltype(distance_it) i = 0; i < distance_it; ++i) {

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Registry.hpp: 82 - 83

--------------------------------------------------------------------------------

82:       iterator &operator++() { Cur = Cur->Next; return *this; }

83:       const entry &operator*() const { return Cur->Val; }

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp: 110 - 110

--------------------------------------------------------------------------------

110:     return data[idx];

/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/new_allocator.h: 168 - 169

--------------------------------------------------------------------------------

168: 	_GLIBCXX_OPERATOR_DELETE(_GLIBCXX_SIZED_DEALLOC(__p, __n));

169:       }

0x8d160 PUSH	%RBP

0x8d161 MOV	%RSP,%RBP

0x8d164 PUSH	%R15

0x8d166 MOV	%EDX,%R15D

0x8d169 PUSH	%R14

0x8d16b LEA	0x6bd8a(%RIP),%RDX

0x8d172 PUSH	%R13

0x8d174 PUSH	%R12

0x8d176 PUSH	%RBX

0x8d177 SUB	$0x138,%RSP

0x8d17e LEA	-0xb0(%RBP),%RAX

0x8d185 MOV	%RDI,-0xf0(%RBP)

0x8d18c MOV	%RDI,%RBX

0x8d18f MOV	%RSI,%R13

0x8d192 LEA	-0xc0(%RBP),%RDI

0x8d199 LEA	-0xb(%RDX),%RSI

0x8d19d MOV	%RAX,-0x100(%RBP)

0x8d1a4 MOV	%RDI,-0xf8(%RBP)

0x8d1ab MOV	%RAX,-0xc0(%RBP)

0x8d1b2 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

0x8d1b7 LEA	0x6a014(%RIP),%RDX

0x8d1be LEA	-0xa0(%RBP),%RDI

0x8d1c5 LEA	-0x90(%RBP),%R12

0x8d1cc LEA	-0x6(%RDX),%RSI

0x8d1d0 MOV	%RDI,%R14

0x8d1d3 MOV	%RDI,-0x130(%RBP)

0x8d1da MOV	%R12,-0xa0(%RBP)

0x8d1e1 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

0x8d1e6 MOV	%R14,%RSI

0x8d1e9 MOV	%RBX,%RDI

0x8d1ec CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

0x8d1f1 LEA	0x8(%RBX),%RDX

0x8d1f5 MOV	%RDX,-0x120(%RBP)

0x8d1fc CMP	%RAX,%RDX

0x8d1ff JE	f79d

0x8d205 MOV	0x40(%RAX),%RDI

0x8d209 TEST	%RDI,%RDI

0x8d20c JE	8eba0

0x8d212 MOV	0x81cff(%RIP),%RDX

0x8d219 MOV	0x81da8(%RIP),%RSI

0x8d220 XOR	%ECX,%ECX

0x8d222 CALL	9430 <__dynamic_cast@plt>

0x8d227 TEST	%RAX,%RAX

0x8d22a JE	8eba0

0x8d230 MOV	-0xb8(%RBP),%RBX

0x8d237 LEA	-0x48(%RBP),%RCX

0x8d23b MOV	-0xc0(%RBP),%R14

0x8d242 MOV	%RAX,-0x60(%RBP)

0x8d246 MOV	%RCX,-0x140(%RBP)

0x8d24d MOV	%RCX,-0x58(%RBP)

0x8d251 MOV	%RBX,-0x80(%RBP)

0x8d255 CMP	$0xf,%RBX

0x8d259 JA	8ea40

0x8d25f CMP	$0x1,%RBX

0x8d263 JNE	8dc95

0x8d269 MOVZX	(%R14),%EDI

0x8d26d MOV	%DIL,-0x48(%RBP)

0x8d271 MOV	-0x140(%RBP),%R10

0x8d278 LEA	-0x58(%RBP),%R8

0x8d27c MOV	%R8,-0x138(%RBP)

0x8d283 MOV	%RBX,-0x50(%RBP)

0x8d287 MOV	-0x138(%RBP),%RSI

0x8d28e MOVB	$0,(%R10,%RBX,1)

0x8d293 MOV	-0x60(%RBP),%RDI

0x8d297 CALL	9100 <_ZN6Kripke6Timing5startERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt>

0x8d29c MOV	-0xa0(%RBP),%RDI

0x8d2a3 CMP	%R12,%RDI

0x8d2a6 JE	8d2b8

0x8d2a8 MOV	-0x90(%RBP),%R11

0x8d2af LEA	0x1(%R11),%RSI

0x8d2b3 CALL	93a0 <_ZdlPvm@plt>

0x8d2b8 MOV	-0xc0(%RBP),%RDI

0x8d2bf MOV	-0x100(%RBP),%RAX

0x8d2c6 CMP	%RAX,%RDI

0x8d2c9 JE	8d2dc

0x8d2cb MOV	-0xb0(%RBP),%R12

0x8d2d2 LEA	0x1(%R12),%RSI

0x8d2d7 CALL	93a0 <_ZdlPvm@plt>

0x8d2dc MOV	-0x100(%RBP),%RDX

0x8d2e3 MOV	-0xf8(%RBP),%RDI

0x8d2ea MOV	%RDX,-0xc0(%RBP)

0x8d2f1 LEA	0x6b55b(%RIP),%RDX

0x8d2f8 LEA	-0x7(%RDX),%RSI

0x8d2fc CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

0x8d301 MOV	-0xf8(%RBP),%RSI

0x8d308 MOV	-0xf0(%RBP),%RDI

0x8d30f CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

0x8d314 CMP	%RAX,-0x120(%RBP)

0x8d31b JE	f852

0x8d321 MOV	0x40(%RAX),%RDI

0x8d325 TEST	%RDI,%RDI

0x8d328 JE	8eae0

0x8d32e MOV	0x81b4b(%RIP),%RDX

0x8d335 MOV	0x81c8c(%RIP),%RSI

0x8d33c XOR	%ECX,%ECX

0x8d33e CALL	9430 <__dynamic_cast@plt>

0x8d343 MOV	%RAX,%R14

0x8d346 TEST	%RAX,%RAX

0x8d349 JE	8eae0

0x8d34f MOV	0x48(%RAX),%RSI

0x8d353 MOV	0x40(%RAX),%RCX

0x8d357 MOV	$0x100000001,%R12

0x8d361 CMP	%RCX,%RSI

0x8d364 JE	8d54d

0x8d36a MOV	%RSI,-0x128(%RBP)

0x8d371 MOV	%RCX,-0xe8(%RBP)

0x8d378 MOV	%R13,-0x148(%RBP)

0x8d37f MOV	%R15D,-0x150(%RBP)

0x8d386 NOPW	%CS:(%RAX,%RAX,1)

(1282) 0x8d390 MOV	-0xe8(%RBP),%R13

(1282) 0x8d397 MOV	0x10(%R14),%R8

(1282) 0x8d39b MOV	0x78(%R14),%R9

(1282) 0x8d39f MOV	0x60(%R14),%R10

(1282) 0x8d3a3 MOV	(%R13),%R15

(1282) 0x8d3a7 MOV	(%R8,%R15,8),%RDI

(1282) 0x8d3ab SAL	$0x3,%RDI

(1282) 0x8d3af MOV	(%R9,%RDI,1),%RBX

(1282) 0x8d3b3 MOV	(%R10,%RDI,1),%R15

(1282) 0x8d3b7 MOV	%RBX,-0x108(%RBP)

(1282) 0x8d3be CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1282) 0x8d3c3 TEST	%RAX,%RAX

(1282) 0x8d3c6 JE	8d46b

(1282) 0x8d3cc MOV	%RAX,%RBX

(1282) 0x8d3cf MOV	%R14,-0x110(%RBP)

(1282) 0x8d3d6 MOV	%R15,-0x118(%RBP)

(1282) 0x8d3dd JMP	8d439

0x8d3df NOP

  (1284) 0x8d3e0 MOV	0x81b61(%RIP),%R14

  (1284) 0x8d3e7 LEA	0x8(%R15),%R13

  (1284) 0x8d3eb CMPB	$0,(%R14)

  (1284) 0x8d3ef JE	8dcc0

  (1284) 0x8d3f5 MOV	(%RDI),%R8

  (1284) 0x8d3f8 MOV	$0x1,%ESI

  (1284) 0x8d3fd INCL	0x8(%R15)

  (1284) 0x8d401 CALLQ	0x10(%R8)

  (1284) 0x8d405 MOV	0x8(%R15),%RSI

  (1284) 0x8d409 CMP	%R12,%RSI

  (1284) 0x8d40c JE	8dcdd

  (1284) 0x8d412 CMPB	$0,(%R14)

  (1284) 0x8d416 JE	8dd00

  (1284) 0x8d41c MOV	0x8(%R15),%EDI

  (1284) 0x8d420 LEA	-0x1(%RDI),%R9D

  (1284) 0x8d424 MOV	%R9D,0x8(%R15)

  (1284) 0x8d428 CMP	$0x1,%EDI

  (1284) 0x8d42b JE	8dd14

  (1284) 0x8d431 MOV	(%RBX),%RBX

  (1284) 0x8d434 TEST	%RBX,%RBX

  (1284) 0x8d437 JE	8d45d

  (1284) 0x8d439 MOV	0x8(%RBX),%RAX

  (1284) 0x8d43d MOV	0x48(%RAX),%R15

  (1284) 0x8d441 MOV	0x40(%RAX),%RDI

  (1284) 0x8d445 TEST	%R15,%R15

  (1284) 0x8d448 JNE	8d3e0

  (1284) 0x8d44a MOV	(%RDI),%RDX

  (1284) 0x8d44d MOV	$0x1,%ESI

  (1284) 0x8d452 CALLQ	0x10(%RDX)

  (1284) 0x8d455 MOV	(%RBX),%RBX

  (1284) 0x8d458 TEST	%RBX,%RBX

  (1284) 0x8d45b JNE	8d439

(1282) 0x8d45d MOV	-0x110(%RBP),%R14

(1282) 0x8d464 MOV	-0x118(%RBP),%R15

(1282) 0x8d46b TEST	%R15D,%R15D

(1282) 0x8d46e JLE	8d485

(1282) 0x8d470 MOV	-0x108(%RBP),%RDI

(1282) 0x8d477 MOVSXD	%R15D,%RDX

(1282) 0x8d47a XOR	%ESI,%ESI

(1282) 0x8d47c SAL	$0x3,%RDX

(1282) 0x8d480 CALL	9230 <memset@plt>

(1282) 0x8d485 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1282) 0x8d48a TEST	%RAX,%RAX

(1282) 0x8d48d JE	8d523

(1282) 0x8d493 MOV	%R14,-0x108(%RBP)

(1282) 0x8d49a MOV	%RAX,%R14

(1282) 0x8d49d JMP	8d4f7

0x8d49f NOP

  (1283) 0x8d4a0 MOV	0x81aa1(%RIP),%RBX

  (1283) 0x8d4a7 LEA	0x8(%R15),%R13

  (1283) 0x8d4ab CMPB	$0,(%RBX)

  (1283) 0x8d4ae JE	8dd30

  (1283) 0x8d4b4 MOV	(%RDI),%R8

  (1283) 0x8d4b7 MOV	$0x1,%ESI

  (1283) 0x8d4bc INCL	0x8(%R15)

  (1283) 0x8d4c0 CALLQ	0x18(%R8)

  (1283) 0x8d4c4 MOV	0x8(%R15),%RSI

  (1283) 0x8d4c8 CMP	%R12,%RSI

  (1283) 0x8d4cb JE	8dd4d

  (1283) 0x8d4d1 CMPB	$0,(%RBX)

  (1283) 0x8d4d4 JE	8dd70

  (1283) 0x8d4da MOV	0x8(%R15),%EDI

  (1283) 0x8d4de LEA	-0x1(%RDI),%R9D

  (1283) 0x8d4e2 MOV	%R9D,0x8(%R15)

  (1283) 0x8d4e6 CMP	$0x1,%EDI

  (1283) 0x8d4e9 JE	8dd84

  (1283) 0x8d4ef MOV	(%R14),%R14

  (1283) 0x8d4f2 TEST	%R14,%R14

  (1283) 0x8d4f5 JE	8d51c

  (1283) 0x8d4f7 MOV	0x8(%R14),%RDX

  (1283) 0x8d4fb MOV	0x48(%RDX),%R15

  (1283) 0x8d4ff MOV	0x40(%RDX),%RDI

  (1283) 0x8d503 TEST	%R15,%R15

  (1283) 0x8d506 JNE	8d4a0

  (1283) 0x8d508 MOV	(%RDI),%R13

  (1283) 0x8d50b MOV	$0x1,%ESI

  (1283) 0x8d510 CALLQ	0x18(%R13)

  (1283) 0x8d514 MOV	(%R14),%R14

  (1283) 0x8d517 TEST	%R14,%R14

  (1283) 0x8d51a JNE	8d4f7

(1282) 0x8d51c MOV	-0x108(%RBP),%R14

(1282) 0x8d523 ADDQ	$0x8,-0xe8(%RBP)

(1282) 0x8d52b MOV	-0xe8(%RBP),%RAX

(1282) 0x8d532 CMP	%RAX,-0x128(%RBP)

(1282) 0x8d539 JNE	8d390

0x8d53f MOV	-0x148(%RBP),%R13

0x8d546 MOV	-0x150(%RBP),%R15D

0x8d54d MOV	-0xc0(%RBP),%RDI

0x8d554 MOV	-0x100(%RBP),%R12

0x8d55b CMP	%R12,%RDI

0x8d55e JE	8d570

0x8d560 MOV	-0xb0(%RBP),%RDX

0x8d567 LEA	0x1(%RDX),%RSI

0x8d56b CALL	93a0 <_ZdlPvm@plt>

0x8d570 MOV	-0x100(%RBP),%RBX

0x8d577 MOV	-0xf8(%RBP),%RDI

0x8d57e LEA	0x6b2da(%RIP),%RDX

0x8d585 LEA	-0x7(%RDX),%RSI

0x8d589 MOV	%RBX,-0xc0(%RBP)

0x8d590 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

0x8d595 MOV	-0xf8(%RBP),%RSI

0x8d59c MOV	-0xf0(%RBP),%RDI

0x8d5a3 CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

0x8d5a8 CMP	%RAX,-0x120(%RBP)

0x8d5af JE	f34d

0x8d5b5 MOV	0x40(%RAX),%RDI

0x8d5b9 TEST	%RDI,%RDI

0x8d5bc JE	8eb70

0x8d5c2 MOV	0x81a07(%RIP),%RDX

0x8d5c9 MOV	0x819f8(%RIP),%RSI

0x8d5d0 XOR	%ECX,%ECX

0x8d5d2 CALL	9430 <__dynamic_cast@plt>

0x8d5d7 TEST	%RAX,%RAX

0x8d5da JE	8eb70

0x8d5e0 MOV	0x48(%RAX),%RSI

0x8d5e4 MOV	0x40(%RAX),%RCX

0x8d5e8 MOV	$0x100000001,%R12

0x8d5f2 CMP	%RCX,%RSI

0x8d5f5 JE	8d7dd

0x8d5fb MOV	%RAX,%RBX

0x8d5fe MOV	%RSI,-0x128(%RBP)

0x8d605 MOV	%RCX,-0xe8(%RBP)

0x8d60c MOV	%R13,-0x148(%RBP)

0x8d613 MOV	%R15D,-0x150(%RBP)

0x8d61a NOPW	(%RAX,%RAX,1)

(1279) 0x8d620 MOV	-0xe8(%RBP),%R15

(1279) 0x8d627 MOV	0x10(%RBX),%RDI

(1279) 0x8d62b MOV	0x78(%RBX),%R10

(1279) 0x8d62f MOV	0x60(%RBX),%RAX

(1279) 0x8d633 MOV	(%R15),%R13

(1279) 0x8d636 MOV	(%RDI,%R13,8),%R9

(1279) 0x8d63a SAL	$0x3,%R9

(1279) 0x8d63e MOV	(%R10,%R9,1),%R11

(1279) 0x8d642 MOV	(%RAX,%R9,1),%R15

(1279) 0x8d646 MOV	%R11,-0x108(%RBP)

(1279) 0x8d64d CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1279) 0x8d652 TEST	%RAX,%RAX

(1279) 0x8d655 JE	8d6fc

(1279) 0x8d65b MOV	%RBX,-0x110(%RBP)

(1279) 0x8d662 MOV	%R15,-0x118(%RBP)

(1279) 0x8d669 MOV	%RAX,%RBX

(1279) 0x8d66c JMP	8d6c9

0x8d66e XCHG	%AX,%AX

  (1281) 0x8d670 MOV	0x818d1(%RIP),%R14

  (1281) 0x8d677 LEA	0x8(%R15),%R13

  (1281) 0x8d67b CMPB	$0,(%R14)

  (1281) 0x8d67f JE	8dda0

  (1281) 0x8d685 MOV	(%RDI),%R9

  (1281) 0x8d688 MOV	$0x1,%ESI

  (1281) 0x8d68d INCL	0x8(%R15)

  (1281) 0x8d691 CALLQ	0x10(%R9)

  (1281) 0x8d695 MOV	0x8(%R15),%RSI

  (1281) 0x8d699 CMP	%R12,%RSI

  (1281) 0x8d69c JE	8ddbd

  (1281) 0x8d6a2 CMPB	$0,(%R14)

  (1281) 0x8d6a6 JE	8dde0

  (1281) 0x8d6ac MOV	0x8(%R15),%EDI

  (1281) 0x8d6b0 LEA	-0x1(%RDI),%R10D

  (1281) 0x8d6b4 MOV	%R10D,0x8(%R15)

  (1281) 0x8d6b8 CMP	$0x1,%EDI

  (1281) 0x8d6bb JE	8ddf4

  (1281) 0x8d6c1 MOV	(%RBX),%RBX

  (1281) 0x8d6c4 TEST	%RBX,%RBX

  (1281) 0x8d6c7 JE	8d6ee

  (1281) 0x8d6c9 MOV	0x8(%RBX),%R14

  (1281) 0x8d6cd MOV	0x48(%R14),%R15

  (1281) 0x8d6d1 MOV	0x40(%R14),%RDI

  (1281) 0x8d6d5 TEST	%R15,%R15

  (1281) 0x8d6d8 JNE	8d670

  (1281) 0x8d6da MOV	(%RDI),%R8

  (1281) 0x8d6dd MOV	$0x1,%ESI

  (1281) 0x8d6e2 CALLQ	0x10(%R8)

  (1281) 0x8d6e6 MOV	(%RBX),%RBX

  (1281) 0x8d6e9 TEST	%RBX,%RBX

  (1281) 0x8d6ec JNE	8d6c9

(1279) 0x8d6ee MOV	-0x110(%RBP),%RBX

(1279) 0x8d6f5 MOV	-0x118(%RBP),%R15

(1279) 0x8d6fc TEST	%R15D,%R15D

(1279) 0x8d6ff JLE	8d716

(1279) 0x8d701 MOV	-0x108(%RBP),%RDI

(1279) 0x8d708 MOVSXD	%R15D,%RDX

(1279) 0x8d70b XOR	%ESI,%ESI

(1279) 0x8d70d SAL	$0x3,%RDX

(1279) 0x8d711 CALL	9230 <memset@plt>

(1279) 0x8d716 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1279) 0x8d71b TEST	%RAX,%RAX

(1279) 0x8d71e JE	8d7b3

(1279) 0x8d724 MOV	%RAX,%R14

(1279) 0x8d727 MOV	%RBX,-0x108(%RBP)

(1279) 0x8d72e JMP	8d787

  (1280) 0x8d730 MOV	0x81811(%RIP),%RBX

  (1280) 0x8d737 LEA	0x8(%R15),%R13

  (1280) 0x8d73b CMPB	$0,(%RBX)

  (1280) 0x8d73e JE	8de10

  (1280) 0x8d744 MOV	(%RDI),%R9

  (1280) 0x8d747 MOV	$0x1,%ESI

  (1280) 0x8d74c INCL	0x8(%R15)

  (1280) 0x8d750 CALLQ	0x18(%R9)

  (1280) 0x8d754 MOV	0x8(%R15),%RSI

  (1280) 0x8d758 CMP	%R12,%RSI

  (1280) 0x8d75b JE	8de2d

  (1280) 0x8d761 CMPB	$0,(%RBX)

  (1280) 0x8d764 JE	8de50

  (1280) 0x8d76a MOV	0x8(%R15),%EDI

  (1280) 0x8d76e LEA	-0x1(%RDI),%R10D

  (1280) 0x8d772 MOV	%R10D,0x8(%R15)

  (1280) 0x8d776 CMP	$0x1,%EDI

  (1280) 0x8d779 JE	8de64

  (1280) 0x8d77f MOV	(%R14),%R14

  (1280) 0x8d782 TEST	%R14,%R14

  (1280) 0x8d785 JE	8d7ac

  (1280) 0x8d787 MOV	0x8(%R14),%R8

  (1280) 0x8d78b MOV	0x48(%R8),%R15

  (1280) 0x8d78f MOV	0x40(%R8),%RDI

  (1280) 0x8d793 TEST	%R15,%R15

  (1280) 0x8d796 JNE	8d730

  (1280) 0x8d798 MOV	(%RDI),%R13

  (1280) 0x8d79b MOV	$0x1,%ESI

  (1280) 0x8d7a0 CALLQ	0x18(%R13)

  (1280) 0x8d7a4 MOV	(%R14),%R14

  (1280) 0x8d7a7 TEST	%R14,%R14

  (1280) 0x8d7aa JNE	8d787

(1279) 0x8d7ac MOV	-0x108(%RBP),%RBX

(1279) 0x8d7b3 ADDQ	$0x8,-0xe8(%RBP)

(1279) 0x8d7bb MOV	-0xe8(%RBP),%RDX

(1279) 0x8d7c2 CMP	%RDX,-0x128(%RBP)

(1279) 0x8d7c9 JNE	8d620

0x8d7cf MOV	-0x148(%RBP),%R13

0x8d7d6 MOV	-0x150(%RBP),%R15D

0x8d7dd MOV	-0xc0(%RBP),%RDI

0x8d7e4 MOV	-0x100(%RBP),%R12

0x8d7eb CMP	%R12,%RDI

0x8d7ee JE	8d800

0x8d7f0 MOV	-0xb0(%RBP),%R8

0x8d7f7 LEA	0x1(%R8),%RSI

0x8d7fb CALL	93a0 <_ZdlPvm@plt>

0x8d800 MOV	-0x100(%RBP),%RCX

0x8d807 MOV	-0xf8(%RBP),%RDI

0x8d80e LEA	0x6b056(%RIP),%RDX

0x8d815 LEA	-0x7(%RDX),%RSI

0x8d819 MOV	%RCX,-0xc0(%RBP)

0x8d820 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

0x8d825 MOV	-0xf8(%RBP),%RSI

0x8d82c MOV	-0xf0(%RBP),%RDI

0x8d833 CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

0x8d838 CMP	%RAX,-0x120(%RBP)

0x8d83f JE	f3c3

0x8d845 MOV	0x40(%RAX),%RDI

0x8d849 TEST	%RDI,%RDI

0x8d84c JE	8eb3b

0x8d852 MOV	0x81797(%RIP),%RDX

0x8d859 MOV	0x81768(%RIP),%RSI

0x8d860 XOR	%ECX,%ECX

0x8d862 CALL	9430 <__dynamic_cast@plt>

0x8d867 TEST	%RAX,%RAX

0x8d86a JE	8eb3b

0x8d870 MOV	0x48(%RAX),%RSI

0x8d874 MOV	0x40(%RAX),%RDI

0x8d878 MOV	$0x100000001,%R12

0x8d882 CMP	%RDI,%RSI

0x8d885 JE	8da6d

0x8d88b MOV	%RAX,%R14

0x8d88e MOV	%RSI,-0x128(%RBP)

0x8d895 MOV	%RDI,-0xe8(%RBP)

0x8d89c MOV	%R13,-0x148(%RBP)

0x8d8a3 MOV	%R15D,-0x150(%RBP)

0x8d8aa NOPW	(%RAX,%RAX,1)

(1276) 0x8d8b0 MOV	-0xe8(%RBP),%R15

(1276) 0x8d8b7 MOV	0x10(%R14),%R10

(1276) 0x8d8bb MOV	0x78(%R14),%RAX

(1276) 0x8d8bf MOV	0x60(%R14),%RDX

(1276) 0x8d8c3 MOV	(%R15),%R13

(1276) 0x8d8c6 MOV	(%R10,%R13,8),%R11

(1276) 0x8d8ca SAL	$0x3,%R11

(1276) 0x8d8ce MOV	(%RAX,%R11,1),%RBX

(1276) 0x8d8d2 MOV	(%RDX,%R11,1),%R15

(1276) 0x8d8d6 MOV	%RBX,-0x108(%RBP)

(1276) 0x8d8dd CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1276) 0x8d8e2 TEST	%RAX,%RAX

(1276) 0x8d8e5 JE	8d98b

(1276) 0x8d8eb MOV	%RAX,%RBX

(1276) 0x8d8ee MOV	%R14,-0x110(%RBP)

(1276) 0x8d8f5 MOV	%R15,-0x118(%RBP)

(1276) 0x8d8fc JMP	8d959

0x8d8fe XCHG	%AX,%AX

  (1278) 0x8d900 MOV	0x81641(%RIP),%R14

  (1278) 0x8d907 LEA	0x8(%R15),%R13

  (1278) 0x8d90b CMPB	$0,(%R14)

  (1278) 0x8d90f JE	8de80

  (1278) 0x8d915 MOV	(%RDI),%R10

  (1278) 0x8d918 MOV	$0x1,%ESI

  (1278) 0x8d91d INCL	0x8(%R15)

  (1278) 0x8d921 CALLQ	0x10(%R10)

  (1278) 0x8d925 MOV	0x8(%R15),%RSI

  (1278) 0x8d929 CMP	%R12,%RSI

  (1278) 0x8d92c JE	8de9e

  (1278) 0x8d932 CMPB	$0,(%R14)

  (1278) 0x8d936 JE	8dec0

  (1278) 0x8d93c MOV	0x8(%R15),%EDI

  (1278) 0x8d940 LEA	-0x1(%RDI),%R11D

  (1278) 0x8d944 MOV	%R11D,0x8(%R15)

  (1278) 0x8d948 CMP	$0x1,%EDI

  (1278) 0x8d94b JE	8ded4

  (1278) 0x8d951 MOV	(%RBX),%RBX

  (1278) 0x8d954 TEST	%RBX,%RBX

  (1278) 0x8d957 JE	8d97d

  (1278) 0x8d959 MOV	0x8(%RBX),%R14

  (1278) 0x8d95d MOV	0x48(%R14),%R15

  (1278) 0x8d961 MOV	0x40(%R14),%RDI

  (1278) 0x8d965 TEST	%R15,%R15

  (1278) 0x8d968 JNE	8d900

  (1278) 0x8d96a MOV	(%RDI),%RCX

  (1278) 0x8d96d MOV	$0x1,%ESI

  (1278) 0x8d972 CALLQ	0x10(%RCX)

  (1278) 0x8d975 MOV	(%RBX),%RBX

  (1278) 0x8d978 TEST	%RBX,%RBX

  (1278) 0x8d97b JNE	8d959

(1276) 0x8d97d MOV	-0x110(%RBP),%R14

(1276) 0x8d984 MOV	-0x118(%RBP),%R15

(1276) 0x8d98b TEST	%R15D,%R15D

(1276) 0x8d98e JLE	8d9a5

(1276) 0x8d990 MOV	-0x108(%RBP),%RDI

(1276) 0x8d997 MOVSXD	%R15D,%RDX

(1276) 0x8d99a XOR	%ESI,%ESI

(1276) 0x8d99c SAL	$0x3,%RDX

(1276) 0x8d9a0 CALL	9230 <memset@plt>

(1276) 0x8d9a5 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1276) 0x8d9aa TEST	%RAX,%RAX

(1276) 0x8d9ad JE	8da43

(1276) 0x8d9b3 MOV	%R14,-0x108(%RBP)

(1276) 0x8d9ba MOV	%RAX,%R14

(1276) 0x8d9bd JMP	8da17

0x8d9bf NOP

  (1277) 0x8d9c0 MOV	0x81581(%RIP),%RBX

  (1277) 0x8d9c7 LEA	0x8(%R15),%R13

  (1277) 0x8d9cb CMPB	$0,(%RBX)

  (1277) 0x8d9ce JE	8def0

  (1277) 0x8d9d4 MOV	(%RDI),%R10

  (1277) 0x8d9d7 MOV	$0x1,%ESI

  (1277) 0x8d9dc INCL	0x8(%R15)

  (1277) 0x8d9e0 CALLQ	0x18(%R10)

  (1277) 0x8d9e4 MOV	0x8(%R15),%RSI

  (1277) 0x8d9e8 CMP	%R12,%RSI

  (1277) 0x8d9eb JE	8df0e

  (1277) 0x8d9f1 CMPB	$0,(%RBX)

  (1277) 0x8d9f4 JE	8df30

  (1277) 0x8d9fa MOV	0x8(%R15),%EDI

  (1277) 0x8d9fe LEA	-0x1(%RDI),%R11D

  (1277) 0x8da02 MOV	%R11D,0x8(%R15)

  (1277) 0x8da06 CMP	$0x1,%EDI

  (1277) 0x8da09 JE	8df44

  (1277) 0x8da0f MOV	(%R14),%R14

  (1277) 0x8da12 TEST	%R14,%R14

  (1277) 0x8da15 JE	8da3c

  (1277) 0x8da17 MOV	0x8(%R14),%RCX

  (1277) 0x8da1b MOV	0x48(%RCX),%R15

  (1277) 0x8da1f MOV	0x40(%RCX),%RDI

  (1277) 0x8da23 TEST	%R15,%R15

  (1277) 0x8da26 JNE	8d9c0

  (1277) 0x8da28 MOV	(%RDI),%R13

  (1277) 0x8da2b MOV	$0x1,%ESI

  (1277) 0x8da30 CALLQ	0x18(%R13)

  (1277) 0x8da34 MOV	(%R14),%R14

  (1277) 0x8da37 TEST	%R14,%R14

  (1277) 0x8da3a JNE	8da17

(1276) 0x8da3c MOV	-0x108(%RBP),%R14

(1276) 0x8da43 ADDQ	$0x8,-0xe8(%RBP)

(1276) 0x8da4b MOV	-0xe8(%RBP),%R8

(1276) 0x8da52 CMP	%R8,-0x128(%RBP)

(1276) 0x8da59 JNE	8d8b0

0x8da5f MOV	-0x148(%RBP),%R13

0x8da66 MOV	-0x150(%RBP),%R15D

0x8da6d MOV	-0xc0(%RBP),%RDI

0x8da74 MOV	-0x100(%RBP),%R12

0x8da7b CMP	%R12,%RDI

0x8da7e JE	8da90

0x8da80 MOV	-0xb0(%RBP),%RCX

0x8da87 LEA	0x1(%RCX),%RSI

0x8da8b CALL	93a0 <_ZdlPvm@plt>

0x8da90 TEST	%R15B,%R15B

0x8da93 JE	8e9ea

0x8da99 MOV	$0xa8,%EDI

0x8da9e CALL	9390 <_Znwm@plt>

0x8daa3 MOV	-0xf0(%RBP),%RSI

0x8daaa MOV	%RAX,%RDI

0x8daad MOV	%RAX,-0xe8(%RBP)

0x8dab4 CALL	9070 <_ZN6Kripke15BlockJacobiCommC1ERNS_4Core9DataStoreE@plt>

0x8dab9 MOV	(%R13),%R10

0x8dabd XOR	%R14D,%R14D

0x8dac0 CMP	%R10,0x8(%R13)

0x8dac4 JE	8db00

0x8dac6 NOPW	%CS:(%RAX,%RAX,1)

(1275) 0x8dad0 MOV	-0xe8(%RBP),%RDI

(1275) 0x8dad7 MOV	(%R10,%R14,8),%RDX

(1275) 0x8dadb MOV	-0xf0(%RBP),%RSI

(1275) 0x8dae2 MOV	(%RDI),%R9

(1275) 0x8dae5 CALLQ	0x10(%R9)

(1275) 0x8dae9 MOV	(%R13),%R10

(1275) 0x8daed MOV	0x8(%R13),%RSI

(1275) 0x8daf1 INC	%R14

(1275) 0x8daf4 SUB	%R10,%RSI

(1275) 0x8daf7 SAR	$0x3,%RSI

(1275) 0x8dafb CMP	%RSI,%R14

(1275) 0x8dafe JB	8dad0

0x8db00 MOV	-0x100(%RBP),%RDI

0x8db07 LEA	0x69bb9(%RIP),%RDX

0x8db0e LEA	-0x6(%RDX),%RSI

0x8db12 MOV	%RDI,-0xc0(%RBP)

0x8db19 MOV	-0xf8(%RBP),%RDI

0x8db20 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

0x8db25 MOV	-0xf8(%RBP),%RSI

0x8db2c MOV	-0xf0(%RBP),%RDI

0x8db33 CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

0x8db38 CMP	%RAX,-0x120(%RBP)

0x8db3f JE	f498

0x8db45 MOV	0x40(%RAX),%RDI

0x8db49 TEST	%RDI,%RDI

0x8db4c JE	8eb10

0x8db52 MOV	0x81407(%RIP),%RDX

0x8db59 MOV	0x81468(%RIP),%RSI

0x8db60 XOR	%ECX,%ECX

0x8db62 CALL	9430 <__dynamic_cast@plt>

0x8db67 MOV	%RAX,%RBX

0x8db6a TEST	%RAX,%RAX

0x8db6d JE	8eb10

0x8db73 MOV	-0xc0(%RBP),%RDI

0x8db7a MOV	-0x100(%RBP),%R11

0x8db81 CMP	%R11,%RDI

0x8db84 JE	8dba0

0x8db86 MOV	-0xb0(%RBP),%RAX

0x8db8d LEA	0x1(%RAX),%RSI

0x8db91 CALL	93a0 <_ZdlPvm@plt>

0x8db96 NOPW	%CS:(%RAX,%RAX,1)

(1268) 0x8dba0 MOV	-0xe8(%RBP),%R13

(1268) 0x8dba7 MOV	(%R13),%R15

(1268) 0x8dbab MOV	%R13,%RDI

(1268) 0x8dbae CALLQ	0x18(%R15)

(1268) 0x8dbb2 MOV	(%R13),%R8

(1268) 0x8dbb6 TEST	%AL,%AL

(1268) 0x8dbb8 JE	8e9a0

(1268) 0x8dbbe LEA	-0xe0(%RBP),%RDI

(1268) 0x8dbc5 MOV	-0xe8(%RBP),%RSI

(1268) 0x8dbcc MOV	%RDI,-0x110(%RBP)

(1268) 0x8dbd3 CALLQ	0x20(%R8)

(1268) 0x8dbd7 MOV	-0xe0(%RBP),%RDI

(1268) 0x8dbde MOV	-0xd8(%RBP),%R14

(1268) 0x8dbe5 SUB	%RDI,%R14

(1268) 0x8dbe8 SAR	$0x3,%R14

(1268) 0x8dbec TEST	%R14D,%R14D

(1268) 0x8dbef JLE	8dc78

(1268) 0x8dbf5 MOV	(%RDI),%R15

(1268) 0x8dbf8 MOV	0x10(%RBX),%R9

(1268) 0x8dbfc MOV	0x78(%RBX),%RSI

(1268) 0x8dc00 LEA	(,%R15,8),%RDX

(1268) 0x8dc08 MOV	(%R9,%RDX,1),%R10

(1268) 0x8dc0c MOV	%RDX,-0x108(%RBP)

(1268) 0x8dc13 MOV	(%RSI,%R10,8),%R14

(1268) 0x8dc17 SAL	$0x5,%R10

(1268) 0x8dc1b ADD	0x90(%RBX),%R10

(1268) 0x8dc22 CMPQ	$-0x1,(%R14)

(1268) 0x8dc26 MOV	0x8(%R10),%R12

(1268) 0x8dc2a JE	8e5d0

(1268) 0x8dc30 LEA	(,%R12,8),%R13

(1268) 0x8dc38 ADD	%R13,%R14

(1268) 0x8dc3b CMPQ	$-0x1,(%R14)

(1268) 0x8dc3f JE	8e2a0

(1268) 0x8dc45 CMPQ	$-0x1,(%R14,%R13,1)

(1268) 0x8dc4a JE	8df60

(1268) 0x8dc50 MOV	-0xf0(%RBP),%RDI

(1268) 0x8dc57 MOV	%R15,%RSI

(1268) 0x8dc5a CALL	9620 <_ZN6Kripke6Kernel14sweepSubdomainERNS_4Core9DataStoreENS_6SdomIdE@plt>

(1268) 0x8dc5f MOV	-0xe8(%RBP),%RDI

(1268) 0x8dc66 MOV	%R15,%RSI

(1268) 0x8dc69 MOV	(%RDI),%R12

(1268) 0x8dc6c CALLQ	0x28(%R12)

(1268) 0x8dc71 MOV	-0xe0(%RBP),%RDI

(1268) 0x8dc78 TEST	%RDI,%RDI

(1268) 0x8dc7b JE	8dba0

(1268) 0x8dc81 MOV	-0xd0(%RBP),%RSI

(1268) 0x8dc88 SUB	%RDI,%RSI

(1268) 0x8dc8b CALL	93a0 <_ZdlPvm@plt>

(1268) 0x8dc90 JMP	8dba0

0x8dc95 TEST	%RBX,%RBX

0x8dc98 JE	8d271

0x8dc9e LEA	-0x58(%RBP),%RSI

0x8dca2 MOV	-0x140(%RBP),%RDI

0x8dca9 MOV	%RSI,-0x138(%RBP)

0x8dcb0 JMP	8ea65

0x8dcb5 NOPW	%CS:(%RAX,%RAX,1)

  (1284) 0x8dcc0 LOCK INCL	0x8(%R15)

  (1284) 0x8dcc5 MOV	(%RDI),%RCX

  (1284) 0x8dcc8 MOV	$0x1,%ESI

  (1284) 0x8dccd CALLQ	0x10(%RCX)

  (1284) 0x8dcd0 MOV	0x8(%R15),%RSI

  (1284) 0x8dcd4 CMP	%R12,%RSI

  (1284) 0x8dcd7 JNE	8d412

  (1284) 0x8dcdd MOV	(%R15),%R10

  (1284) 0x8dce0 MOV	%R15,%RDI

  (1284) 0x8dce3 MOVQ	$0,0x8(%R15)

  (1284) 0x8dceb CALLQ	0x10(%R10)

  (1284) 0x8dcef MOV	(%R15),%R11

  (1284) 0x8dcf2 MOV	%R15,%RDI

  (1284) 0x8dcf5 CALLQ	0x18(%R11)

  (1284) 0x8dcf9 JMP	8d431

0x8dcfe XCHG	%AX,%AX

  (1284) 0x8dd00 MOV	$-0x1,%EDI

  (1284) 0x8dd05 LOCK XADD	%EDI,(%R13)

  (1284) 0x8dd0b CMP	$0x1,%EDI

  (1284) 0x8dd0e JNE	8d431

  (1284) 0x8dd14 MOV	%R15,%RDI

  (1284) 0x8dd17 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1284) 0x8dd1c JMP	8d431

0x8dd21 NOPW	%CS:(%RAX,%RAX,1)

0x8dd2c NOPL	(%RAX)

  (1283) 0x8dd30 LOCK INCL	0x8(%R15)

  (1283) 0x8dd35 MOV	(%RDI),%RCX

  (1283) 0x8dd38 MOV	$0x1,%ESI

  (1283) 0x8dd3d CALLQ	0x18(%RCX)

  (1283) 0x8dd40 MOV	0x8(%R15),%RSI

  (1283) 0x8dd44 CMP	%R12,%RSI

  (1283) 0x8dd47 JNE	8d4d1

  (1283) 0x8dd4d MOV	(%R15),%R10

  (1283) 0x8dd50 MOV	%R15,%RDI

  (1283) 0x8dd53 MOVQ	$0,0x8(%R15)

  (1283) 0x8dd5b CALLQ	0x10(%R10)

  (1283) 0x8dd5f MOV	(%R15),%R11

  (1283) 0x8dd62 MOV	%R15,%RDI

  (1283) 0x8dd65 CALLQ	0x18(%R11)

  (1283) 0x8dd69 JMP	8d4ef

0x8dd6e XCHG	%AX,%AX

  (1283) 0x8dd70 MOV	$-0x1,%EDI

  (1283) 0x8dd75 LOCK XADD	%EDI,(%R13)

  (1283) 0x8dd7b CMP	$0x1,%EDI

  (1283) 0x8dd7e JNE	8d4ef

  (1283) 0x8dd84 MOV	%R15,%RDI

  (1283) 0x8dd87 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1283) 0x8dd8c JMP	8d4ef

0x8dd91 NOPW	%CS:(%RAX,%RAX,1)

0x8dd9c NOPL	(%RAX)

  (1281) 0x8dda0 LOCK INCL	0x8(%R15)

  (1281) 0x8dda5 MOV	(%RDI),%RCX

  (1281) 0x8dda8 MOV	$0x1,%ESI

  (1281) 0x8ddad CALLQ	0x10(%RCX)

  (1281) 0x8ddb0 MOV	0x8(%R15),%RSI

  (1281) 0x8ddb4 CMP	%R12,%RSI

  (1281) 0x8ddb7 JNE	8d6a2

  (1281) 0x8ddbd MOV	(%R15),%R11

  (1281) 0x8ddc0 MOV	%R15,%RDI

  (1281) 0x8ddc3 MOVQ	$0,0x8(%R15)

  (1281) 0x8ddcb CALLQ	0x10(%R11)

  (1281) 0x8ddcf MOV	(%R15),%RAX

  (1281) 0x8ddd2 MOV	%R15,%RDI

  (1281) 0x8ddd5 CALLQ	0x18(%RAX)

  (1281) 0x8ddd8 JMP	8d6c1

0x8dddd NOPL	(%RAX)

  (1281) 0x8dde0 MOV	$-0x1,%EDI

  (1281) 0x8dde5 LOCK XADD	%EDI,(%R13)

  (1281) 0x8ddeb CMP	$0x1,%EDI

  (1281) 0x8ddee JNE	8d6c1

  (1281) 0x8ddf4 MOV	%R15,%RDI

  (1281) 0x8ddf7 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1281) 0x8ddfc JMP	8d6c1

0x8de01 NOPW	%CS:(%RAX,%RAX,1)

0x8de0c NOPL	(%RAX)

  (1280) 0x8de10 LOCK INCL	0x8(%R15)

  (1280) 0x8de15 MOV	(%RDI),%RCX

  (1280) 0x8de18 MOV	$0x1,%ESI

  (1280) 0x8de1d CALLQ	0x18(%RCX)

  (1280) 0x8de20 MOV	0x8(%R15),%RSI

  (1280) 0x8de24 CMP	%R12,%RSI

  (1280) 0x8de27 JNE	8d761

  (1280) 0x8de2d MOV	(%R15),%R11

  (1280) 0x8de30 MOV	%R15,%RDI

  (1280) 0x8de33 MOVQ	$0,0x8(%R15)

  (1280) 0x8de3b CALLQ	0x10(%R11)

  (1280) 0x8de3f MOV	(%R15),%RAX

  (1280) 0x8de42 MOV	%R15,%RDI

  (1280) 0x8de45 CALLQ	0x18(%RAX)

  (1280) 0x8de48 JMP	8d77f

0x8de4d NOPL	(%RAX)

  (1280) 0x8de50 MOV	$-0x1,%EDI

  (1280) 0x8de55 LOCK XADD	%EDI,(%R13)

  (1280) 0x8de5b CMP	$0x1,%EDI

  (1280) 0x8de5e JNE	8d77f

  (1280) 0x8de64 MOV	%R15,%RDI

  (1280) 0x8de67 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1280) 0x8de6c JMP	8d77f

0x8de71 NOPW	%CS:(%RAX,%RAX,1)

0x8de7c NOPL	(%RAX)

  (1278) 0x8de80 LOCK INCL	0x8(%R15)

  (1278) 0x8de85 MOV	(%RDI),%R9

  (1278) 0x8de88 MOV	$0x1,%ESI

  (1278) 0x8de8d CALLQ	0x10(%R9)

  (1278) 0x8de91 MOV	0x8(%R15),%RSI

  (1278) 0x8de95 CMP	%R12,%RSI

  (1278) 0x8de98 JNE	8d932

  (1278) 0x8de9e MOV	(%R15),%RAX

  (1278) 0x8dea1 MOV	%R15,%RDI

  (1278) 0x8dea4 MOVQ	$0,0x8(%R15)

  (1278) 0x8deac CALLQ	0x10(%RAX)

  (1278) 0x8deaf MOV	(%R15),%RDX

  (1278) 0x8deb2 MOV	%R15,%RDI

  (1278) 0x8deb5 CALLQ	0x18(%RDX)

  (1278) 0x8deb8 JMP	8d951

0x8debd NOPL	(%RAX)

  (1278) 0x8dec0 MOV	$-0x1,%EDI

  (1278) 0x8dec5 LOCK XADD	%EDI,(%R13)

  (1278) 0x8decb CMP	$0x1,%EDI

  (1278) 0x8dece JNE	8d951

  (1278) 0x8ded4 MOV	%R15,%RDI

  (1278) 0x8ded7 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1278) 0x8dedc JMP	8d951

0x8dee1 NOPW	%CS:(%RAX,%RAX,1)

0x8deec NOPL	(%RAX)

  (1277) 0x8def0 LOCK INCL	0x8(%R15)

  (1277) 0x8def5 MOV	(%RDI),%R9

  (1277) 0x8def8 MOV	$0x1,%ESI

  (1277) 0x8defd CALLQ	0x18(%R9)

  (1277) 0x8df01 MOV	0x8(%R15),%RSI

  (1277) 0x8df05 CMP	%R12,%RSI

  (1277) 0x8df08 JNE	8d9f1

  (1277) 0x8df0e MOV	(%R15),%RAX

  (1277) 0x8df11 MOV	%R15,%RDI

  (1277) 0x8df14 MOVQ	$0,0x8(%R15)

  (1277) 0x8df1c CALLQ	0x10(%RAX)

  (1277) 0x8df1f MOV	(%R15),%RDX

  (1277) 0x8df22 MOV	%R15,%RDI

  (1277) 0x8df25 CALLQ	0x18(%RDX)

  (1277) 0x8df28 JMP	8da0f

0x8df2d NOPL	(%RAX)

  (1277) 0x8df30 MOV	$-0x1,%EDI

  (1277) 0x8df35 LOCK XADD	%EDI,(%R13)

  (1277) 0x8df3b CMP	$0x1,%EDI

  (1277) 0x8df3e JNE	8da0f

  (1277) 0x8df44 MOV	%R15,%RDI

  (1277) 0x8df47 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1277) 0x8df4c JMP	8da0f

0x8df51 NOPW	%CS:(%RAX,%RAX,1)

0x8df5c NOPL	(%RAX)

(1268) 0x8df60 MOV	-0x100(%RBP),%R11

(1268) 0x8df67 MOV	-0xf8(%RBP),%RDI

(1268) 0x8df6e LEA	0x6a8f6(%RIP),%RDX

(1268) 0x8df75 LEA	-0x7(%RDX),%RSI

(1268) 0x8df79 MOV	%R11,-0xc0(%RBP)

(1268) 0x8df80 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

(1268) 0x8df85 MOV	-0xf8(%RBP),%RSI

(1268) 0x8df8c MOV	-0xf0(%RBP),%RDI

(1268) 0x8df93 CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

(1268) 0x8df98 CMP	%RAX,-0x120(%RBP)

(1268) 0x8df9f JE	f53e

(1268) 0x8dfa5 MOV	0x40(%RAX),%RDI

(1268) 0x8dfa9 TEST	%RDI,%RDI

(1268) 0x8dfac JE	8ea0f

(1268) 0x8dfb2 MOV	0x81037(%RIP),%RDX

(1268) 0x8dfb9 MOV	0x81008(%RIP),%RSI

(1268) 0x8dfc0 XOR	%ECX,%ECX

(1268) 0x8dfc2 CALL	9430 <__dynamic_cast@plt>

(1268) 0x8dfc7 TEST	%RAX,%RAX

(1268) 0x8dfca JE	8ea0f

(1268) 0x8dfd0 MOV	0x10(%RAX),%R8

(1268) 0x8dfd4 MOV	-0x108(%RBP),%RCX

(1268) 0x8dfdb MOV	0x78(%RAX),%RDI

(1268) 0x8dfdf MOV	0x60(%RAX),%RDX

(1268) 0x8dfe3 MOV	(%R8,%RCX,1),%RSI

(1268) 0x8dfe7 SAL	$0x3,%RSI

(1268) 0x8dfeb MOV	(%RDI,%RSI,1),%R14

(1268) 0x8dfef MOV	(%RDX,%RSI,1),%R13

(1268) 0x8dff3 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1268) 0x8dff8 TEST	%RAX,%RAX

(1268) 0x8dffb JE	8e0bc

(1268) 0x8e001 MOV	%RAX,%R12

(1268) 0x8e004 MOV	%RBX,-0x108(%RBP)

(1268) 0x8e00b MOV	%R14,-0x118(%RBP)

(1268) 0x8e012 MOV	%R13,-0x128(%RBP)

(1268) 0x8e019 JMP	8e081

0x8e01b NOPL	(%RAX,%RAX,1)

  (1270) 0x8e020 MOV	0x80f21(%RIP),%RBX

  (1270) 0x8e027 LEA	0x8(%R14),%R13

  (1270) 0x8e02b CMPB	$0,(%RBX)

  (1270) 0x8e02e JE	8e1b0

  (1270) 0x8e034 MOV	(%RDI),%R11

  (1270) 0x8e037 MOV	$0x1,%ESI

  (1270) 0x8e03c INCL	0x8(%R14)

  (1270) 0x8e040 CALLQ	0x10(%R11)

  (1270) 0x8e044 MOV	0x8(%R14),%R8

  (1270) 0x8e048 MOV	$0x100000001,%RCX

  (1270) 0x8e052 CMP	%RCX,%R8

  (1270) 0x8e055 JE	8e280

  (1270) 0x8e05b CMPB	$0,(%RBX)

  (1270) 0x8e05e JE	8e1d0

  (1270) 0x8e064 MOV	0x8(%R14),%EDI

  (1270) 0x8e068 LEA	-0x1(%RDI),%ESI

  (1270) 0x8e06b MOV	%ESI,0x8(%R14)

  (1270) 0x8e06f CMP	$0x1,%EDI

  (1270) 0x8e072 JE	8e1e4

  (1270) 0x8e078 MOV	(%R12),%R12

  (1270) 0x8e07c TEST	%R12,%R12

  (1270) 0x8e07f JE	8e0a7

  (1270) 0x8e081 MOV	0x8(%R12),%RBX

  (1270) 0x8e086 MOV	0x48(%RBX),%R14

  (1270) 0x8e08a MOV	0x40(%RBX),%RDI

  (1270) 0x8e08e TEST	%R14,%R14

  (1270) 0x8e091 JNE	8e020

  (1270) 0x8e093 MOV	(%RDI),%RAX

  (1270) 0x8e096 MOV	$0x1,%ESI

  (1270) 0x8e09b CALLQ	0x10(%RAX)

  (1270) 0x8e09e MOV	(%R12),%R12

  (1270) 0x8e0a2 TEST	%R12,%R12

  (1270) 0x8e0a5 JNE	8e081

(1268) 0x8e0a7 MOV	-0x108(%RBP),%RBX

(1268) 0x8e0ae MOV	-0x118(%RBP),%R14

(1268) 0x8e0b5 MOV	-0x128(%RBP),%R13

(1268) 0x8e0bc TEST	%R13D,%R13D

(1268) 0x8e0bf JLE	8e0d2

(1268) 0x8e0c1 MOVSXD	%R13D,%RDX

(1268) 0x8e0c4 XOR	%ESI,%ESI

(1268) 0x8e0c6 MOV	%R14,%RDI

(1268) 0x8e0c9 SAL	$0x3,%RDX

(1268) 0x8e0cd CALL	9230 <memset@plt>

(1268) 0x8e0d2 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1268) 0x8e0d7 TEST	%RAX,%RAX

(1268) 0x8e0da JE	8e17e

(1268) 0x8e0e0 MOV	%RBX,-0x108(%RBP)

(1268) 0x8e0e7 MOV	%RAX,%RBX

(1268) 0x8e0ea JMP	8e152

0x8e0ec NOPL	(%RAX)

  (1269) 0x8e0f0 MOV	0x80e51(%RIP),%R14

  (1269) 0x8e0f7 LEA	0x8(%R13),%R12

  (1269) 0x8e0fb CMPB	$0,(%R14)

  (1269) 0x8e0ff JE	8e200

  (1269) 0x8e105 MOV	(%RDI),%RCX

  (1269) 0x8e108 MOV	$0x1,%ESI

  (1269) 0x8e10d INCL	0x8(%R13)

  (1269) 0x8e111 CALLQ	0x18(%RCX)

  (1269) 0x8e114 MOV	0x8(%R13),%RDI

  (1269) 0x8e118 MOV	$0x100000001,%RSI

  (1269) 0x8e122 CMP	%RSI,%RDI

  (1269) 0x8e125 JE	8e250

  (1269) 0x8e12b CMPB	$0,(%R14)

  (1269) 0x8e12f JE	8e220

  (1269) 0x8e135 MOV	0x8(%R13),%EDX

  (1269) 0x8e139 LEA	-0x1(%RDX),%R9D

  (1269) 0x8e13d MOV	%R9D,0x8(%R13)

  (1269) 0x8e141 CMP	$0x1,%EDX

  (1269) 0x8e144 JE	8e234

  (1269) 0x8e14a MOV	(%RBX),%RBX

  (1269) 0x8e14d TEST	%RBX,%RBX

  (1269) 0x8e150 JE	8e177

  (1269) 0x8e152 MOV	0x8(%RBX),%R10

  (1269) 0x8e156 MOV	0x48(%R10),%R13

  (1269) 0x8e15a MOV	0x40(%R10),%RDI

  (1269) 0x8e15e TEST	%R13,%R13

  (1269) 0x8e161 JNE	8e0f0

  (1269) 0x8e163 MOV	(%RDI),%R11

  (1269) 0x8e166 MOV	$0x1,%ESI

  (1269) 0x8e16b CALLQ	0x18(%R11)

  (1269) 0x8e16f MOV	(%RBX),%RBX

  (1269) 0x8e172 TEST	%RBX,%RBX

  (1269) 0x8e175 JNE	8e152

(1268) 0x8e177 MOV	-0x108(%RBP),%RBX

(1268) 0x8e17e MOV	-0xc0(%RBP),%RDI

(1268) 0x8e185 MOV	-0x100(%RBP),%R13

(1268) 0x8e18c CMP	%R13,%RDI

(1268) 0x8e18f JE	8dc50

(1268) 0x8e195 MOV	-0xb0(%RBP),%R11

(1268) 0x8e19c LEA	0x1(%R11),%RSI

(1268) 0x8e1a0 CALL	93a0 <_ZdlPvm@plt>

(1268) 0x8e1a5 JMP	8dc50

0x8e1aa NOPW	(%RAX,%RAX,1)

  (1270) 0x8e1b0 LOCK INCL	0x8(%R14)

  (1270) 0x8e1b5 MOV	(%RDI),%R10

  (1270) 0x8e1b8 MOV	$0x1,%ESI

  (1270) 0x8e1bd CALLQ	0x10(%R10)

  (1270) 0x8e1c1 JMP	8e044

0x8e1c6 NOPW	%CS:(%RAX,%RAX,1)

  (1270) 0x8e1d0 MOV	$-0x1,%EDI

  (1270) 0x8e1d5 LOCK XADD	%EDI,(%R13)

  (1270) 0x8e1db CMP	$0x1,%EDI

  (1270) 0x8e1de JNE	8e078

  (1270) 0x8e1e4 MOV	%R14,%RDI

  (1270) 0x8e1e7 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1270) 0x8e1ec JMP	8e078

0x8e1f1 NOPW	%CS:(%RAX,%RAX,1)

0x8e1fc NOPL	(%RAX)

  (1269) 0x8e200 LOCK INCL	0x8(%R13)

  (1269) 0x8e205 MOV	(%RDI),%R8

  (1269) 0x8e208 MOV	$0x1,%ESI

  (1269) 0x8e20d CALLQ	0x18(%R8)

  (1269) 0x8e211 JMP	8e114

0x8e216 NOPW	%CS:(%RAX,%RAX,1)

  (1269) 0x8e220 MOV	$-0x1,%EDX

  (1269) 0x8e225 LOCK XADD	%EDX,(%R12)

  (1269) 0x8e22b CMP	$0x1,%EDX

  (1269) 0x8e22e JNE	8e14a

  (1269) 0x8e234 MOV	%R13,%RDI

  (1269) 0x8e237 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1269) 0x8e23c JMP	8e14a

0x8e241 NOPW	%CS:(%RAX,%RAX,1)

0x8e24c NOPL	(%RAX)

  (1269) 0x8e250 MOV	(%R13),%RAX

  (1269) 0x8e254 MOV	%R13,%RDI

  (1269) 0x8e257 MOVQ	$0,0x8(%R13)

  (1269) 0x8e25f CALLQ	0x10(%RAX)

  (1269) 0x8e262 MOV	(%R13),%R10

  (1269) 0x8e266 MOV	%R13,%RDI

  (1269) 0x8e269 CALLQ	0x18(%R10)

  (1269) 0x8e26d JMP	8e14a

0x8e272 NOPW	%CS:(%RAX,%RAX,1)

0x8e27d NOPL	(%RAX)

  (1270) 0x8e280 MOV	(%R14),%RDX

  (1270) 0x8e283 MOV	%R14,%RDI

  (1270) 0x8e286 MOVQ	$0,0x8(%R14)

  (1270) 0x8e28e CALLQ	0x10(%RDX)

  (1270) 0x8e291 MOV	(%R14),%R9

  (1270) 0x8e294 MOV	%R14,%RDI

  (1270) 0x8e297 CALLQ	0x18(%R9)

  (1270) 0x8e29b JMP	8e078

(1268) 0x8e2a0 MOV	-0x100(%RBP),%R8

(1268) 0x8e2a7 MOV	-0xf8(%RBP),%RDI

(1268) 0x8e2ae LEA	0x6a5aa(%RIP),%RDX

(1268) 0x8e2b5 LEA	-0x7(%RDX),%RSI

(1268) 0x8e2b9 MOV	%R8,-0xc0(%RBP)

(1268) 0x8e2c0 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

(1268) 0x8e2c5 MOV	-0xf8(%RBP),%RSI

(1268) 0x8e2cc MOV	-0xf0(%RBP),%RDI

(1268) 0x8e2d3 CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

(1268) 0x8e2d8 CMP	%RAX,-0x120(%RBP)

(1268) 0x8e2df JE	f60b

(1268) 0x8e2e5 MOV	0x40(%RAX),%RDI

(1268) 0x8e2e9 TEST	%RDI,%RDI

(1268) 0x8e2ec JE	8eab0

(1268) 0x8e2f2 MOV	0x80cd7(%RIP),%RDX

(1268) 0x8e2f9 MOV	0x80cc8(%RIP),%RSI

(1268) 0x8e300 XOR	%ECX,%ECX

(1268) 0x8e302 CALL	9430 <__dynamic_cast@plt>

(1268) 0x8e307 TEST	%RAX,%RAX

(1268) 0x8e30a JE	8eab0

(1268) 0x8e310 MOV	0x10(%RAX),%RCX

(1268) 0x8e314 MOV	-0x108(%RBP),%RSI

(1268) 0x8e31b MOV	0x78(%RAX),%RDX

(1268) 0x8e31f MOV	0x60(%RAX),%RAX

(1268) 0x8e323 MOV	(%RCX,%RSI,1),%RDI

(1268) 0x8e327 SAL	$0x3,%RDI

(1268) 0x8e32b MOV	(%RDX,%RDI,1),%R9

(1268) 0x8e32f MOV	(%RAX,%RDI,1),%R10

(1268) 0x8e333 MOV	%R9,-0x128(%RBP)

(1268) 0x8e33a MOV	%R10,-0x118(%RBP)

(1268) 0x8e341 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1268) 0x8e346 TEST	%RAX,%RAX

(1268) 0x8e349 JE	8e40b

(1268) 0x8e34f MOV	%R13,-0x150(%RBP)

(1268) 0x8e356 MOV	%RBX,-0x148(%RBP)

(1268) 0x8e35d MOV	%RAX,%R13

(1268) 0x8e360 MOV	%R14,-0x158(%RBP)

(1268) 0x8e367 JMP	8e3d1

0x8e369 NOPL	(%RAX)

  (1272) 0x8e370 MOV	0x80bd1(%RIP),%RBX

  (1272) 0x8e377 LEA	0x8(%R14),%R12

  (1272) 0x8e37b CMPB	$0,(%RBX)

  (1272) 0x8e37e JE	8e530

  (1272) 0x8e384 MOV	(%RDI),%R8

  (1272) 0x8e387 MOV	$0x1,%ESI

  (1272) 0x8e38c INCL	0x8(%R14)

  (1272) 0x8e390 CALLQ	0x10(%R8)

  (1272) 0x8e394 MOV	0x8(%R14),%RCX

  (1272) 0x8e398 MOV	$0x100000001,%RSI

  (1272) 0x8e3a2 CMP	%RSI,%RCX

  (1272) 0x8e3a5 JE	8e980

  (1272) 0x8e3ab CMPB	$0,(%RBX)

  (1272) 0x8e3ae JE	8e550

  (1272) 0x8e3b4 MOV	0x8(%R14),%EDI

  (1272) 0x8e3b8 LEA	-0x1(%RDI),%EDX

  (1272) 0x8e3bb MOV	%EDX,0x8(%R14)

  (1272) 0x8e3bf CMP	$0x1,%EDI

  (1272) 0x8e3c2 JE	8e564

  (1272) 0x8e3c8 MOV	(%R13),%R13

  (1272) 0x8e3cc TEST	%R13,%R13

  (1272) 0x8e3cf JE	8e3f6

  (1272) 0x8e3d1 MOV	0x8(%R13),%R14

  (1272) 0x8e3d5 MOV	0x40(%R14),%RDI

  (1272) 0x8e3d9 MOV	0x48(%R14),%R14

  (1272) 0x8e3dd TEST	%R14,%R14

  (1272) 0x8e3e0 JNE	8e370

  (1272) 0x8e3e2 MOV	(%RDI),%RBX

  (1272) 0x8e3e5 MOV	$0x1,%ESI

  (1272) 0x8e3ea CALLQ	0x10(%RBX)

  (1272) 0x8e3ed MOV	(%R13),%R13

  (1272) 0x8e3f1 TEST	%R13,%R13

  (1272) 0x8e3f4 JNE	8e3d1

(1268) 0x8e3f6 MOV	-0x148(%RBP),%RBX

(1268) 0x8e3fd MOV	-0x150(%RBP),%R13

(1268) 0x8e404 MOV	-0x158(%RBP),%R14

(1268) 0x8e40b MOV	-0x118(%RBP),%R10D

(1268) 0x8e412 TEST	%R10D,%R10D

(1268) 0x8e415 JLE	8e430

(1268) 0x8e417 MOVSXD	-0x118(%RBP),%RDX

(1268) 0x8e41e MOV	-0x128(%RBP),%RDI

(1268) 0x8e425 XOR	%ESI,%ESI

(1268) 0x8e427 SAL	$0x3,%RDX

(1268) 0x8e42b CALL	9230 <memset@plt>

(1268) 0x8e430 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1268) 0x8e435 TEST	%RAX,%RAX

(1268) 0x8e438 JE	8e4fb

(1268) 0x8e43e MOV	%R13,-0x128(%RBP)

(1268) 0x8e445 MOV	%RBX,-0x118(%RBP)

(1268) 0x8e44c MOV	%RAX,%R13

(1268) 0x8e44f MOV	%R14,-0x148(%RBP)

(1268) 0x8e456 JMP	8e4c1

0x8e458 NOPL	(%RAX,%RAX,1)

  (1271) 0x8e460 MOV	0x80ae1(%RIP),%RBX

  (1271) 0x8e467 LEA	0x8(%R14),%R12

  (1271) 0x8e46b CMPB	$0,(%RBX)

  (1271) 0x8e46e JE	8e580

  (1271) 0x8e474 MOV	(%RDI),%R8

  (1271) 0x8e477 MOV	$0x1,%ESI

  (1271) 0x8e47c INCL	0x8(%R14)

  (1271) 0x8e480 CALLQ	0x18(%R8)

  (1271) 0x8e484 MOV	0x8(%R14),%RCX

  (1271) 0x8e488 MOV	$0x100000001,%RSI

  (1271) 0x8e492 CMP	%RSI,%RCX

  (1271) 0x8e495 JE	8e960

  (1271) 0x8e49b CMPB	$0,(%RBX)

  (1271) 0x8e49e JE	8e5a0

  (1271) 0x8e4a4 MOV	0x8(%R14),%EDI

  (1271) 0x8e4a8 LEA	-0x1(%RDI),%EDX

  (1271) 0x8e4ab MOV	%EDX,0x8(%R14)

  (1271) 0x8e4af CMP	$0x1,%EDI

  (1271) 0x8e4b2 JE	8e5b4

  (1271) 0x8e4b8 MOV	(%R13),%R13

  (1271) 0x8e4bc TEST	%R13,%R13

  (1271) 0x8e4bf JE	8e4e6

  (1271) 0x8e4c1 MOV	0x8(%R13),%R14

  (1271) 0x8e4c5 MOV	0x40(%R14),%RDI

  (1271) 0x8e4c9 MOV	0x48(%R14),%R14

  (1271) 0x8e4cd TEST	%R14,%R14

  (1271) 0x8e4d0 JNE	8e460

  (1271) 0x8e4d2 MOV	(%RDI),%RBX

  (1271) 0x8e4d5 MOV	$0x1,%ESI

  (1271) 0x8e4da CALLQ	0x18(%RBX)

  (1271) 0x8e4dd MOV	(%R13),%R13

  (1271) 0x8e4e1 TEST	%R13,%R13

  (1271) 0x8e4e4 JNE	8e4c1

(1268) 0x8e4e6 MOV	-0x118(%RBP),%RBX

(1268) 0x8e4ed MOV	-0x128(%RBP),%R13

(1268) 0x8e4f4 MOV	-0x148(%RBP),%R14

(1268) 0x8e4fb MOV	-0xc0(%RBP),%RDI

(1268) 0x8e502 MOV	-0x100(%RBP),%R10

(1268) 0x8e509 CMP	%R10,%RDI

(1268) 0x8e50c JE	8dc45

(1268) 0x8e512 MOV	-0xb0(%RBP),%R12

(1268) 0x8e519 LEA	0x1(%R12),%RSI

(1268) 0x8e51e CALL	93a0 <_ZdlPvm@plt>

(1268) 0x8e523 JMP	8dc45

0x8e528 NOPL	(%RAX,%RAX,1)

  (1272) 0x8e530 LOCK INCL	0x8(%R14)

  (1272) 0x8e535 MOV	(%RDI),%R11

  (1272) 0x8e538 MOV	$0x1,%ESI

  (1272) 0x8e53d CALLQ	0x10(%R11)

  (1272) 0x8e541 JMP	8e394

0x8e546 NOPW	%CS:(%RAX,%RAX,1)

  (1272) 0x8e550 MOV	$-0x1,%EDI

  (1272) 0x8e555 LOCK XADD	%EDI,(%R12)

  (1272) 0x8e55b CMP	$0x1,%EDI

  (1272) 0x8e55e JNE	8e3c8

  (1272) 0x8e564 MOV	%R14,%RDI

  (1272) 0x8e567 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1272) 0x8e56c JMP	8e3c8

0x8e571 NOPW	%CS:(%RAX,%RAX,1)

0x8e57c NOPL	(%RAX)

  (1271) 0x8e580 LOCK INCL	0x8(%R14)

  (1271) 0x8e585 MOV	(%RDI),%R11

  (1271) 0x8e588 MOV	$0x1,%ESI

  (1271) 0x8e58d CALLQ	0x18(%R11)

  (1271) 0x8e591 JMP	8e484

0x8e596 NOPW	%CS:(%RAX,%RAX,1)

  (1271) 0x8e5a0 MOV	$-0x1,%EDI

  (1271) 0x8e5a5 LOCK XADD	%EDI,(%R12)

  (1271) 0x8e5ab CMP	$0x1,%EDI

  (1271) 0x8e5ae JNE	8e4b8

  (1271) 0x8e5b4 MOV	%R14,%RDI

  (1271) 0x8e5b7 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1271) 0x8e5bc JMP	8e4b8

0x8e5c1 NOPW	%CS:(%RAX,%RAX,1)

0x8e5cc NOPL	(%RAX)

(1268) 0x8e5d0 MOV	-0x100(%RBP),%R11

(1268) 0x8e5d7 MOV	-0xf8(%RBP),%RDI

(1268) 0x8e5de LEA	0x6a26e(%RIP),%RDX

(1268) 0x8e5e5 LEA	-0x7(%RDX),%RSI

(1268) 0x8e5e9 MOV	%R11,-0xc0(%RBP)

(1268) 0x8e5f0 CALL	f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>

(1268) 0x8e5f5 MOV	-0xf8(%RBP),%RSI

(1268) 0x8e5fc MOV	-0xf0(%RBP),%RDI

(1268) 0x8e603 CALL	1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>

(1268) 0x8e608 CMP	%RAX,-0x120(%RBP)

(1268) 0x8e60f JE	f681

(1268) 0x8e615 MOV	0x40(%RAX),%RDI

(1268) 0x8e619 TEST	%RDI,%RDI

(1268) 0x8e61c JE	8ea7d

(1268) 0x8e622 MOV	0x80857(%RIP),%RDX

(1268) 0x8e629 MOV	0x80998(%RIP),%RSI

(1268) 0x8e630 XOR	%ECX,%ECX

(1268) 0x8e632 CALL	9430 <__dynamic_cast@plt>

(1268) 0x8e637 TEST	%RAX,%RAX

(1268) 0x8e63a JE	8ea7d

(1268) 0x8e640 MOV	0x10(%RAX),%R13

(1268) 0x8e644 MOV	-0x108(%RBP),%R8

(1268) 0x8e64b MOV	0x78(%RAX),%RCX

(1268) 0x8e64f MOV	0x60(%RAX),%RAX

(1268) 0x8e653 MOV	(%R13,%R8,1),%RDI

(1268) 0x8e658 SAL	$0x3,%RDI

(1268) 0x8e65c MOV	(%RCX,%RDI,1),%RDX

(1268) 0x8e660 MOV	(%RAX,%RDI,1),%R9

(1268) 0x8e664 MOV	%RDX,-0x128(%RBP)

(1268) 0x8e66b MOV	%R9,-0x118(%RBP)

(1268) 0x8e672 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1268) 0x8e677 TEST	%RAX,%RAX

(1268) 0x8e67a JE	8e73c

(1268) 0x8e680 MOV	%R12,-0x158(%RBP)

(1268) 0x8e687 MOV	%RBX,-0x148(%RBP)

(1268) 0x8e68e MOV	%RAX,%R12

(1268) 0x8e691 MOV	%R14,-0x150(%RBP)

(1268) 0x8e698 JMP	8e700

0x8e69a NOPW	(%RAX,%RAX,1)

  (1274) 0x8e6a0 MOV	0x808a1(%RIP),%RBX

  (1274) 0x8e6a7 LEA	0x8(%R14),%R13

  (1274) 0x8e6ab CMPB	$0,(%RBX)

  (1274) 0x8e6ae JE	8e860

  (1274) 0x8e6b4 MOV	(%RDI),%RCX

  (1274) 0x8e6b7 MOV	$0x1,%ESI

  (1274) 0x8e6bc INCL	0x8(%R14)

  (1274) 0x8e6c0 CALLQ	0x10(%RCX)

  (1274) 0x8e6c3 MOV	0x8(%R14),%RSI

  (1274) 0x8e6c7 MOV	$0x100000001,%RDI

  (1274) 0x8e6d1 CMP	%RDI,%RSI

  (1274) 0x8e6d4 JE	8e930

  (1274) 0x8e6da CMPB	$0,(%RBX)

  (1274) 0x8e6dd JE	8e880

  (1274) 0x8e6e3 MOV	0x8(%R14),%EDX

  (1274) 0x8e6e7 LEA	-0x1(%RDX),%EAX

  (1274) 0x8e6ea MOV	%EAX,0x8(%R14)

  (1274) 0x8e6ee CMP	$0x1,%EDX

  (1274) 0x8e6f1 JE	8e894

  (1274) 0x8e6f7 MOV	(%R12),%R12

  (1274) 0x8e6fb TEST	%R12,%R12

  (1274) 0x8e6fe JE	8e727

  (1274) 0x8e700 MOV	0x8(%R12),%RBX

  (1274) 0x8e705 MOV	0x48(%RBX),%R14

  (1274) 0x8e709 MOV	0x40(%RBX),%RDI

  (1274) 0x8e70d TEST	%R14,%R14

  (1274) 0x8e710 JNE	8e6a0

  (1274) 0x8e712 MOV	(%RDI),%R11

  (1274) 0x8e715 MOV	$0x1,%ESI

  (1274) 0x8e71a CALLQ	0x10(%R11)

  (1274) 0x8e71e MOV	(%R12),%R12

  (1274) 0x8e722 TEST	%R12,%R12

  (1274) 0x8e725 JNE	8e700

(1268) 0x8e727 MOV	-0x148(%RBP),%RBX

(1268) 0x8e72e MOV	-0x150(%RBP),%R14

(1268) 0x8e735 MOV	-0x158(%RBP),%R12

(1268) 0x8e73c MOV	-0x118(%RBP),%R11D

(1268) 0x8e743 TEST	%R11D,%R11D

(1268) 0x8e746 JLE	8e761

(1268) 0x8e748 MOVSXD	-0x118(%RBP),%RDX

(1268) 0x8e74f MOV	-0x128(%RBP),%RDI

(1268) 0x8e756 XOR	%ESI,%ESI

(1268) 0x8e758 SAL	$0x3,%RDX

(1268) 0x8e75c CALL	9230 <memset@plt>

(1268) 0x8e761 CALL	94d0 <_ZN4RAJA4util8RegistryINS0_14PluginStrategyEE5beginEv@plt>

(1268) 0x8e766 TEST	%RAX,%RAX

(1268) 0x8e769 JE	8e82b

(1268) 0x8e76f MOV	%R12,-0x148(%RBP)

(1268) 0x8e776 MOV	%RBX,-0x118(%RBP)

(1268) 0x8e77d MOV	%RAX,%R12

(1268) 0x8e780 MOV	%R14,-0x128(%RBP)

(1268) 0x8e787 JMP	8e7f0

0x8e789 NOPL	(%RAX)

  (1273) 0x8e790 MOV	0x807b1(%RIP),%RBX

  (1273) 0x8e797 LEA	0x8(%R14),%R13

  (1273) 0x8e79b CMPB	$0,(%RBX)

  (1273) 0x8e79e JE	8e8b0

  (1273) 0x8e7a4 MOV	(%RDI),%RCX

  (1273) 0x8e7a7 MOV	$0x1,%ESI

  (1273) 0x8e7ac INCL	0x8(%R14)

  (1273) 0x8e7b0 CALLQ	0x18(%RCX)

  (1273) 0x8e7b3 MOV	0x8(%R14),%RSI

  (1273) 0x8e7b7 MOV	$0x100000001,%RDI

  (1273) 0x8e7c1 CMP	%RDI,%RSI

  (1273) 0x8e7c4 JE	8e900

  (1273) 0x8e7ca CMPB	$0,(%RBX)

  (1273) 0x8e7cd JE	8e8d0

  (1273) 0x8e7d3 MOV	0x8(%R14),%EDX

  (1273) 0x8e7d7 LEA	-0x1(%RDX),%EAX

  (1273) 0x8e7da MOV	%EAX,0x8(%R14)

  (1273) 0x8e7de CMP	$0x1,%EDX

  (1273) 0x8e7e1 JE	8e8e4

  (1273) 0x8e7e7 MOV	(%R12),%R12

  (1273) 0x8e7eb TEST	%R12,%R12

  (1273) 0x8e7ee JE	8e816

  (1273) 0x8e7f0 MOV	0x8(%R12),%R14

  (1273) 0x8e7f5 MOV	0x40(%R14),%RDI

  (1273) 0x8e7f9 MOV	0x48(%R14),%R14

  (1273) 0x8e7fd TEST	%R14,%R14

  (1273) 0x8e800 JNE	8e790

  (1273) 0x8e802 MOV	(%RDI),%RBX

  (1273) 0x8e805 MOV	$0x1,%ESI

  (1273) 0x8e80a CALLQ	0x18(%RBX)

  (1273) 0x8e80d MOV	(%R12),%R12

  (1273) 0x8e811 TEST	%R12,%R12

  (1273) 0x8e814 JNE	8e7f0

(1268) 0x8e816 MOV	-0x118(%RBP),%RBX

(1268) 0x8e81d MOV	-0x128(%RBP),%R14

(1268) 0x8e824 MOV	-0x148(%RBP),%R12

(1268) 0x8e82b MOV	-0xc0(%RBP),%RDI

(1268) 0x8e832 MOV	-0x100(%RBP),%R11

(1268) 0x8e839 CMP	%R11,%RDI

(1268) 0x8e83c JE	8dc30

(1268) 0x8e842 MOV	-0xb0(%RBP),%R13

(1268) 0x8e849 LEA	0x1(%R13),%RSI

(1268) 0x8e84d CALL	93a0 <_ZdlPvm@plt>

(1268) 0x8e852 JMP	8dc30

0x8e857 NOPW	(%RAX,%RAX,1)

  (1274) 0x8e860 LOCK INCL	0x8(%R14)

  (1274) 0x8e865 MOV	(%RDI),%R8

  (1274) 0x8e868 MOV	$0x1,%ESI

  (1274) 0x8e86d CALLQ	0x10(%R8)

  (1274) 0x8e871 JMP	8e6c3

0x8e876 NOPW	%CS:(%RAX,%RAX,1)

  (1274) 0x8e880 MOV	$-0x1,%EDX

  (1274) 0x8e885 LOCK XADD	%EDX,(%R13)

  (1274) 0x8e88b CMP	$0x1,%EDX

  (1274) 0x8e88e JNE	8e6f7

  (1274) 0x8e894 MOV	%R14,%RDI

  (1274) 0x8e897 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1274) 0x8e89c JMP	8e6f7

0x8e8a1 NOPW	%CS:(%RAX,%RAX,1)

0x8e8ac NOPL	(%RAX)

  (1273) 0x8e8b0 LOCK INCL	0x8(%R14)

  (1273) 0x8e8b5 MOV	(%RDI),%R8

  (1273) 0x8e8b8 MOV	$0x1,%ESI

  (1273) 0x8e8bd CALLQ	0x18(%R8)

  (1273) 0x8e8c1 JMP	8e7b3

0x8e8c6 NOPW	%CS:(%RAX,%RAX,1)

  (1273) 0x8e8d0 MOV	$-0x1,%EDX

  (1273) 0x8e8d5 LOCK XADD	%EDX,(%R13)

  (1273) 0x8e8db CMP	$0x1,%EDX

  (1273) 0x8e8de JNE	8e7e7

  (1273) 0x8e8e4 MOV	%R14,%RDI

  (1273) 0x8e8e7 CALL	1e440 <_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE24_M_release_last_use_coldEv>

  (1273) 0x8e8ec JMP	8e7e7

0x8e8f1 NOPW	%CS:(%RAX,%RAX,1)

0x8e8fc NOPL	(%RAX)

  (1273) 0x8e900 MOV	(%R14),%R9

  (1273) 0x8e903 MOV	%R14,%RDI

  (1273) 0x8e906 MOVQ	$0,0x8(%R14)

  (1273) 0x8e90e CALLQ	0x10(%R9)

  (1273) 0x8e912 MOV	(%R14),%R10

  (1273) 0x8e915 MOV	%R14,%RDI

  (1273) 0x8e918 CALLQ	0x18(%R10)

  (1273) 0x8e91c JMP	8e7e7

0x8e921 NOPW	%CS:(%RAX,%RAX,1)

0x8e92c NOPL	(%RAX)

  (1274) 0x8e930 MOV	(%R14),%R9

  (1274) 0x8e933 MOV	%R14,%RDI

  (1274) 0x8e936 MOVQ	$0,0x8(%R14)

  (1274) 0x8e93e CALLQ	0x10(%R9)

  (1274) 0x8e942 MOV	(%R14),%R10

  (1274) 0x8e945 MOV	%R14,%RDI

  (1274) 0x8e948 CALLQ	0x18(%R10)

  (1274) 0x8e94c JMP	8e6f7

0x8e951 NOPW	%CS:(%RAX,%RAX,1)

0x8e95c NOPL	(%RAX)

  (1271) 0x8e960 MOV	(%R14),%R9

  (1271) 0x8e963 MOV	%R14,%RDI

  (1271) 0x8e966 MOVQ	$0,0x8(%R14)

  (1271) 0x8e96e CALLQ	0x10(%R9)

  (1271) 0x8e972 MOV	(%R14),%RAX

  (1271) 0x8e975 MOV	%R14,%RDI

  (1271) 0x8e978 CALLQ	0x18(%RAX)

  (1271) 0x8e97b JMP	8e4b8

  (1272) 0x8e980 MOV	(%R14),%R9

  (1272) 0x8e983 MOV	%R14,%RDI

  (1272) 0x8e986 MOVQ	$0,0x8(%R14)

  (1272) 0x8e98e CALLQ	0x10(%R9)

  (1272) 0x8e992 MOV	(%R14),%RAX

  (1272) 0x8e995 MOV	%R14,%RDI

  (1272) 0x8e998 CALLQ	0x18(%RAX)

  (1272) 0x8e99b JMP	8e3c8

0x8e9a0 MOV	-0xe8(%RBP),%RDI

0x8e9a7 CALLQ	0x8(%R8)

0x8e9ab MOV	-0x60(%RBP),%RDI

0x8e9af MOV	-0x138(%RBP),%RSI

0x8e9b6 CALL	94f0 <_ZN6Kripke6Timing4stopERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt>

0x8e9bb MOV	-0x58(%RBP),%RDI

0x8e9bf MOV	-0x140(%RBP),%R12

0x8e9c6 CMP	%R12,%RDI

0x8e9c9 JE	8e9d8

0x8e9cb MOV	-0x48(%RBP),%RCX

0x8e9cf LEA	0x1(%RCX),%RSI

0x8e9d3 CALL	93a0 <_ZdlPvm@plt>

0x8e9d8 ADD	$0x138,%RSP

0x8e9df POP	%RBX

0x8e9e0 POP	%R12

0x8e9e2 POP	%R13

0x8e9e4 POP	%R14

0x8e9e6 POP	%R15

0x8e9e8 POP	%RBP

0x8e9e9 RET

0x8e9ea MOV	$0xa0,%EDI

0x8e9ef CALL	9390 <_Znwm@plt>

0x8e9f4 MOV	-0xf0(%RBP),%RSI

0x8e9fb MOV	%RAX,%RDI

0x8e9fe MOV	%RAX,-0xe8(%RBP)

0x8ea05 CALL	9140 <_ZN6Kripke9SweepCommC1ERNS_4Core9DataStoreE@plt>

0x8ea0a JMP	8dab9

0x8ea0f MOV	-0xc0(%RBP),%RSI

0x8ea16 LEA	0x687f3(%RIP),%RDI

0x8ea1d XOR	%EAX,%EAX

0x8ea1f CALL	9060 <printf@plt>

0x8ea24 MOV	$0x1,%ESI

0x8ea29 MOV	$0x44000000,%EDI

0x8ea2e CALL	93c0 <MPI_Abort@plt>

0x8ea33 JMP	f727

0x8ea38 NOPL	(%RAX,%RAX,1)

0x8ea40 LEA	-0x58(%RBP),%RDI

0x8ea44 LEA	-0x80(%RBP),%RSI

0x8ea48 XOR	%EDX,%EDX

0x8ea4a MOV	%RDI,-0x138(%RBP)

0x8ea51 CALL	9700 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm@plt>

0x8ea56 MOV	-0x80(%RBP),%R9

0x8ea5a MOV	%RAX,%RDI

0x8ea5d MOV	%RAX,-0x58(%RBP)

0x8ea61 MOV	%R9,-0x48(%RBP)

0x8ea65 MOV	%RBX,%RDX

0x8ea68 MOV	%R14,%RSI

0x8ea6b CALL	9330 <memcpy@plt>

0x8ea70 MOV	-0x80(%RBP),%RBX

0x8ea74 MOV	-0x58(%RBP),%R10

0x8ea78 JMP	8d283

0x8ea7d MOV	-0xc0(%RBP),%RSI

0x8ea84 LEA	0x68785(%RIP),%RDI

0x8ea8b XOR	%EAX,%EAX

0x8ea8d CALL	9060 <printf@plt>

0x8ea92 MOV	$0x1,%ESI

0x8ea97 MOV	$0x44000000,%EDI

0x8ea9c CALL	93c0 <MPI_Abort@plt>

0x8eaa1 JMP	f76b

0x8eaa6 NOPW	%CS:(%RAX,%RAX,1)

0x8eab0 MOV	-0xc0(%RBP),%RSI

0x8eab7 LEA	0x68752(%RIP),%RDI

0x8eabe XOR	%EAX,%EAX

0x8eac0 CALL	9060 <printf@plt>

0x8eac5 MOV	$0x1,%ESI

0x8eaca MOV	$0x44000000,%EDI

0x8eacf CALL	93c0 <MPI_Abort@plt>

0x8ead4 JMP	f775

0x8ead9 NOPL	(%RAX)

0x8eae0 MOV	-0xc0(%RBP),%RSI

0x8eae7 LEA	0x68722(%RIP),%RDI

0x8eaee XOR	%EAX,%EAX

0x8eaf0 CALL	9060 <printf@plt>

0x8eaf5 MOV	$0x1,%ESI

0x8eafa MOV	$0x44000000,%EDI

0x8eaff CALL	93c0 <MPI_Abort@plt>

0x8eb04 JMP	f77f

0x8eb09 NOPL	(%RAX)

0x8eb10 MOV	-0xc0(%RBP),%RSI

0x8eb17 LEA	0x686f2(%RIP),%RDI

0x8eb1e XOR	%EAX,%EAX

0x8eb20 CALL	9060 <printf@plt>

0x8eb25 MOV	$0x1,%ESI

0x8eb2a MOV	$0x44000000,%EDI

0x8eb2f CALL	93c0 <MPI_Abort@plt>

0x8eb34 XOR	%EBX,%EBX

0x8eb36 JMP	8db73

0x8eb3b MOV	-0xc0(%RBP),%RSI

0x8eb42 LEA	0x686c7(%RIP),%RDI

0x8eb49 XOR	%EAX,%EAX

0x8eb4b CALL	9060 <printf@plt>

0x8eb50 MOV	$0x1,%ESI

0x8eb55 MOV	$0x44000000,%EDI

0x8eb5a CALL	93c0 <MPI_Abort@plt>

0x8eb5f JMP	f789

0x8eb64 NOPW	%CS:(%RAX,%RAX,1)

0x8eb6f NOP

0x8eb70 MOV	-0xc0(%RBP),%RSI

0x8eb77 LEA	0x68692(%RIP),%RDI

0x8eb7e XOR	%EAX,%EAX

0x8eb80 CALL	9060 <printf@plt>

0x8eb85 MOV	$0x1,%ESI

0x8eb8a MOV	$0x44000000,%EDI

0x8eb8f CALL	93c0 <MPI_Abort@plt>

0x8eb94 JMP	f793

0x8eb99 NOPL	(%RAX)

0x8eba0 MOV	-0xa0(%RBP),%RSI

0x8eba7 LEA	0x68662(%RIP),%RDI

0x8ebae XOR	%EAX,%EAX

0x8ebb0 CALL	9060 <printf@plt>

0x8ebb5 MOV	$0x1,%ESI

0x8ebba MOV	$0x44000000,%EDI

0x8ebbf CALL	93c0 <MPI_Abort@plt>

0x8ebc4 XOR	%EAX,%EAX

0x8ebc6 JMP	8d230

0x8ebcb MOV	%RAX,%R15

0x8ebce JMP	f50e

0x8ebd3 MOV	%RAX,%R14

0x8ebd6 VZEROUPPER

0x8ebd9 JMP	f5c6

0x8ebde MOV	%RAX,%RBX

0x8ebe1 JMP	f70b

0x8ebe6 JMP	f5b4

0x8ebeb JMP	f745

0x8ebf0 JMP	f5b4

0x8ebf5 JMP	f5b4

0x8ebfa JMP	f439

0x8ebff JMP	f439

0x8ec04 JMP	f439

0x8ec09 JMP	f439

0x8ec0e MOV	%RAX,%R15

0x8ec11 VZEROUPPER

0x8ec14 JMP	f757

0x8ec19 MOV	%RAX,%R15

0x8ec1c JMP	f82e

0x8ec21 MOV	%RAX,%R14

0x8ec24 VZEROUPPER

0x8ec27 JMP	f44b

0x8ec2c NOPL	(%RAX)

Path /

Average path: Display a virtual path defined by average values of all real paths

Source file and lines	SweepSolver.cpp:24-87
Module	libkripke.so

The function is defined in:

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Core/DataStore.h:48-54
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/basic_string.h:189-193,213-223,250,264,289,417,639,792,1067
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_map.h:1220
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/SweepSolver.cpp:24,34-46,52-87
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/shared_ptr_base.h:152,337,343-354,1068,1075-1077,1522
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/basic_string.tcc:221-225,247
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Core/Field.h:121-124,221-224
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Kernel.h:41-45,52
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_vector.h:367,386,990,1145
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_tree.h:1006
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/plugins.hpp:21-25,33-37
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/ext/atomicity.h:52,66-71,84-85,92,98,108
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/char_traits.h:368,439,445
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Timing.h:91,97-100
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_iterator.h:1077
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Registry.hpp:82-83
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp:110
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/new_allocator.h:168-169

Warnings:
Ignoring paths for analysis

gain
potential
hint
expert

Vectorization

Your function is probably not vectorized. Only 11% of vector register length is used (average across all SSE/AVX instructions). By vectorizing your function, you can lower the cost of an iteration from 70.33 to 9.32 cycles (7.55x speedup).

Details

Store and arithmetical SSE/AVX instructions are used in scalar version (process only one data element in vector registers). Since your execution units are vector units, only a vectorized function can use their full power.

Workaround

Try another compiler or update/tune your current one
Make array accesses unit-stride:
- If your function streams arrays of structures (AoS), try to use structures of arrays instead (SoA): for(i) a[i].x = b[i].x; (slow, non stride 1) => for(i) a.x[i] = b.x[i]; (fast, stride 1)

Execution units bottlenecks

Found no such bottlenecks but see expert reports for more complex bottlenecks.

No data for this section

CALL instructions

Detected function call instructions.

Details

Calling (and then returning from) a function prevents many compiler optimizations (like vectorization), breaks control flow (which reduces pipeline performance) and executes extra instructions to save/restore the registers used inside it, which is very expensive (dozens of cycles). Consider to inline small functions.

MPI_Abort@plt: 8 occurrences
_ZN6Kripke15BlockJacobiCommC1ERNS_4Core9DataStoreE@plt: 1 occurrences
_ZN6Kripke6Timing4stopERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt: 1 occurrences
_ZN6Kripke6Timing5startERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt: 1 occurrences
_ZN6Kripke9SweepCommC1ERNS_4Core9DataStoreE@plt: 1 occurrences
_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0: 6 occurrences
_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm@plt: 1 occurrences
_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_: 5 occurrences
_ZdlPvm@plt: 7 occurrences
_Znwm@plt: 2 occurrences
__dynamic_cast@plt: 5 occurrences
memcpy@plt: 1 occurrences
printf@plt: 8 occurrences
unknown: 1 occurrences

Type of elements and instruction set

No instructions are processing arithmetic or math operations on FP elements. This function is probably writing/copying data or processing integer elements.

Matching between your function (in the source code) and the binary function

The binary function does not contain any FP arithmetical operations. The binary function is loading 725 bytes. The binary function is storing 270 bytes.

General properties

nb instructions	442
nb uops	422
loop length	2349
used x86 registers	16
used mmx registers	0
used xmm registers	0
used ymm registers	0
used zmm registers	0
nb stack references	21

Front-end

MACRO FUSION NOT POSSIBLE FIT IN UOP CACHE

micro-operation queue	70.33 cycles
front end	70.33 cycles

Back-end

	ALU0/BRU0	ALU1	ALU2	ALU3	BRU1	AGU0	AGU1	AGU2	FP0	FP1	FP2	FP3	FP4	FP5
uops	52.00	30.50	30.25	30.25	52.00	59.33	59.33	59.33	0.00	0.00	0.00	0.00	0.00	0.00
cycles	52.00	30.50	30.25	30.25	52.00	59.33	59.33	59.33	0.00	0.00	0.00	0.00	0.00	0.00

Execution ports to units layout:

ALU0/BRU0: ALU
ALU1: ALU
ALU2: ALU
ALU3: ALU
BRU1:
AGU0 (256 bits): store address, load
AGU1 (256 bits): store address, load
AGU2 (256 bits): store address, load
FP0 (256 bits): VPU, DIV/SQRT
FP1 (256 bits): VPU, DIV/SQRT
FP2 (256 bits): VPU
FP3 (256 bits): VPU
FP4 (256 bits): FP store data
FP5 (256 bits): FP store data

Cycles executing div or sqrt instructions

Cycles summary

Front-end	70.33
Dispatch	59.33
Overall L1	70.33

Vectorization ratios

all	1%
load	0%
store	0%
mul	NA (no mul vectorizable/vectorized instructions)
add-sub	NA (no add-sub vectorizable/vectorized instructions)
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	NA (no div/sqrt vectorizable/vectorized instructions)
other	5%

Vector efficiency ratios

all	11%
load	12%
store	11%
mul	NA (no mul vectorizable/vectorized instructions)
add-sub	NA (no add-sub vectorizable/vectorized instructions)
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	NA (no div/sqrt vectorizable/vectorized instructions)
other	11%

Cycles and memory resources usage

Assuming all data fit into the L1 cache, each call to the function takes 70.33 cycles. At this rate:

10% of peak load performance is reached (10.31 out of 96.00 bytes loaded per cycle (GB/s @ 1GHz))
5% of peak store performance is reached (3.84 out of 64.00 bytes stored per cycle (GB/s @ 1GHz))

Front-end bottlenecks

Performance is limited by instruction throughput (loading/decoding program instructions to execution core) (front-end is a bottleneck). By removing all these bottlenecks, you can lower the cost of an iteration from 70.33 to 59.33 cycles (1.19x speedup).

ASM code

In the binary file, the address of the function is: 8d160

Instruction	Nb FU	ALU0/BRU0	ALU1	ALU2	ALU3	BRU1	AGU0	AGU1	AGU2	Latency	Recip. throughput
PUSH %RBP	1	0	0	0	0	0	0	0	0	1	0.50
MOV %RSP,%RBP	1	0	0	0	0	0	0	0	0	0	0.17
PUSH %R15	1	0	0	0	0	0	0	0	0	1	0.50
MOV %EDX,%R15D	1	0	0	0	0	0	0	0	0	0	0.17
PUSH %R14	1	0	0	0	0	0	0	0	0	1	0.50
LEA 0x6bd8a(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
PUSH %R13	1	0	0	0	0	0	0	0	0	1	0.50
PUSH %R12	1	0	0	0	0	0	0	0	0	1	0.50
PUSH %RBX	1	0	0	0	0	0	0	0	0	1	0.50
SUB $0x138,%RSP	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0xb0(%RBP),%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDI,-0xf0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RDI,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RSI,%R13	1	0	0	0	0	0	0	0	0	0	0.17
LEA -0xc0(%RBP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0xb(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RAX,-0x100(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RDI,-0xf8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RAX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
LEA 0x6a014(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0xa0(%RBP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x90(%RBP),%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x6(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDI,%R14	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RDI,-0x130(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R12,-0xa0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV %R14,%RSI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RBX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
LEA 0x8(%RBX),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDX,-0x120(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CMP %RAX,%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE f79d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x450>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eba0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a40>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81cff(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81da8(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eba0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a40>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb8(%RBP),%RBX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA -0x48(%RBP),%RCX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV -0xc0(%RBP),%R14	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,-0x60(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0x140(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0x58(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RBX,-0x80(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CMP $0xf,%RBX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JA 8ea40 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x18e0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
CMP $0x1,%RBX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JNE 8dc95 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xb35>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOVZX (%R14),%EDI	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
MOV %DIL,-0x48(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0x140(%RBP),%R10	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA -0x58(%RBP),%R8	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %R8,-0x138(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RBX,-0x50(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0x138(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOVB $0,(%R10,%RBX,1)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0x60(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 9100 <_ZN6Kripke6Timing5startERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xa0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d2b8 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x158>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0x90(%RBP),%R11	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%R11),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%RAX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %RAX,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d2dc <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x17c>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%R12),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x100(%RBP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RDX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
LEA 0x6b55b(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x7(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f852 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x505>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eae0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1980>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81b4b(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81c8c(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eae0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1980>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x48(%RAX),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x40(%RAX),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV $0x100000001,%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.33
CMP %RCX,%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d54d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x3ed>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV %RSI,-0x128(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R13,-0x148(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R15D,-0x150(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x148(%RBP),%R13	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x150(%RBP),%R15D	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d570 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x410>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x100(%RBP),%RBX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x6b2da(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x7(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RBX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f34d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb70 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a10>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81a07(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x819f8(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb70 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a10>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x48(%RAX),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x40(%RAX),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV $0x100000001,%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.33
CMP %RCX,%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d7dd <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x67d>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV %RAX,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RSI,-0x128(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R13,-0x148(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R15D,-0x150(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x148(%RBP),%R13	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x150(%RBP),%R15D	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d800 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x6a0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%R8	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%R8),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x100(%RBP),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x6b056(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x7(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RCX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f3c3 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x76>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb3b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19db>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81797(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81768(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb3b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19db>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x48(%RAX),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV $0x100000001,%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.33
CMP %RDI,%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8da6d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x90d>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RSI,-0x128(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RDI,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R13,-0x148(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R15D,-0x150(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x148(%RBP),%R13	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x150(%RBP),%R15D	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8da90 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x930>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RCX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %R15B,%R15B	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8e9ea <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x188a>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV $0xa8,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 9390 <_Znwm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RAX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL 9070 <_ZN6Kripke15BlockJacobiCommC1ERNS_4Core9DataStoreE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV (%R13),%R10	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %R14D,%R14D	1	0	0	0	0	0	0	0	0	0	0.25
CMP %R10,0x8(%R13)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE 8db00 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x9a0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x100(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x69bb9(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x6(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDI,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f498 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x14b>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb10 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19b0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81407(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81468(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV %RAX,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb10 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19b0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R11	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R11,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8dba0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xa40>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%RAX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RAX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
TEST %RBX,%RBX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d271 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x111>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
LEA -0x58(%RBP),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV -0x140(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RSI,-0x138(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
JMP 8ea65 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1905>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xe8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALLQ 0x8(%R8)	4	0.50	0	0	0	0.50	0.67	0.67	0.67	0	2.20
MOV -0x60(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x138(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 94f0 <_ZN6Kripke6Timing4stopERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x58(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x140(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8e9d8 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1878>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0x48(%RBP),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RCX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
ADD $0x138,%RSP	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
POP %RBX	1	0	0	0	0	0	0	0	0	1	0.33
POP %R12	1	0	0	0	0	0	0	0	0	1	0.33
POP %R13	1	0	0	0	0	0	0	0	0	1	0.33
POP %R14	1	0	0	0	0	0	0	0	0	1	0.33
POP %R15	1	0	0	0	0	0	0	0	0	1	0.33
POP %RBP	1	0	0	0	0	0	0	0	0	1	0.33
RET	1	0.50	0	0	0	0.50	0	0	0	1	0.50
MOV $0xa0,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 9390 <_Znwm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RAX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL 9140 <_ZN6Kripke9SweepCommC1ERNS_4Core9DataStoreE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP 8dab9 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x959>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x687f3(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f727 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x3da>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
LEA -0x58(%RBP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x80(%RBP),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0.25
MOV %RDI,-0x138(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL 9700 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x80(%RBP),%R9	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RAX,-0x58(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R9,-0x48(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RBX,%RDX	1	0	0	0	0	0	0	0	0	0	0.17
MOV %R14,%RSI	1	0	0	0	0	0	0	0	0	0	0.17
CALL 9330 <memcpy@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x80(%RBP),%RBX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x58(%RBP),%R10	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
JMP 8d283 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x123>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68785(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f76b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x41e>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68752(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f775 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x428>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68722(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f77f <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x432>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x686f2(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
XOR %EBX,%EBX	1	0	0	0	0	0	0	0	0	0	0.25
JMP 8db73 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xa13>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x686c7(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f789 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x43c>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68692(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f793 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x446>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xa0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68662(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
JMP 8d230 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xd0>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0.17
JMP f50e <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x1c1>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
VZEROUPPER	1	0	0	0	0	0	0	0	0	0	1
JMP f5c6 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x279>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
JMP f70b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x3be>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f5b4 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x267>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f745 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x3f8>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f5b4 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x267>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f5b4 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x267>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0.17
VZEROUPPER	1	0	0	0	0	0	0	0	0	0	1
JMP f757 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x40a>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0.17
JMP f82e <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x4e1>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
VZEROUPPER	1	0	0	0	0	0	0	0	0	0	1
JMP f44b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xfe>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09

Source file and lines	SweepSolver.cpp:24-87
Module	libkripke.so

The function is defined in:

/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Core/DataStore.h:48-54
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/basic_string.h:189-193,213-223,250,264,289,417,639,792,1067
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_map.h:1220
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/SweepSolver.cpp:24,34-46,52-87
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/shared_ptr_base.h:152,337,343-354,1068,1075-1077,1522
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/basic_string.tcc:221-225,247
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Core/Field.h:121-124,221-224
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Kernel.h:41-45,52
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_vector.h:367,386,990,1145
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_tree.h:1006
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/plugins.hpp:21-25,33-37
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/ext/atomicity.h:52,66-71,84-85,92,98,108
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/char_traits.h:368,439,445
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/src/Kripke/Timing.h:91,97-100
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/stl_iterator.h:1077
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/policy/loop/forall.hpp:59
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/Registry.hpp:82-83
/beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/build/Kripke/tpl/raja/include/RAJA/util/View.hpp:110
/cluster/comp/gcc/13.2.0/include/c++/13.2.0/bits/new_allocator.h:168-169

Warnings:
Ignoring paths for analysis

gain
potential
hint
expert

Vectorization

Details

Workaround

Try another compiler or update/tune your current one
Make array accesses unit-stride:
- If your function streams arrays of structures (AoS), try to use structures of arrays instead (SoA): for(i) a[i].x = b[i].x; (slow, non stride 1) => for(i) a.x[i] = b.x[i]; (fast, stride 1)

Execution units bottlenecks

Found no such bottlenecks but see expert reports for more complex bottlenecks.

No data for this section

CALL instructions

Detected function call instructions.

Details

MPI_Abort@plt: 8 occurrences
_ZN6Kripke15BlockJacobiCommC1ERNS_4Core9DataStoreE@plt: 1 occurrences
_ZN6Kripke6Timing4stopERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt: 1 occurrences
_ZN6Kripke6Timing5startERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt: 1 occurrences
_ZN6Kripke9SweepCommC1ERNS_4Core9DataStoreE@plt: 1 occurrences
_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0: 6 occurrences
_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm@plt: 1 occurrences
_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_: 5 occurrences
_ZdlPvm@plt: 7 occurrences
_Znwm@plt: 2 occurrences
__dynamic_cast@plt: 5 occurrences
memcpy@plt: 1 occurrences
printf@plt: 8 occurrences
unknown: 1 occurrences

Type of elements and instruction set

No instructions are processing arithmetic or math operations on FP elements. This function is probably writing/copying data or processing integer elements.

Matching between your function (in the source code) and the binary function

The binary function does not contain any FP arithmetical operations. The binary function is loading 725 bytes. The binary function is storing 270 bytes.

General properties

nb instructions	442
nb uops	422
loop length	2349
used x86 registers	16
used mmx registers	0
used xmm registers	0
used ymm registers	0
used zmm registers	0
nb stack references	21

Front-end

MACRO FUSION NOT POSSIBLE FIT IN UOP CACHE

micro-operation queue	70.33 cycles
front end	70.33 cycles

Back-end

	ALU0/BRU0	ALU1	ALU2	ALU3	BRU1	AGU0	AGU1	AGU2	FP0	FP1	FP2	FP3	FP4	FP5
uops	52.00	30.50	30.25	30.25	52.00	59.33	59.33	59.33	0.00	0.00	0.00	0.00	0.00	0.00
cycles	52.00	30.50	30.25	30.25	52.00	59.33	59.33	59.33	0.00	0.00	0.00	0.00	0.00	0.00

Execution ports to units layout:

ALU0/BRU0: ALU
ALU1: ALU
ALU2: ALU
ALU3: ALU
BRU1:
AGU0 (256 bits): store address, load
AGU1 (256 bits): store address, load
AGU2 (256 bits): store address, load
FP0 (256 bits): VPU, DIV/SQRT
FP1 (256 bits): VPU, DIV/SQRT
FP2 (256 bits): VPU
FP3 (256 bits): VPU
FP4 (256 bits): FP store data
FP5 (256 bits): FP store data

Cycles executing div or sqrt instructions

Cycles summary

Front-end	70.33
Dispatch	59.33
Overall L1	70.33

Vectorization ratios

all	1%
load	0%
store	0%
mul	NA (no mul vectorizable/vectorized instructions)
add-sub	NA (no add-sub vectorizable/vectorized instructions)
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	NA (no div/sqrt vectorizable/vectorized instructions)
other	5%

Vector efficiency ratios

all	11%
load	12%
store	11%
mul	NA (no mul vectorizable/vectorized instructions)
add-sub	NA (no add-sub vectorizable/vectorized instructions)
fma	NA (no fma vectorizable/vectorized instructions)
div/sqrt	NA (no div/sqrt vectorizable/vectorized instructions)
other	11%

Cycles and memory resources usage

Assuming all data fit into the L1 cache, each call to the function takes 70.33 cycles. At this rate:

10% of peak load performance is reached (10.31 out of 96.00 bytes loaded per cycle (GB/s @ 1GHz))
5% of peak store performance is reached (3.84 out of 64.00 bytes stored per cycle (GB/s @ 1GHz))

Front-end bottlenecks

ASM code

In the binary file, the address of the function is: 8d160

Instruction	Nb FU	ALU0/BRU0	ALU1	ALU2	ALU3	BRU1	AGU0	AGU1	AGU2	Latency	Recip. throughput
PUSH %RBP	1	0	0	0	0	0	0	0	0	1	0.50
MOV %RSP,%RBP	1	0	0	0	0	0	0	0	0	0	0.17
PUSH %R15	1	0	0	0	0	0	0	0	0	1	0.50
MOV %EDX,%R15D	1	0	0	0	0	0	0	0	0	0	0.17
PUSH %R14	1	0	0	0	0	0	0	0	0	1	0.50
LEA 0x6bd8a(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
PUSH %R13	1	0	0	0	0	0	0	0	0	1	0.50
PUSH %R12	1	0	0	0	0	0	0	0	0	1	0.50
PUSH %RBX	1	0	0	0	0	0	0	0	0	1	0.50
SUB $0x138,%RSP	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0xb0(%RBP),%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDI,-0xf0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RDI,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RSI,%R13	1	0	0	0	0	0	0	0	0	0	0.17
LEA -0xc0(%RBP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0xb(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RAX,-0x100(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RDI,-0xf8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RAX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
LEA 0x6a014(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0xa0(%RBP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x90(%RBP),%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x6(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDI,%R14	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RDI,-0x130(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R12,-0xa0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV %R14,%RSI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RBX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
LEA 0x8(%RBX),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDX,-0x120(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CMP %RAX,%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE f79d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x450>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eba0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a40>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81cff(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81da8(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eba0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a40>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb8(%RBP),%RBX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA -0x48(%RBP),%RCX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV -0xc0(%RBP),%R14	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,-0x60(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0x140(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0x58(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RBX,-0x80(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CMP $0xf,%RBX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JA 8ea40 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x18e0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
CMP $0x1,%RBX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JNE 8dc95 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xb35>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOVZX (%R14),%EDI	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
MOV %DIL,-0x48(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0x140(%RBP),%R10	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA -0x58(%RBP),%R8	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %R8,-0x138(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RBX,-0x50(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0x138(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOVB $0,(%R10,%RBX,1)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0x60(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 9100 <_ZN6Kripke6Timing5startERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xa0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d2b8 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x158>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0x90(%RBP),%R11	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%R11),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%RAX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %RAX,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d2dc <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x17c>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%R12),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x100(%RBP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RDX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
LEA 0x6b55b(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x7(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f852 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x505>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eae0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1980>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81b4b(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81c8c(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eae0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1980>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x48(%RAX),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x40(%RAX),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV $0x100000001,%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.33
CMP %RCX,%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d54d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x3ed>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV %RSI,-0x128(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R13,-0x148(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R15D,-0x150(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x148(%RBP),%R13	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x150(%RBP),%R15D	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d570 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x410>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x100(%RBP),%RBX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x6b2da(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x7(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RBX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f34d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb70 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a10>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81a07(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x819f8(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb70 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1a10>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x48(%RAX),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x40(%RAX),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV $0x100000001,%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.33
CMP %RCX,%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d7dd <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x67d>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV %RAX,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RSI,-0x128(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RCX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R13,-0x148(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R15D,-0x150(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x148(%RBP),%R13	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x150(%RBP),%R15D	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d800 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x6a0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%R8	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%R8),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x100(%RBP),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x6b056(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x7(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RCX,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f3c3 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x76>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb3b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19db>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81797(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81768(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb3b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19db>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x48(%RAX),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV $0x100000001,%R12	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.33
CMP %RDI,%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8da6d <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x90d>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RSI,-0x128(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RDI,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R13,-0x148(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R15D,-0x150(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x148(%RBP),%R13	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x150(%RBP),%R15D	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8da90 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x930>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RCX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
TEST %R15B,%R15B	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8e9ea <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x188a>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV $0xa8,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 9390 <_Znwm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RAX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL 9070 <_ZN6Kripke15BlockJacobiCommC1ERNS_4Core9DataStoreE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV (%R13),%R10	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %R14D,%R14D	1	0	0	0	0	0	0	0	0	0	0.25
CMP %R10,0x8(%R13)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE 8db00 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x9a0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0x100(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x69bb9(%RIP),%RDX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x6(%RDX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV %RDI,-0xc0(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV -0xf8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL f6300 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_M_constructIPKcEEvT_S8_St20forward_iterator_tag.isra.0>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf8(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0xf0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 1d050 <_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_PN6Kripke4Core7BaseVarEESt10_Select1stISC_ESt4lessIS5_ESaISC_EE4findERS7_>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
CMP %RAX,-0x120(%RBP)	1	0.25	0.25	0.25	0.25	0	0.33	0.33	0.33	1	0.33
JE f498 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x14b>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x40(%RAX),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
TEST %RDI,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb10 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19b0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV 0x81407(%RIP),%RDX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV 0x81468(%RIP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
XOR %ECX,%ECX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9430 <__dynamic_cast@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV %RAX,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
TEST %RAX,%RAX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8eb10 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x19b0>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xc0(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x100(%RBP),%R11	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R11,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8dba0 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xa40>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0xb0(%RBP),%RAX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RAX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
TEST %RBX,%RBX	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8d271 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x111>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
LEA -0x58(%RBP),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV -0x140(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RSI,-0x138(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
JMP 8ea65 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1905>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
XCHG %AX,%AX	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xe8(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALLQ 0x8(%R8)	4	0.50	0	0	0	0.50	0.67	0.67	0.67	0	2.20
MOV -0x60(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x138(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CALL 94f0 <_ZN6Kripke6Timing4stopERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x58(%RBP),%RDI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x140(%RBP),%R12	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
CMP %R12,%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
JE 8e9d8 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x1878>	1	0.50	0	0	0	0.50	0	0	0	1	0.50-1
MOV -0x48(%RBP),%RCX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x1(%RCX),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93a0 <_ZdlPvm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
ADD $0x138,%RSP	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
POP %RBX	1	0	0	0	0	0	0	0	0	1	0.33
POP %R12	1	0	0	0	0	0	0	0	0	1	0.33
POP %R13	1	0	0	0	0	0	0	0	0	1	0.33
POP %R14	1	0	0	0	0	0	0	0	0	1	0.33
POP %R15	1	0	0	0	0	0	0	0	0	1	0.33
POP %RBP	1	0	0	0	0	0	0	0	0	1	0.33
RET	1	0.50	0	0	0	0.50	0	0	0	1	0.50
MOV $0xa0,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 9390 <_Znwm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0xf0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RAX,-0xe8(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL 9140 <_ZN6Kripke9SweepCommC1ERNS_4Core9DataStoreE@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP 8dab9 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x959>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x687f3(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f727 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x3da>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
LEA -0x58(%RBP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
LEA -0x80(%RBP),%RSI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EDX,%EDX	1	0	0	0	0	0	0	0	0	0	0.25
MOV %RDI,-0x138(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
CALL 9700 <_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_createERmm@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x80(%RBP),%R9	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV %RAX,%RDI	1	0	0	0	0	0	0	0	0	0	0.17
MOV %RAX,-0x58(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %R9,-0x48(%RBP)	1	0	0	0	0	0	0.33	0.33	0.33	4	0.50
MOV %RBX,%RDX	1	0	0	0	0	0	0	0	0	0	0.17
MOV %R14,%RSI	1	0	0	0	0	0	0	0	0	0	0.17
CALL 9330 <memcpy@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV -0x80(%RBP),%RBX	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
MOV -0x58(%RBP),%R10	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
JMP 8d283 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0x123>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68785(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f76b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x41e>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68752(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f775 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x428>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68722(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f77f <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x432>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x686f2(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
XOR %EBX,%EBX	1	0	0	0	0	0	0	0	0	0	0.25
JMP 8db73 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xa13>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x686c7(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f789 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x43c>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPW %CS:(%RAX,%RAX,1)	0	0	0	0	0	0	0	0	0	0	0.09
NOP	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xc0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68692(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
JMP f793 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x446>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09
MOV -0xa0(%RBP),%RSI	1	0	0	0	0	0	0.33	0.33	0.33	3	0.33
LEA 0x68662(%RIP),%RDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
CALL 9060 <printf@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
MOV $0x1,%ESI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
MOV $0x44000000,%EDI	1	0.25	0.25	0.25	0.25	0	0	0	0	1	0.25
CALL 93c0 <MPI_Abort@plt>	2	0.50	0	0	0	0.50	0.33	0.33	0.33	0	0.50
XOR %EAX,%EAX	1	0	0	0	0	0	0	0	0	0	0.25
JMP 8d230 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb+0xd0>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0.17
JMP f50e <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x1c1>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
VZEROUPPER	1	0	0	0	0	0	0	0	0	0	1
JMP f5c6 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x279>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%RBX	1	0	0	0	0	0	0	0	0	0	0.17
JMP f70b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x3be>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f5b4 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x267>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f745 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x3f8>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f5b4 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x267>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f5b4 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x267>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
JMP f439 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xec>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0.17
VZEROUPPER	1	0	0	0	0	0	0	0	0	0	1
JMP f757 <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x40a>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R15	1	0	0	0	0	0	0	0	0	0	0.17
JMP f82e <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0x4e1>	1	0.50	0	0	0	0.50	0	0	0	0	1
MOV %RAX,%R14	1	0	0	0	0	0	0	0	0	0	0.17
VZEROUPPER	1	0	0	0	0	0	0	0	0	0	1
JMP f44b <_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb.cold+0xfe>	1	0.50	0	0	0	0.50	0	0	0	0	1
NOPL (%RAX)	0	0	0	0	0	0	0	0	0	0	0.09

▶Scalability Runs Description

Run 2x1	Number processes: 2Number nodes: 1Number processes per node: 2Run Command: <executable> --groups 1024 --procs 2,1,1MPI Command: mpirun -np <number_processes>Dataset: Run Directory: /beegfs/hackathon/users/eoseret/qaas_runs/170-850-6313/intel/Kripke/run/oneview_runs/compilers/gcc_13/oneview_run_1708510989OMP_NUM_THREADS: 1
Run 2x2	OMP_NUM_THREADS: 2
Run 2x4	OMP_NUM_THREADS: 4
Run 2x8	OMP_NUM_THREADS: 8
Run 2x16	OMP_NUM_THREADS: 16
Run 2x32	OMP_NUM_THREADS: 32
Run 2x64	OMP_NUM_THREADS: 64
Run 2x96	OMP_NUM_THREADS: 96

(2x1) Efficiency	(2x1) Potential Speed-Up (%)	(2x2) Efficiency	(2x2) Potential Speed-Up (%)	(2x4) Efficiency	(2x4) Potential Speed-Up (%)	(2x8) Efficiency	(2x8) Potential Speed-Up (%)	(2x16) Efficiency	(2x16) Potential Speed-Up (%)	(2x32) Efficiency	(2x32) Potential Speed-Up (%)	(2x64) Efficiency	(2x64) Potential Speed-Up (%)	(2x96) Efficiency	(2x96) Potential Speed-Up (%)
1	0	1	0	3.5	0	1.75	0	1	0	1	0	1	0	1	0

Speed-Up and Efficiency

▶Detailed Speed-Up and Efficiency

Run	Number of threads	Efficiency (ideal is 1)	Speedup	Ideal Speedup	Time (s)	Coverage (%)
2x1	2	1	1	1	0.17	0.01
2x2	1	1	2	2	0.27	0.01
2x4	1	3.5	14	4	0.1	0.01
2x8	1	1.75	14	8	0.11	0.01
2x16	1	1	1	16	0.03	0
2x32	1	1	1	32	0.05	0
2x64	1	1	1	64	0.05	0
2x96	1	1	1	96	0.12	0

Name	Coverage (%)	Time (s)
▼_ZN6Kripke11SweepSolverERNS_4Core9DataStoreESt6vectorINS_6SdomIdESaIS4_EEb–	0.01	0.14
▼Loop 1268 - new_allocator.h:168-169 - libkripke.so–	0.01	0.14
○Loop 1272 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1273 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1269 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1270 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1274 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1271 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1275 - stl_vector.h:990-990 - libkripke.so	0	0
▼Loop 1276 - plugins.hpp:21-37 - libkripke.so–	0	0
○Loop 1277 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1278 - Registry.hpp:82-83 - libkripke.so	0	0
▼Loop 1282 - plugins.hpp:21-37 - libkripke.so–	0	0
○Loop 1284 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1283 - Registry.hpp:82-83 - libkripke.so	0	0
▼Loop 1279 - plugins.hpp:21-37 - libkripke.so–	0	0
○Loop 1280 - Registry.hpp:82-83 - libkripke.so	0	0
○Loop 1281 - Registry.hpp:82-83 - libkripke.so	0	0

Report Configuration

Vectorization

Details

Workaround

Execution units bottlenecks

CALL instructions

Details

Type of elements and instruction set

Matching between your function (in the source code) and the binary function

General properties

Front-end

Back-end

Cycles summary

Vectorization ratios

Vector efficiency ratios

Cycles and memory resources usage

Front-end bottlenecks

ASM code

Vectorization

Details

Workaround

Execution units bottlenecks

CALL instructions

Details

Type of elements and instruction set

Matching between your function (in the source code) and the binary function

General properties

Front-end

Back-end

Cycles summary

Vectorization ratios

Vector efficiency ratios

Cycles and memory resources usage

Front-end bottlenecks

ASM code

▶Scalability Runs Description

▼Colums Filter

Speed-Up and Efficiency

▶Detailed Speed-Up and Efficiency