Name | Module | Coverage (%) | min (Coverage) (%) | avg (Coverage) (%) | med (Coverage) (%) | max (Coverage) (%) | Max Time Over Threads (s) | min (Max Time Over Threads) (s) | avg (Max Time Over Threads) (s) | med (Max Time Over Threads) (s) | max (Max Time Over Threads) (s) | Time w.r.t. Wall Time (s) | min (Time w.r.t. Wall Time) (s) | avg (Time w.r.t. Wall Time) (s) | med (Time w.r.t. Wall Time) (s) | max (Time w.r.t. Wall Time) (s) | Run Count | Categories |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
►void RAJA::internal::StatementExecutor | kripke_aocc_v2 | 86.39 | 78.29 | 85.78 | 86.16 | 86.83 | 16.80 | 16.63 | 16.86 | 16.80 | 18.16 | 16.41 | 16.19 | 16.42 | 16.35 | 18.21 | 31 | Exe (%): 100.00 |
►loop 772 | kripke_aocc_v2 | 0.00 | 0.01 | 0.00 | ||||||||||||||
►loop 773 | kripke_aocc_v2 | 0.05 | 0.04 | 0.01 | ||||||||||||||
►loop 774 | kripke_aocc_v2 | 66.32 | 13.11 | 12.60 | ||||||||||||||
○loop 775 | kripke_aocc_v2 | 20.02 | 4.24 | 3.80 | ||||||||||||||
○__kmp_hardware_timestamp | libomp.so | 3.57 | 3.28 | 3.85 | 3.64 | 7.85 | 1.01 | 0.88 | 1.09 | 1.00 | 3.39 | 0.68 | 0.62 | 0.74 | 0.69 | 1.82 | 31 | OMP (%): 100.00 |
○__kmp_hyper_barrier_release(barrier_type, kmp_info*, int, int, int, void*) | libomp.so | 2.90 | 2.61 | 3.11 | 2.93 | 6.40 | 0.83 | 0.75 | 0.90 | 0.82 | 2.81 | 0.55 | 0.49 | 0.60 | 0.56 | 1.49 | 31 | OMP (%): 100.00 |
►void RAJA::internal::StatementExecutor | kripke_aocc_v2 | 2.65 | 2.43 | 2.67 | 2.68 | 2.72 | 0.57 | 0.56 | 0.58 | 0.58 | 0.62 | 0.50 | 0.50 | 0.51 | 0.51 | 0.56 | 31 | Exe (%): 100.00 |
►loop 980 | kripke_aocc_v2 | 0.00 | 0.01 | 0.00 | ||||||||||||||
►loop 981 | kripke_aocc_v2 | 0.03 | 0.02 | 0.01 | ||||||||||||||
○loop 983 | kripke_aocc_v2 | 2.62 | 0.56 | 0.50 | ||||||||||||||
○loop 982 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
►void RAJA::internal::StatementExecutor | kripke_aocc_v2 | 2.64 | 2.39 | 2.63 | 2.63 | 2.68 | 0.57 | 0.57 | 0.57 | 0.57 | 0.59 | 0.50 | 0.49 | 0.50 | 0.50 | 0.56 | 31 | Exe (%): 100.00 |
►loop 657 | kripke_aocc_v2 | 0.01 | 0.01 | 0.00 | ||||||||||||||
►loop 658 | kripke_aocc_v2 | 0.03 | 0.03 | 0.00 | ||||||||||||||
○loop 659 | kripke_aocc_v2 | 2.61 | 0.57 | 0.50 | ||||||||||||||
○loop 660 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
►void RAJA::internal::StatementExecutor | kripke_aocc_v2 | 1.29 | 1.24 | 1.35 | 1.36 | 1.42 | 0.30 | 0.30 | 0.32 | 0.31 | 0.38 | 0.25 | 0.25 | 0.26 | 0.26 | 0.29 | 31 | Exe (%): 100.00 |
►loop 1306 | kripke_aocc_v2 | 0.00 | 0.01 | 0.00 | ||||||||||||||
►loop 1307 | kripke_aocc_v2 | 0.00 | 0.01 | 0.00 | ||||||||||||||
►loop 1308 | kripke_aocc_v2 | 0.02 | 0.02 | 0.00 | ||||||||||||||
○loop 1309 | kripke_aocc_v2 | 1.27 | 0.30 | 0.24 | ||||||||||||||
►loop 1310 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
○loop 1311 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
►void RAJA::internal::StatementExecutor | kripke_aocc_v2 | 0.26 | 0.24 | 0.26 | 0.26 | 0.27 | 0.06 | 0.06 | 0.06 | 0.06 | 0.07 | 0.05 | 0.05 | 0.05 | 0.05 | 0.05 | 31 | Exe (%): 100.00 |
►loop 1089 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
○loop 1088 | kripke_aocc_v2 | 0.26 | 0.06 | 0.05 | ||||||||||||||
○__kmp_hyper_barrier_gather(barrier_type, kmp_info*, int, int, void (*)(void*, void*), void*) | libomp.so | 0.10 | 0.09 | 0.11 | 0.10 | 0.18 | 0.17 | 0.14 | 0.27 | 0.24 | 1.29 | 0.02 | 0.02 | 0.02 | 0.02 | 0.04 | 31 | OMP (%): 100.00 |
○__memset_avx512_unaligned_erms | libc.so.6 | 0.08 | 0.07 | 0.07 | 0.07 | 0.08 | 0.37 | 0.34 | 0.37 | 0.37 | 0.41 | 0.01 | 0.01 | 0.01 | 0.01 | 0.02 | 31 | Memory (%): 99.98 OMP (%): 0.01 MPI (%): 0.01 |
○__GI___sched_yield | libc.so.6 | 0.03 | 0.03 | 0.03 | 0.03 | 0.07 | 0.03 | 0.02 | 0.03 | 0.03 | 0.05 | 0.01 | 0.00 | 0.01 | 0.01 | 0.02 | 31 | OMP (%): 100.00 |
○MPI_Testany | libmpi.so.12.0.0 | 0.03 | 0.02 | 0.04 | 0.03 | 0.30 | 0.31 | 0.16 | 0.37 | 0.31 | 1.88 | 0.01 | 0.00 | 0.01 | 0.01 | 0.07 | 31 | MPI (%): 100.00 |
○ADIOI_GEN_SetLockDirect64 | libmpi.so.12.0.0 | 0.02 | 0.01 | 0.03 | 0.02 | 0.24 | 0.22 | 0.11 | 0.24 | 0.19 | 1.55 | 0.00 | 0.00 | 0.01 | 0.00 | 0.06 | 31 | MPI (%): 100.00 |
○MPIDI_SHMGR_Gather | libmpi.so.12.0.0 | 0.01 | 0.01 | 0.01 | 0.01 | 0.01 | 0.08 | 0.05 | 0.07 | 0.07 | 0.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | MPI (%): 100.00 |
○MPIR_Progress_hook_exec_on_vci | libmpi.so.12.0.0 | 0.01 | 0.00 | 0.01 | 0.01 | 0.05 | 0.05 | 0.03 | 0.06 | 0.05 | 0.41 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 31 | MPI (%): 100.00 |
○__GI___libc_malloc | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.02 | 0.04 | 0.02 | 0.04 | 0.04 | 0.17 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | Memory (%): 80.04 MPI (%): 19.48 OMP (%): 0.48 |
►Kripke::ParallelComm::testRecieves() | kripke_aocc_v2 | 0.00 | 0.00 | 0.01 | 0.00 | 0.05 | 0.04 | 0.02 | 0.06 | 0.05 | 0.37 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 31 | Exe (%): 100.00 |
►loop 1293 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
○loop 1295 | kripke_aocc_v2 | 0.00 | 0.04 | 0.00 | ||||||||||||||
○loop 1294 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
○void RAJA::internal::StatementExecutor | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.00 | 0.01 | 0.01 | 0.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | Exe (%): 100.00 |
○MPID_Progress_test_impl | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.04 | 0.04 | 0.02 | 0.05 | 0.04 | 0.33 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 31 | MPI (%): 100.00 |
○_int_free | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.02 | 0.03 | 0.01 | 0.04 | 0.03 | 0.21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 31 | Memory (%): 83.04 MPI (%): 16.45 OMP (%): 0.51 |
►Kripke::ParallelComm::getReadyList() | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.03 | 0.03 | 0.02 | 0.04 | 0.04 | 0.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 31 | Exe (%): 100.00 |
►loop 1296 | kripke_aocc_v2 | 0.00 | 0.03 | 0.00 | ||||||||||||||
○loop 1297 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
○loop 1298 | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | ||||||||||||||
○Kripke::SweepComm::workRemaining() | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.02 | 0.00 | 0.02 | 0.01 | 0.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | Exe (%): 100.00 |
○Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.02 | 0.00 | 0.01 | 0.01 | 0.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | Exe (%): 100.00 |
○Kripke::SweepComm::readySubdomains() | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.01 | 0.02 | 0.01 | 0.08 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | Exe (%): 100.00 |
○MPIDI_SHMI_progress | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.00 | 0.02 | 0.01 | 0.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | MPI (%): 100.00 |
○impi_shm_heap_progress | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.01 | 0.02 | 0.02 | 0.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | MPI (%): 100.00 |
○__GI___libc_free | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.02 | 0.00 | 0.02 | 0.02 | 0.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | MPI (%): 9.97 Memory (%): 89.57 OMP (%): 0.46 |
○__kmp_init_implicit_task | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | OMP (%): 100.00 |
○operator new(unsigned long) | libstdc++.so.6.0.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.04 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | Others (%): 100.00 |
○__kmpc_for_static_init_8 | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | OMP (%): 100.00 |
○unsigned int __kmp_wait | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 28 | OMP (%): 100.00 |
○__kmp_join_barrier(int) | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | OMP (%): 100.00 |
○__kmp_finish_implicit_task | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 30 | OMP (%): 100.00 |
○__kmp_invoke_task_func | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 30 | OMP (%): 100.00 |
○__kmp_invoke_microtask | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 26 | OMP (%): 100.00 |
○__kmp_fork_call | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 28 | OMP (%): 100.00 |
○__kmp_launch_thread | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 25 | OMP (%): 100.00 |
○__memcmp_evex_movbe | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 18 | Memory (%): 100.00 |
○__kmp_partition_places(kmp_team*, int) | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 8 | OMP (%): 100.00 |
○__kmpc_for_static_fini | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 | |
○Kripke::ParallelComm::workRemaining() | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.03 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 29 | Exe (%): 100.00 |
○sched_yield@plt | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 25 | OMP (%): 100.00 |
○do_lookup_x | ld-linux-x86-64.so.2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 22 | OMP (%): 73.86 System (%): 13.64 MPI (%): 12.50 |
○MPID_Progress_completion_count_get | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 17 | MPI (%): 100.00 |
○I_MPI_Get_cpu_info | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 2 | MPI (%): 100.00 |
○__kmp_yield | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 25 | OMP (%): 100.00 |
○MPIR_Comm_create_subcomms | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 3 | MPI (%): 100.00 |
○__kmp_fork_barrier(int, int) | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 28 | OMP (%): 100.00 |
○_int_malloc | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 5 | MPI (%): 40.00 OMP (%): 40.00 Memory (%): 20.00 |
○MPID_Progress_wait | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 28 | MPI (%): 100.00 |
○__kmp_join_call | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 20 | OMP (%): 100.00 |
○_IO_sputbackc | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 4 | MPI (%): 100.00 |
○_IO_sscanf | libc.so.6 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 2 | MPI (%): 100.00 |
○void Kripke::DispatchHelper | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 26 | Exe (%): 100.00 |
○Kripke::Kernel::sweepSubdomain(Kripke::Core::DataStore&, Kripke::SdomId) | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 3 | Exe (%): 100.00 |
○auto Kripke::dispatch | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 4 | Exe (%): 100.00 |
○__tls_get_addr | ld-linux-x86-64.so.2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 25 | |
○operator delete(void*) | libstdc++.so.6.0.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 29 | Others (%): 100.00 |
○_dl_fixup | ld-linux-x86-64.so.2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.01 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 4 | System (%): 100.00 |
○_dl_lookup_symbol_x | ld-linux-x86-64.so.2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 18 | OMP (%): 95.37 MPI (%): 2.78 System (%): 1.85 |
○.plt.sec@start | libstdc++.so.6.0.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.01 | 0.01 | 0.04 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 28 | System (%): 100.00 |
○@plt_start@ | libmpi.so.12.0.0 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 13 | MPI (%): 100.00 |
○unknown_function | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.03 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 23 | |
○__kmp_get_global_thread_id_reg | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 17 | |
○__kmpc_critical | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 2 | |
○__kmpc_critical_with_hint | libomp.so | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 15 | |
○Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | kripke_aocc_v2 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 29 | |
○unknown_kernel_region | kernel | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 31 |