More dpor tests
Add exhaustive scheduling tests
TEMP: Close to optimality
TEMP: More hopeless changes
TEMP: Update ref results