Current Status of Implementation
A hard random 3-SAT with 128 variables, 550 clauses was implemented.
- run at 1MHz clock
- All solutions can be found in an instant.
By increasing hardware resources (adding more chips, introducing newer chips), a problem with 300 to 400 variables can be implemented.