Challenge the greedy shortcut

Predict the witness before running it. Does choosing the longest interval preserve the best schedule?

Claim under testUNPROVEN

Always choose the longest interval.

claim: [1, 4] beats everythingwitness: [1, 4], [2, 3], [4, 5]score: not tested

A shortcut has no proof until a state-changing test challenges it.

Opening…