Evidence of Exponential Speed-Up in the Solution of Hard Optimization Problems

Figure 5

Percentage of unsatisfied clauses versus the machine time (i.e., simulated time steps) is shown to highlight the linear scaling of our solver, Falcon, for (a) random-Max-E3SAT, (b) hyper-Max-E3SAT, and (c) delta-Max-E3SAT. All calculations have been performed on a single thread of an Intel Xeon E5-2680 v3 with 128 Gb DRAM shared on 24 threads.

(a)

(b)

(c)