lamshiu commited on
Commit
602fb51
·
verified ·
1 Parent(s): 08230c6

Upload folder using huggingface_hub

Browse files
5m-s0-bpe4096-step-bytes3-v14-wfss4-none-docmask/ckpt.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:3cd867ac3418eba1d5e51f2881a9c0649f08222ec510879b9a216bf36e61fcfb
3
+ size 23171663
5m-s0-bpe4096-step-bytes3-v14-wfss4-none-docmask/config.json ADDED
@@ -0,0 +1,33 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "size": "5m",
3
+ "name": "5m-s0-bpe4096-step-bytes3-v14-wfss4-none-docmask",
4
+ "seed": 0,
5
+ "tokens": 400000000.0,
6
+ "batch_size": 64,
7
+ "block_size": 512,
8
+ "lr": 0.0006,
9
+ "eval_every": 4000,
10
+ "vocab": "bpe4096",
11
+ "pos": "none",
12
+ "reason": "step",
13
+ "reason_codec": "bytes",
14
+ "per_chunk": 3,
15
+ "docmask": true,
16
+ "compile": true,
17
+ "obs_loss": false,
18
+ "weight": [
19
+ "fss=4"
20
+ ],
21
+ "holdout": [],
22
+ "dataset": "v14",
23
+ "vocab_size": 4096,
24
+ "n_layer": 6,
25
+ "n_head": 4,
26
+ "d_model": 256,
27
+ "loops": 1,
28
+ "params": 5787648,
29
+ "flops_per_token": 44163072,
30
+ "steps": 12207,
31
+ "n_docs": 1173417,
32
+ "stream_tokens": 191286204
33
+ }
5m-s0-bpe4096-step-bytes3-v14-wfss4-none-docmask/log.jsonl ADDED
The diff for this file is too large to render. See raw diff
 
