| Name | Module | Coverage (%) | Time (s) | Nb Threads | Deviation (coverage) | Deviation (time) |
|---|
| orig | compilers/armclang_6 | orig | compilers/armclang_6 | orig | compilers/armclang_6 | orig | compilers/armclang_6 | orig | compilers/armclang_6 |
|---|
| .omp_outlined.#0x44a7e0 | exec | NA | 77.57 | NA | 40.38 | NA | 80 | NA | 0.19 | NA | 0.11 |
| .omp_outlined.#0x44ee80 | exec | 77.52 | NA | 43.07 | NA | 80 | NA | 0.30 | NA | 0.18 | NA |
| kmp_flag_64<false, true>::wait(kmp_info*, int, void*) | libomp_with_lse.so | 7.63 | 6.72 | 4.24 | 3.5 | 80 | 80 | 0.62 | 0.75 | 0.34 | 0.39 |
| .omp_outlined.#0x438560 | exec | NA | 7.57 | NA | 3.94 | NA | 80 | NA | 0.24 | NA | 0.13 |
| .omp_outlined.#0x43b0b0 | exec | 7.17 | NA | 3.98 | NA | 80 | NA | 0.19 | NA | 0.11 | NA |
| .omp_outlined.#0x43e0f0 | exec | NA | 5.97 | NA | 3.11 | NA | 80 | NA | 0.28 | NA | 0.14 |
| .omp_outlined.#0x441750 | exec | 5.59 | NA | 3.11 | NA | 80 | NA | 0.28 | NA | 0.15 | NA |
| .omp_outlined.#0x455320 | exec | NA | 1.57 | NA | 0.82 | NA | 80 | NA | 0.03 | NA | 0.02 |
| .omp_outlined.#0x45a7f0 | exec | 1.47 | NA | 0.82 | NA | 80 | NA | 0.07 | NA | 0.04 | NA |
| .omp_outlined.#0x443db0 | exec | NA | 0.33 | NA | 0.17 | NA | 80 | NA | 0.02 | NA | 0.01 |
| .omp_outlined.#0x447f30 | exec | 0.31 | NA | 0.17 | NA | 80 | NA | 0.02 | NA | 0.01 | NA |
| __GI___sched_yield | libc-2.28.so | 0.13 | 0.12 | 0.07 | 0.06 | 80 | 80 | 0.04 | 0.04 | 0.02 | 0.02 |
| Kripke::SteadyStateSolver(Kripke::Core::DataStore&, unsigned long, bool) | exec | 0.07 | 0.06 | 0.04 | 0.03 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| unknown_function | [vdso] | 0.04 | 0.04 | 0.02 | 0.02 | 79 | 76 | 0.02 | 0.02 | 0.01 | 0.01 |
| __kmp_yield | libomp_with_lse.so | 0.02 | 0.02 | 0.01 | 0.01 | 69 | 68 | 0.01 | 0.01 | 0.01 | 0.01 |
| __kmp_now_nsec | libomp_with_lse.so | 0.01 | 0.01 | 0.01 | 0 | 55 | 47 | 0.01 | 0.01 | 0.00 | 0.00 |
| Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) | exec | 0.01 | 0.01 | 0.01 | 0.01 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| @plt_start@ | libomp_with_lse.so | 0.01 | 0.01 | 0.01 | 0.01 | 55 | 49 | 0.01 | 0.01 | 0.00 | 0.01 |
| unknown_function | exec | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| strcmp | ld-2.28.so | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 | NA |
| @plt_start@ | libucs.so.0.0.0 | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 | NA |
| unknown_function | Unknown module | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| _dl_lookup_symbol_x | ld-2.28.so | NA | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 |
| int __kmp_acquire_queuing_lock_timed_template<false>(kmp_queuing_lock*, int) | libomp_with_lse.so | NA | 0 | NA | 0 | NA | 3 | NA | 0.00 | NA | 0.00 |
| __GI___libc_read | libc-2.28.so | NA | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 |
| .omp_outlined.#0x450f10 | exec | NA | 0 | NA | 0 | NA | 20 | NA | 0.00 | NA | 0.00 |
| _dl_map_object_from_fd | ld-2.28.so | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_eq_4 | libomp_with_lse.so | NA | 0 | NA | 0 | NA | 2 | NA | 0.00 | NA | 0.00 |
| do_lookup_x | ld-2.28.so | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| ucs_vfs_node_create | libucs.so.0.0.0 | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 | NA |
| __kmpc_critical_with_hint | libomp_with_lse.so | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 | NA |
| __kmpc_for_static_fini | libomp_with_lse.so | 0 | 0 | 0 | 0 | 4 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmpc_for_static_init_8 | libomp_with_lse.so | 0 | 0 | 0 | 0 | 3 | 2 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_finish_implicit_task | libomp_with_lse.so | 0 | 0 | 0 | 0 | 3 | 5 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_hyper_barrier_release(barrier_type, kmp_info*, int, int, int, void*) | libomp_with_lse.so | 0 | 0 | 0 | 0 | 4 | 2 | 0.00 | 0.00 | 0.00 | 0.00 |
| .omp_outlined.#0x4563a0 | exec | 0 | NA | 0 | NA | 31 | NA | 0.00 | NA | 0.00 | NA |
| __kmp_wait_4 | libomp_with_lse.so | 0 | 0 | 0 | 0 | 7 | 10 | 0.00 | 0.00 | 0.00 | 0.00 |
| Kripke::Generate::generateData(Kripke::Core::DataStore&, InputVariables const&) | exec | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| Kripke::Generate::generateSpace(Kripke::Core::DataStore&, InputVariables const&) | exec | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_hyper_barrier_gather(barrier_type, kmp_info*, int, int, void (*)(void*, void*), void*) | libomp_with_lse.so | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_invoke_task_func | libomp_with_lse.so | 0 | 0 | 0 | 0 | 1 | 3 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_launch_thread | libomp_with_lse.so | 0 | 0 | 0 | 0 | 1 | 2 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_release_queuing_lock(kmp_user_lock*, int) | libomp_with_lse.so | 0 | 0 | 0 | 0 | 1 | 1 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_init_implicit_task | libomp_with_lse.so | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 | NA |
| __kmp_join_barrier(int) | libomp_with_lse.so | 0 | 0 | 0 | 0 | 1 | 5 | 0.00 | 0.00 | 0.00 | 0.00 |
| __kmp_fork_barrier(int, int) | libomp_with_lse.so | NA | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 |
| __GI_strncmp | libc-2.28.so | NA | 0 | NA | 0 | NA | 1 | NA | 0.00 | NA | 0.00 |
