Index of /bb5_decided_indexes/

../
FAR-finite-automata-reduction-run-JEB-max-6-DFA..> 09-Apr-2023 17:58             2012676
backward-reasoning-run-7edeea99bc2d-depth-50-mi..> 09-Apr-2023 17:58             8142392
bb5_decided_indexes                                28-May-2023 11:34                  19
cyclers-run-11c0ef00e9c2-time-1000-space-500-mi..> 09-Apr-2023 17:58            44916952
halting-segment-reproduction-run-2vlymsaql86b-m..> 09-Apr-2023 17:58             4011232
translated-cyclers-run-725fd45b37eb-time-10000-..> 09-Apr-2023 17:58                6656
translated-cyclers-run-85454189d410-time-10000-..> 09-Apr-2023 17:58                5272
translated-cyclers-run-8f5b2539279a-time-1000-s..> 09-Apr-2023 17:58           295430488
translated-cyclers-run-TonyG-time-4000000          09-Apr-2023 17:58                  60