#Future bounties

Future bounties

#Future bounties

I will now give a bounty of 200 points for any answer that gets up to n = 80 on my machine in two minutes.

• n = 40 in Rust using CryptoMiniSat, by Anders Kaseorg. (In Lubuntu guest VM under Vbox.)
• n = ?? in Clingo by Anders Kaseorg. (Pending)
• n = ?? in C++ using the BuDDy library, by Christian Seviers. (Pending)
• n = 31 in Rust by Anders Kaseorg.
• n = 29 in Clojure by NikoNyrh.
• n = 29 in C by bartavelle.
• n = 27 in Haskell by bartavelle
• n = 24 in Pari/gp by alephalpha.
• n = 22 in Python 2 + pypy by me.
• n = 21 in Mathematica by alephalpha. (Self reported)

Calling all Windows users

If anyone using windows can help me compile and run https://codegolf.stackexchange.com/a/125961/9206, https://codegolf.stackexchange.com/a/125863/9206 or https://codegolf.stackexchange.com/a/125927/9206 that would be wonderful.

• n = 40 in Rust using CryptoMiniSat, by Anders Kaseorg. (In Lubuntu guest VM under Vbox.)
• n = 35 in C++ using the BuDDy library, by Christian Seviers. (In Lubuntu guest VM under Vbox.)
• n = 34 in Clingo by Anders Kaseorg. (In Lubuntu guest VM under Vbox.)
• n = 31 in Rust by Anders Kaseorg.
• n = 29 in Clojure by NikoNyrh.
• n = 29 in C by bartavelle.
• n = 27 in Haskell by bartavelle
• n = 24 in Pari/gp by alephalpha.
• n = 22 in Python 2 + pypy by me.
• n = 21 in Mathematica by alephalpha. (Self reported)