Runtime Prediction on K-SAT Random (test)
930MAE
HardCore
Updated 5mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2024.09 | 930 | |
2024.09 | 1,377 | |
2024.09 | 1,449 | |
2024.09 | 1,615 | |
2024.09 | 1,796 | |
2024.09 | 1,807 | |
2024.09 | 2,046 | |
2024.09 | 2,109 | |
2024.09 | 2,156 | |
2024.09 | 2,172 | |
2024.09 | 2,179 | |
2024.09 | 2,182 | |
2024.09 | 2,306 | |
2024.09 | 2,416 | |
2024.09 | 2,456 | |
2024.09 | 2,488 | |
2024.09 | 2,578 | |
2024.09 | 2,606 | |
2024.09 | 2,743 | |
2024.09 | 2,750 |