| | | | | | | requested parallelism | walltime sum (s) | nb instances | any sync average per thread time (s) | any wait average per thread time (s) | parallelism overhead (%) | local speedup if perfectly balanced | global speedup if perfectly balanced |
|---|
| start addr | function name | source location | level | ancestor thread num | invoker | parallel or teams | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 | 8x1 | 8x2 | 8x4 | 8x8 | 8x16 | 8x24 |
|---|
| kripke.exe:0x25469a | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 244.515 | 122.656 | 61.517 | 31.948 | 33.569 | 24.278 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | 40.0 | | 0.140 | 0.155 | 0.228 | 8.027 | 0.104 | | 0.140 | 0.155 | 0.228 | 8.027 | 0.104 | 0 | 0.11 | 0.25 | 0.71 | 23.9 | 0.43 | 1.000 | 1.001 | 1.003 | 1.007 | 1.314 | 1.004 | 1.000 | 1.001 | 1.002 | 1.006 | 1.270 | 1.004 |
| kripke.exe:0x24c958 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 7.884 | 4.091 | 2.266 | 1.218 | 1.089 | 0.770 | 160 | 160 | 160 | 160 | 160 | 160 | | 35.4 E-3 | 0.143 | 0.104 | 0.235 | 57.4 E-3 | | 35.3 E-3 | 0.143 | 0.104 | 0.235 | 57.4 E-3 | 0 | 0.86 | 6.32 | 8.51 | 21.6 | 7.45 | 1.000 | 1.009 | 1.067 | 1.093 | 1.275 | 1.081 | 1.000 | 1.000 | 1.002 | 1.003 | 1.006 | 1.002 |
| kripke.exe:0x260031 | void LPlusTimesSdom::operator()<Kripke::ArchLayoutT<Kripke::... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 7.748 | 3.995 | 2.099 | 1.205 | 1.073 | 0.832 | 160 | 160 | 160 | 160 | 160 | 160 | | 338 E-6 | 43.6 E-3 | 36.8 E-3 | 0.231 | 68.0 E-3 | | 327 E-6 | 43.6 E-3 | 36.7 E-3 | 0.231 | 67.9 E-3 | 0 | 0.01 | 2.08 | 3.05 | 21.5 | 8.17 | 1.000 | 1.000 | 1.021 | 1.031 | 1.274 | 1.089 | 1.000 | 1.000 | 1.001 | 1.001 | 1.006 | 1.002 |
| kripke.exe:0x286661 | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 4.540 | 2.299 | 1.179 | 0.603 | 0.435 | 0.317 | 160 | 160 | 160 | 160 | 160 | 160 | | 12.5 E-3 | 22.2 E-3 | 18.7 E-3 | 76.1 E-3 | 17.7 E-3 | | 12.4 E-3 | 22.2 E-3 | 18.7 E-3 | 76.1 E-3 | 17.7 E-3 | 0 | 0.54 | 1.88 | 3.09 | 17.5 | 5.57 | 1.000 | 1.005 | 1.019 | 1.032 | 1.212 | 1.059 | 1.000 | 1.000 | 1.000 | 1.001 | 1.002 | 1.001 |
| kripke.exe:0x265511 | void PopulationSdom::operator()<Kripke::ArchLayoutT<Kripke::... | Collapse.hpp:74 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 0.668 | 0.335 | 0.168 | 85.3 E-3 | 80.0 E-3 | 77.0 E-3 | 160 | 160 | 160 | 160 | 160 | 160 | | 374 E-6 | 350 E-6 | 549 E-6 | 13.2 E-3 | 12.9 E-3 | | 365 E-6 | 340 E-6 | 540 E-6 | 13.2 E-3 | 12.9 E-3 | 0 | 0.11 | 0.21 | 0.64 | 16.5 | 16.8 | 1.000 | 1.001 | 1.002 | 1.006 | 1.198 | 1.202 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
| kripke.exe:0x25aa3c | void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator(... | plugins.hpp:71 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 14.0 E-3 | 7.49 E-3 | 3.83 E-3 | 2.01 E-3 | 2.50 E-3 | 1.36 E-3 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | 20.0 | | 199 E-6 | 172 E-6 | 115 E-6 | 552 E-6 | 69.9 E-6 | | 198 E-6 | 170 E-6 | 114 E-6 | 550 E-6 | 68.2 E-6 | 0 | 2.65 | 4.47 | 5.72 | 22.1 | 5.13 | 1.000 | 1.027 | 1.047 | 1.061 | 1.284 | 1.054 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
| kripke.exe:0x21a928 | main | kripke.cpp:284 | 0 | 0 | runtime | parallel | 1 | 2 | 4 | 8 | 16 | 24 | 4.38 E-6 | 186 E-6 | 284 E-6 | 750 E-6 | 9.34 E-3 | 1.94 E-3 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | 1.00 | | 55.8 E-6 | 67.3 E-6 | 18.5 E-6 | 7.53 E-3 | 56.4 E-6 | | 55.6 E-6 | 67.0 E-6 | 18.2 E-6 | 7.53 E-3 | 56.1 E-6 | 0 | 30.0 | 23.7 | 2.47 | 80.7 | 2.90 | 1.000 | 1.428 | 1.311 | 1.025 | 5.173 | 1.030 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 | 1.000 |
