To-do in one week

High priority:

• Generate more datasets
• software package to do verification
• Prediction models study
• Send Mark a new dataset on the best agreeable

Low priority

• do modifications of technical reports.