lamshiu commited on
Commit
26f57eb
·
verified ·
1 Parent(s): d87494a

Upload folder using huggingface_hub

Browse files
5m-s0-bpe4096-step-bytes3-v13-none-docmask/ckpt.pt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:6e040741c82a5310bbb48eaacd1b3a8a87f8dc9f5c83daf03fcb8a2f8e5e8092
3
+ size 23171663
5m-s0-bpe4096-step-bytes3-v13-none-docmask/config.json ADDED
@@ -0,0 +1,30 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "size": "5m",
3
+ "name": "5m-s0-bpe4096-step-bytes3-v13-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
+ "holdout": [],
19
+ "dataset": "v13",
20
+ "vocab_size": 4096,
21
+ "n_layer": 6,
22
+ "n_head": 4,
23
+ "d_model": 256,
24
+ "loops": 1,
25
+ "params": 5787648,
26
+ "flops_per_token": 44163072,
27
+ "steps": 12207,
28
+ "n_docs": 1172223,
29
+ "stream_tokens": 193404757
30
+ }
5m-s0-bpe4096-step-bytes3-v13-none-docmask/log.jsonl ADDED
The diff for this file is too large to render. See raw diff
 
5m-s0-bpe4096-step-bytes3-v13-none-docmask/summary.json ADDED
@@ -0,0 +1,796 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "params": 5787648,
3
+ "tokens": 399998976,
4
+ "train_flops": 17665183577014272,
5
+ "wall_s": 696.5809669494629,
6
+ "peak_mem_gb": 2.520964096,
7
+ "final_val_loss": 1.7881177067756653,
8
+ "final_val_bpb": 0.6445873830755292,
9
+ "bytes_seen": 1600839241.8284984,
10
+ "add8": {
11
+ "acc": 0.988,
12
+ "reasoning_bytes": 79.0,
13
+ "flops_per_problem": 4928510509.056
14
+ },
15
+ "add9": {
16
+ "acc": 0.8,
17
+ "reasoning_bytes": 89.0,
18
+ "flops_per_problem": 5502807097.344
19
+ },
20
+ "add10": {
21
+ "acc": 0.0,
22
+ "reasoning_bytes": 98.96,
23
+ "flops_per_problem": 6074718879.744
24
+ },
25
+ "reach14": {
26
+ "acc": 0.728,
27
+ "reasoning_bytes": 7.24,
28
+ "flops_per_problem": 4603558625.28
29
+ },
30
+ "reach16": {
31
+ "acc": 0.616,
32
+ "reasoning_bytes": 6.866,
33
+ "flops_per_problem": 5116910174.208
34
+ },
35
+ "reach18": {
36
+ "acc": 0.568,
37
+ "reasoning_bytes": 6.88,
38
+ "flops_per_problem": 5646778712.064
39
+ },
40
+ "parity24": {
41
+ "acc": 0.874,
42
+ "reasoning_bytes": 143.0,
43
+ "flops_per_problem": 7861026816.0
44
+ },
45
+ "parity28": {
46
+ "acc": 0.574,
47
+ "reasoning_bytes": 167.036,
48
+ "flops_per_problem": 9099182702.592
49
+ },
50
+ "parity32": {
51
+ "acc": 0.534,
52
+ "reasoning_bytes": 191.048,
53
+ "flops_per_problem": 10336278675.456
54
+ },
55
+ "cmp8": {
56
+ "acc": 0.996,
57
+ "reasoning_bytes": 5.78,
58
+ "flops_per_problem": 1359339356.16
59
+ },
60
+ "cmp9": {
61
+ "acc": 1.0,
62
+ "reasoning_bytes": 5.708,
63
+ "flops_per_problem": 1444485758.976
64
+ },
65
+ "cmp10": {
66
+ "acc": 0.996,
67
+ "reasoning_bytes": 5.788,
68
+ "flops_per_problem": 1536344948.736
69
+ },
70
+ "runmax12": {
71
+ "acc": 1.0,
72
+ "reasoning_bytes": 71.0,
73
+ "flops_per_problem": 4151328768.0
74
+ },
75
+ "runmax14": {
76
+ "acc": 0.998,
77
+ "reasoning_bytes": 83.0,
78
+ "flops_per_problem": 4769611776.0
79
+ },
80
+ "runmax16": {
81
+ "acc": 0.99,
82
+ "reasoning_bytes": 94.532,
83
+ "flops_per_problem": 5367226466.304
84
+ },
85
+ "count16": {
86
+ "acc": 0.998,
87
+ "reasoning_bytes": 79.0,
88
+ "flops_per_problem": 4725448704.0
89
+ },
90
+ "count18": {
91
+ "acc": 0.994,
92
+ "reasoning_bytes": 89.0,
93
+ "flops_per_problem": 5255405568.0
94
+ },
95
+ "count20": {
96
+ "acc": 0.88,
97
+ "reasoning_bytes": 98.37,
98
+ "flops_per_problem": 5757539696.64
99
+ },
100
+ "brackets16": {
101
+ "acc": 0.998,
102
+ "reasoning_bytes": 53.47,
103
+ "flops_per_problem": 3642128547.84
104
+ },
105
+ "brackets18": {
106
+ "acc": 0.99,
107
+ "reasoning_bytes": 56.634,
108
+ "flops_per_problem": 3870186651.648
109
+ },
110
+ "brackets20": {
111
+ "acc": 0.974,
112
+ "reasoning_bytes": 63.854,
113
+ "flops_per_problem": 4277370175.488
114
+ },
115
+ "sumd8": {
116
+ "acc": 0.986,
117
+ "reasoning_bytes": 58.566,
118
+ "flops_per_problem": 3381301444.608
119
+ },
120
+ "sumd9": {
121
+ "acc": 0.928,
122
+ "reasoning_bytes": 66.412,
123
+ "flops_per_problem": 3772056305.664
124
+ },
125
+ "sumd10": {
126
+ "acc": 0.666,
127
+ "reasoning_bytes": 73.108,
128
+ "flops_per_problem": 4111935307.776
129
+ },
130
+ "inc8": {
131
+ "acc": 1.0,
132
+ "reasoning_bytes": 63.0,
133
+ "flops_per_problem": 3798024192.0
134
+ },
135
+ "inc9": {
136
+ "acc": 0.846,
137
+ "reasoning_bytes": 71.0,
138
+ "flops_per_problem": 4239301607.424
139
+ },
140
+ "inc10": {
141
+ "acc": 0.012,
142
+ "reasoning_bytes": 78.216,
143
+ "flops_per_problem": 4602587037.696
144
+ },
145
+ "add.cmp6": {
146
+ "acc": 1.0,
147
+ "reasoning_bytes": 92.622,
148
+ "flops_per_problem": 5532043051.008
149
+ },
150
+ "add.cmp7": {
151
+ "acc": 0.994,
152
+ "reasoning_bytes": 105.492,
153
+ "flops_per_problem": 6230172893.184
154
+ },
155
+ "add.cmp8": {
156
+ "acc": 0.902,
157
+ "reasoning_bytes": 116.096,
158
+ "flops_per_problem": 6850840707.072
159
+ },
160
+ "add.runmax6": {
161
+ "acc": 1.0,
162
+ "reasoning_bytes": 120.832,
163
+ "flops_per_problem": 6572878331.904
164
+ },
165
+ "add.runmax7": {
166
+ "acc": 0.992,
167
+ "reasoning_bytes": 138.848,
168
+ "flops_per_problem": 7456846381.056
169
+ },
170
+ "add.runmax8": {
171
+ "acc": 0.532,
172
+ "reasoning_bytes": 148.896,
173
+ "flops_per_problem": 8022840311.808
174
+ },
175
+ "add.count6": {
176
+ "acc": 0.988,
177
+ "reasoning_bytes": 115.648,
178
+ "flops_per_problem": 6388100038.656
179
+ },
180
+ "add.count7": {
181
+ "acc": 0.972,
182
+ "reasoning_bytes": 132.062,
183
+ "flops_per_problem": 7201318846.464
184
+ },
185
+ "add.count8": {
186
+ "acc": 0.316,
187
+ "reasoning_bytes": 140.644,
188
+ "flops_per_problem": 7706809368.576
189
+ },
190
+ "add.find6": {
191
+ "acc": 0.968,
192
+ "reasoning_bytes": 107.732,
193
+ "flops_per_problem": 5994342088.704
194
+ },
195
+ "add.find7": {
196
+ "acc": 0.916,
197
+ "reasoning_bytes": 121.332,
198
+ "flops_per_problem": 6683286011.904
199
+ },
200
+ "add.find8": {
201
+ "acc": 0.398,
202
+ "reasoning_bytes": 134.198,
203
+ "flops_per_problem": 7365163843.584
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.786,
212
+ "reasoning_bytes": 145.806,
213
+ "flops_per_problem": 7922766790.656
214
+ },
215
+ "add.rev8": {
216
+ "acc": 0.002,
217
+ "reasoning_bytes": 151.228,
218
+ "flops_per_problem": 8251693350.912
219
+ },
220
+ "add.sumd6": {
221
+ "acc": 0.986,
222
+ "reasoning_bytes": 126.45,
223
+ "flops_per_problem": 6776646746.112
224
+ },
225
+ "add.sumd7": {
226
+ "acc": 0.832,
227
+ "reasoning_bytes": 146.098,
228
+ "flops_per_problem": 7732777254.912
229
+ },
230
+ "add.sumd8": {
231
+ "acc": 0.054,
232
+ "reasoning_bytes": 159.34,
233
+ "flops_per_problem": 8415096717.312
234
+ },
235
+ "add.inc6": {
236
+ "acc": 0.998,
237
+ "reasoning_bytes": 131.04,
238
+ "flops_per_problem": 7138695610.368
239
+ },
240
+ "add.inc7": {
241
+ "acc": 0.964,
242
+ "reasoning_bytes": 150.71,
243
+ "flops_per_problem": 8140049104.896
244
+ },
245
+ "add.inc8": {
246
+ "acc": 0.062,
247
+ "reasoning_bytes": 157.474,
248
+ "flops_per_problem": 8570462404.608
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": 1.0,
257
+ "reasoning_bytes": 99.0,
258
+ "flops_per_problem": 5741199360.0
259
+ },
260
+ "runmax.cmp16": {
261
+ "acc": 0.998,
262
+ "reasoning_bytes": 106.056,
263
+ "flops_per_problem": 6141140140.032
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": 1.0,
272
+ "reasoning_bytes": 100.0,
273
+ "flops_per_problem": 5829525504.0
274
+ },
275
+ "runmax.runmax16": {
276
+ "acc": 1.0,
277
+ "reasoning_bytes": 106.936,
278
+ "flops_per_problem": 6224166715.392
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": 100.0,
288
+ "flops_per_problem": 5873688576.0
289
+ },
290
+ "runmax.count16": {
291
+ "acc": 1.0,
292
+ "reasoning_bytes": 107.14,
293
+ "flops_per_problem": 6277339054.08
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": 1.0,
302
+ "reasoning_bytes": 100.0,
303
+ "flops_per_problem": 5829525504.0
304
+ },
305
+ "runmax.find16": {
306
+ "acc": 0.996,
307
+ "reasoning_bytes": 107.128,
308
+ "flops_per_problem": 6232646025.216
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": 1.0,
317
+ "reasoning_bytes": 95.0,
318
+ "flops_per_problem": 5476220928.0
319
+ },
320
+ "runmax.rev16": {
321
+ "acc": 0.996,
322
+ "reasoning_bytes": 104.36,
323
+ "flops_per_problem": 5977913425.92
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": 1.0,
332
+ "reasoning_bytes": 98.0,
333
+ "flops_per_problem": 5652873216.0
334
+ },
335
+ "runmax.sumd16": {
336
+ "acc": 0.998,
337
+ "reasoning_bytes": 107.612,
338
+ "flops_per_problem": 6165694808.064
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": 1.0,
347
+ "reasoning_bytes": 99.0,
348
+ "flops_per_problem": 5687408738.304
349
+ },
350
+ "runmax.inc16": {
351
+ "acc": 0.996,
352
+ "reasoning_bytes": 106.956,
353
+ "flops_per_problem": 6129569415.168
354
+ },
355
+ "count.cmp16": {
356
+ "acc": 0.998,
357
+ "reasoning_bytes": 95.0,
358
+ "flops_per_problem": 5697036288.0
359
+ },
360
+ "count.cmp18": {
361
+ "acc": 0.994,
362
+ "reasoning_bytes": 104.98,
363
+ "flops_per_problem": 6226198216.704
364
+ },
365
+ "count.cmp20": {
366
+ "acc": 0.958,
367
+ "reasoning_bytes": 112.78,
368
+ "flops_per_problem": 6659084648.448
369
+ },
370
+ "count.runmax16": {
371
+ "acc": 0.998,
372
+ "reasoning_bytes": 96.0,
373
+ "flops_per_problem": 5785362432.0
374
+ },
375
+ "count.runmax18": {
376
+ "acc": 0.996,
377
+ "reasoning_bytes": 106.0,
378
+ "flops_per_problem": 6315319296.0
379
+ },
380
+ "count.runmax20": {
381
+ "acc": 0.926,
382
+ "reasoning_bytes": 114.864,
383
+ "flops_per_problem": 6795106910.208
384
+ },
385
+ "count.count16": {
386
+ "acc": 1.0,
387
+ "reasoning_bytes": 96.0,
388
+ "flops_per_problem": 5829525504.0
389
+ },
390
+ "count.count18": {
391
+ "acc": 0.996,
392
+ "reasoning_bytes": 106.0,
393
+ "flops_per_problem": 6359482368.0
394
+ },
395
+ "count.count20": {
396
+ "acc": 0.956,
397
+ "reasoning_bytes": 114.518,
398
+ "flops_per_problem": 6823989559.296
399
+ },
400
+ "count.find16": {
401
+ "acc": 0.998,
402
+ "reasoning_bytes": 96.0,
403
+ "flops_per_problem": 5785362432.0
404
+ },
405
+ "count.find18": {
406
+ "acc": 0.994,
407
+ "reasoning_bytes": 105.91,
408
+ "flops_per_problem": 6311344619.52
409
+ },
410
+ "count.find20": {
411
+ "acc": 0.962,
412
+ "reasoning_bytes": 113.248,
413
+ "flops_per_problem": 6723739385.856
414
+ },
415
+ "count.rev16": {
416
+ "acc": 0.998,
417
+ "reasoning_bytes": 91.0,
418
+ "flops_per_problem": 5432057856.0
419
+ },
420
+ "count.rev18": {
421
+ "acc": 0.998,
422
+ "reasoning_bytes": 101.0,
423
+ "flops_per_problem": 5962014720.0
424
+ },
425
+ "count.rev20": {
426
+ "acc": 0.91,
427
+ "reasoning_bytes": 109.556,
428
+ "flops_per_problem": 6428200108.032
429
+ },
430
+ "count.sumd16": {
431
+ "acc": 1.0,
432
+ "reasoning_bytes": 94.0,
433
+ "flops_per_problem": 5608710144.0
434
+ },
435
+ "count.sumd18": {
436
+ "acc": 0.996,
437
+ "reasoning_bytes": 103.986,
438
+ "flops_per_problem": 6138048724.992
439
+ },
440
+ "count.sumd20": {
441
+ "acc": 0.856,
442
+ "reasoning_bytes": 111.568,
443
+ "flops_per_problem": 6561219280.896
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.992,
452
+ "reasoning_bytes": 104.98,
453
+ "flops_per_problem": 6137783746.56
454
+ },
455
+ "count.inc20": {
456
+ "acc": 0.858,
457
+ "reasoning_bytes": 112.54,
458
+ "flops_per_problem": 6559982714.88
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.982,
467
+ "reasoning_bytes": 135.0,
468
+ "flops_per_problem": 7596048384.0
469
+ },
470
+ "parity.cmp24": {
471
+ "acc": 0.934,
472
+ "reasoning_bytes": 153.432,
473
+ "flops_per_problem": 8586714415.104
474
+ },
475
+ "parity.runmax16": {
476
+ "acc": 1.0,
477
+ "reasoning_bytes": 112.0,
478
+ "flops_per_problem": 6447808512.0
479
+ },
480
+ "parity.runmax20": {
481
+ "acc": 0.97,
482
+ "reasoning_bytes": 136.0,
483
+ "flops_per_problem": 7684374528.0
484
+ },
485
+ "parity.runmax24": {
486
+ "acc": 0.388,
487
+ "reasoning_bytes": 154.444,
488
+ "flops_per_problem": 8675570515.968
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": 1.0,
497
+ "reasoning_bytes": 136.0,
498
+ "flops_per_problem": 7728537600.0
499
+ },
500
+ "parity.count24": {
501
+ "acc": 0.998,
502
+ "reasoning_bytes": 154.276,
503
+ "flops_per_problem": 8712314191.872
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.984,
512
+ "reasoning_bytes": 136.0,
513
+ "flops_per_problem": 7684374528.0
514
+ },
515
+ "parity.find24": {
516
+ "acc": 0.862,
517
+ "reasoning_bytes": 154.96,
518
+ "flops_per_problem": 8698358661.12
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.926,
527
+ "reasoning_bytes": 131.0,
528
+ "flops_per_problem": 7331069952.0
529
+ },
530
+ "parity.rev24": {
531
+ "acc": 0.62,
532
+ "reasoning_bytes": 153.908,
533
+ "flops_per_problem": 8519409893.376
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.96,
542
+ "reasoning_bytes": 134.0,
543
+ "flops_per_problem": 7507722240.0
544
+ },
545
+ "parity.sumd24": {
546
+ "acc": 0.512,
547
+ "reasoning_bytes": 154.364,
548
+ "flops_per_problem": 8583711326.208
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.946,
557
+ "reasoning_bytes": 135.0,
558
+ "flops_per_problem": 7507722240.0
559
+ },
560
+ "parity.inc24": {
561
+ "acc": 0.61,
562
+ "reasoning_bytes": 158.604,
563
+ "flops_per_problem": 8726799679.488
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.996,
572
+ "reasoning_bytes": 70.08,
573
+ "flops_per_problem": 4110698741.76
574
+ },
575
+ "sumd.cmp8": {
576
+ "acc": 0.978,
577
+ "reasoning_bytes": 76.308,
578
+ "flops_per_problem": 4429821100.032
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": 0.998,
587
+ "reasoning_bytes": 75.48,
588
+ "flops_per_problem": 4349179330.56
589
+ },
590
+ "sumd.runmax8": {
591
+ "acc": 0.914,
592
+ "reasoning_bytes": 82.93,
593
+ "flops_per_problem": 4722357288.96
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": 0.998,
602
+ "reasoning_bytes": 74.46,
603
+ "flops_per_problem": 4348296069.12
604
+ },
605
+ "sumd.count8": {
606
+ "acc": 0.862,
607
+ "reasoning_bytes": 81.36,
608
+ "flops_per_problem": 4697184337.92
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": 0.994,
617
+ "reasoning_bytes": 74.428,
618
+ "flops_per_problem": 4302719778.816
619
+ },
620
+ "sumd.find8": {
621
+ "acc": 0.922,
622
+ "reasoning_bytes": 81.756,
623
+ "flops_per_problem": 4670509842.432
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.48,
633
+ "flops_per_problem": 3995874754.56
634
+ },
635
+ "sumd.rev8": {
636
+ "acc": 0.962,
637
+ "reasoning_bytes": 77.472,
638
+ "flops_per_problem": 4392900771.84
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": 0.998,
647
+ "reasoning_bytes": 73.738,
648
+ "flops_per_problem": 4195315187.712
649
+ },
650
+ "sumd.sumd8": {
651
+ "acc": 0.944,
652
+ "reasoning_bytes": 81.534,
653
+ "flops_per_problem": 4585540091.904
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.92,
667
+ "reasoning_bytes": 84.176,
668
+ "flops_per_problem": 4689499963.392
669
+ },
670
+ "inc.cmp6": {
671
+ "acc": 0.998,
672
+ "reasoning_bytes": 78.624,
673
+ "flops_per_problem": 4576354172.928
674
+ },
675
+ "inc.cmp7": {
676
+ "acc": 0.982,
677
+ "reasoning_bytes": 89.72,
678
+ "flops_per_problem": 5154713763.84
679
+ },
680
+ "inc.cmp8": {
681
+ "acc": 0.968,
682
+ "reasoning_bytes": 100.55,
683
+ "flops_per_problem": 5721325977.6
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.994,
692
+ "reasoning_bytes": 120.0,
693
+ "flops_per_problem": 6271156224.0
694
+ },
695
+ "inc.runmax8": {
696
+ "acc": 0.898,
697
+ "reasoning_bytes": 133.49,
698
+ "flops_per_problem": 6911079137.28
699
+ },
700
+ "inc.count6": {
701
+ "acc": 0.994,
702
+ "reasoning_bytes": 99.0,
703
+ "flops_per_problem": 5343731712.0
704
+ },
705
+ "inc.count7": {
706
+ "acc": 0.876,
707
+ "reasoning_bytes": 114.0,
708
+ "flops_per_problem": 6050340864.0
709
+ },
710
+ "inc.count8": {
711
+ "acc": 0.764,
712
+ "reasoning_bytes": 116.252,
713
+ "flops_per_problem": 6193959174.144
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.922,
722
+ "reasoning_bytes": 102.684,
723
+ "flops_per_problem": 5506428469.248
724
+ },
725
+ "inc.find8": {
726
+ "acc": 0.544,
727
+ "reasoning_bytes": 116.052,
728
+ "flops_per_problem": 6140963487.744
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.868,
737
+ "reasoning_bytes": 124.0,
738
+ "flops_per_problem": 6580209401.856
739
+ },
740
+ "inc.rev8": {
741
+ "acc": 0.002,
742
+ "reasoning_bytes": 138.274,
743
+ "flops_per_problem": 7262793842.688
744
+ },
745
+ "inc.sumd6": {
746
+ "acc": 1.0,
747
+ "reasoning_bytes": 109.558,
748
+ "flops_per_problem": 5721590956.032
749
+ },
750
+ "inc.sumd7": {
751
+ "acc": 0.864,
752
+ "reasoning_bytes": 127.44,
753
+ "flops_per_problem": 6555478081.536
754
+ },
755
+ "inc.sumd8": {
756
+ "acc": 0.074,
757
+ "reasoning_bytes": 141.768,
758
+ "flops_per_problem": 7232497975.296
759
+ },
760
+ "inc.inc6": {
761
+ "acc": 0.998,
762
+ "reasoning_bytes": 113.0,
763
+ "flops_per_problem": 6006089465.856
764
+ },
765
+ "inc.inc7": {
766
+ "acc": 0.998,
767
+ "reasoning_bytes": 130.998,
768
+ "flops_per_problem": 6889350905.856
769
+ },
770
+ "inc.inc8": {
771
+ "acc": 0.046,
772
+ "reasoning_bytes": 148.264,
773
+ "flops_per_problem": 7739843346.432
774
+ },
775
+ "fsc6": {
776
+ "acc": 0.548,
777
+ "actions": 4.1,
778
+ "invalid": 0.304,
779
+ "reasoning_bytes": 46.996,
780
+ "flops_per_problem": 2755510714.368
781
+ },
782
+ "fsc7": {
783
+ "acc": 0.47,
784
+ "actions": 4.186,
785
+ "invalid": 0.346,
786
+ "reasoning_bytes": 51.156,
787
+ "flops_per_problem": 2933487894.528
788
+ },
789
+ "fsc8": {
790
+ "acc": 0.408,
791
+ "actions": 3.868,
792
+ "invalid": 0.362,
793
+ "reasoning_bytes": 43.842,
794
+ "flops_per_problem": 2593167261.696
795
+ }
796
+ }