Index of /bb5_decided_indexes/

../
FAR-finite-automata-reduction-run-JEB-max-6-DFA..> 20-Apr-2024 17:47             2012676
backward-reasoning-run-7edeea99bc2d-depth-50-mi..> 20-Apr-2024 17:47             8142392
bouncers-run-225d25f379a-steps-250000-macro-ste..> 02-May-2024 17:13              119196
coq-BB5-run-solves-remaining-bbchallenge-holdouts  02-Jul-2024 10:04               11332
cyclers-run-11c0ef00e9c2-time-1000-space-500-mi..> 20-Apr-2024 17:47            44916952
halting-segment-reproduction-run-2vlymsaql86b-m..> 20-Apr-2024 18:45             4011232
translated-cyclers-run-725fd45b37eb-time-10000-..> 20-Apr-2024 17:47                6656
translated-cyclers-run-85454189d410-time-10000-..> 20-Apr-2024 17:47                5272
translated-cyclers-run-8f5b2539279a-time-1000-s..> 20-Apr-2024 17:48           295430488
translated-cyclers-run-TonyG-time-4000000          20-Apr-2024 17:48                  60