SAT Instance Generation on Synthetic SAT instances phase transition
0.54Wall-clock Time (ms)LPGNN
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| LPGNNn=15, m=642026.05 | 0.54 | 1.2 | |
| CaDiCaLn=15, m=642026.05 | 0.66 | — | |
| LPGNNn=20, m=852026.05 | 0.71 | 1.2 | |
| CaDiCaLn=20, m=852026.05 | 0.87 | — | |
| LPGNNn=50, m=2132026.05 | 1.81 | 1.2 | |
| CaDiCaLn=50, m=2132026.05 | 2.26 | — | |
| LPGNNn=75, m=3192026.05 | 2.71 | 1.6 | |
| LPGNNn=100, m=4262026.05 | 3.64 | 2.5 | |
| CaDiCaLn=75, m=3192026.05 | 4.47 | — | |
| LPGNNn=150, m=6392026.05 | 5.47 | 12 | |
| LPGNNn=200, m=8522026.05 | 7.42 | 71 | |
| CaDiCaLn=100, m=4262026.05 | 8.98 | — | |
| LPGNNn=250, m=10642026.05 | 9.32 | 438 | |
| CaDiCaLn=500, m=21292026.05 | 10 | — | |
| CaDiCaLn=1000, m=42582026.05 | 10 | — | |
| LPGNNn=500, m=21292026.05 | 19.3 | 10 | |
| LPGNNn=1000, m=42582026.05 | 39 | 10 | |
| CaDiCaLn=150, m=6392026.05 | 66.1 | — | |
| Naiven=15, m=642026.05 | 272 | — | |
| CaDiCaLn=200, m=8522026.05 | 525 | — | |
| CaDiCaLn=250, m=10642026.05 | 4,080 | — | |
| Naiven=20, m=852026.05 | 6,188 | — |