Difference: HALTaskList (2 vs. 3)

Revision 32010-11-15 - ChrisNell

Line: 1 to 1
 

HAL 1.0 Task List

Backend Tasks

Line: 17 to 17
 
    • different colours/linestyles for the two medians in dual SCD plot
    • show cutoff time in plots (dashed lines)
    • different linestyles / labels?? for vertical lines in overlaid SCD plots
Added:
>
>
  • (~2d) deeply lazy database algorithm run objects (mostly, lazy meta problem instances)
 

HAL-related tasks not c"> Parallel HAL-related tasks not considered in above lists:

Deleted:
<
<
  • (~2d) setup of new DB server
 
  • (???) documentation
  • (??? w/Lin) portfolio-based selection (SATzilla)
  • (??? w/James) Improved cluster support (incl. Torque)
View topic | History: r23 < r22 < r21 < r20 | More topic actions...
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback