Runtime Prediction on K-SAT Random (test)
930MAEHardCore
Evaluation Results
| Method | Links | |
|---|---|---|
| HardCoreData Size=402024.09 | 930 | |
| W2SATData Size=402024.09 | 1,377 | |
| OriginalData Size=402024.09 | 1,449 | |
| HardCoreData Size=302024.09 | 1,615 | |
| HardCoreData Size=202024.09 | 1,796 | |
| W2SATData Size=302024.09 | 1,807 | |
| W2SATData Size=202024.09 | 2,046 | |
| OriginalData Size=302024.09 | 2,109 | |
| HardCoreData Size=102024.09 | 2,156 | |
| HardSATGEN-NData Size=302024.09 | 2,172 | |
| HardSATGEN-StrictData Size=102024.09 | 2,179 | |
| HardSATGEN-NData Size=402024.09 | 2,182 | |
| HardSATGEN-NData Size=202024.09 | 2,306 | |
| HardSATGEN-NData Size=102024.09 | 2,416 | |
| HardSATGEN-StrictData Size=402024.09 | 2,456 | |
| HardSATGEN-StrictData Size=302024.09 | 2,488 | |
| HardSATGEN-StrictData Size=202024.09 | 2,578 | |
| W2SATData Size=102024.09 | 2,606 | |
| OriginalData Size=202024.09 | 2,743 | |
| OriginalData Size=102024.09 | 2,750 |