API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Mar 21st, 2018
121
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 43.22 KB | None | 0 0
raw download clone embed print report
  1. 141274635 function calls (137864585 primitive calls) in 105.770 seconds
  2.  
  3. Ordered by: cumulative time
  4.  
  5. ncalls tottime percall cumtime percall filename:lineno(function)
  6. 1 0.000 0.000 105.771 105.771 {built-in method builtins.exec}
  7. 1 0.000 0.000 105.771 105.771 <string>:1(<module>)
  8. 1 0.002 0.002 105.771 105.771 <string>:1(<listcomp>)
  9. 1000 0.031 0.000 105.768 0.106 simulator.py:146(advance)
  10. 1000 0.008 0.000 102.058 0.102 simulator.py:203(next_transition_time)
  11. 1000 0.008 0.000 102.048 0.102 transitiontime.py:18(get_next_transition_time)
  12. 1000 0.021 0.000 101.970 0.102 transitiontime.py:24(<listcomp>)
  13. 24000 0.341 0.000 101.949 0.004 transitiontime.py:36(collect_transition_times)
  14. 8000 1.191 0.000 100.322 0.013 transitiontime.py:97(get_transition_time)
  15. 132000 0.449 0.000 29.014 0.000 z3printer.py:1181(obj_to_string)
  16. 132000 0.105 0.000 26.838 0.000 z3printer.py:1077(__call__)
  17. 132000 0.224 0.000 26.734 0.000 z3printer.py:1051(main)
  18. 120000/64000 0.226 0.000 24.813 0.000 z3printer.py:953(pp_expr)
  19. 120000/64000 0.714 0.000 24.122 0.000 z3printer.py:878(pp_app)
  20. 16000 0.014 0.000 20.143 0.001 z3.py:292(__repr__)
  21. 12000 0.041 0.000 18.531 0.002 sourcehelper.py:21(get_param_names)
  22. 12000 0.083 0.000 18.481 0.002 sourcehelper.py:75(get_param_names_from_lambda)
  23. 12004 0.031 0.000 17.926 0.001 sourcehelper.py:102(getast)
  24. 28000/16000 0.149 0.000 17.903 0.001 z3printer.py:767(pp_infix)
  25. 12004 0.024 0.000 17.398 0.001 sourcehelper.py:114(getsource)
  26. 12004 0.066 0.000 17.369 0.001 sourcehelper.py:118(getsourcelines)
  27. 12004 0.104 0.000 17.283 0.001 inspect.py:943(getsourcelines)
  28. 28000/16000 0.043 0.000 16.253 0.001 z3printer.py:762(infix_args)
  29. 28000/16000 0.387 0.000 16.166 0.001 z3printer.py:730(infix_args_core)
  30. 12184 0.255 0.000 15.675 0.001 inspect.py:757(findsource)
  31. 32000 0.122 0.000 14.912 0.000 to_z3.py:49(_get_datatype_from_list)
  32. 494000/32000 0.568 0.000 14.733 0.000 to_z3.py:20(wrapper)
  33. 32000 0.110 0.000 14.539 0.000 to_z3.py:210(to_z3_typesFunctionType)
  34. 32000 0.133 0.000 14.374 0.000 z3.py:4459(create)
  35. 24537 14.229 0.001 14.229 0.001 {built-in method posix.stat}
  36. 32000 1.345 0.000 13.817 0.000 z3.py:4493(CreateDatatypes)
  37. 16000 0.042 0.000 12.537 0.001 to_z3.py:151(to_z3_list)
  38. 48000 0.219 0.000 10.218 0.000 to_z3.py:84(get_z3_var)
  39. 12364 0.125 0.000 9.924 0.001 inspect.py:677(getsourcefile)
  40. 36000 0.091 0.000 9.587 0.000 to_z3.py:119(get_z3_variable)
  41. 12364 0.043 0.000 9.562 0.001 genericpath.py:16(exists)
  42. 10144000 8.339 0.000 9.130 0.000 z3core.py:1331(Check)
  43. 116000 0.070 0.000 8.954 0.000 z3.py:289(__str__)
  44. 1246000 1.912 0.000 8.867 0.000 z3.py:277(__init__)
  45. 70000 0.254 0.000 8.790 0.000 z3.py:1010(_coerce_exprs)
  46. 40000 0.092 0.000 8.346 0.000 to_z3.py:114(get_z3_value)
  47. 1246000 1.540 0.000 8.261 0.000 z3.py:282(__del__)
  48. 16000 0.075 0.000 8.219 0.001 to_z3.py:432(to_z3_astReturn)
  49. 40000 0.118 0.000 7.822 0.000 to_z3.py:56(get_z3_val)
  50. 8000 0.395 0.000 7.048 0.001 transitiontime.py:59(get_modifier_map)
  51. 180000 0.271 0.000 7.007 0.000 z3printer.py:531(pp_name)
  52. 44000 0.148 0.000 6.600 0.000 z3.py:836(__eq__)
  53. 180000 0.394 0.000 5.410 0.000 z3printer.py:210(_op_name)
  54. 1512000 0.981 0.000 5.349 0.000 z3.py:484(as_ast)
  55. 12000/8000 0.056 0.000 5.333 0.001 to_z3.py:392(to_z3_astBinOp)
  56. 98000/90000 0.621 0.000 5.230 0.000 to_z3.py:274(get_linearized_z3_var)
  57. 12172 0.094 0.000 4.986 0.000 compilerop.py:136(check_linecache_ipython)
  58. 68000 0.404 0.000 4.921 0.000 z3.py:722(__call__)
  59. 12172 0.126 0.000 4.841 0.000 linecache.py:53(checkcache)
  60. 252000 0.564 0.000 4.696 0.000 z3.py:878(decl)
  61. 2064000/86000 1.835 0.000 4.657 0.000 entity.py:253(get_all_entities)
  62. 364000 0.577 0.000 4.637 0.000 z3.py:2045(sort)
  63. 820000 0.582 0.000 4.334 0.000 z3.py:1061(is_app)
  64. 84000 0.047 0.000 4.324 0.000 z3printer.py:562(pp_const)
  65. 4000 0.019 0.000 4.184 0.001 to_z3.py:326(to_z3_astAssign)
  66. 70000 0.160 0.000 3.933 0.000 to_z3.py:248(to_z3_astAttribute)
  67. 296000 0.351 0.000 3.817 0.000 z3.py:644(name)
  68. 1512000 2.128 0.000 3.734 0.000 z3core.py:2336(Z3_sort_to_ast)
  69. 820000 0.935 0.000 3.631 0.000 z3.py:422(_ast_kind)
  70. 10000 0.084 0.000 3.586 0.000 to_z3.py:423(to_z3_astCompare)
  71. 128000 0.158 0.000 3.157 0.000 z3.py:2069(is_real)
  72. 1246000 1.780 0.000 3.059 0.000 z3core.py:1373(Z3_inc_ref)
  73. 100000 0.167 0.000 3.019 0.000 z3.py:1991(cast)
  74. 1246000 1.736 0.000 3.011 0.000 z3core.py:1377(Z3_dec_ref)
  75. 776000 0.557 0.000 2.879 0.000 z3.py:635(as_ast)
  76. 40000 0.033 0.000 2.825 0.000 entity.py:260(get_all_influences)
  77. 154000 0.142 0.000 2.807 0.000 z3.py:992(_coerce_expr_merge)
  78. 28000 0.073 0.000 2.780 0.000 z3.py:930(children)
  79. 32000/24000 0.072 0.000 2.668 0.000 to_z3.py:661(resolve_type_BinOp)
  80. 64000 0.098 0.000 2.652 0.000 to_z3.py:230(to_z3_astName)
  81. 2156000 1.546 0.000 2.609 0.000 entity.py:315(get_entities)
  82. 40000 0.030 0.000 2.594 0.000 entity.py:264(get_all_updates)
  83. 296000 0.385 0.000 2.580 0.000 z3.py:108(_symbol2py)
  84. 960000 1.538 0.000 2.563 0.000 z3core.py:2586(Z3_get_ast_kind)
  85. 40000 0.028 0.000 2.455 0.000 to_z3.py:638(resolve_astAttribute)
  86. 8000 0.028 0.000 2.446 0.000 z3.py:7064(check)
  87. 8000 2.376 0.000 2.407 0.000 z3core.py:3974(Z3_optimize_check)
  88. 190000 0.358 0.000 2.405 0.000 z3.py:335(eq)
  89. 140000 0.443 0.000 2.383 0.000 z3.py:945(_to_expr_ref)
  90. 28000 0.035 0.000 2.278 0.000 z3.py:941(<listcomp>)
  91. 56000 0.147 0.000 2.243 0.000 z3.py:909(arg)
  92. 8000 0.008 0.000 2.194 0.000 z3.py:7121(__repr__)
  93. 8000 0.016 0.000 2.186 0.000 z3.py:7125(sexpr)
  94. 8000 2.116 0.000 2.169 0.000 z3core.py:4018(Z3_optimize_to_string)
  95. 4700000 1.604 0.000 2.112 0.000 z3.py:331(ctx_ref)
  96. 120000 0.124 0.000 2.049 0.000 z3.py:2409(is_rational_value)
  97. 12000 0.057 0.000 2.032 0.000 pprint.py:55(pformat)
  98. 776000 1.156 0.000 1.994 0.000 z3core.py:2446(Z3_func_decl_to_ast)
  99. 196000 0.373 0.000 1.959 0.000 z3.py:893(num_args)
  100. 112000 0.103 0.000 1.945 0.000 z3.py:2430(is_algebraic_value)
  101. 12000 0.044 0.000 1.924 0.000 pprint.py:142(pformat)
  102. 40000 0.084 0.000 1.893 0.000 z3.py:4676(cast)
  103. 68000/12000 0.159 0.000 1.868 0.000 pprint.py:154(_format)
  104. 112000 0.098 0.000 1.854 0.000 z3.py:1086(is_const)
  105. 120000 0.096 0.000 1.831 0.000 z3.py:2386(is_int_value)
  106. 10000 0.013 0.000 1.784 0.000 to_z3.py:430(<listcomp>)
  107. 64000 0.094 0.000 1.669 0.000 z3.py:2055(is_int)
  108. 132000 0.222 0.000 1.661 0.000 z3printer.py:501(__call__)
  109. 9515523 1.653 0.000 1.653 0.000 {built-in method builtins.isinstance}
  110. 2000 0.018 0.000 1.637 0.001 to_z3.py:407(to_z3_astBoolOp)
  111. 604000 0.978 0.000 1.634 0.000 z3core.py:2571(Z3_get_sort)
  112. 2000 0.007 0.000 1.621 0.001 __init__.py:1296(info)
  113. 2000 0.009 0.000 1.612 0.001 __init__.py:1419(_log)
  114. 20288000 1.608 0.000 1.608 0.000 z3types.py:19(from_param)
  115. 208000 0.289 0.000 1.581 0.000 z3.py:101(to_symbol)
  116. 32000 0.145 0.000 1.559 0.000 z3.py:2903(Real)
  117. 12004 0.218 0.000 1.514 0.000 inspect.py:932(getblock)
  118. 2000 0.005 0.000 1.488 0.001 __init__.py:1444(handle)
  119. 2000 0.014 0.000 1.481 0.001 __init__.py:1498(callHandlers)
  120. 2000 0.007 0.000 1.467 0.001 __init__.py:850(handle)
  121. 2000 0.010 0.000 1.455 0.001 __init__.py:980(emit)
  122. 264000/132000 0.277 0.000 1.439 0.000 z3printer.py:487(pp)
  123. 296000 0.608 0.000 1.397 0.000 z3core.py:2321(Z3_get_symbol_string)
  124. 923000 0.392 0.000 1.315 0.000 __init__.py:1284(debug)
  125. 72000 0.160 0.000 1.315 0.000 z3.py:4600(constructor)
  126. 11214000 1.283 0.000 1.283 0.000 z3.py:177(ref)
  127. 38000 0.130 0.000 1.270 0.000 z3.py:2810(RealVal)
  128. 2000 0.011 0.000 1.249 0.001 __init__.py:969(flush)
  129. 36000 0.077 0.000 1.239 0.000 z3.py:514(cast)
  130. 320000 0.235 0.000 1.236 0.000 z3.py:686(kind)
  131. 2000 0.012 0.000 1.233 0.001 iostream.py:327(flush)
  132. 20000 0.140 0.000 1.228 0.000 sourcehelper.py:215(get_accessed_ports)
  133. 100000 0.091 0.000 1.218 0.000 pprint.py:391(_repr)
  134. 260082 0.287 0.000 1.213 0.000 ast.py:215(walk)
  135. 12000 0.102 0.000 1.210 0.000 z3.py:1584(And)
  136. 64000 0.143 0.000 1.171 0.000 z3.py:4619(recognizer)
  137. 98000 0.070 0.000 1.149 0.000 to_z3.py:798(count_previous_assignments_with_name_on_left)
  138. 156052 0.568 0.000 1.143 0.000 tokenize.py:492(_tokenize)
  139. 2000 0.010 0.000 1.121 0.001 threading.py:533(wait)
  140. 100000 0.049 0.000 1.107 0.000 pprint.py:400(format)
  141. 1958 0.016 0.000 1.106 0.001 threading.py:263(wait)
  142. 208000 0.604 0.000 1.102 0.000 z3core.py:1465(Z3_mk_string_symbol)
  143. 8000 0.034 0.000 1.093 0.000 z3.py:2311(__ge__)
  144. 19833 1.090 0.000 1.090 0.000 {method 'acquire' of '_thread.lock' objects}
  145. 40000 0.022 0.000 1.072 0.000 to_z3.py:642(resolve_astName)
  146. 98000 0.135 0.000 1.065 0.000 to_z3.py:789(get_previous_assignments_with_name_on_left)
  147. 134000 0.506 0.000 1.063 0.000 to_z3.py:164(to_z3_str)
  148. 212000/100000 0.501 0.000 1.058 0.000 pprint.py:490(_safe_repr)
  149. 8000 0.027 0.000 1.056 0.000 pprint.py:180(_pprint_dict)
  150. 2000 0.082 0.000 0.961 0.000 simulator.py:227(save_entity)
  151. 4000 0.007 0.000 0.925 0.000 {built-in method _operator.eq}
  152. 925000 0.542 0.000 0.925 0.000 __init__.py:1542(isEnabledFor)
  153. 72000 0.116 0.000 0.919 0.000 z3.py:4697(sort)
  154. 70000 0.128 0.000 0.918 0.000 z3.py:2768(RealSort)
  155. 20000 0.081 0.000 0.879 0.000 sourcehelper.py:359(get_used_variable_names)
  156. 360000 0.513 0.000 0.873 0.000 z3core.py:2346(Z3_get_sort_kind)
  157. 120036/24008 0.132 0.000 0.870 0.000 ast.py:249(visit)
  158. 2064000 0.866 0.000 0.866 0.000 entity.py:318(<dictcomp>)
  159. 320000 0.511 0.000 0.846 0.000 z3core.py:2466(Z3_get_decl_kind)
  160. 36006 0.084 0.000 0.841 0.000 sourcehelper.py:171(is_decendant_of)
  161. 8000 0.077 0.000 0.839 0.000 pprint.py:333(_format_dict_items)
  162. 212068 0.095 0.000 0.832 0.000 {method 'extend' of 'collections.deque' objects}
  163. 220000 0.113 0.000 0.816 0.000 z3.py:490(kind)
  164. 212000 0.341 0.000 0.812 0.000 z3printer.py:454(pp_string)
  165. 78022/24008 0.165 0.000 0.781 0.000 ast.py:255(generic_visit)
  166. 12000 0.022 0.000 0.772 0.000 z3.py:1028(_coerce_expr_list)
  167. 98000 0.127 0.000 0.762 0.000 to_z3.py:802(count_previous_ifs_with_assignments_with_name_on_left)
  168. 196000 0.174 0.000 0.750 0.000 z3.py:655(arity)
  169. 296000 0.438 0.000 0.749 0.000 z3core.py:2461(Z3_get_decl_name)
  170. 504150 0.330 0.000 0.737 0.000 ast.py:178(iter_child_nodes)
  171. 172000 0.192 0.000 0.737 0.000 z3.py:4587(num_constructors)
  172. 24000/1000 0.025 0.000 0.726 0.001 simulator.py:66(_stabilise_fp)
  173. 296000 0.421 0.000 0.724 0.000 z3core.py:2311(Z3_get_symbol_kind)
  174. 24000/1000 0.054 0.000 0.723 0.001 simulator.py:77(_stabilise)
  175. 458006 0.499 0.000 0.717 0.000 sourcehelper.py:138(get_ancestor_of_type)
  176. 20000/16000 0.035 0.000 0.713 0.000 z3printer.py:468(pp_choice)
  177. 1842492 0.706 0.000 0.706 0.000 {built-in method builtins.getattr}
  178. 24000/1000 0.023 0.000 0.704 0.001 simulator.py:89(influence_fp)
  179. 220000 0.139 0.000 0.702 0.000 z3.py:479(_sort_kind)
  180. 24000/1000 0.072 0.000 0.700 0.001 simulator.py:98(influence)
  181. 8000 0.038 0.000 0.667 0.000 z3.py:6985(__init__)
  182. 52000 0.049 0.000 0.662 0.000 z3.py:7021(add)
  183. 252000 0.382 0.000 0.652 0.000 z3core.py:2541(Z3_get_app_decl)
  184. 4000 0.010 0.000 0.647 0.000 {built-in method _operator.sub}
  185. 4000 0.014 0.000 0.637 0.000 z3.py:2126(__sub__)
  186. 52000 0.165 0.000 0.613 0.000 z3.py:7011(assert_exprs)
  187. 4000 0.007 0.000 0.611 0.000 {built-in method _operator.mul}
  188. 4000 0.012 0.000 0.604 0.000 z3.py:2103(__mul__)
  189. 8000 0.566 0.000 0.588 0.000 z3core.py:3934(Z3_mk_optimize)
  190. 196000 0.368 0.000 0.583 0.000 simulator.py:213(save)
  191. 142000 0.069 0.000 0.579 0.000 z3.py:1959(is_real)
  192. 494000 0.328 0.000 0.561 0.000 functools.py:764(dispatch)
  193. 190000 0.348 0.000 0.558 0.000 z3core.py:2556(Z3_is_eq_ast)
  194. 4000 0.006 0.000 0.556 0.000 {built-in method _operator.add}
  195. 244000 0.345 0.000 0.555 0.000 z3printer.py:381(to_format)
  196. 4000 0.010 0.000 0.549 0.000 z3.py:2080(__add__)
  197. 40000 0.269 0.000 0.543 0.000 entity.py:261(<listcomp>)
  198. 4000 0.014 0.000 0.532 0.000 z3.py:2298(__gt__)
  199. 40000 0.261 0.000 0.527 0.000 entity.py:265(<listcomp>)
  200. 188000 0.386 0.000 0.524 0.000 sourcehelper.py:181(get_all_previous_siblings)
  201. 312000 0.312 0.000 0.523 0.000 z3core.py:80(_to_pystr)
  202. 196000 0.242 0.000 0.520 0.000 to_z3.py:782(get_self_or_ancester_assign_or_if)
  203. 48000 0.154 0.000 0.514 0.000 simulator.py:126(update)
  204. 144538 0.511 0.000 0.511 0.000 {method 'match' of '_sre.SRE_Pattern' objects}
  205. 32000 0.451 0.000 0.498 0.000 z3core.py:1548(Z3_mk_datatypes)
  206. 12004 0.011 0.000 0.496 0.000 ast.py:30(parse)
  207. 12000 0.013 0.000 0.491 0.000 z3.py:1037(<listcomp>)
  208. 196000 0.287 0.000 0.490 0.000 z3core.py:2546(Z3_get_app_num_args)
  209. 196000 0.287 0.000 0.487 0.000 z3core.py:2476(Z3_get_arity)
  210. 12004 0.485 0.000 0.485 0.000 {built-in method builtins.compile}
  211. 16000 0.046 0.000 0.485 0.000 z3.py:1225(Const)
  212. 14000 0.028 0.000 0.478 0.000 z3.py:1291(cast)
  213. 28000/16000 0.041 0.000 0.465 0.000 z3printer.py:464(pp_compose)
  214. 172000 0.282 0.000 0.462 0.000 z3core.py:2386(Z3_get_datatype_sort_num_constructors)
  215. 236000 0.188 0.000 0.460 0.000 z3printer.py:404(_len)
  216. 5312000 0.451 0.000 0.451 0.000 z3types.py:39(from_param)
  217. 854260 0.276 0.000 0.450 0.000 ast.py:166(iter_fields)
  218. 16000 0.112 0.000 0.447 0.000 {built-in method builtins.sorted}
  219. 28000 0.035 0.000 0.421 0.000 z3printer.py:398(group)
  220. 312012/112004 0.329 0.000 0.396 0.000 sourcehelper.py:382(get_attribute_string)
  221. 1024000 0.255 0.000 0.393 0.000 z3.py:384(is_ast)
  222. 64000 0.306 0.000 0.389 0.000 z3core.py:1525(Z3_mk_constructor)
  223. 925000 0.383 0.000 0.383 0.000 __init__.py:1528(getEffectiveLevel)
  224. 112000 0.082 0.000 0.379 0.000 z3.py:2383(_is_algebraic)
  225. 68000 0.286 0.000 0.372 0.000 z3core.py:1561(Z3_mk_app)
  226. 2734000 0.365 0.000 0.365 0.000 z3.py:807(as_ast)
  227. 94000 0.208 0.000 0.357 0.000 to_z3.py:811(extract_assignments_with_name_on_left)
  228. 28000 0.047 0.000 0.357 0.000 z3.py:1325(sort)
  229. 78000 0.048 0.000 0.353 0.000 z3.py:1973(is_int)
  230. 64000 0.121 0.000 0.352 0.000 z3.py:4436(declare)
  231. 44000/28000 0.039 0.000 0.340 0.000 z3printer.py:325(flat)
  232. 28000 0.118 0.000 0.323 0.000 z3printer.py:410(seq)
  233. 8000 0.015 0.000 0.316 0.000 z3.py:6993(__del__)
  234. 4324058 0.314 0.000 0.314 0.000 {method 'items' of 'dict' objects}
  235. 24000 0.031 0.000 0.306 0.000 pprint.py:207(_pprint_list)
  236. 2000 0.004 0.000 0.300 0.000 {built-in method _operator.lt}
  237. 246000 0.155 0.000 0.300 0.000 z3core.py:66(_to_ascii)
  238. 8000 0.285 0.000 0.299 0.000 z3core.py:3943(Z3_optimize_dec_ref)
  239. 2000 0.003 0.000 0.298 0.000 {built-in method _operator.ge}
  240. 2000 0.008 0.000 0.295 0.000 z3.py:2272(__le__)
  241. 1008000 0.287 0.000 0.287 0.000 entity.py:303(get_updates)
  242. 72000 0.088 0.000 0.286 0.000 z3printer.py:390(compose)
  243. 984000 0.284 0.000 0.284 0.000 entity.py:311(get_influences)
  244. 112000 0.168 0.000 0.284 0.000 z3core.py:2601(Z3_is_algebraic_number)
  245. 518000 0.175 0.000 0.284 0.000 z3.py:1039(is_expr)
  246. 72000 0.052 0.000 0.276 0.000 z3.py:2380(_is_numeral)
  247. 164000 0.188 0.000 0.272 0.000 z3.py:117(_get_args)
  248. 56000 0.196 0.000 0.271 0.000 z3core.py:3947(Z3_optimize_assert)
  249. 24000 0.080 0.000 0.269 0.000 pprint.py:350(_format_items)
  250. 1634000 0.245 0.000 0.268 0.000 z3.py:212(_get_ctx)
  251. 64000 0.065 0.000 0.257 0.000 z3.py:4480(__del__)
  252. 12000 0.008 0.000 0.254 0.000 z3.py:1022(_reduce)
  253. 78000 0.234 0.000 0.249 0.000 pprint.py:87(__lt__)
  254. 2000 0.004 0.000 0.247 0.000 {built-in method _operator.gt}
  255. 72000 0.168 0.000 0.246 0.000 z3core.py:2391(Z3_get_datatype_sort_constructor)
  256. 494000 0.233 0.000 0.233 0.000 weakref.py:393(__getitem__)
  257. 2068000 0.231 0.000 0.231 0.000 {method 'extend' of 'list' objects}
  258. 38000 0.130 0.000 0.230 0.000 z3core.py:2051(Z3_mk_numeral)
  259. 100000 0.092 0.000 0.227 0.000 z3printer.py:306(__init__)
  260. 64000 0.150 0.000 0.219 0.000 z3core.py:2396(Z3_get_datatype_sort_recognizer)
  261. 1651527 0.218 0.000 0.218 0.000 {built-in method builtins.len}
  262. 44000 0.162 0.000 0.218 0.000 z3core.py:1591(Z3_mk_eq)
  263. 10001 0.027 0.000 0.218 0.000 iostream.py:195(schedule)
  264. 44000/28000 0.061 0.000 0.217 0.000 z3printer.py:326(<listcomp>)
  265. 48000 0.159 0.000 0.216 0.000 z3core.py:1566(Z3_mk_const)
  266. 72000 0.137 0.000 0.215 0.000 z3core.py:2596(Z3_is_numeral_ast)
  267. 312001 0.211 0.000 0.211 0.000 {method 'decode' of 'bytes' objects}
  268. 64000 0.146 0.000 0.208 0.000 z3.py:4429(declare_core)
  269. 20000 0.015 0.000 0.208 0.000 z3printer.py:377(fits)
  270. 10000 0.009 0.000 0.204 0.000 to_z3.py:426(<listcomp>)
  271. 56000 0.141 0.000 0.204 0.000 z3core.py:2551(Z3_get_app_arg)
  272. 48000 0.063 0.000 0.201 0.000 entity.py:235(get_targets)
  273. 2266000 0.197 0.000 0.197 0.000 z3types.py:31(from_param)
  274. 32000/20000 0.062 0.000 0.193 0.000 z3printer.py:317(space_upto_nl)
  275. 70000 0.117 0.000 0.186 0.000 z3core.py:1485(Z3_mk_real_sort)
  276. 64000 0.108 0.000 0.178 0.000 z3core.py:1530(Z3_del_constructor)
  277. 8000 0.013 0.000 0.178 0.000 z3printer.py:568(pp_rational)
  278. 1614000 0.176 0.000 0.176 0.000 z3.py:89(_z3_assert)
  279. 132044 0.066 0.000 0.175 0.000 tokenize.py:152(_compile)
  280. 4000 0.016 0.000 0.171 0.000 iostream.py:366(write)
  281. 56000 0.044 0.000 0.170 0.000 z3printer.py:546(is_infix_unary)
  282. 12216 0.072 0.000 0.169 0.000 inspect.py:711(getmodule)
  283. 32000 0.043 0.000 0.167 0.000 z3.py:4489(__del__)
  284. 352000 0.101 0.000 0.164 0.000 z3.py:2324(is_arith)
  285. 144216 0.057 0.000 0.164 0.000 re.py:231(compile)
  286. 2000 0.003 0.000 0.156 0.000 entity.py:268(get_all_ports)
  287. 10001 0.155 0.000 0.155 0.000 socket.py:333(send)
  288. 1656000 0.154 0.000 0.154 0.000 z3types.py:35(from_param)
  289. 94000 0.120 0.000 0.153 0.000 to_z3.py:818(extract_ifs_that_write_to_target_with_name)
  290. 491992 0.152 0.000 0.152 0.000 {method 'get' of 'dict' objects}
  291. 40000 0.151 0.000 0.151 0.000 transitiontime.py:79(<listcomp>)
  292. 40000 0.147 0.000 0.147 0.000 transitiontime.py:70(<listcomp>)
  293. 8000 0.011 0.000 0.145 0.000 z3.py:2699(as_string)
  294. 20000 0.051 0.000 0.145 0.000 entity.py:231(get_sources)
  295. 216000 0.119 0.000 0.145 0.000 z3printer.py:367(__init__)
  296. 30000 0.026 0.000 0.142 0.000 sourcehelper.py:355(visit_Attribute)
  297. 12000 0.049 0.000 0.135 0.000 z3.py:1217(_mk_bin)
  298. 208000 0.073 0.000 0.134 0.000 z3.py:59(_is_int)
  299. 116000 0.057 0.000 0.131 0.000 z3printer.py:374(space_upto_nl)
  300. 8000 0.104 0.000 0.130 0.000 z3core.py:2616(Z3_get_numeral_string)
  301. 108000 0.126 0.000 0.126 0.000 {method 'format' of 'str' objects}
  302. 6 0.000 0.000 0.126 0.021 sourcehelper.py:255(get_read_ports_from_update)
  303. 6 0.000 0.000 0.126 0.021 sourcehelper.py:332(get_read_variables)
  304. 8 0.000 0.000 0.125 0.016 sourcehelper.py:321(visit_Attribute)
  305. 4 0.000 0.000 0.125 0.031 sourcehelper.py:373(get_name_from_target)
  306. 180 0.001 0.000 0.125 0.001 inspect.py:1422(getframeinfo)
  307. 112000 0.056 0.000 0.120 0.000 z3.py:3541(is_bv_value)
  308. 32000 0.085 0.000 0.119 0.000 z3core.py:1539(Z3_mk_constructor_list)
  309. 84000 0.044 0.000 0.119 0.000 z3printer.py:534(is_infix)
  310. 32000 0.079 0.000 0.117 0.000 z3core.py:1544(Z3_del_constructor_list)
  311. 100000 0.076 0.000 0.115 0.000 z3printer.py:307(<listcomp>)
  312. 144048 0.060 0.000 0.114 0.000 <string>:12(__new__)
  313. 4 0.000 0.000 0.113 0.028 inspect.py:1489(stack)
  314. 4 0.000 0.000 0.113 0.028 inspect.py:1461(getouterframes)
  315. 246000 0.113 0.000 0.113 0.000 {method 'encode' of 'str' objects}
  316. 12388 0.055 0.000 0.111 0.000 inspect.py:640(getfile)
  317. 278360 0.111 0.000 0.111 0.000 {built-in method builtins.hasattr}
  318. 144048 0.110 0.000 0.110 0.000 inspect.py:888(tokeneater)
  319. 144216 0.107 0.000 0.107 0.000 re.py:286(_compile)
  320. 128000 0.105 0.000 0.105 0.000 {built-in method builtins.setattr}
  321. 136000 0.102 0.000 0.102 0.000 {built-in method builtins.repr}
  322. 24000 0.047 0.000 0.102 0.000 simulator.py:110(transition)
  323. 112000 0.048 0.000 0.099 0.000 z3.py:8781(is_fprm_value)
  324. 12000 0.009 0.000 0.098 0.000 z3printer.py:335(flat)
  325. 112000 0.046 0.000 0.098 0.000 z3.py:6928(is_finite_domain_value)
  326. 8000 0.031 0.000 0.089 0.000 z3.py:7052(minimize)
  327. 48728 0.029 0.000 0.089 0.000 {built-in method builtins.any}
  328. 94764 0.056 0.000 0.088 0.000 inspect.py:64(ismodule)
  329. 2000 0.006 0.000 0.088 0.000 __init__.py:1404(makeRecord)
  330. 112000 0.040 0.000 0.086 0.000 z3.py:8915(is_fp_value)
  331. 64000 0.060 0.000 0.085 0.000 pprint.py:94(_safe_tuple)
  332. 224000 0.054 0.000 0.083 0.000 z3.py:8902(is_fp)
  333. 547497 0.083 0.000 0.083 0.000 {method 'append' of 'list' objects}
  334. 2000 0.043 0.000 0.082 0.000 __init__.py:251(__init__)
  335. 94000 0.053 0.000 0.079 0.000 to_z3.py:813(<listcomp>)
  336. 144000 0.077 0.000 0.077 0.000 {method 'getvalue' of '_io.StringIO' objects}
  337. 84000 0.048 0.000 0.075 0.000 z3printer.py:198(_is_infix)
  338. 48014 0.049 0.000 0.074 0.000 <frozen importlib._bootstrap>:997(_handle_fromlist)
  339. 12000 0.027 0.000 0.073 0.000 to_z3.py:137(find_z3_variable)
  340. 612000 0.073 0.000 0.073 0.000 {built-in method builtins.issubclass}
  341. 428000 0.072 0.000 0.072 0.000 {method 'write' of '_io.StringIO' objects}
  342. 12000 0.056 0.000 0.070 0.000 z3core.py:1626(Z3_mk_and)
  343. 768000 0.070 0.000 0.070 0.000 z3types.py:27(from_param)
  344. 118052 0.068 0.000 0.068 0.000 {method 'split' of 'str' objects}
  345. 28000 0.014 0.000 0.067 0.000 z3printer.py:363(flat)
  346. 32000 0.039 0.000 0.064 0.000 z3.py:4419(__init__)
  347. 112000 0.037 0.000 0.064 0.000 z3.py:3528(is_bv)
  348. 384004 0.057 0.000 0.057 0.000 {built-in method builtins.id}
  349. 20000 0.054 0.000 0.054 0.000 sourcehelper.py:348(__init__)
  350. 40000 0.019 0.000 0.054 0.000 z3printer.py:540(get_precedence)
  351. 144404 0.054 0.000 0.054 0.000 {built-in method __new__ of type object at 0x7fcfa750e740}
  352. 112000 0.039 0.000 0.053 0.000 z3.py:9802(is_string_value)
  353. 12004 0.027 0.000 0.053 0.000 inspect.py:485(unwrap)
  354. 12000 0.049 0.000 0.053 0.000 z3.py:450(_to_ast_array)
  355. 44000 0.021 0.000 0.052 0.000 z3printer.py:537(is_unary)
  356. 112000 0.034 0.000 0.052 0.000 z3.py:6875(is_finite_domain)
  357. 12000 0.051 0.000 0.051 0.000 pprint.py:99(__init__)
  358. 112000 0.034 0.000 0.051 0.000 z3.py:8769(is_fprm)
  359. 12172 0.050 0.000 0.050 0.000 {method 'update' of 'dict' objects}
  360. 260000 0.049 0.000 0.049 0.000 {built-in method builtins.all}
  361. 8000 0.037 0.000 0.047 0.000 z3core.py:1691(Z3_mk_ge)
  362. 94000 0.028 0.000 0.046 0.000 to_z3.py:814(<listcomp>)
  363. 24000 0.021 0.000 0.046 0.000 simulator.py:100(<dictcomp>)
  364. 188000 0.046 0.000 0.046 0.000 {method 'index' of 'list' objects}
  365. 28000 0.020 0.000 0.044 0.000 z3printer.py:543(is_infix_compact)
  366. 8000 0.032 0.000 0.044 0.000 z3core.py:3961(Z3_optimize_minimize)
  367. 66000 0.042 0.000 0.042 0.000 entity.py:287(get_inputs)
  368. 48000 0.023 0.000 0.040 0.000 entity.py:236(<listcomp>)
  369. 136217 0.040 0.000 0.040 0.000 {method 'startswith' of 'str' objects}
  370. 92000 0.039 0.000 0.039 0.000 entity.py:320(<listcomp>)
  371. 2000 0.022 0.000 0.039 0.000 entity.py:269(<listcomp>)
  372. 48000 0.038 0.000 0.038 0.000 simulator.py:131(<dictcomp>)
  373. 12000 0.030 0.000 0.038 0.000 entity.py:239(get_path_to_attribute)
  374. 28000 0.025 0.000 0.037 0.000 z3printer.py:401(line_break)
  375. 178056 0.037 0.000 0.037 0.000 {method 'join' of 'str' objects}
  376. 36004 0.035 0.000 0.035 0.000 sourcehelper.py:161(is_lambda)
  377. 32000 0.035 0.000 0.035 0.000 to_z3.py:130(__init__)
  378. 40000 0.021 0.000 0.035 0.000 z3printer.py:222(_get_precedence)
  379. 48000 0.035 0.000 0.035 0.000 entity.py:307(get_transitions)
  380. 4000 0.029 0.000 0.034 0.000 z3core.py:1646(Z3_mk_sub)
  381. 68000 0.022 0.000 0.033 0.000 z3.py:567(is_sort)
  382. 37092 0.016 0.000 0.032 0.000 inspect.py:684(<genexpr>)
  383. 124000 0.032 0.000 0.032 0.000 {method 'copy' of 'dict' objects}
  384. 12004 0.032 0.000 0.032 0.000 inspect.py:879(__init__)
  385. 68000 0.031 0.000 0.032 0.000 entity.py:299(get_ports)
  386. 12001 0.016 0.000 0.031 0.000 threading.py:1104(is_alive)
  387. 44000 0.022 0.000 0.031 0.000 z3printer.py:206(_is_unary)
  388. 6000 0.031 0.000 0.031 0.000 transitiontime.py:50(<listcomp>)
  389. 12184 0.022 0.000 0.030 0.000 linecache.py:37(getlines)
  390. 216000 0.029 0.000 0.029 0.000 z3printer.py:136(u)
  391. 68000 0.029 0.000 0.029 0.000 entity.py:295(get_locals)
  392. 8000 0.019 0.000 0.029 0.000 z3core.py:3939(Z3_optimize_inc_ref)
  393. 212000 0.028 0.000 0.028 0.000 z3printer.py:370(is_string)
  394. 49456 0.020 0.000 0.028 0.000 inspect.py:687(<genexpr>)
  395. 2000 0.014 0.000 0.027 0.000 __init__.py:1374(findCaller)
  396. 68000 0.019 0.000 0.027 0.000 z3.py:754(is_func_decl)
  397. 44000 0.015 0.000 0.027 0.000 z3.py:1867(is_quantifier)
  398. 64000 0.026 0.000 0.026 0.000 z3.py:4477(__init__)
  399. 108000 0.026 0.000 0.026 0.000 z3.py:192(main_ctx)
  400. 4000 0.021 0.000 0.026 0.000 z3core.py:1641(Z3_mk_mul)
  401. 4000 0.014 0.000 0.025 0.000 enum.py:564(__format__)
  402. 128000 0.025 0.000 0.025 0.000 pprint.py:84(__init__)
  403. 132044 0.025 0.000 0.025 0.000 {method 'span' of '_sre.SRE_Match' objects}
  404. 42000 0.020 0.000 0.025 0.000 model.py:69(get_function_value)
  405. 2000 0.004 0.000 0.025 0.000 __init__.py:827(format)
  406. 12000 0.015 0.000 0.025 0.000 z3.py:1577(_has_probe)
  407. 48000 0.025 0.000 0.025 0.000 simulator.py:128(<listcomp>)
  408. 61893 0.024 0.000 0.024 0.000 {method 'endswith' of 'str' objects}
  409. 4000 0.004 0.000 0.024 0.000 iostream.py:313(_schedule_flush)
  410. 28000 0.016 0.000 0.024 0.000 z3printer.py:202(_is_infix_compact)
  411. 40000 0.019 0.000 0.024 0.000 to_z3.py:812(<lambda>)
  412. 12004 0.008 0.000 0.023 0.000 inspect.py:502(_is_wrapper)
  413. 2000 0.005 0.000 0.022 0.000 threading.py:498(__init__)
  414. 40000 0.017 0.000 0.021 0.000 sourcehelper.py:272(get_targets_from_assignment)
  415. 12000 0.015 0.000 0.021 0.000 z3.py:427(_ctx_from_ast_arg_list)
  416. 2000 0.005 0.000 0.021 0.000 __init__.py:562(format)
  417. 32000 0.017 0.000 0.021 0.000 z3.py:4523(<listcomp>)
  418. 120040 0.021 0.000 0.021 0.000 {method 'isidentifier' of 'str' objects}
  419. 212068 0.020 0.000 0.020 0.000 {method 'popleft' of 'collections.deque' objects}
  420. 28000 0.012 0.000 0.020 0.000 z3.py:1664(is_pattern)
  421. 16000 0.014 0.000 0.020 0.000 z3.py:6077(__eq__)
  422. 4000 0.015 0.000 0.020 0.000 z3core.py:1636(Z3_mk_add)
  423. 4000 0.015 0.000 0.019 0.000 z3core.py:1686(Z3_mk_gt)
  424. 40000 0.012 0.000 0.019 0.000 to_z3.py:819(<lambda>)
  425. 48000 0.018 0.000 0.019 0.000 entity.py:283(get_states)
  426. 48000 0.018 0.000 0.018 0.000 entity.py:291(get_outputs)
  427. 12000 0.008 0.000 0.018 0.000 sourcehelper.py:352(visit_Name)
  428. 24560 0.015 0.000 0.018 0.000 inspect.py:159(isfunction)
  429. 24740 0.011 0.000 0.018 0.000 inspect.py:229(istraceback)
  430. 40000 0.013 0.000 0.018 0.000 to_z3.py:769(get_identifier_from_target)
  431. 20000 0.017 0.000 0.017 0.000 sourcehelper.py:234(<listcomp>)
  432. 24560 0.013 0.000 0.017 0.000 inspect.py:81(ismethod)
  433. 32000 0.016 0.000 0.016 0.000 to_z3.py:667(resolve_two_types)
  434. 2000 0.016 0.000 0.016 0.000 threading.py:215(__init__)
  435. 32000 0.015 0.000 0.015 0.000 z3.py:4524(<listcomp>)
  436. 40000 0.015 0.000 0.015 0.000 to_z3.py:521(cast)
  437. 94000 0.014 0.000 0.014 0.000 to_z3.py:820(<listcomp>)
  438. 24560 0.010 0.000 0.014 0.000 inspect.py:73(isclass)
  439. 132000 0.014 0.000 0.014 0.000 z3printer.py:302(flat)
  440. 12004 0.014 0.000 0.014 0.000 tokenize.py:729(generate_tokens)
  441. 96000 0.014 0.000 0.014 0.000 z3types.py:91(from_param)
  442. 12001 0.006 0.000 0.013 0.000 threading.py:1062(_wait_for_tstate_lock)
  443. 24740 0.010 0.000 0.013 0.000 inspect.py:239(isframe)
  444. 10000 0.012 0.000 0.012 0.000 to_z3.py:427(<listcomp>)
  445. 24000 0.010 0.000 0.012 0.000 simulator.py:56(_value_change)
  446. 42004 0.012 0.000 0.012 0.000 {method 'add' of 'set' objects}
  447. 28000 0.012 0.000 0.012 0.000 z3printer.py:355(__init__)
  448. 8000 0.012 0.000 0.012 0.000 z3.py:6951(__init__)
  449. 32000 0.012 0.000 0.012 0.000 z3.py:4486(__init__)
  450. 2000 0.007 0.000 0.012 0.000 posixpath.py:142(basename)
  451. 2000 0.009 0.000 0.011 0.000 z3core.py:1681(Z3_mk_le)
  452. 4000 0.011 0.000 0.011 0.000 enum.py:552(__str__)
  453. 64000 0.011 0.000 0.011 0.000 z3.py:4433(<listcomp>)
  454. 24000 0.007 0.000 0.011 0.000 simulator.py:113(<listcomp>)
  455. 2000 0.005 0.000 0.011 0.000 posixpath.py:119(splitext)
  456. 32000 0.011 0.000 0.011 0.000 z3.py:4525(<listcomp>)
  457. 12004 0.010 0.000 0.010 0.000 sourcehelper.py:122(<listcomp>)
  458. 24560 0.008 0.000 0.010 0.000 inspect.py:253(iscode)
  459. 14000 0.008 0.000 0.010 0.000 z3.py:7671(is_probe)
  460. 8000 0.010 0.000 0.010 0.000 z3.py:6071(__init__)
  461. 4000 0.009 0.000 0.010 0.000 z3printer.py:475(pp_line_break)
  462. 8000 0.010 0.000 0.010 0.000 transitiontime.py:60(<listcomp>)
  463. 36004 0.009 0.000 0.009 0.000 {built-in method builtins.iter}
  464. 48000 0.009 0.000 0.009 0.000 {built-in method builtins.next}
  465. 8000 0.009 0.000 0.009 0.000 transitiontime.py:61(<dictcomp>)
  466. 6000 0.009 0.000 0.009 0.000 to_z3.py:724(resolve_type_Compare)
  467. 64000 0.008 0.000 0.008 0.000 z3types.py:55(from_param)
  468. 24000 0.008 0.000 0.008 0.000 simulator.py:112(<listcomp>)
  469. 8000 0.008 0.000 0.008 0.000 transitiontime.py:108(<listcomp>)
  470. 12000 0.008 0.000 0.008 0.000 sourcehelper.py:82(<listcomp>)
  471. 52000 0.007 0.000 0.007 0.000 z3printer.py:290(is_string)
  472. 2000 0.001 0.000 0.007 0.000 __init__.py:546(formatMessage)
  473. 52000 0.007 0.000 0.007 0.000 z3printer.py:288(is_indent)
  474. 2048 0.004 0.000 0.007 0.000 posixpath.py:50(normcase)
  475. 2000 0.003 0.000 0.007 0.000 __init__.py:540(usesTime)
  476. 10001 0.006 0.000 0.006 0.000 iostream.py:93(_event_pipe)
  477. 4000 0.006 0.000 0.006 0.000 iostream.py:300(_is_master_process)
  478. 4000 0.004 0.000 0.006 0.000 __init__.py:807(acquire)
  479. 12004 0.006 0.000 0.006 0.000 {method 'lstrip' of 'str' objects}
  480. 2000 0.006 0.000 0.006 0.000 __init__.py:390(format)
  481. 2000 0.004 0.000 0.006 0.000 __init__.py:157(<lambda>)
  482. 1958 0.003 0.000 0.005 0.000 threading.py:251(_acquire_restore)
  483. 2000 0.004 0.000 0.005 0.000 genericpath.py:117(_splitext)
  484. 32000 0.005 0.000 0.005 0.000 z3types.py:59(from_param)
  485. 12000 0.005 0.000 0.005 0.000 transitiontime.py:87(<listcomp>)
  486. 4 0.000 0.000 0.005 0.001 sourcehelper.py:11(get_ast_body)
  487. 4 0.000 0.000 0.005 0.001 sourcehelper.py:64(get_ast_from_lambda)
  488. 8000 0.005 0.000 0.005 0.000 transitiontime.py:55(<lambda>)
  489. 20000 0.004 0.000 0.004 0.000 entity.py:232(<listcomp>)
  490. 4000 0.004 0.000 0.004 0.000 to_z3.py:646(resolve_astNum)
  491. 20000 0.004 0.000 0.004 0.000 <ipython-input-11-77940e42f3bc>:25(<lambda>)
  492. 24000 0.004 0.000 0.004 0.000 z3printer.py:284(is_compose)
  493. 13 0.000 0.000 0.004 0.000 linecache.py:82(updatecache)
  494. 2000 0.002 0.000 0.004 0.000 __init__.py:387(usesTime)
  495. 28000 0.004 0.000 0.004 0.000 z3printer.py:313(is_compose)
  496. 4000 0.003 0.000 0.004 0.000 __init__.py:814(release)
  497. 6000 0.004 0.000 0.004 0.000 {method 'rfind' of 'str' objects}
  498. 4000 0.003 0.000 0.003 0.000 <ipython-input-8-fa153bbb802b>:24(set_volume)
  499. 20000 0.003 0.000 0.003 0.000 z3printer.py:329(is_choice)
  500. 8000 0.003 0.000 0.003 0.000 <ipython-input-11-77940e42f3bc>:38(<lambda>)
  501. 2000 0.003 0.000 0.003 0.000 threading.py:1230(current_thread)
  502. 6000 0.003 0.000 0.003 0.000 to_z3.py:222(to_z3_astNum)
  503. 38000 0.003 0.000 0.003 0.000 model.py:64(<lambda>)
  504. 1 0.000 0.000 0.003 0.003 tokenize.py:448(open)
  505. 2000 0.002 0.000 0.003 0.000 __init__.py:120(getLevelName)
  506. 6240 0.003 0.000 0.003 0.000 {built-in method posix.fspath}
  507. 8000 0.003 0.000 0.003 0.000 z3.py:2674(is_int)
  508. 4000 0.003 0.000 0.003 0.000 <ipython-input-11-77940e42f3bc>:12(<lambda>)
  509. 4000 0.003 0.000 0.003 0.000 __init__.py:703(filter)
  510. 58 0.001 0.000 0.003 0.000 entity.py:327(get_by_klass)
  511. 3958 0.003 0.000 0.003 0.000 {built-in method _thread.allocate_lock}
  512. 4000 0.002 0.000 0.002 0.000 {method 'acquire' of '_thread.RLock' objects}
  513. 1 0.000 0.000 0.002 0.002 tokenize.py:355(detect_encoding)
  514. 1 0.000 0.000 0.002 0.002 tokenize.py:379(read_or_stop)
  515. 1 0.002 0.002 0.002 0.002 {method 'readline' of '_io.BufferedReader' objects}
  516. 12001 0.002 0.000 0.002 0.000 threading.py:506(is_set)
  517. 2000 0.001 0.000 0.002 0.000 threading.py:239(__enter__)
  518. 4000 0.002 0.000 0.002 0.000 to_z3.py:226(to_z3_astStr)
  519. 2000 0.002 0.000 0.002 0.000 threading.py:242(__exit__)
  520. 2000 0.002 0.000 0.002 0.000 __init__.py:329(getMessage)
  521. 11959 0.002 0.000 0.002 0.000 {method 'append' of 'collections.deque' objects}
  522. 6000 0.002 0.000 0.002 0.000 {built-in method posix.getpid}
  523. 2096 0.001 0.000 0.002 0.000 posixpath.py:39(_get_sep)
  524. 2008 0.002 0.000 0.002 0.000 {built-in method sys._getframe}
  525. 1000 0.002 0.000 0.002 0.000 transitiontime.py:13(__init__)
  526. 2000 0.002 0.000 0.002 0.000 {built-in method time.time}
  527. 2000 0.002 0.000 0.002 0.000 {method 'find' of 'str' objects}
  528. 4000 0.002 0.000 0.002 0.000 {built-in method _thread.get_ident}
  529. 4000 0.002 0.000 0.002 0.000 <ipython-input-8-fa153bbb802b>:30(set_outflow_empty)
  530. 2000 0.002 0.000 0.002 0.000 threading.py:1076(name)
  531. 1958 0.001 0.000 0.001 0.000 threading.py:254(_is_owned)
  532. 1958 0.001 0.000 0.001 0.000 threading.py:248(_release_save)
  533. 8000 0.001 0.000 0.001 0.000 z3.py:2677(is_real)
  534. 2000 0.001 0.000 0.001 0.000 <ipython-input-16-eaad6f93f616>:14(update_time)
  535. 2000 0.001 0.000 0.001 0.000 to_z3.py:720(resolve_type_BoolOp)
  536. 48 0.000 0.000 0.001 0.000 inspect.py:699(getabsfile)
  537. 2000 0.001 0.000 0.001 0.000 process.py:146(name)
  538. 2000 0.001 0.000 0.001 0.000 process.py:35(current_process)
  539. 2000 0.001 0.000 0.001 0.000 <ipython-input-8-fa153bbb802b>:20(to_partially)
  540. 48 0.000 0.000 0.001 0.000 posixpath.py:367(abspath)
  541. 2000 0.001 0.000 0.001 0.000 <ipython-input-6-ffdd17a5aee4>:9(<lambda>)
  542. 2000 0.001 0.000 0.001 0.000 <ipython-input-8-fa153bbb802b>:12(to_full)
  543. 4000 0.001 0.000 0.001 0.000 {method 'release' of '_thread.RLock' objects}
  544. 4000 0.001 0.000 0.001 0.000 z3printer.py:357(is_linebreak)
  545. 2000 0.001 0.000 0.001 0.000 <ipython-input-7-19bb083a1c86>:9(<lambda>)
  546. 2000 0.001 0.000 0.001 0.000 <ipython-input-12-72f921f636da>:45(<lambda>)
  547. 2000 0.001 0.000 0.001 0.000 {method '__enter__' of '_thread.lock' objects}
  548. 2000 0.001 0.000 0.001 0.000 {built-in method _imp.lock_held}
  549. 58 0.001 0.000 0.001 0.000 {built-in method builtins.dir}
  550. 4000 0.001 0.000 0.001 0.000 z3printer.py:286(is_choice)
  551. 4000 0.001 0.000 0.001 0.000 <ipython-input-6-ffdd17a5aee4>:17(set_light_off)
  552. 4000 0.001 0.000 0.001 0.000 <ipython-input-7-19bb083a1c86>:17(set_off)
  553. 1 0.001 0.001 0.001 0.001 {built-in method io.open}
  554. 1958 0.001 0.000 0.001 0.000 {method 'release' of '_thread.lock' objects}
  555. 2000 0.001 0.000 0.001 0.000 {method '__exit__' of '_thread.lock' objects}
  556. 2000 0.000 0.000 0.000 0.000 <ipython-input-16-eaad6f93f616>:26(update_sun)
  557. 2000 0.000 0.000 0.000 0.000 <ipython-input-12-72f921f636da>:52(<lambda>)
  558. 48 0.000 0.000 0.000 0.000 posixpath.py:329(normpath)
  559. 1 0.000 0.000 0.000 0.000 {method 'readlines' of '_io._IOBase' objects}
  560. 1000 0.000 0.000 0.000 0.000 transitiontime.py:26(<listcomp>)
  561. 48 0.000 0.000 0.000 0.000 posixpath.py:73(join)
  562. 48 0.000 0.000 0.000 0.000 {built-in method posix.getcwd}
  563. 10 0.000 0.000 0.000 0.000 entity.py:334(<dictcomp>)
  564. 6 0.000 0.000 0.000 0.000 sourcehelper.py:311(visit_Name)
  565. 48 0.000 0.000 0.000 0.000 posixpath.py:62(isabs)
  566. 168 0.000 0.000 0.000 0.000 {built-in method builtins.min}
  567. 4 0.000 0.000 0.000 0.000 sourcehelper.py:107(add_parent_info)
  568. 30 0.000 0.000 0.000 0.000 sourcehelper.py:126(is_descendant_of_type)
  569. 168 0.000 0.000 0.000 0.000 {built-in method builtins.max}
  570. 4 0.000 0.000 0.000 0.000 {built-in method _warnings.warn}
  571. 8 0.000 0.000 0.000 0.000 sourcehelper.py:307(__init__)
  572. 6 0.000 0.000 0.000 0.000 sourcehelper.py:268(<listcomp>)
  573. 3 0.000 0.000 0.000 0.000 codecs.py:318(decode)
  574. 1 0.000 0.000 0.000 0.000 tokenize.py:385(find_cookie)
  575. 4 0.000 0.000 0.000 0.000 inspect.py:1485(currentframe)
  576. 1 0.000 0.000 0.000 0.000 {method 'seek' of '_io.BufferedReader' objects}
  577. 3 0.000 0.000 0.000 0.000 {built-in method _codecs.utf_8_decode}
  578. 1 0.000 0.000 0.000 0.000 codecs.py:308(__init__)
  579. 1 0.000 0.000 0.000 0.000 {method 'startswith' of 'bytes' objects}
  580. 1 0.000 0.000 0.000 0.000 codecs.py:259(__init__)
  581. 8 0.000 0.000 0.000 0.000 {method 'update' of 'set' objects}
  582. 1 0.000 0.000 0.000 0.000 {method 'disable' of '_lsprof.Profiler' objects}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!