1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
|
Time | Peak Mem | File Name
----------------------------------------------------------------------
2m02.85s | 575776 ko | Total Time / Peak Mem
----------------------------------------------------------------------
0m16.08s | 435484 ko | coqutil/Map/TestGoals.vo
0m08.38s | 575776 ko | coqutil/Word/Properties.vo
0m06.40s | 452836 ko | coqutil/Map/Properties.vo
0m06.20s | 444256 ko | coqutil/Tactics/ident_of_string.vo
0m04.95s | 413708 ko | coqutil/Map/SlowGoals.vo
0m04.85s | 434980 ko | coqutil/Datatypes/List.vo
0m02.50s | 421756 ko | coqutil/Word/LittleEndianList.vo
0m02.23s | 406924 ko | coqutil/Datatypes/PropSet.vo
0m02.22s | 420764 ko | coqutil/Map/MapEauto.vo
0m01.65s | 420928 ko | coqutil/Word/LittleEndian.vo
0m01.45s | 417760 ko | coqutil/Word/BigEndian.vo
0m01.39s | 416228 ko | coqutil/Z/BitOps.vo
0m01.28s | 418272 ko | coqutil/Map/SortedList.vo
0m01.09s | 415560 ko | coqutil/Datatypes/OperatorOverloading.vo
0m01.05s | 102644 ko | coqutil/Map/Interface.vo.native
0m01.03s | 407636 ko | coqutil/Z/PushPullMod.vo
0m00.97s | 415948 ko | coqutil/Datatypes/ListSet.vo
0m00.95s | 103212 ko | coqutil/Datatypes/OperatorOverloading.vo.native
0m00.94s | 78484 ko | coqutil/Word/Interface.vo.native
0m00.92s | 414256 ko | coqutil/Z/bitblast.vo
0m00.89s | 101560 ko | coqutil/Sorting/OrderToPermutation.vo.native
0m00.88s | 102424 ko | coqutil/Map/SortedList.vo.native
0m00.85s | 101692 ko | coqutil/Datatypes/Inhabited.vo.native
0m00.84s | 103096 ko | coqutil/Map/Empty_set_keyed_map.vo.native
0m00.80s | 102372 ko | coqutil/Map/Funext.vo.native
0m00.78s | 412576 ko | coqutil/Word/Naive.vo
0m00.78s | 408248 ko | coqutil/Z/ZLib.vo
0m00.77s | 100032 ko | coqutil/Map/Properties.vo.native
0m00.75s | 417728 ko | coqutil/Map/OfFunc.vo
0m00.74s | 421844 ko | coqutil/Map/OfListWord.vo
0m00.74s | 419828 ko | coqutil/Word/ZifyLittleEndian.vo
0m00.73s | 104180 ko | coqutil/Tactics/fwd_word_hints.vo.native
0m00.72s | 103220 ko | coqutil/Map/SortedListString.vo.native
0m00.72s | 103964 ko | coqutil/Map/Z_keyed_SortedListMap.vo.native
0m00.69s | 102576 ko | coqutil/Tactics/SafeSimpl.vo.native
0m00.69s | 102316 ko | coqutil/Word/Naive.vo.native
0m00.66s | 101836 ko | coqutil/Datatypes/ListSet.vo.native
0m00.66s | 103320 ko | coqutil/Word/Properties.vo.native
0m00.66s | 104132 ko | coqutil/Word/ZifyLittleEndian.vo.native
0m00.64s | 104208 ko | coqutil/Tactics/fwd.vo.native
0m00.64s | 419144 ko | coqutil/Word/SimplWordExpr.vo
0m00.63s | 101324 ko | coqutil/Map/OfFunc.vo.native
0m00.63s | 104700 ko | coqutil/Map/Solver.vo.native
0m00.63s | 104004 ko | coqutil/Word/LittleEndianList.vo.native
0m00.63s | 102316 ko | coqutil/Z/BitOps.vo.native
0m00.62s | 104040 ko | coqutil/Map/SortedListWord.vo.native
0m00.62s | 101924 ko | coqutil/Tactics/fwd_list_hints.vo.native
0m00.62s | 101904 ko | coqutil/Tactics/rewr.vo.native
0m00.61s | 101844 ko | coqutil/Datatypes/PropSet.vo.native
0m00.60s | 103528 ko | coqutil/Map/SortedListString_test.vo.native
0m00.60s | 104064 ko | coqutil/Word/LittleEndian.vo.native
0m00.59s | 103836 ko | coqutil/Word/BigEndian.vo.native
0m00.58s | 319092 ko | coqutil/Map/Z_keyed_SortedListMap.vo
0m00.58s | 103300 ko | coqutil/Word/DebugWordEq.vo.native
0m00.58s | 413136 ko | coqutil/Z/prove_Zeq_bitwise.vo
0m00.57s | 54340 ko | coqutil/Datatypes/HList.vo.native
0m00.57s | 99024 ko | coqutil/Datatypes/List.vo.native
0m00.57s | 288536 ko | coqutil/Map/Empty_set_keyed_map.vo
0m00.57s | 311552 ko | coqutil/Map/Funext.vo
0m00.56s | 104332 ko | coqutil/Map/OfListWord.vo.native
0m00.56s | 88000 ko | coqutil/Tactics/ident_of_string.vo.native
0m00.56s | 103836 ko | coqutil/Z/bitblast.vo.native
0m00.55s | 101296 ko | coqutil/Word/Bitwidth.vo.native
0m00.55s | 101360 ko | coqutil/Word/Bitwidth32.vo.native
0m00.55s | 104148 ko | coqutil/Word/SimplWordExpr.vo.native
0m00.53s | 100712 ko | coqutil/Byte.vo.native
0m00.53s | 100992 ko | coqutil/Z/PushPullMod.vo.native
0m00.52s | 99996 ko | coqutil/Z/Lia.vo.native
0m00.51s | 284324 ko | coqutil/Datatypes/Inhabited.vo
0m00.51s | 100544 ko | coqutil/Tactics/Simp.vo.native
0m00.51s | 100016 ko | coqutil/Tactics/Tactics.vo.native
0m00.51s | 88936 ko | coqutil/Tactics/destr.vo.native
0m00.50s | 88688 ko | coqutil/Decidable.vo.native
0m00.50s | 363816 ko | coqutil/Map/SortedListWord.vo
0m00.50s | 102472 ko | coqutil/Word/Bitwidth64.vo.native
0m00.50s | 361320 ko | coqutil/Word/DebugWordEq.vo
0m00.49s | 87608 ko | coqutil/Datatypes/String.vo.native
0m00.49s | 87980 ko | coqutil/Tactics/fwd_core.vo.native
0m00.48s | 87324 ko | coqutil/Macros/ident_to_string.vo.native
0m00.48s | 79096 ko | coqutil/Tactics/fwd_arith_hints.vo.native
0m00.48s | 100668 ko | coqutil/Z/ZLib.vo.native
0m00.47s | 312492 ko | coqutil/Map/SortedListString_test.vo
0m00.47s | 78704 ko | coqutil/Z/div_to_equations.vo.native
0m00.46s | 100708 ko | coqutil/Datatypes/ToConversion.vo.native
0m00.46s | 101892 ko | coqutil/Map/MapEauto.vo.native
0m00.46s | 102724 ko | coqutil/Tactics/fwd_map_hints.vo.native
0m00.45s | 101768 ko | coqutil/Map/MapKeys.vo.native
0m00.44s | 326076 ko | coqutil/Map/Interface.vo
0m00.43s | 392964 ko | coqutil/Map/MapKeys.vo
0m00.43s | 317964 ko | coqutil/Sorting/OrderToPermutation.vo
0m00.42s | 299108 ko | coqutil/Tactics/rewr.vo
0m00.42s | 102696 ko | coqutil/Z/prove_Zeq_bitwise.vo.native
0m00.41s | 278808 ko | coqutil/Tactics/SafeSimpl.vo
0m00.40s | 352920 ko | coqutil/Datatypes/String.vo
0m00.40s | 310528 ko | coqutil/Tactics/fwd_word_hints.vo
0m00.39s | 304396 ko | coqutil/Map/Solver.vo
0m00.39s | 279768 ko | coqutil/Map/SortedListString.vo
0m00.39s | 291400 ko | coqutil/Z/Lia.vo
0m00.38s | 297656 ko | coqutil/Tactics/fwd.vo
0m00.37s | 292180 ko | coqutil/Word/Bitwidth32.vo
0m00.36s | 101432 ko | coqutil/Map/SlowGoals.vo.native
0m00.36s | 295528 ko | coqutil/Tactics/Tactics.vo
0m00.36s | 274956 ko | coqutil/Tactics/fwd_list_hints.vo
0m00.36s | 291996 ko | coqutil/Word/Bitwidth64.vo
0m00.36s | 77596 ko | coqutil/Z/div_mod_to_equations.vo.native
0m00.35s | 269884 ko | coqutil/Decidable.vo
0m00.34s | 301660 ko | coqutil/Datatypes/ToConversion.vo
0m00.34s | 102636 ko | coqutil/Map/TestGoals.vo.native
0m00.33s | 283128 ko | coqutil/Tactics/fwd_map_hints.vo
0m00.32s | 345240 ko | coqutil/Byte.vo
0m00.32s | 293652 ko | coqutil/Tactics/Simp.vo
0m00.32s | 329896 ko | coqutil/Word/Interface.vo
0m00.31s | 214876 ko | coqutil/Tactics/fwd_arith_hints.vo
0m00.31s | 291312 ko | coqutil/Word/Bitwidth.vo
0m00.27s | 29464 ko | coqutil/Datatypes/Prod.vo.native
0m00.27s | 240248 ko | coqutil/Tactics/fwd_core.vo
0m00.26s | 27288 ko | coqutil/Datatypes/Option.vo.native
0m00.24s | 56896 ko | coqutil/Sorting/Permutation.vo.native
0m00.24s | 208528 ko | coqutil/Z/div_mod_to_equations.vo
0m00.23s | 227492 ko | coqutil/Macros/ident_to_string.vo
0m00.23s | 54316 ko | coqutil/Tactics/Records.vo.native
0m00.21s | 174320 ko | coqutil/Datatypes/HList.vo
0m00.21s | 221288 ko | coqutil/Tactics/destr.vo
0m00.18s | 201096 ko | coqutil/Z/div_to_equations.vo
0m00.17s | 138328 ko | coqutil/Sorting/Permutation.vo
0m00.17s | 149096 ko | coqutil/Tactics/Records.vo
0m00.14s | 109820 ko | coqutil/Datatypes/Option.vo
0m00.11s | 23276 ko | coqutil/Ltac2Lib/Log.vo.native
0m00.10s | 22064 ko | coqutil/Macros/subst.vo.native
0m00.10s | 22936 ko | coqutil/Macros/symmetry.vo.native
0m00.10s | 21952 ko | coqutil/Macros/unique.vo.native
0m00.10s | 73372 ko | coqutil/Tactics/ParamRecords.vo
0m00.10s | 79672 ko | coqutil/Tactics/eplace.vo
0m00.10s | 22032 ko | coqutil/Tactics/ltac_list_ops.vo.native
0m00.09s | 73944 ko | coqutil/Macros/symmetry.vo
0m00.09s | 22416 ko | coqutil/Tactics/fwd_bool_hints.vo.native
0m00.09s | 65792 ko | coqutil/Tactics/simpl_rewrite.vo
0m00.08s | 94084 ko | coqutil/Datatypes/Prod.vo
0m00.08s | 71232 ko | coqutil/Ltac2Lib/Log.vo
0m00.08s | 63624 ko | coqutil/Tactics/eabstract.vo
0m00.08s | 22032 ko | coqutil/Tactics/eabstract.vo.native
0m00.08s | 22228 ko | coqutil/Tactics/forward.vo.native
0m00.08s | 63820 ko | coqutil/Tactics/rdelta.vo
0m00.08s | 22092 ko | coqutil/Tactics/syntactic_unify.vo.native
0m00.07s | 23256 ko | coqutil/Ltac2Lib/Constr.vo.native
0m00.07s | 22004 ko | coqutil/Tactics/autoforward.vo.native
0m00.07s | 22100 ko | coqutil/Tactics/eplace.vo.native
0m00.07s | 65820 ko | coqutil/Tactics/fwd_bool_hints.vo
0m00.07s | 65508 ko | coqutil/Tactics/ltac_list_ops.vo
0m00.07s | 21888 ko | coqutil/dlet.vo.native
0m00.06s | 66532 ko | coqutil/Datatypes/PrimitivePair.vo
0m00.06s | 22040 ko | coqutil/Datatypes/PrimitivePair.vo.native
0m00.06s | 23220 ko | coqutil/Ltac2Lib/Msg.vo.native
0m00.06s | 64172 ko | coqutil/Tactics/letexists.vo
0m00.06s | 22076 ko | coqutil/Tactics/rdelta.vo.native
0m00.06s | 22100 ko | coqutil/Tactics/simpl_rewrite.vo.native
0m00.06s | 65768 ko | coqutil/Tactics/syntactic_unify.vo
0m00.06s | 63768 ko | coqutil/dlet.vo
0m00.06s | 64964 ko | coqutil/sanity.vo
0m00.05s | 69124 ko | coqutil/Ltac2Lib/Msg.vo
0m00.05s | 63844 ko | coqutil/Macros/subst.vo
0m00.05s | 63500 ko | coqutil/Macros/unique.vo
0m00.05s | 64908 ko | coqutil/Tactics/autoforward.vo
0m00.05s | 68064 ko | coqutil/Tactics/forward.vo
0m00.05s | 22024 ko | coqutil/Tactics/letexists.vo.native
0m00.04s | 71420 ko | coqutil/Ltac2Lib/Constr.vo
0m00.04s | 23244 ko | coqutil/Tactics/ParamRecords.vo.native
0m00.04s | 21960 ko | coqutil/sanity.vo.native
|
