Go through every one-off setting to see which affects performance or correctness.
Data to record
- Run time
- Solution size
- FSAP count
- Wall-clock time
- Weak plan calls
Analysis to report
- IPC metric for all data (aside from FSAP count)
- Coverage
- Error count
Go through every one-off setting to see which affects performance or correctness.
Data to record
Analysis to report