5m-s0-bpe4096-step-bytes3-v14-wfss4-none-docmask/summary.json ADDED
@@ -0,0 +1,796 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "params": 5787648,
3
+ "tokens": 399998976,
4
+ "train_flops": 17665183577014272,
5
+ "wall_s": 677.3692471981049,
6
+ "peak_mem_gb": 2.520964096,
7
+ "final_val_loss": 1.7848176419734956,
8
+ "final_val_bpb": 0.6433977633280429,
9
+ "bytes_seen": 1600839241.8284984,
10
+ "add8": {
11
+ "acc": 0.994,
12
+ "reasoning_bytes": 79.0,
13
+ "flops_per_problem": 4928775487.488
14
+ },
15
+ "add9": {
16
+ "acc": 0.72,
17
+ "reasoning_bytes": 88.92,
18
+ "flops_per_problem": 5500157313.024
19
+ },
20
+ "add10": {
21
+ "acc": 0.008,
22
+ "reasoning_bytes": 96.104,
23
+ "flops_per_problem": 5948324167.68
24
+ },
25
+ "reach14": {
26
+ "acc": 0.656,
27
+ "reasoning_bytes": 6.502,
28
+ "flops_per_problem": 4570966278.144
29
+ },
30
+ "reach16": {
31
+ "acc": 0.6,
32
+ "reasoning_bytes": 7.374,
33
+ "flops_per_problem": 5139256688.64
34
+ },
35
+ "reach18": {
36
+ "acc": 0.546,
37
+ "reasoning_bytes": 7.14,
38
+ "flops_per_problem": 5659939307.52
39
+ },
40
+ "parity24": {
41
+ "acc": 0.7,
42
+ "reasoning_bytes": 143.0,
43
+ "flops_per_problem": 7861026816.0
44
+ },
45
+ "parity28": {
46
+ "acc": 0.604,
47
+ "reasoning_bytes": 166.892,
48
+ "flops_per_problem": 9092823220.224
49
+ },
50
+ "parity32": {
51
+ "acc": 0.498,
52
+ "reasoning_bytes": 189.984,
53
+ "flops_per_problem": 10289465819.136
54
+ },
55
+ "cmp8": {
56
+ "acc": 1.0,
57
+ "reasoning_bytes": 5.816,
58
+ "flops_per_problem": 1360929226.752
59
+ },
60
+ "cmp9": {
61
+ "acc": 0.994,
62
+ "reasoning_bytes": 5.732,
63
+ "flops_per_problem": 1445545672.704
64
+ },
65
+ "cmp10": {
66
+ "acc": 0.992,
67
+ "reasoning_bytes": 5.78,
68
+ "flops_per_problem": 1535991644.16
69
+ },
70
+ "runmax12": {
71
+ "acc": 1.0,
72
+ "reasoning_bytes": 71.0,
73
+ "flops_per_problem": 4151328768.0
74
+ },
75
+ "runmax14": {
76
+ "acc": 0.994,
77
+ "reasoning_bytes": 82.58,
78
+ "flops_per_problem": 4751063285.76
79
+ },
80
+ "runmax16": {
81
+ "acc": 0.958,
82
+ "reasoning_bytes": 89.784,
83
+ "flops_per_problem": 5157540200.448
84
+ },
85
+ "count16": {
86
+ "acc": 0.994,
87
+ "reasoning_bytes": 79.0,
88
+ "flops_per_problem": 4725448704.0
89
+ },
90
+ "count18": {
91
+ "acc": 0.97,
92
+ "reasoning_bytes": 88.62,
93
+ "flops_per_problem": 5238623600.64
94
+ },
95
+ "count20": {
96
+ "acc": 0.786,
97
+ "reasoning_bytes": 94.26,
98
+ "flops_per_problem": 5576029470.72
99
+ },
100
+ "brackets16": {
101
+ "acc": 0.994,
102
+ "reasoning_bytes": 53.478,
103
+ "flops_per_problem": 3642481852.416
104
+ },
105
+ "brackets18": {
106
+ "acc": 0.976,
107
+ "reasoning_bytes": 56.158,
108
+ "flops_per_problem": 3849165029.376
109
+ },
110
+ "brackets20": {
111
+ "acc": 0.958,
112
+ "reasoning_bytes": 61.528,
113
+ "flops_per_problem": 4174646870.016
114
+ },
115
+ "sumd8": {
116
+ "acc": 0.992,
117
+ "reasoning_bytes": 58.566,
118
+ "flops_per_problem": 3381301444.608
119
+ },
120
+ "sumd9": {
121
+ "acc": 0.906,
122
+ "reasoning_bytes": 66.366,
123
+ "flops_per_problem": 3770024804.352
124
+ },
125
+ "sumd10": {
126
+ "acc": 0.5,
127
+ "reasoning_bytes": 71.664,
128
+ "flops_per_problem": 4048252157.952
129
+ },
130
+ "inc8": {
131
+ "acc": 0.998,
132
+ "reasoning_bytes": 63.0,
133
+ "flops_per_problem": 3798024192.0
134
+ },
135
+ "inc9": {
136
+ "acc": 0.724,
137
+ "reasoning_bytes": 71.0,
138
+ "flops_per_problem": 4240184868.864
139
+ },
140
+ "inc10": {
141
+ "acc": 0.02,
142
+ "reasoning_bytes": 77.196,
143
+ "flops_per_problem": 4467889668.096
144
+ },
145
+ "add.cmp6": {
146
+ "acc": 1.0,
147
+ "reasoning_bytes": 92.61,
148
+ "flops_per_problem": 5531513094.144
149
+ },
150
+ "add.cmp7": {
151
+ "acc": 0.994,
152
+ "reasoning_bytes": 105.506,
153
+ "flops_per_problem": 6230791176.192
154
+ },
155
+ "add.cmp8": {
156
+ "acc": 0.972,
157
+ "reasoning_bytes": 118.552,
158
+ "flops_per_problem": 6940933373.952
159
+ },
160
+ "add.runmax6": {
161
+ "acc": 0.998,
162
+ "reasoning_bytes": 120.832,
163
+ "flops_per_problem": 6572878331.904
164
+ },
165
+ "add.runmax7": {
166
+ "acc": 0.996,
167
+ "reasoning_bytes": 138.848,
168
+ "flops_per_problem": 7456846381.056
169
+ },
170
+ "add.runmax8": {
171
+ "acc": 0.708,
172
+ "reasoning_bytes": 155.866,
173
+ "flops_per_problem": 8296739684.352
174
+ },
175
+ "add.count6": {
176
+ "acc": 0.998,
177
+ "reasoning_bytes": 115.648,
178
+ "flops_per_problem": 6388100038.656
179
+ },
180
+ "add.count7": {
181
+ "acc": 0.97,
182
+ "reasoning_bytes": 132.088,
183
+ "flops_per_problem": 7202467086.336
184
+ },
185
+ "add.count8": {
186
+ "acc": 0.476,
187
+ "reasoning_bytes": 147.426,
188
+ "flops_per_problem": 7968166428.672
189
+ },
190
+ "add.find6": {
191
+ "acc": 0.982,
192
+ "reasoning_bytes": 107.696,
193
+ "flops_per_problem": 5992752218.112
194
+ },
195
+ "add.find7": {
196
+ "acc": 0.936,
197
+ "reasoning_bytes": 121.572,
198
+ "flops_per_problem": 6693885149.184
199
+ },
200
+ "add.find8": {
201
+ "acc": 0.638,
202
+ "reasoning_bytes": 137.326,
203
+ "flops_per_problem": 7477956329.472
204
+ },
205
+ "add.rev6": {
206
+ "acc": 1.0,
207
+ "reasoning_bytes": 123.248,
208
+ "flops_per_problem": 6794576953.344
209
+ },
210
+ "add.rev7": {
211
+ "acc": 0.904,
212
+ "reasoning_bytes": 145.834,
213
+ "flops_per_problem": 7924444987.392
214
+ },
215
+ "add.rev8": {
216
+ "acc": 0.052,
217
+ "reasoning_bytes": 163.668,
218
+ "flops_per_problem": 8819012173.824
219
+ },
220
+ "add.sumd6": {
221
+ "acc": 1.0,
222
+ "reasoning_bytes": 126.476,
223
+ "flops_per_problem": 6777794985.984
224
+ },
225
+ "add.sumd7": {
226
+ "acc": 0.896,
227
+ "reasoning_bytes": 146.19,
228
+ "flops_per_problem": 7736840257.536
229
+ },
230
+ "add.sumd8": {
231
+ "acc": 0.148,
232
+ "reasoning_bytes": 163.094,
233
+ "flops_per_problem": 8571875622.912
234
+ },
235
+ "add.inc6": {
236
+ "acc": 1.0,
237
+ "reasoning_bytes": 131.04,
238
+ "flops_per_problem": 7138695610.368
239
+ },
240
+ "add.inc7": {
241
+ "acc": 0.964,
242
+ "reasoning_bytes": 151.06,
243
+ "flops_per_problem": 8155417853.952
244
+ },
245
+ "add.inc8": {
246
+ "acc": 0.472,
247
+ "reasoning_bytes": 171.03,
248
+ "flops_per_problem": 9169578639.36
249
+ },
250
+ "runmax.cmp12": {
251
+ "acc": 1.0,
252
+ "reasoning_bytes": 87.0,
253
+ "flops_per_problem": 5122916352.0
254
+ },
255
+ "runmax.cmp14": {
256
+ "acc": 0.998,
257
+ "reasoning_bytes": 98.496,
258
+ "flops_per_problem": 5718941171.712
259
+ },
260
+ "runmax.cmp16": {
261
+ "acc": 0.99,
262
+ "reasoning_bytes": 105.0,
263
+ "flops_per_problem": 6094503936.0
264
+ },
265
+ "runmax.runmax12": {
266
+ "acc": 1.0,
267
+ "reasoning_bytes": 88.0,
268
+ "flops_per_problem": 5211242496.0
269
+ },
270
+ "runmax.runmax14": {
271
+ "acc": 0.982,
272
+ "reasoning_bytes": 98.368,
273
+ "flops_per_problem": 5757451370.496
274
+ },
275
+ "runmax.runmax16": {
276
+ "acc": 0.968,
277
+ "reasoning_bytes": 106.004,
278
+ "flops_per_problem": 6183006732.288
279
+ },
280
+ "runmax.count12": {
281
+ "acc": 1.0,
282
+ "reasoning_bytes": 88.0,
283
+ "flops_per_problem": 5255405568.0
284
+ },
285
+ "runmax.count14": {
286
+ "acc": 1.0,
287
+ "reasoning_bytes": 99.136,
288
+ "flops_per_problem": 5835531681.792
289
+ },
290
+ "runmax.count16": {
291
+ "acc": 0.994,
292
+ "reasoning_bytes": 106.0,
293
+ "flops_per_problem": 6226993152.0
294
+ },
295
+ "runmax.find12": {
296
+ "acc": 1.0,
297
+ "reasoning_bytes": 88.0,
298
+ "flops_per_problem": 5211242496.0
299
+ },
300
+ "runmax.find14": {
301
+ "acc": 0.996,
302
+ "reasoning_bytes": 99.724,
303
+ "flops_per_problem": 5817336496.128
304
+ },
305
+ "runmax.find16": {
306
+ "acc": 0.964,
307
+ "reasoning_bytes": 106.144,
308
+ "flops_per_problem": 6189189562.368
309
+ },
310
+ "runmax.rev12": {
311
+ "acc": 1.0,
312
+ "reasoning_bytes": 83.0,
313
+ "flops_per_problem": 4857937920.0
314
+ },
315
+ "runmax.rev14": {
316
+ "acc": 0.998,
317
+ "reasoning_bytes": 94.76,
318
+ "flops_per_problem": 5465621790.72
319
+ },
320
+ "runmax.rev16": {
321
+ "acc": 0.978,
322
+ "reasoning_bytes": 101.208,
323
+ "flops_per_problem": 5838711422.976
324
+ },
325
+ "runmax.sumd12": {
326
+ "acc": 1.0,
327
+ "reasoning_bytes": 86.0,
328
+ "flops_per_problem": 5034590208.0
329
+ },
330
+ "runmax.sumd14": {
331
+ "acc": 0.982,
332
+ "reasoning_bytes": 96.308,
333
+ "flops_per_problem": 5578149298.176
334
+ },
335
+ "runmax.sumd16": {
336
+ "acc": 0.966,
337
+ "reasoning_bytes": 104.016,
338
+ "flops_per_problem": 6006884401.152
339
+ },
340
+ "runmax.inc12": {
341
+ "acc": 1.0,
342
+ "reasoning_bytes": 87.0,
343
+ "flops_per_problem": 5065769336.832
344
+ },
345
+ "runmax.inc14": {
346
+ "acc": 0.988,
347
+ "reasoning_bytes": 98.124,
348
+ "flops_per_problem": 5648280256.512
349
+ },
350
+ "runmax.inc16": {
351
+ "acc": 0.974,
352
+ "reasoning_bytes": 105.328,
353
+ "flops_per_problem": 6056876998.656
354
+ },
355
+ "count.cmp16": {
356
+ "acc": 0.996,
357
+ "reasoning_bytes": 95.0,
358
+ "flops_per_problem": 5697036288.0
359
+ },
360
+ "count.cmp18": {
361
+ "acc": 0.988,
362
+ "reasoning_bytes": 104.83,
363
+ "flops_per_problem": 6219573755.904
364
+ },
365
+ "count.cmp20": {
366
+ "acc": 0.948,
367
+ "reasoning_bytes": 110.23,
368
+ "flops_per_problem": 6546468814.848
369
+ },
370
+ "count.runmax16": {
371
+ "acc": 0.996,
372
+ "reasoning_bytes": 96.0,
373
+ "flops_per_problem": 5785362432.0
374
+ },
375
+ "count.runmax18": {
376
+ "acc": 0.978,
377
+ "reasoning_bytes": 105.99,
378
+ "flops_per_problem": 6314877665.28
379
+ },
380
+ "count.runmax20": {
381
+ "acc": 0.79,
382
+ "reasoning_bytes": 111.444,
383
+ "flops_per_problem": 6644069203.968
384
+ },
385
+ "count.count16": {
386
+ "acc": 0.998,
387
+ "reasoning_bytes": 96.0,
388
+ "flops_per_problem": 5829525504.0
389
+ },
390
+ "count.count18": {
391
+ "acc": 0.99,
392
+ "reasoning_bytes": 105.9,
393
+ "flops_per_problem": 6355066060.8
394
+ },
395
+ "count.count20": {
396
+ "acc": 0.846,
397
+ "reasoning_bytes": 111.18,
398
+ "flops_per_problem": 6676573224.96
399
+ },
400
+ "count.find16": {
401
+ "acc": 0.994,
402
+ "reasoning_bytes": 96.0,
403
+ "flops_per_problem": 5785362432.0
404
+ },
405
+ "count.find18": {
406
+ "acc": 0.99,
407
+ "reasoning_bytes": 105.73,
408
+ "flops_per_problem": 6303395266.56
409
+ },
410
+ "count.find20": {
411
+ "acc": 0.938,
412
+ "reasoning_bytes": 111.15,
413
+ "flops_per_problem": 6631085260.8
414
+ },
415
+ "count.rev16": {
416
+ "acc": 0.996,
417
+ "reasoning_bytes": 91.0,
418
+ "flops_per_problem": 5432057856.0
419
+ },
420
+ "count.rev18": {
421
+ "acc": 0.986,
422
+ "reasoning_bytes": 100.97,
423
+ "flops_per_problem": 5960689827.84
424
+ },
425
+ "count.rev20": {
426
+ "acc": 0.788,
427
+ "reasoning_bytes": 106.27,
428
+ "flops_per_problem": 6283080253.44
429
+ },
430
+ "count.sumd16": {
431
+ "acc": 0.996,
432
+ "reasoning_bytes": 94.0,
433
+ "flops_per_problem": 5608710144.0
434
+ },
435
+ "count.sumd18": {
436
+ "acc": 0.974,
437
+ "reasoning_bytes": 103.9,
438
+ "flops_per_problem": 6134250700.8
439
+ },
440
+ "count.sumd20": {
441
+ "acc": 0.802,
442
+ "reasoning_bytes": 109.33,
443
+ "flops_per_problem": 6462382325.76
444
+ },
445
+ "count.inc16": {
446
+ "acc": 0.996,
447
+ "reasoning_bytes": 95.0,
448
+ "flops_per_problem": 5608710144.0
449
+ },
450
+ "count.inc18": {
451
+ "acc": 0.982,
452
+ "reasoning_bytes": 104.86,
453
+ "flops_per_problem": 6132484177.92
454
+ },
455
+ "count.inc20": {
456
+ "acc": 0.782,
457
+ "reasoning_bytes": 110.266,
458
+ "flops_per_problem": 6459555889.152
459
+ },
460
+ "parity.cmp16": {
461
+ "acc": 1.0,
462
+ "reasoning_bytes": 111.0,
463
+ "flops_per_problem": 6359482368.0
464
+ },
465
+ "parity.cmp20": {
466
+ "acc": 0.994,
467
+ "reasoning_bytes": 134.964,
468
+ "flops_per_problem": 7594458513.408
469
+ },
470
+ "parity.cmp24": {
471
+ "acc": 0.944,
472
+ "reasoning_bytes": 153.86,
473
+ "flops_per_problem": 8605616209.92
474
+ },
475
+ "parity.runmax16": {
476
+ "acc": 0.998,
477
+ "reasoning_bytes": 112.0,
478
+ "flops_per_problem": 6447808512.0
479
+ },
480
+ "parity.runmax20": {
481
+ "acc": 0.738,
482
+ "reasoning_bytes": 134.164,
483
+ "flops_per_problem": 7603291127.808
484
+ },
485
+ "parity.runmax24": {
486
+ "acc": 0.306,
487
+ "reasoning_bytes": 154.0,
488
+ "flops_per_problem": 8655962112.0
489
+ },
490
+ "parity.count16": {
491
+ "acc": 1.0,
492
+ "reasoning_bytes": 112.0,
493
+ "flops_per_problem": 6491971584.0
494
+ },
495
+ "parity.count20": {
496
+ "acc": 0.97,
497
+ "reasoning_bytes": 135.772,
498
+ "flops_per_problem": 7718468419.584
499
+ },
500
+ "parity.count24": {
501
+ "acc": 0.662,
502
+ "reasoning_bytes": 154.024,
503
+ "flops_per_problem": 8701185097.728
504
+ },
505
+ "parity.find16": {
506
+ "acc": 1.0,
507
+ "reasoning_bytes": 112.0,
508
+ "flops_per_problem": 6447808512.0
509
+ },
510
+ "parity.find20": {
511
+ "acc": 0.982,
512
+ "reasoning_bytes": 135.904,
513
+ "flops_per_problem": 7680134873.088
514
+ },
515
+ "parity.find24": {
516
+ "acc": 0.826,
517
+ "reasoning_bytes": 154.288,
518
+ "flops_per_problem": 8668681076.736
519
+ },
520
+ "parity.rev16": {
521
+ "acc": 1.0,
522
+ "reasoning_bytes": 107.0,
523
+ "flops_per_problem": 6094503936.0
524
+ },
525
+ "parity.rev20": {
526
+ "acc": 0.944,
527
+ "reasoning_bytes": 131.0,
528
+ "flops_per_problem": 7331069952.0
529
+ },
530
+ "parity.rev24": {
531
+ "acc": 0.456,
532
+ "reasoning_bytes": 151.364,
533
+ "flops_per_problem": 8407059038.208
534
+ },
535
+ "parity.sumd16": {
536
+ "acc": 1.0,
537
+ "reasoning_bytes": 110.0,
538
+ "flops_per_problem": 6271156224.0
539
+ },
540
+ "parity.sumd20": {
541
+ "acc": 0.858,
542
+ "reasoning_bytes": 133.136,
543
+ "flops_per_problem": 7469565345.792
544
+ },
545
+ "parity.sumd24": {
546
+ "acc": 0.32,
547
+ "reasoning_bytes": 152.072,
548
+ "flops_per_problem": 8482489565.184
549
+ },
550
+ "parity.inc16": {
551
+ "acc": 1.0,
552
+ "reasoning_bytes": 111.0,
553
+ "flops_per_problem": 6271156224.0
554
+ },
555
+ "parity.inc20": {
556
+ "acc": 0.952,
557
+ "reasoning_bytes": 134.928,
558
+ "flops_per_problem": 7504542498.816
559
+ },
560
+ "parity.inc24": {
561
+ "acc": 0.396,
562
+ "reasoning_bytes": 154.452,
563
+ "flops_per_problem": 8543434604.544
564
+ },
565
+ "sumd.cmp6": {
566
+ "acc": 1.0,
567
+ "reasoning_bytes": 62.088,
568
+ "flops_per_problem": 3713407746.048
569
+ },
570
+ "sumd.cmp7": {
571
+ "acc": 0.998,
572
+ "reasoning_bytes": 70.02,
573
+ "flops_per_problem": 4108048957.44
574
+ },
575
+ "sumd.cmp8": {
576
+ "acc": 0.972,
577
+ "reasoning_bytes": 74.026,
578
+ "flops_per_problem": 4329040969.728
579
+ },
580
+ "sumd.runmax6": {
581
+ "acc": 1.0,
582
+ "reasoning_bytes": 67.542,
583
+ "flops_per_problem": 3954449793.024
584
+ },
585
+ "sumd.runmax7": {
586
+ "acc": 1.0,
587
+ "reasoning_bytes": 75.48,
588
+ "flops_per_problem": 4349179330.56
589
+ },
590
+ "sumd.runmax8": {
591
+ "acc": 0.924,
592
+ "reasoning_bytes": 82.942,
593
+ "flops_per_problem": 4722887245.824
594
+ },
595
+ "sumd.count6": {
596
+ "acc": 1.0,
597
+ "reasoning_bytes": 66.428,
598
+ "flops_per_problem": 3949415202.816
599
+ },
600
+ "sumd.count7": {
601
+ "acc": 1.0,
602
+ "reasoning_bytes": 74.46,
603
+ "flops_per_problem": 4348296069.12
604
+ },
605
+ "sumd.count8": {
606
+ "acc": 0.82,
607
+ "reasoning_bytes": 80.594,
608
+ "flops_per_problem": 4663355424.768
609
+ },
610
+ "sumd.find6": {
611
+ "acc": 1.0,
612
+ "reasoning_bytes": 66.24,
613
+ "flops_per_problem": 3896949473.28
614
+ },
615
+ "sumd.find7": {
616
+ "acc": 1.0,
617
+ "reasoning_bytes": 74.428,
618
+ "flops_per_problem": 4302719778.816
619
+ },
620
+ "sumd.find8": {
621
+ "acc": 0.956,
622
+ "reasoning_bytes": 81.53,
623
+ "flops_per_problem": 4660528988.16
624
+ },
625
+ "sumd.rev6": {
626
+ "acc": 1.0,
627
+ "reasoning_bytes": 61.544,
628
+ "flops_per_problem": 3601145217.024
629
+ },
630
+ "sumd.rev7": {
631
+ "acc": 0.998,
632
+ "reasoning_bytes": 69.464,
633
+ "flops_per_problem": 3995168145.408
634
+ },
635
+ "sumd.rev8": {
636
+ "acc": 0.968,
637
+ "reasoning_bytes": 77.364,
638
+ "flops_per_problem": 4388042833.92
639
+ },
640
+ "sumd.sumd6": {
641
+ "acc": 1.0,
642
+ "reasoning_bytes": 65.744,
643
+ "flops_per_problem": 3795639386.112
644
+ },
645
+ "sumd.sumd7": {
646
+ "acc": 1.0,
647
+ "reasoning_bytes": 73.75,
648
+ "flops_per_problem": 4195845144.576
649
+ },
650
+ "sumd.sumd8": {
651
+ "acc": 0.938,
652
+ "reasoning_bytes": 81.634,
653
+ "flops_per_problem": 4590221377.536
654
+ },
655
+ "sumd.inc6": {
656
+ "acc": 1.0,
657
+ "reasoning_bytes": 68.538,
658
+ "flops_per_problem": 3910021742.592
659
+ },
660
+ "sumd.inc7": {
661
+ "acc": 0.994,
662
+ "reasoning_bytes": 76.48,
663
+ "flops_per_problem": 4305016258.56
664
+ },
665
+ "sumd.inc8": {
666
+ "acc": 0.922,
667
+ "reasoning_bytes": 84.084,
668
+ "flops_per_problem": 4684907003.904
669
+ },
670
+ "inc.cmp6": {
671
+ "acc": 0.994,
672
+ "reasoning_bytes": 78.624,
673
+ "flops_per_problem": 4576354172.928
674
+ },
675
+ "inc.cmp7": {
676
+ "acc": 0.99,
677
+ "reasoning_bytes": 89.816,
678
+ "flops_per_problem": 5158953418.752
679
+ },
680
+ "inc.cmp8": {
681
+ "acc": 0.924,
682
+ "reasoning_bytes": 100.786,
683
+ "flops_per_problem": 5731748462.592
684
+ },
685
+ "inc.runmax6": {
686
+ "acc": 1.0,
687
+ "reasoning_bytes": 104.0,
688
+ "flops_per_problem": 5520384000.0
689
+ },
690
+ "inc.runmax7": {
691
+ "acc": 0.992,
692
+ "reasoning_bytes": 120.0,
693
+ "flops_per_problem": 6271156224.0
694
+ },
695
+ "inc.runmax8": {
696
+ "acc": 0.83,
697
+ "reasoning_bytes": 135.9,
698
+ "flops_per_problem": 7017512140.8
699
+ },
700
+ "inc.count6": {
701
+ "acc": 0.986,
702
+ "reasoning_bytes": 99.0,
703
+ "flops_per_problem": 5343731712.0
704
+ },
705
+ "inc.count7": {
706
+ "acc": 0.928,
707
+ "reasoning_bytes": 114.0,
708
+ "flops_per_problem": 6050340864.0
709
+ },
710
+ "inc.count8": {
711
+ "acc": 0.626,
712
+ "reasoning_bytes": 124.71,
713
+ "flops_per_problem": 6567490437.12
714
+ },
715
+ "inc.find6": {
716
+ "acc": 1.0,
717
+ "reasoning_bytes": 91.88,
718
+ "flops_per_problem": 4985127567.36
719
+ },
720
+ "inc.find7": {
721
+ "acc": 0.93,
722
+ "reasoning_bytes": 102.752,
723
+ "flops_per_problem": 5509431558.144
724
+ },
725
+ "inc.find8": {
726
+ "acc": 0.528,
727
+ "reasoning_bytes": 119.926,
728
+ "flops_per_problem": 6311786250.24
729
+ },
730
+ "inc.rev6": {
731
+ "acc": 1.0,
732
+ "reasoning_bytes": 104.0,
733
+ "flops_per_problem": 5608710144.0
734
+ },
735
+ "inc.rev7": {
736
+ "acc": 0.878,
737
+ "reasoning_bytes": 123.994,
738
+ "flops_per_problem": 6579944423.424
739
+ },
740
+ "inc.rev8": {
741
+ "acc": 0.014,
742
+ "reasoning_bytes": 139.778,
743
+ "flops_per_problem": 7343258959.872
744
+ },
745
+ "inc.sumd6": {
746
+ "acc": 0.998,
747
+ "reasoning_bytes": 109.568,
748
+ "flops_per_problem": 5722120912.896
749
+ },
750
+ "inc.sumd7": {
751
+ "acc": 0.93,
752
+ "reasoning_bytes": 127.46,
753
+ "flops_per_problem": 6556273016.832
754
+ },
755
+ "inc.sumd8": {
756
+ "acc": 0.152,
757
+ "reasoning_bytes": 144.75,
758
+ "flops_per_problem": 7363750625.28
759
+ },
760
+ "inc.inc6": {
761
+ "acc": 1.0,
762
+ "reasoning_bytes": 113.0,
763
+ "flops_per_problem": 6006177792.0
764
+ },
765
+ "inc.inc7": {
766
+ "acc": 0.956,
767
+ "reasoning_bytes": 131.0,
768
+ "flops_per_problem": 6889350905.856
769
+ },
770
+ "inc.inc8": {
771
+ "acc": 0.3,
772
+ "reasoning_bytes": 148.894,
773
+ "flops_per_problem": 7766164537.344
774
+ },
775
+ "fss6": {
776
+ "acc": 0.98,
777
+ "actions": 3.286,
778
+ "invalid": 0.04,
779
+ "reasoning_bytes": 32.12,
780
+ "flops_per_problem": 2359014653.952
781
+ },
782
+ "fss7": {
783
+ "acc": 0.988,
784
+ "actions": 3.728,
785
+ "invalid": 0.064,
786
+ "reasoning_bytes": 36.886,
787
+ "flops_per_problem": 2647664492.544
788
+ },
789
+ "fss8": {
790
+ "acc": 0.948,
791
+ "actions": 3.648,
792
+ "invalid": 0.082,
793
+ "reasoning_bytes": 35.926,
794
+ "flops_per_problem": 2643954794.496
795
+ }
796
+ }