generated 2026-11-03T00:05:50.783152Z · ledger 0.09 USD of 800 USD envelope · 2 runs
| arm | evaluated |
|---|---|
| A1 | 1 |
| A4 | 1 |
| arm | n evaluated | accepted S | det D | critical E | mean cost | cost per accepted |
|---|---|---|---|---|---|---|
| A1 | 1 | 1 (100%) | 1 | 0 | 0.00 | 0.00 |
| A4 | 1 | 0 (0%) | 0 | 0 | 0.00 | nan |
none
| # | run | arm | node | status | result | wall s | cost USD | tools | det | viol | quality | S | A4 | notes |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0 | DUMMY-01_A4_r1 | A4 | M3U96a | evaluated | success | 26 | 0.004 | 9 | False | 0 | 69.2 | Warning: no stdin data received in 3s, proceeding without it. If piping from a s | ||
| 1 | DUMMY-01_A1_r1 | A1 | M3U96b | evaluated | success | 18 | 0.002 | 3 | True | 0 | 88.3 | ACCEPTED | Warning: no stdin data received in 3s, proceeding without it. If piping from a s |