Qbert An optimal Rubicks cube solver using Korf's algorithm (IDA* + multiple PDBs). Very strong low level optimizations.