List your company
ResearchFormerly WizWand

Runtime Prediction on K-SAT Random (test)

930MAEHardCore
857.21,348.61,8402,331.4Sep 27, 2024
Updated 8mo ago

Evaluation results

MethodLinks
HardCoreData Size=402024.09930
W2SATData Size=402024.091,377
OriginalData Size=402024.091,449
HardCoreData Size=302024.091,615
HardCoreData Size=202024.091,796
W2SATData Size=302024.091,807
W2SATData Size=202024.092,046
OriginalData Size=302024.092,109
HardCoreData Size=102024.092,156
HardSATGEN-NData Size=302024.092,172
HardSATGEN-StrictData Size=102024.092,179
HardSATGEN-NData Size=402024.092,182
HardSATGEN-NData Size=202024.092,306
HardSATGEN-NData Size=102024.092,416
HardSATGEN-StrictData Size=402024.092,456
HardSATGEN-StrictData Size=302024.092,488
HardSATGEN-StrictData Size=202024.092,578
W2SATData Size=102024.092,606
OriginalData Size=202024.092,743
OriginalData Size=102024.092,750