Table 1 Comparison of TTS for various hardware solvers in units of µs.
From: Augmenting an electronic Ising machine to effectively solve boolean satisfiability
Benchmark | N | M | HW AmoebaSAT44 | BRWSAT45 | AIMS (projected) |
|---|---|---|---|---|---|
uf50-0100 | 50 | 218 | 4.126 | − | 5.829 |
uf50-0410 | 50 | 218 | 4.360 | − | 1.329 |
uf50-0767 | 50 | 218 | 8.300 | − | 4.059 |
uf100-0285 | 100 | 430 | 356 | − | 73.81 |
uf150-0100 | 150 | 645 | 1832 | − | 73.16 |
uf225-028 | 225 | 960 | 3078 | − | 10.41 |
sat11-350-p11 | 350 | 1491 | − | 200 | 39.54 |
sat11-350-p23 | 350 | 1491 | − | 1289 | 44.56 |
sat11-350-p75 | 350 | 1491 | − | 280 | 22.81 |
sat11-350-p98 | 350 | 1491 | − | 50 | 7.389 |
sat11-450-p1 | 450 | 1917 | − | 80 | 6.448 |
sat11-450-p11 | 450 | 1917 | − | 1912 | 577.1 |
sat11-450-p14 | 450 | 1917 | − | 4650 | 786.2 |
sat11-450-p78 | 450 | 1917 | − | 353.1 | 8.082 |
