Runtime Prediction on LEC Internal (test)
282MAEHardCore
Evaluation results
| Method | Links | |
|---|---|---|
| HardCoreData Size=4002024.09 | 282 | |
| HardCoreData Size=5002024.09 | 338 | |
| HardCoreData Size=3002024.09 | 369 | |
| HardSATGEN-NData Size=5002024.09 | 463 | |
| HardCoreData Size=2002024.09 | 481 | |
| HardSATGEN-StrictData Size=5002024.09 | 513 | |
| HardCoreData Size=1002024.09 | 514 | |
| OriginalData Size=5002024.09 | 526 | |
| W2SATData Size=5002024.09 | 535 | |
| OriginalData Size=3002024.09 | 557 | |
| HardSATGEN-StrictData Size=3002024.09 | 565 | |
| HardSATGEN-NData Size=3002024.09 | 605 | |
| OriginalData Size=4002024.09 | 606 | |
| W2SATData Size=4002024.09 | 611 | |
| HardSATGEN-NData Size=4002024.09 | 617 | |
| HardSATGEN-StrictData Size=1002024.09 | 627 | |
| W2SATData Size=3002024.09 | 634 | |
| HardSATGEN-StrictData Size=4002024.09 | 638 | |
| HardSATGEN-NData Size=1002024.09 | 666 | |
| W2SATData Size=2002024.09 | 704 | |
| OriginalData Size=1002024.09 | 707 | |
| W2SATData Size=1002024.09 | 724 | |
| HardSATGEN-StrictData Size=2002024.09 | 742 | |
| OriginalData Size=2002024.09 | 795 | |
| HardSATGEN-NData Size=2002024.09 | 797 |