Bump block count of last NAND calculus task

nomeata / incredible

The Incredible Proof Machine

MIT License

358 stars 36 forks source link

Closed yuxuanchiadm closed 5 years ago

yuxuanchiadm commented 5 years ago

yuxuanchiadm commented 5 years ago

Heh. I can do better. 17 -> 15. New Proof

b-mehta commented 5 years ago

This is doable in 14 blocks: Proof

yuxuanchiadm commented 5 years ago

This is doable in 14 blocks: Proof

Ah sure. By sharing same block I just optimized.

alreadydone commented 5 years ago

Some custom problems for interested people to optimize .. I got 7,8,3,5,23,14,14,10,8,7,10,8,8 (didn't quite attempt to optimize)

b-mehta commented 5 years ago

My scores on these problems: 7,6,3,5,8,11,10,10,8,5,10,8,8