User:ADucharme
Hi, I'm Andrew!
My main contribution to bbchallenge is applying the Ligocki and mxdys deciders to many of the next unsolved domains. I helped organize the initial BB(7) enumeration and solved over 50% of all holdouts since that enumeration. I've also tried my hand at the analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively studied BB domains.
BB(6)
Of the last 2592 BB(6) holdouts, I solved 57 (2.19%) and counting.
Solved halting TMs with sigma score
1RB---_1LC0LA_1LD0RD_0RE0LB_1RC1RF_0RD1RF ~10^79.95448 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- ~10^70.05261 1RB1RE_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- 1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0LA--- 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0RE0LF_1RD--- ~10^70.00750 1RB1RE_1LC0RC_0RA0LD_1LB0LD_0RC1RF_0LA--- 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC--- ~10^69.99803 1RB1RE_1LC0RC_0RA0LD_1LB0LD_0LE1RF_0RC--- 1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0RC--- 1RB1RE_1LC0RC_0RA0LD_1LB1LF_0LE1RF_0RC--- 1RB1RF_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC--- ~10^69.94652 1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC0RF_1LE--- ~10^52.44977 1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC1RF_0LD--- 1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1LF_---1RA ~10^52.25998 1RB1RE_1LC0RC_0RA0LD_1LB1LF_0RC1RE_0RC--- 1RB0RD_1RC1RA_1LD1LA_0RE0LC_0LF1RF_0RB--- ~10^38.85754 1RB0RD_1RC1RA_1LD1LA_0RE0LC_1RC1RF_0RB1RZ 1RB---_1LC1LF_1RD0LD_0LB0RE_1RC1RF_0LD0LA 3_804_764_807_033_118_405_271_455_910_658_686_671_560_877_296_302 1RB---_1LC1LF_1RD0LD_0LB0RE_1RC0RE_0RF0LA 1RB0LB_0LC0RF_1LA1LD_0RD1LE_0LB---_1RA0RF 2_802_749_143_558_201_797_723_325_357_510_324_775_865_733_035_298 1RB---_1RC0LC_0LD0RF_1LB1LE_0LC1LE_1RB0RA 224_322_871_042_507_036_371_085_207_200_624_692_576_495_497_310 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0RE0LF_1RD--- 1RB---_1RC0LC_0LD0RF_1RE1LD_0LE1LB_1RB0RA 1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0RC1RZ 87_112_055_695_139_218_500_268_260_804_164_378 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC1RZ 1RB1RE_1LC0RC_0RA0LD_1LB1LF_0LE1RF_0RC1RZ 1RB1RE_1LC0RC_0RA0LD_1LB0LD_0RC1RF_0LA1RZ 1RB1RE_1LC0RC_0RA0LD_1LB0LD_0LE1RF_0RC1RZ 1RB1RF_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC1RZ 1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0LA1RZ 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0RE0LF_1RD1RZ 87_112_055_695_139_218_500_268_260_804_164_377 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD1RZ 1RB1RE_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD1RZ 1RB0LB_0LC0RE_1RD1LC_0LD1LA_1RA0RF_1LE--- 708_804_434_842_666_889_215_481_456_393_612 1RB0LB_0LC0RE_1RD1LC_0LD1LA_1RA1RF_0LB--- 1RB0LB_0LC0RE_1LA1LD_0LB1RF_1RA1RD_---1LC 5_652_984_156_355_601_606_126_039_264 1RB0LB_0LC0RE_1LA1LD_0LB1LD_1RA0RF_1RA--- 1RB0LB_0LC0RE_1LA1LD_0LB1LD_1RA0RF_1LE--- 1RB0LB_0LC0RE_1LA1LD_0LB0LF_1RA0RE_1RC--- 1RB0LB_0LC0RF_1LA1LD_0RD1LE_0LB---_1RA1RE 1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA0RE_0RC--- 1RB0LB_0LC0RE_1RD1LC_0LD1LA_1RA0RF_1RA--- 24_585_555_916_266_386_719_525 1RB0LB_0LC0RE_1LA1LD_0LB1LD_1RA1RF_0LB--- 1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA1RD_0RC--- 1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA1RF_0LB--- 1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA0RE_0LB--- 12_878_567_902_665_915 1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA1RD_0LB--- 1RB1LA_1LC0RC_1LD1RC_1LD1LE_0LF0LA_1RZ0RA 19,694 1RB1LA_1LC0RC_1LD1RC_0LC1LE_0LF0LA_---0RA
Solved non-halting TMs
1RB1RF_1LC0RD_1RE0RD_0RC0LE_1LB0RA_0RE--- Inf Proof_System 1RB0LF_0RC0RF_1RD---_1LE0LB_1LA0LD_1RA0RE Inf Proof_System 1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System 1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6 run 1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6 run 1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6 run 1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20 run 1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9 run