We know the endgame.
SAT benchmark @ 32 variables
Runtime in seconds. Lower is better.
1000
2000
3000
4000
5000
CaDiCaL
Kissat
ζ
Animated visual scene.