Random 3-SAT
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
random 3-SAT 100
1.41MRPP r~
12
random 3-SAT 50
1.37MRPP r~
12
random 3-SAT 61–100
1.59MRPP r~
12
random 3-SAT 31–60
153MRPP r~
12
random 3-SAT (16–30)
1.44MRPP r~
12
random 3-SAT 5–15
143MRPP r~
12
Random 3-SAT 61-100 variable range
6.11Wall-clock Time (s)
4
Random 3-SAT 31-60 variable range
2.54Wall-clock Time (s)
4
Random 3-SAT 16-30 variable range
0.53Wall-clock time (seconds)
4